Computerwissenschaften decision-problem

1

Folge von Problemen, die zur Erhöhung von ?

Kennen wir eine unendliche Folge von Entscheidungsproblemen, bei denen der effizienteste Algorithmus für jedes Problem Zeit benötigt, wobei unbegrenzt zunimmt?Θ (nk)Θ(nk)\Theta(n^k)kkk Nehmen wir zum Beispiel an, wir würden wissen, dass das Finden einer k-Clique , dann könnte diese Sequenz {1-Clique, 2-Clique, 3-Clique, ...} sein. Möglicherweise gibt es jedoch effizientere Algorithmen …

7 complexity-theory decision-problem polynomial-time

3

Unentscheidbarkeit, ob ein Programm wahr oder falsch zurückgibt

Betrachten Sie das Problem, eine Eingabe-Turing-Maschine zu nehmen und festzustellen, ob die endgültige Zelle a ist 000 oder 111nach der Berechnung wird angehalten. In Fällen, in denen etwas anderes geschrieben wird oder nicht angehalten wird, dürfen Sie eine Antwort geben (aber Sie müssen anhalten und auf alle Eingaben eine Antwort …

7 undecidability decision-problem halting-problem

2

primitive rekursive funktionale Äquivalenz

Ist es bei zwei primitiven rekursiven Funktionen entscheidbar, ob sie dieselbe Funktion sind oder nicht? Nehmen wir zum Beispiel die Sortieralgorithmen A und B, die primitiv rekursiv sind. Obwohl es viele Algorithmen zum Sortieren gibt, beschreiben sie alle dieselbe Beziehung. Kann bei zwei primitiven rekursiven Implementierungen von A und B …

7 computability decision-problem primitive-recursion

1

Verständnis von Turings Antwort auf das Entscheidungsproblem

Ich entschuldige mich, wenn diese Frage schon einmal gestellt wurde, aber ich konnte kein Duplikat finden. Ich habe gerade The Annotated Turing gelesen und bin etwas verwirrt. Nach meinem Verständnis besteht das Entscheidungsproblem darin, ob ein Algorithmus existiert oder nicht, der bestimmen kann, ob eine Aussage beweisbar ist. In der …

7 computability turing-machines logic decision-problem incompleteness

2

Gibt es eine Strategie für die Brute-Force-Suche?

Ich weiß nicht, wie ich es elegant ausdrücken soll, aber im Grunde möchte ich einen Brute-Force-Suchalgorithmus implementieren, aber es gibt viele verschiedene Möglichkeiten, die ich durch den Suchraum aufzählen könnte. Das mag für mich naiv sein, aber ich stelle mir vor, dass die Art und Weise, wie ich durch den …

7 algorithms search-algorithms decision-problem np search-problem

1

Ist das Korrespondenzproblem von Post bei fester Wortgröße entscheidbar?

Es ist also bekannt, dass PCP selbst dann unentscheidbar ist, wenn wir die Anzahl der Kacheln auf festlegen .n≥7n≥7n \geq 7 Ich frage mich, kann etwas Ähnliches gesagt werden, wenn es eine feste Wortlänge gibt? Um genau zu sein, hier ist das Problem: Bei festem und mit und den Wörtern …

7 computability undecidability decision-problem

2

3-SAT, wobei Variablen als positives und als negatives Literal gleich oft vorkommen

Sei eine 3-CNF-Formel über die Variablen . Jede Variable , , kommt in gleich oft als positives Literal und als negatives Literal vor .ϕϕ\phix1,x2,…,xnx1,x2,…,xnx_1,x_2,\ldots,x_nxixix_ii∈[n]i∈[n]i \in [n]ϕϕ\phi Ist es NP-vollständig, über die Erfüllbarkeit einer solchen Formel zu entscheiden? Vorausgesetzt, es ist, würde mich interessieren, ob es einen speziellen Namen hat. Wurde …

7 complexity-theory np-complete satisfiability decision-problem

1

Komplexität des Problems (SAT zu 3-SAT)?

Es ist bekannt, dass jede CNF-Formel in Polynomzeit unter Verwendung neuer Variablen in eine 3-CNF-Formel umgewandelt werden kann ( siehe hier ). Wenn die Verwendung neuer Variablen nicht zulässig ist, ist dies nicht immer möglich (nehmen Sie zum Beispiel die Einzelklauselformel: ).(x1∨x2∨x3∨x4)(x1∨x2∨x3∨x4)(x_1 \lor x_2 \lor x_3 \lor x_4) Definieren wir …

7 complexity-theory satisfiability decision-problem complexity-classes

1

Komplexität des monotonen (+, 2) SAT-Problems?

Um diesen Beitrag fortzusetzen , definieren wir das monotone -SAT-Problem:(+,2−)(+,2−)(+, 2^-) Gegeben eine monotone CNF-Formel , bei der jede Variable genau einmal erscheint (als positives Literal), und eine monotone 2-CNF-Formel definiert für dieselben Variablen wie , wobei alle Variablen negiert werden. Ist erfüllbar?F+F+F^+F−2F2−F_2^-F+F+F^+F+∧F−2F+∧F2- -F^+ \land F_2^- Ist dieses Problem NP-vollständig?

7 complexity-theory np-complete decision-problem complexity-classes

3

Informatikprobleme im Zusammenhang mit Musik?

Gibt es vorzugsweise offene CS-Probleme, die irgendwie mit Musik oder Musiktheorie zusammenhängen? Ich würde an ein Problem mit der Notenschrift denken, aber auch an Wahrscheinlichkeiten bei der Randomisierung nach einer Skala oder einer Tonalität oder allgemein, was als Harmonie in Frequenzen und Physik, Elektromagnetismus und Wellenformen angesehen wird. Können Sie …

7 probability-theory decision-problem probabilistic-algorithms

1

NP vollständige Probleme, die in Polynomzeit lösbar sind, wenn die Eingabe (z. B. Anzahl der Variablen) behoben ist?

Ich habe einige Probleme gesehen, die NP-hart, aber in fester Dimension polynomiell lösbar sind. Beispiele, denke ich, sind Knapsack, das polynomial lösbar ist, wenn die Anzahl der Elemente fest ist, und Integer Linear Programming mit fester Anzahl von Variablen oder Einschränkungen durch Lenstras. Fragen: Was sind andere Beispiele für NP-harte …

7 np-complete optimization decision-problem linear-programming parameterized-complexity

Als «decision-problem» getaggte Fragen