Als «cc.complexity-theory» getaggte Fragen

P gegen NP und andere ressourcengebundene Berechnungen.

2
Gründe zu glauben, dass
Es scheint, dass viele Leute glauben, dass , auch weil sie glauben, dass Factoring nicht polyzeitlösbar ist. (Shiva Kintali hat hier einige andere Kandidatenprobleme aufgelistet ).P≠NP∩coNPP≠NP∩coNPP \ne NP \cap coNP Andererseits haben Grötschel, Lovász und Schrijver geschrieben, dass "viele Leute glauben, dass ". Dieses Zitat ist in Geometrische Algorithmen und …
2
Entscheiden, ob eine NC
Ich möchte einen Sonderfall der Frage „ Entscheiden, ob eine gegebene NC 0- Schaltung eine Permutation berechnet “ von QiCheng ansprechen, der unbeantwortet geblieben ist. Eine Boolesche Schaltung wird als NC 0 k- Schaltung bezeichnet, wenn jedes Ausgangsgatter syntaktisch von höchstens k Eingangsgattern abhängt . (Wir sagen, dass ein Ausgangsgatter …
1
Entscheiden, ob eine gegebene
Wie ist die Entscheidung, ob eine Schaltung mit Eingangsbits und Ausgangsbits eine Permutation von berechnet ? mit anderen Worten, ob jede Bitfolge in ein Ausgang der Schaltung für eine Eingabe ist? Es sieht aus wie ein Problem, das untersucht wurde, aber ich kann keine Referenzen finden. nn{0,1 } n {0,1 …
2
Komplexität topologischer Eigenschaften.
Ich bin ein Informatiker, der einen Kurs über Topologie belegt (eine Prise Punkt-Set-Topologie, die stark von der Kontinuum-Theorie beeinflusst ist). Ich habe mich für Entscheidungsprobleme interessiert, bei denen ich eine Beschreibung eines Raumes (durch Vereinfachungen) auf topologische Eigenschaften prüfe. diejenigen, die bis zum Homöomorphismus erhalten sind. Es ist beispielsweise bekannt, …
2
NP-intermediäre Probleme mit effizienten Quantenlösungen
Peter Shor hat gezeigt, dass zwei der wichtigsten NP-Intermediate-Probleme, Factoring und das diskrete Log-Problem, im BQP liegen. Im Gegensatz dazu liefert der bekannteste Quantenalgorithmus für SAT (Grovers Suche) nur eine quadratische Verbesserung gegenüber dem klassischen Algorithmus, was darauf hindeutet, dass NP-vollständige Probleme auf Quantencomputern immer noch nicht gelöst werden können. …
3
Gibt es einen Kandidaten für ein natürliches Problem in ?
Ich möchte wissen, ob Ungleichmäßigkeit die Rechenfunktionen in der Praxis unterstützt. Es ist leicht zu zeigen, dass es Funktionen in , eine nicht berechenbare Funktion und die Sprache { } zu berücksichtigen , die eindeutig einfache uneinheitliche Schaltungen aufweist , ist aber überhaupt nicht einheitlich berechenbar, aber das ist nicht …
2
Was sind die Konsequenzen von Parität-L = P?
Parität-L ist die Menge von Sprachen, die von einer nicht-deterministischen Turing-Maschine erkannt werden und die nur zwischen einer geraden oder ungeraden Anzahl von "Akzeptanz" -Pfaden (anstelle einer Null- oder einer Nicht-Null-Anzahl von Akzeptanzpfaden) unterscheiden kann weiter auf die Arbeit im logarithmischen Raum beschränkt. Die Lösung eines linearen Gleichungssystems über over …
6
Welche SAT-Probleme sind einfach?
Was sind "einfache Regionen" für die Erfüllbarkeit? Mit anderen Worten, ausreichende Bedingungen, damit ein SAT-Löser eine zufriedenstellende Zuordnung finden kann, sofern diese vorliegt. Ein Beispiel ist, wenn jede Klausel Variablen mit wenigen anderen Klauseln teilt, aufgrund des konstruktiven Nachweises von LLL, irgendwelche anderen Ergebnisse in dieser Richtung? Es gibt umfangreiche …
6
Wie werden reelle Zahlen bei der Berechnung angegeben?
Dies mag eine grundlegende Frage sein, aber ich habe Artikel über Themen wie Nash-Gleichgewichtsberechnung und lineare Entartungstests gelesen und zu verstehen versucht und war mir nicht sicher, wie reelle Zahlen als Eingabe angegeben werden. Wenn beispielsweise angegeben wird, dass LDT bestimmte untere Polynomgrenzen hat, wie werden die reellen Zahlen angegeben, …
1
Komplexität der Matrixversorgung
Sei eine quadratische Ganzzahlmatrix und sei eine positive Ganzzahl. Ich interessiere mich für die Komplexität des folgenden Entscheidungsproblems:nMMMnnn Ist der obere rechte Eintrag von positiv?MnMnM^n Beachten Sie, dass der offensichtliche Ansatz des iterierten Quadrierens (oder einer anderen expliziten Berechnung) es erforderlich macht, dass wir potenziell Ganzzahlen mit doppelt exponentieller Größe …
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.