Als «cc.complexity-theory» getaggte Fragen

P gegen NP und andere ressourcengebundene Berechnungen.

1
Gibt es Verteilungseigenschaften, die „maximal“ schwer zu testen sind?
Ein Verteilungstestalgorithmus für eine Verteilungseigenschaft P (die nur eine Teilmenge aller Verteilungen über [n] ist) erlaubt den Zugriff auf Stichproben gemäß einer Verteilung D und muss entscheiden (whp), ob D∈PD∈PD\in P oder d(D,P)>ϵd(D,P)>ϵd(D,P)>\epsilon ( ddd hier normalerweise der Abstand ℓ1ℓ1\ell_1 ). Das häufigste Maß für die Komplexität ist die Anzahl …
2
Gaußsche Eliminierung in Bezug auf Gruppenaktionen
Die Gaußsche Eliminierung macht die Determinante einer Matrixpolynomzeit berechenbar. Die Verringerung der Komplexität bei der Berechnung der Determinante, die ansonsten die Summe der Exponentialausdrücke ist, beruht auf dem Vorhandensein alternativer negativer Vorzeichen (deren Fehlen die Berechnung permanent macht, ist #P-hard#P-hard \#P\mbox{-}hard dh härter als NP-CNP-CNP\mbox{-}C Probleme). . Dies führt zu …
2
Ist es möglich, Zufallsbeschränkungen zu verwenden, um eine Untergrenze für
Es gibt mehrere bekannte -Schaltungsgrößen-Untergrenzen-Ergebnisse, die auf Zufallsbeschränkungen und dem Umschalt-Lemma basieren .AC0AC0\mathsf{AC^0} Können wir ein Switching-Lemma-Ergebnis entwickeln, um eine Größenuntergrenze für -Schaltungen zu beweisen (ähnlich zu den Untergrenzenbeweisen für A C 0 )?TC0TC0\mathsf{TC^0}AC0AC0\mathsf{AC^0} Oder gibt es ein inhärentes Hindernis bei der Verwendung dieses Ansatzes zum Nachweis von -Untergrenzen?TC0TC0\mathsf{TC^0} Sagen …
2
Oblivious Turing Machine Emulation Untergrenze
Gibt es einen Beweis dafür, dass die Emulation einer Turing-Maschine auf einer Turing-Maschine nicht in weniger als wobei die Anzahl der Schritte ist, die die Turing-Maschine verwendet ? Oder ist das nur eine Obergrenze?O ( m logm )Ö(mLog⁡m)\mathcal{O}\left(m\log m\right)mmm In der Arbeit von Paul Vitányi über relativierte vergessene Turingmaschinen behauptet …
1
Elementargrenzen für Parameter in der Traktierbarkeit von Festparametern?
In der Definition der (starken) Traktierbarkeit fester Parameter ist die ein Ausdruck der Form wobei die mit dem Parameter ,f(k).p(|x|),f(k).p(|x|),f(k).p(|x|),(x,k)(x,k)(x,k)kkkppp ist Polynom und ist eine berechenbare Funktion.fff Es ist möglich, die Berechenbarkeitsanforderung für durch andere Funktionsklassen zu ersetzen , solange der Begriff der Reduktion ähnlich eingeschränkt ist. (Zum Beispiel decken …
1
Parität L gegen NL
Parity-L, auch bekannt als L, ist die Menge von Sprachen, die von einer nicht deterministischen Turing-Maschine erkannt werden, die nur zwischen einer geraden Anzahl oder einer ungeraden Anzahl von "Akzeptanz" -Pfaden unterscheiden kann. Eine kürzlich gestellte verwandte Frage wurde von Niel de Beaudrap gestellt.⊕⊕\oplus Meine Frage lautet wie folgt: Haben …
1
Zählt man maximale Cliquen in einem Inkompatibilitätsdiagramm # P-complete?
Diese Frage wird durch eine MathOverflow-Frage von Peng Zhang motiviert . Valiant hat gezeigt, dass das Zählen maximaler Cliquen in einem allgemeinen Graphen # P-vollständig ist, aber was ist, wenn wir uns auf Unvergleichbarkeitsgraphen beschränken (dh, wir möchten maximale Antichains in einem endlichen Poset zählen)? Diese Frage scheint natürlich genug …
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.