Eine Frage in einem formalen System mit einer Ja-oder-Nein-Antwort.
Ich würde gerne wissen, ob es eine Arbeit gab, die den Rechtskodex mit der Komplexität in Verbindung bringt. Nehmen wir insbesondere an, wir haben das Entscheidungsproblem "Ist der Angeklagte angesichts dieses Gesetzes und dieser besonderen Umstände schuldig?" Zu welcher Komplexitätsklasse gehört...
Wikipedia und andere Quellen, die ich gefunden habe, listen den voidTyp C als Einheitentyp und nicht als leeren Typ auf. Ich finde das verwirrend, da es mir so scheint, als ob es voidbesser zur Definition eines Leer- / Bodentyps passt. voidSoweit ich das beurteilen kann, gibt es keine Werte . Eine...
Ich habe eine Reihe von Paaren. Jedes Paar hat die Form (x, y), sodass x, y zu ganzen Zahlen aus dem Bereich gehören [0,n). Wenn also n 4 ist, dann habe ich die folgenden Paare: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Ich habe schon die Paare. Jetzt muss ich eine Kombination mit n/2Paaren erstellen,...
Es ist bekannt, dass jedes Optimierungs- / Suchproblem ein äquivalentes Entscheidungsproblem hat. Zum Beispiel das Problem mit dem kürzesten Weg Optimierungs- / Suchversion: Finden Sie bei einem ungerichteten ungewichteten Graphen G = ( V , E )G=(V,E)G = (V, E) und zwei Eckpunkten v , u ∈...
Offensichtlich gibt es in NP keine unentscheidbaren Probleme. Laut Wikipedia jedoch : NP ist die Menge aller Entscheidungsprobleme, für die die Fälle, in denen die Antwort "ja" lautet, Beweise haben, die in Polynomzeit durch eine deterministische Turing-Maschine überprüfbar sind. [...] Ein Problem...
Diese Begriffe verwirren mich. Wie ich es verstehe SAT-Löser: Bestimmen Sie die Erfüllbarkeit der Aussagenlogik (mit DPLL oder lokaler Suche). Entscheidungsverfahren ist ein Verfahren, um die Erfüllbarkeit einer bestimmten entscheidbaren Theorie erster Ordnung zu bestimmen. SMT-Solver ist ein...
Ich verstehe die Idee, dass das Entscheidungsproblem definiert ist als Gibt es einen Pfad P, bei dem die Kosten niedriger als C sind? und Sie können leicht überprüfen, ob dies der Fall ist, indem Sie einen Pfad überprüfen, den Sie erhalten. Was ist jedoch, wenn es keinen Pfad gibt, der diesen...
Gibt es einen Algorithmus / ein systematisches Verfahren, um zu testen, ob eine Sprache kontextfrei ist? Mit anderen Worten, testen Sie bei einer in algebraischer Form angegebenen Sprache (denken Sie an etwas wie ), ob die Sprache kontextfrei ist oder nicht . Stellen Sie sich vor, wir schreiben...
Ich habe ein NP-vollständiges Entscheidungsproblem. Angesichts einer bestimmten Instanz des Problems möchte ich einen Algorithmus entwerfen, der JA ausgibt, wenn das Problem durchführbar ist, und NEIN, andernfalls. (Wenn der Algorithmus nicht optimal ist, treten natürlich Fehler auf.) Ich kann...
In Michael Sipsers Berechnungstheorie auf Seite 270 schreibt er: P = die Klasse von Sprachen, für die die Mitgliedschaft schnell entschieden werden kann. NP = die Klasse von Sprachen, für die die Mitgliedschaft schnell überprüft werden kann. Was ist der Unterschied zwischen "entschieden" und...
z xy+x+y=x+y(x+1)xy+x+y=x+y(x+1)xy+x+y=x+y(x+1) ? Die Ausdrücke stammen aus der gewöhnlichen High-School-Algebra, beschränken sich jedoch auf arithmetische Addition und Multiplikation (z. B. ), ohne Inverse, Subtraktion oder Division. Buchstaben sind Variablen.2+2=4;2.3=62+2=4;2.3=62+2=4; 2.3=6...
Ich frage mich, ob es ein entscheidbares Problem ist, über die Entscheidbarkeit eines Problems zu entscheiden. Ich vermute nicht, aber nach ersten Recherchen kann ich keine Literatur zu diesem Problem
Ich habe gerade einige Seiten in Sipsers Buch Einführung in die Berechnungstheorie über das Post-Korrespondenz-Problem gelesen und denke, dass PCP tatsächlich in NP vorliegt. Der Zertifizierer ist: für eine Eingangskonfiguration des Stapels Verketten von t 1 , t 2 , . . . , T n als Zeichenfolge t...
Ich weiß also, dass es entscheidend ist , zu testen, ob eine reguläre Sprache RRR eine Teilmenge der regulären Sprache SSS ist, da wir beide in DFAs konvertieren, berechnen R∩S¯R∩S¯R \cap \bar{S}und dann testen können, ob diese Sprache leer ist. Da dies jedoch eine Konvertierung in DFAs erfordert,...
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...
Ist das Problem, bei zwei DFAs herauszufinden, ob sie dieselbe Sprache erzeugen, ein entscheidbares Problem? Ich weiß bereits, dass die Gleichheit von zwei CFL nicht entscheidbar ist aber was ist mit der Gleichheit von zwei DFAs? Wenn man bedenkt, dass die meisten Probleme mit DFAs entscheidbar...
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...
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...
Gibt es einen Algorithmus / ein systematisches Verfahren, um zu testen, ob eine Sprache regulär ist? Mit anderen Worten, wenn eine Sprache in algebraischer Form angegeben ist (denken Sie an etwas wie L={anbn:n∈N}L={anbn:n∈N}L=\{a^n b^n : n \in \mathbb{N}\}), testen Sie, ob die Sprache regulär ist...
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, ..., 2k, so dasskkkA1≤A2≤...≤AkA1≤A2≤...≤AkA_1 \leq A_2 \leq ... \leq A_ki1,i2,. . . ,I2k1,2,....