Als «decision-problem» getaggte Fragen

Eine Frage in einem formalen System mit einer Ja-oder-Nein-Antwort.

2
Längster Zyklus in zwei Zyklen
Ist das folgende Problem NP-vollständig? (Ich nehme ja an). Eingabe: ein ungerichteter Graph, bei dem der Kantensatz in zwei kantendisjunkte einfache Zyklen zerlegt werden kann (diese sind nicht Teil der Eingabe).k∈N,G=(V,E)k∈N.,G=(V.,E.)k \in \mathbb{N},G=(V,E) Frage: Gibt es in einen einfachen Zyklus mit einer Länge größer als k ?GGGkkk Offensichtlich liegt das …
3
Kann man entscheiden, ob ein bestimmter Algorithmus asymptotisch optimal ist?
Gibt es einen Algorithmus für das folgende Problem: Bei einer Turing - Maschine , die eine Sprache entscheidet , Gibt es eine Turing - Maschine entscheiden , so dass ?M1M1M_1LLLM2M2M_2LLLt2(n)=o(t1(n))t2(n)=o(t1(n))t_2(n) = o(t_1(n)) Die Funktionen und sind die Worst-Case-Laufzeiten der Turing-Maschinen bzw. .t1t1t_1t2t2t_2M1M1M_1M2M2M_2 Was ist mit der Komplexität des Raums?
2
Eine
Ich möchte angeben, was es bedeutet, eine Algebra als Eingabe für einen Algorithmus zu geben, und habe nicht viel Literatur darüber gefunden. Daher möchte ich zunächst fragen, ob Sie ein Buch oder eine Arbeit empfehlen können, die sich mit dem Thema der Komplexitätsanalyse von Algebren über Felder befasst und das …
1
Ist das Halteproblem für eindimensionale zelluläre Automaten mit drei Symbolen entscheidbar?
Ich habe versucht herauszufinden, ob das Problem des Anhaltens für eindimensionale 3-Symbol-Zellularautomaten entscheidbar ist. Definition Es sei die Konfiguration des Systems zum Zeitpunkt i . Formaler f : A ∗ × N → A ∗ , wobei A das Alphabet ist.f(w,i)f(w,i)f(w,i)iiif:A∗×N→A∗f:A∗×N→A∗f:A^*\times \mathbb{N} \to A^*AAA Definition. Ein zellularer Automat hat in …
3
Nummernvergabe
Wenn Zahlen A_1 \ leq A_2 \ leq ... \ leq A_k gegeben sind, so dass \ sum \ limit_ {i = 1} ^ k A_i = k (2k + 1) ist, gibt es eine Zuordnung der Zahlen i_1, i_2, ..., i_ {2k} ist eine Permutation von 1, 2, ..., …
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 …
1
Ist das Universumsproblem für Ein-Zähler-Automaten mit eingeschränkter Alphabetgröße unentscheidbar?
Betrachten Sie das folgende Universumsproblem . Das Universumsproblem. Entscheiden Sie bei einer endlichen Menge für eine Sprachklasse und einem Automaten, der die Sprache akzeptiert , ob .ΣΣ\SigmaLLLL=Σ∗L=Σ∗L=\Sigma^* In [1] wird angegeben und bewiesen, dass das Universumsproblem für eine bestimmte Klasse von Ein-Zähler-Automaten unentscheidbar ist. Dieses Ergebnis folgt dann für die …
2
Festlegen des Satzes aller Turing-Maschinen, die höchstens anhalten
Lassen L={&lt;M&gt;|ML={&lt;M&gt;|ML = \{ | M hält bei jedem Eingang an xxx höchstens in 200∗|x|200∗|x|200 * |x| Schritte }}\}. Ist LLLentscheidbar? Erkennbar? Angesichts dieser Mitgliedschaft in LLL behauptet etwas über MMMDas Verhalten auf einer unendlichen Anzahl von Saiten scheint mir äußerst unwahrscheinlich LLLKönnte beides sein. Ich habe gezeigt, dass Co-LLL …
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.