Tag reductions - This is page 2 - GeneraCodice

What undecidable language $B$ is reducible to its complement?

https://www.generacodice.com/en/articolo/2472961/what-undecidable-language-b-is-reducible-to-its-complement
  turing-machines  -  undecidability  -  reductions
cs.stackexchange cs.stackexchange

Show that for every language there exists a harder language

https://www.generacodice.com/en/articolo/2470979/show-that-for-every-language-there-exists-a-harder-language
  turing-machines  -  undecidability  -  semi-decidability  -  reductions
cs.stackexchange cs.stackexchange

Variant of Subset-sum has an $O(1)$ algorithm if $Goldbach$ is true

https://www.generacodice.com/en/articolo/2470354/variant-of-subset-sum-has-an-o-1-algorithm-if-goldbach-is-true
  reductions  -  decision-problem
cs.stackexchange cs.stackexchange

What does “If P1 is reduced to P2, then P2 is at least as hard as P1” mean?

https://www.generacodice.com/en/articolo/2470077/what-does-if-p1-is-reduced-to-p2-then-p2-is-at-least-as-hard-as-p1-mean
  complexity-theory  -  reductions
cs.stackexchange cs.stackexchange

mapping reductions from R to RE

https://www.generacodice.com/en/articolo/2469992/mapping-reductions-from-r-to-re
  turing-machines  -  reductions
cs.stackexchange cs.stackexchange

proving existence of TM that accepts the next language

https://www.generacodice.com/en/articolo/2469931/proving-existence-of-tm-that-accepts-the-next-language
  turing-machines  -  reductions
cs.stackexchange cs.stackexchange

size of intersection of 2 languages size is not decidable

https://www.generacodice.com/en/articolo/2469473/size-of-intersection-of-2-languages-size-is-not-decidable
  turing-machines  -  reductions
cs.stackexchange cs.stackexchange

How to prove NP-Completeness of longest path between two vertices relying Hamilton NP-Hard problem

https://www.generacodice.com/en/articolo/2468300/how-to-prove-np-completeness-of-longest-path-between-two-vertices-relying-hamilton-np-hard-problem
  complexity-theory  -  np-complete  -  np-hard  -  reductions
cs.stackexchange cs.stackexchange

Maximum Capacity Path Problem with constraints

https://www.generacodice.com/en/articolo/2467983/maximum-capacity-path-problem-with-constraints
  path  -  np-complete  -  graphs  -  reductions
cs.stackexchange cs.stackexchange

Log space reduction from STCONN to CYCLE

https://www.generacodice.com/en/articolo/2465867/log-space-reduction-from-stconn-to-cycle
  space-complexity  -  reductions
cs.stackexchange cs.stackexchange
Results found: 998
scroll top