Tag reference-request - This is page 4 - GeneraCodice

Reference asking: phase transition in SAT

https://www.generacodice.com/en/articolo/2467798/reference-asking-phase-transition-in-sat
  complexity-theory  -  satisfiability  -  randomness  -  reference-request  -  random-graphs
cs.stackexchange cs.stackexchange

Problems for which a small change in the statement causes a big change in time complexity

https://www.generacodice.com/en/articolo/2463299/problems-for-which-a-small-change-in-the-statement-causes-a-big-change-in-time-complexity
  complexity-theory  -  time-complexity  -  reference-request
cs.stackexchange cs.stackexchange

Examples for derandomization via small sample spaces

https://www.generacodice.com/en/articolo/2460993/examples-for-derandomization-via-small-sample-spaces
  reference-request  -  derandomization
cs.stackexchange cs.stackexchange

Is there a theorem which relates calculating the total number of a combinatorial object with picking one at random?

https://www.generacodice.com/en/articolo/2456153/is-there-a-theorem-which-relates-calculating-the-total-number-of-a-combinatorial-object-with-picking-one-at-random
  combinatorics  -  randomness  -  reference-request  -  recurrence-relation
cs.stackexchange cs.stackexchange

Data Compression :Compress a Compressed File

https://www.generacodice.com/en/articolo/2455921/data-compression-compress-a-compressed-file
  data-compression  -  information-theory  -  reference-request  -  coding-theory  -  encoding-scheme
cs.stackexchange cs.stackexchange

Finding C-convex holes in a planar point set

https://www.generacodice.com/en/articolo/2451630/finding-c-convex-holes-in-a-planar-point-set
  computational-geometry  -  algorithms  -  reference-request
cs.stackexchange cs.stackexchange

Upper bound on the average number of overlaps for an interval within a set of intervals

https://www.generacodice.com/en/articolo/2447167/upper-bound-on-the-average-number-of-overlaps-for-an-interval-within-a-set-of-intervals
  scheduling  -  algorithms  -  reference-request  -  upper-bound
cs.stackexchange cs.stackexchange

Textbook for understanding formal grammars

https://www.generacodice.com/en/articolo/2446581/textbook-for-understanding-formal-grammars
  formal-languages  -  books  -  formal-grammars  -  reference-request
cs.stackexchange cs.stackexchange

Clarifying what it means to be Strongly NP-Complete

https://www.generacodice.com/en/articolo/2446454/clarifying-what-it-means-to-be-strongly-np-complete
  complexity-theory  -  np-complete  -  reference-request
cs.stackexchange cs.stackexchange

What goes into proving two complicated programs are equivalent?

https://www.generacodice.com/en/articolo/2445902/what-goes-into-proving-two-complicated-programs-are-equivalent
  model-checking  -  reference-request  -  proof-techniques  -  research
cs.stackexchange cs.stackexchange
Results found: 959
scroll top