Als «np» getaggte Fragen

Fragen zu Entscheidungsproblemen, die auf nichtdeterministischen Turingmaschinen zeitpolynomisch in der Länge der Eingabe gelöst werden können.

1
Ist das Schreiben einer Zahl als zwei Quadrate und das Schreiben der Faktoren einer Zahl gleich schwierig?
Sei L1L1L_1 und wie folgt:L2L2L_2 L1={r:∃x,y∈Z such that x2+y2=r}L1={r:∃x,y∈Z such that x2+y2=r}L_1=\{r:\exists x,y \in \mathbb{Z} \text{ such that } x^2+y^2=r\} L2={(N,M):M&lt;N,∃1&lt;d≤M such that d|N}L2={(N,M):M&lt;N,∃1&lt;d≤M such that d|N}L_2=\{(N,M): M<N, \exists 1<d\leq M \text{ such that d|N} \} AnspruchL1≤PL2L1≤PL2L_1 \leq_P L_2 Skizzenbeweis Wenn ich wissen will, ob .r∈L1r∈L1r\in L_1 Die Anzahl der …
3
Ist
Angenommen, ist ein entscheidbares Entscheidungsproblem.ΠΠ\Pi Does implizieren ist -Hard?Π∉NPΠ∉N.P.\Pi\not \in NPΠΠ\PiNPN.P.NP Bearbeiten: Wenn wir annehmen, dass , sind wir fertig. Können wir die Behauptung ohne unbekannte Annahmen widerlegen?Π∈coNP∖NPΠ∈coNP∖NP\Pi\in coNP\setminus NP
2
Ein Ein-Satz-Beweis von P ⊆ NP
Kürzlich lese ich ein Dokument [1]. In diesem Dokument liefert Prof. Cook einen kurzen Beweis für , der nur ein Satz ist:P⊆NPP⊆NP\mathbf{P} \subseteq \mathbf{NP} Es ist trivial zu zeigen, dass , da wir für jede Sprache über , wenn , die Polynom-Zeit-Überprüfungsrelation von für alle .P⊆NPP⊆NP\mathbf{P} \subseteq \mathbf{NP}LLLΣΣ\SigmaL∈PL∈PL \in \mathbf{P}R⊆Σ∗∪Σ∗R⊆Σ∗∪Σ∗R …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.