Als «cc.complexity-theory» getaggte Fragen

P gegen NP und andere ressourcengebundene Berechnungen.

2
Wie kann man die Definition der rechnerischen Komplexität von Real beurteilen, die natürlich oder geeignet ist?
Wie wir wissen, ist die Definition der rechnerischen Komplexität von Algorithmen fast unumstritten, aber die Definition der rechnerischen Komplexität von Real oder der Berechnungsmodelle über Real ist in einem solchen Fall nicht. Wir kennen das Modell und das Modell von Blum und Smales im Buch Computable Analysis. Und anscheinend stimmt …
1
Verwirrung über Vertex-Zählscheitelpunktabdeckungen zu Zählzyklusabdeckungen
Das verwirrt mich. Ein einfacher Fall des Zählens ist, wenn das Entscheidungsproblem in und es keine Lösungen gibt.PPP Eine Vorlesung zeigt, dass das Problem des Zählens der Anzahl perfekter Übereinstimmungen in einem zweigeteilten Graphen (äquivalent das Zählen der Anzahl von Zyklusabdeckungen in einem gerichteten Graphen) #P-vollständig ist.#P#P\#P Sie reduzieren das …
4
Polynomprobleme in Graphklassen, die durch verbotene induzierte zyklische Subgraphen definiert sind
Crossposted von MO . Sei eine Graphklasse, die durch eine endliche Anzahl verbotener induzierter Untergraphen definiert ist, die alle zyklisch sind (mindestens einen Zyklus enthalten).CCC Gibt es NP-harte Graphprobleme, die in der Polynomzeit für außer Clique und Clique Cover gelöst werden können ?CCC Wenn ich mich richtig erinnere, ist dies …
3
Gibt es nicht konstruktive Existenznachweise für „kleine“ Turingmaschinen / NFAs?
Nachdem ich eine verwandte Frage über nichtkonstruktive Existenzbeweise von Algorithmen gelesen hatte , fragte ich mich, ob es Methoden gibt, um die Existenz von "kleinen" (etwa zustandsbezogenen) Rechenmaschinen zu zeigen, ohne sie tatsächlich zu erstellen. Formal: Nehmen wir an, wir erhalten eine Sprache und korrigieren ein Rechenmodell (NFAs / Turing …
1
Fast immer fast richtig
Ich suche nach einer Komplexitätsklasse, die APX bezieht sich wie BPP P. betrifft Ich habe schon die gleiche Frage gestellt hier , aber vielleicht wäre TCS ein fruchtbarer Ort für Antworten sein. Der Grund für die Frage ist, dass man in praktischen Problemen häufig ungefähre Antworten (also APX) mit ausreichend …
1
Rechenmodell in SETH
Impagliazzo, Paturi und Calabro, Impagliazzo, Paturi führten die Exponential-Time-Hypothese (ETH) und die Strongly Exponential-Time-Hypothese (SETH) ein. Ungefähr sagt SETH, dass es keinen Algorithmus gibt, der SAT in der Zeit löst . 1.99n1.99n1.99^n Ich fragte mich, was das bedeuten würde, um SETH zu brechen. Wir müssen definitiv einen Algorithmus finden, der …
2
Bedeutet "Zweites X ist NP-vollständig" "X ist NP-vollständig"?
Das "zweite " -Problem ist das Problem, die Existenz einer anderen Lösung zu entscheiden, die sich von einer gegebenen Lösung für eine Probleminstanz unterscheidet.XXX Für einige vollständige Probleme ist die zweite Lösungsversion N P- vollständig (Entscheidung über die Existenz einer anderen Lösung für das partielle lateinische Quadrat-Vervollständigungsproblem), während sie für …
2
Intuition für die UP-Klasse
Die UP-Klasse ist als solche definiert : Die Klasse von Entscheidungsproblemen, die von einer NP-Maschine so gelöst werden können, dass Wenn die Antwort "Ja" lautet, wird genau ein Berechnungspfad akzeptiert. Wenn die Antwort "Nein" lautet, werden alle Berechnungspfade abgelehnt. Ich versuche, eine Intuition für diese Definition zu entwickeln. Kann man …
1
Impagliazzo und Wigdersons berühmtes P = BPP-Papier
Ich lese Impagliazzo und Wigdersons berühmtes Papier aus dem Jahr 1997. Da ich neu in diesem Bereich bin und das Papier eine prägnante Konferenzversion ist, habe ich Schwierigkeiten, ihren Beweisen zu folgen. Insbesondere fehlen einigen ihrer neuen Sätze Beweise. Nach meinem besten Wissen wurde keine Journalversion veröffentlicht.P=BPPP=BPP\mathsf P=\mathsf{BPP} Ich suche …
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.