Computerwissenschaften decision-problem

7

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 es? Es gibt Ergebnisse, die bewiesen haben, dass das …

64 complexity-theory np-complete decision-problem

2

Warum ist der leere Typ von C nicht analog zum leeren / unteren Typ?

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 . …

28 type-theory c logic modal-logic coq equality coinduction artificial-intelligence computer-architecture compilers asymptotics formal-languages asymptotics landau-notation asymptotics turing-machines optimization decision-problem rice-theorem algorithms arithmetic floating-point automata finite-automata data-structures search-trees balanced-search-trees complexity-theory asymptotics amortized-analysis complexity-theory graphs np-complete reductions np-hard algorithms string-metrics computability artificial-intelligence halting-problem turing-machines computation-models graph-theory terminology complexity-theory decision-problem polynomial-time algorithms algorithm-analysis optimization runtime-analysis loops turing-machines computation-models recurrence-relation master-theorem complexity-theory asymptotics parallel-computing landau-notation terminology optimization decision-problem complexity-theory polynomial-time counting coding-theory permutations encoding-scheme error-correcting-codes machine-learning natural-language-processing algorithms graphs social-networks network-analysis relational-algebra constraint-satisfaction polymorphisms algorithms graphs trees

6

Erstellen von Kombinationen aus einer Reihe von Paaren ohne Wiederholung von Elementen

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 …

28 algorithms graphics data-structures computational-geometry operating-systems process-scheduling algorithms sorting database-theory relational-algebra finite-model-theory logic automata linear-temporal-logic buchi-automata complexity-theory np-complete decision-problem machine-learning algorithms pattern-recognition logic formal-languages formal-grammars context-free

2

Optimierungsversion von Entscheidungsproblemen

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 ∈ Vv,u∈Vv,u\in V einen …

26 complexity-theory optimization search-problem decision-problem

5

Warum ist dieses Problem in NP nicht unentscheidbar?

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 liegt nur dann in NP vor, wenn ein …

25 complexity-theory computability undecidability decision-problem

1

Unterscheidungsentscheidungsverfahren vs SMT-Löser vs Theorembeweiser vs Beschränkungslöser

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 SAT-Solver + Entscheidungsverfahren. Theorembeweiser bezeichnet so etwas wie dynamische Logik, zB das …

23 algorithms terminology reference-request decision-problem

2

Wie ist das Problem des Handlungsreisenden in polynomialer Zeit überprüfbar?

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 …

21 complexity-theory time-complexity np decision-problem traveling-salesman

3

Warum gibt es keine Approximationsalgorithmen für SAT und andere Entscheidungsprobleme?

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 keine Näherungsalgorithmen für solche Probleme finden. Ich habe speziell nach SAT …

18 algorithms satisfiability approximation decision-problem

3

Algorithmus zum Testen, ob eine Sprache kontextfrei ist

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 einen Webdienst, …

18 algorithms formal-languages context-free decision-problem

2

Was ist der Unterschied zwischen "Entscheidung" und "Verifikation" in der Komplexitätstheorie?

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 "verifiziert"?

16 complexity-theory terminology decision-problem

2

Gibt es einen effizienten Algorithmus für die Ausdrucksäquivalenz?

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 Wenn es hilft, können wir jeden Ausdruck verbieten, der mit anderen numerischen Werten als . dh nicht noch noch :x …

14 complexity-theory time-complexity decision-problem

3

Ist die Entscheidung über die Entscheidbarkeit entscheidend?

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 finden.

13 computability undecidability decision-problem

2

Ist das Post-Korrespondenz-Problem in NP?

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 und …

12 complexity-theory decision-problem np

3

Gibt es einen effizienten Test, ob eine NFA eine Teilmenge einer anderen NFA akzeptiert?

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 es …

12 algorithms regular-languages automata np-complete decision-problem

2

Ist die Gleichheit zweier EDA ein entscheidendes Problem?

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 sind, ist dies auch …

11 computability automata finite-automata decision-problem

Als «decision-problem» getaggte Fragen