Computerwissenschaften complexity-theory

2

Ist es einfach, einfache Fälle von NP-harten Problemen zu erkennen?

Meine Frage lautet wie folgt. Angenommen, ist ein NP-hartes Problem. Ist es bei einer beliebigen Instanz I von Π und der Annahme, dass ein Gegner weiß, dass diese Instanz leicht zu lösen ist, möglich, einen deterministischen Polynom-Zeit-Algorithmus zu finden, um diese bestimmte Instanz I zu lösen ?ΠΠ\PiichIIΠΠ\PiichII Zum Beispiel: Angenommen, …

8 complexity-theory np-complete np-hard np p-vs-np

1

Gibt es ein NP-vollständiges Problem, so dass die Entscheidungsversion des Zählproblems nicht PP-vollständig ist?

Sobald wir einen polynomialzeitdeterministischen Prüfer V (Eingabe, Zertifikat) festgelegt haben, ist das entsprechende NP-Problem die Frage: Existiert für diese Eingabe ein Zertifikat (Polynomgröße), sodass V (Eingabe, Zertifikat) True zurückgibt? Das damit verbundene Zählproblem (Klasse #P) ist: Wie viele Zertifikate sind vorhanden, sodass V (Eingabe, Zertifikat) True zurückgibt? #P ist keine …

8 complexity-theory

1

ist ?

Ich denke, dass diese beiden Klassen gleich sein sollten, aber ich kann keine Literatur dazu finden und habe einen begrenzten Hintergrund zu diesem Thema. Dies ist meine Argumentation, und ich würde gerne wissen, ob (1) dies bereits bekannt ist oder (2) ich etwas falsch verstanden habe oder (3) ich gerade …

8 complexity-theory complexity-classes quantum-computing

1

Beweise n! ist voll zeitkonstruierbar

Wir haben gerade letzte Woche unsere Lektion "Zeitkonstruierbarkeit" im Unterricht beendet und zum Beispiel gezeigt, dass vollständig zeitkonstruierbar sind, dh es gibt eine (deterministische Mehrband-Turing-Maschine), die für n gegeben ist, hält nach genau f ( n ) Schritten an und fragt nur, ob wir jetzt beweisen könnten, dass n ! …

8 complexity-theory turing-machines time-complexity

1

Minimale Basis für den Satz von Binärvektoren unter Verwendung von XOR

Ich wäre überrascht, wenn dies kein gut untersuchtes Problem wäre, aber ich bin mir nicht sicher, wonach ich an dieser Stelle noch suchen soll: Sie erhalten eine Menge binärer Vektoren . Das Problem besteht darin, eine andere Menge von binären Vektoren mit minimaler Größe, so dass jeder Vektor in durch …

8 complexity-theory arithmetic matrices linear-algebra

3

Beziehung zwischen Algorithmuskomplexität und Automatenklasse

Ich konnte kein Diagramm finden, das die folgende Frage darstellt oder Text beantwortet: Gibt es einen direkten Zusammenhang zwischen der Komplexität eines Algorithmus (z. B. Best / Worst-Fall der schnellen Sortierung) und der Klasse von Automaten, die den Algorithmus implementieren können? Gibt es zum Beispiel eine Reihe von Komplexität, die …

8 complexity-theory automata reference-request complexity-classes

1

Welche NP-Entscheidungsprobleme sind nicht selbstreduzierbar?

Also haben wir gerade im Unterricht etwas über Selbstreduzierbarkeit gelernt. Mein Professor und unser Lehrbuch würden sich nicht dazu verpflichten zu sagen, dass alle Probleme in NP selbstreduzierbar sind, aber es schien keine Beispiele für Probleme zu geben, die dies nicht sind. Ich habe mich gefragt, ob es Beispiele gibt …

8 complexity-theory reductions decision-problem np

1

Gibt es einen kontinuierlichen Hash?

Fragen: Kann es einen (kryptografisch sicheren) Hash geben, der die Informationstopologie von ?{0,1}∗{0,1}∗\{0,1\}^{*} Können wir eine effizient berechenbare Nähe Prädikat , das weitergegeben wurden und (oder selbst) sagt uns , wenn ist sehr nahe an (zB die Levenshtein - Distanz oder Hamming - Distanz von und kleiner als ein fester …

8 complexity-theory cryptography hash string-metrics topology

1

Durchsuchen des Permutationsraums

Ich bekomme n Objekte und eine Menge von n Permutationen dieser n Objekte (von n! Gesamtpermutationen). Es gibt eine echte zugrunde liegende Permutation, von der ich weiß, dass sie eine unter den n Permutationen ist, aber ich weiß nicht, welche. Ein Orakel kennt jedoch die wahre Permutation. Um die wahre …

8 complexity-theory lower-bounds search-problem permutations

1

Was wissen wir über NP ∩ co-NP und seine Beziehung zu NPI?

Ein TA ist heute vorbeigekommen, um sich über NP und Co-NP zu erkundigen. Wir kamen an einem Punkt an, an dem ich ebenfalls ratlos war: Wie sieht ein Venn-Diagramm von P, NPI, NP und Co-NP aus, wenn P ≠ NP angenommen wird (der andere Fall ist langweilig)? Es scheint vier …

8 complexity-theory reference-request complexity-classes np

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

8 complexity-theory np-hard complexity-classes np

1

Kombinierte Logikschaltungen und Berechnungstheorie

Ich versuche, kombinatorische Logikschaltungen (Computer, die nur auf logischen Gattern basieren) mit allem zu verknüpfen, was ich kürzlich in Theory of Computation gelernt habe. Ich habe mich gefragt, ob kombinatorische Logikschaltungen Berechnungen auf die gleiche Weise wie Finite-State-Maschinen implementieren können. Sie scheinen radikal anders zu sein: Finite-State-Maschinen haben jedoch einen …

8 complexity-theory turing-machines computation-models circuits

1

Exponentielles Analogon von NC?

Nicks Klasse (NC) ist die Klasse von Problemen, die in Poly-Log-Zeit unter Verwendung einer Polynomzahl von Prozessoren entschieden werden können. Ich möchte etwas über das exponentielle Analogon wissen, das Probleme abdeckt, die in Polynomzeit unter Verwendung einer exponentiellen Anzahl von Prozessoren entschieden werden können. Was ich suche, ist ein Name …

8 complexity-theory reference-request parallel-computing complexity-classes

1

NP Probleme mit einzigartiger Lösung

Gibt es eine Klasse von NP-Problemen, die eine einzige Lösung haben? Ich frage das, denn als ich Kryptographie studierte, las ich über den Rucksack und fand die Idee sehr interessant.

8 complexity-theory decision-problem np cryptography

2

Sind NP Complete-Sprachen im regulären Betrieb geschlossen?

Ich habe versucht, online zu suchen, konnte aber keine endgültigen Aussagen finden. Es würde für mich Sinn machen, dass die Vereinigung und Kreuzung zweier NPC-Sprachen eine Sprache hervorbringen würde, die nicht unbedingt im NPC enthalten ist. Stimmt es auch, dass NPC-Sprachen nicht unter den Operationen Komplement, Verkettung und Kleene-Sterne geschlossen …

8 complexity-theory np-complete closure-properties

Als «complexity-theory» getaggte Fragen