Betrachten wir für eine feste Sprache in einem Alphabet A das folgende Problem, das ich L- INTERLEAVING nenne :LL.LAEINALLL Eingabe: zwei Wörter u,v∈A∗u,v∈A∗u, v \in A^* Output: ob eine existiert Verschachtelung von und v , die in ist L .uuuvvvLLL Hier ist eine Verschachtelung von zwei Wörtern und...
Quasi-Polynomialzeit, kurz QP, ist eine Komplexitätsklasse auf deterministischen Turing-Maschinen. Hier ist die genaue Definition: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:Q#qp Während βP eine Komplexitätsklasse mit begrenztem Nichtdeterminismus ist. Hier ist die genaue Definition:...
Gibt es eine bekannte berechenbare transzendentale Zahl, so dass ihre te Ziffer in Polynomzeit berechenbar ist, aber nicht in ?O ( n
Was ist Razborovs Approximationsmethode? Kann jemand einen Überblick auf hoher Ebene und die Intuition dahinter
Nach den immer neueren Erfolgen neuronaler Netze beim Spielen von Brettspielen könnte das nächste Ziel, das wir uns gesetzt haben, nützlicher sein, als Menschen in Starcraft zu schlagen. Genauer gesagt fragte ich mich, ob Können neuronale Netze trainiert werden, um klassische algorithmische...
Was sind die bekanntesten asymptotischen Obergrenzen für die Größe probabilistisch überprüfbarer Beweise? Idealerweise suche ich nach einer zeitgemäßen Umfrage zu dieser umfassenden Frage, aber wenn es keine gibt, bin ich besonders an der Unannäherbarkeit von 3-SAT interessiert. Sei 7/8 + ε-3-SAT...
Dieses Ergebnis von Tavenas, Koiran und anderen zeigt, dass jedes Polynom, das von einer Schaltung der Größe sss berechnet wird, von einer homogenen Schaltung der Größe s √ der Tiefe 4 berechnet wirdsd√sds^{\sqrt{d}} . Gibt es ähnliche Ergebnisse für Boolesche Schaltungen oder wissen wir, warum so...
Kontext : Es gibt mehrere Artikel , die die Auswirkungen geschlossener zeitlicher Kurven (CTCs) auf die Quantenkomplexität untersuchen. Im Jahr 2008 veröffentlichten Aaronson und Watrous ihre berühmte Arbeit zu diesem Thema, die zeigt, dass bestimmte Formen der Zeitreise klassische und...
In TCS gibt es eine Art von Ergebnissen, die normalerweise als Bootstrapping-Ergebnisse bezeichnet werden . Im Allgemeinen ist es von der Form Wenn Satz AAA gilt, gilt Satz A′A′A' . wobei AAA und A′A′A' Sätze sind, die ähnlich aussehen, und AAA scheinbar "schwächer" ist als A′A′A' , weshalb wir...
Für viele Probleme hat der Algorithmus mit der besten asymptotischen Komplexität einen sehr großen konstanten Faktor, der durch die große O-Notation verborgen ist. Dies tritt bei der Matrixmultiplikation, der Ganzzahlmultiplikation (insbesondere dem jüngsten O (n log n)
Ich habe mich gefragt, ob die Suche nach planaren 3-Farben bekanntermaßen von Komplexität oder niedriger ist. Dies scheint eine intuitive Konsequenz zu sein, die auf den Ergebnissen planarer Trennzeichen basiert. In Wikipedia werden jedoch nur unabhängige Mengen, Steiner-Bäume, Hamilton-Zyklen und...
Es gab vor kurzem ein beanspruchtes Beweis dafür , dass P.≠ N.P.P.≠N.P.P \ne NP . Nicht lange nach seiner Veröffentlichung wurden einige Probleme mit diesem Beweis aufgeworfen . Also ... ist der Beweis richtig oder nicht? (Bitte beantworten Sie dies nur, wenn Sie Beweise haben ... diese Frage kann...
Angenommen, Sie haben Männer und n Frauen. Jede Person hat m Attribute. Jede Person gibt eine Reihe von Attributen an, die ein möglicher Kandidat haben sollte. Ein Matching ist eine Menge von Paaren. Jedes Paar bindet einen Mann an eine Frau. Die Zufriedenheit eines Matchings ist die Anzahl der...
Problem mit parametrisierten maximalen unabhängigen Klauseln: Eingabe: Eine r-CNFSAT-Formel F mit n Variablen und m Klauseln, k Fragen: Gibt es mindestens k Klauseln, so dass sie voneinander unabhängig sind, dh keine Variable kommt mehr als einmal in allen diesen Klauseln zusammen vor. Parameter: k...
Es ist bekannt , dass , wenn P=NPP=NPP=NP dann CoNP=PCP[O(log(n)),O(1)]CoNP=PCP[O(log(n)),O(1)]CoNP= PCP[O(log(n)),O(1)] . Es ist auch bekannt, dass NEXP=PCP[poly(n),poly(n)]NEXP=PCP[poly(n),poly(n)]NEXP=PCP[poly(n),poly(n)]. Es scheint, dass PCP uns nicht sagen kann, welche natürlichen Probleme...
Das Problem # MONOTONE-2SAT ist bekanntermaßen # P-vollständig. Dies bedeutet, dass #SAT darauf reduziert werden kann. Meine Frage lautet: Wenn eine # SAT- Instanz , welche Transformation konvertiert in die entsprechende # MONOTONE-2SAT-Instanz ?FFFF 'FFFF′F′F' Eine zweite Frage ist: Lassen‚die...
Ich habe eine Arbeit eines mathematischen Chemikers gelesen. Er schlägt einige Indizes vor, um die Komplexität von Molekülen zu messen. Denken Sie von nun an anstelle von Molekülen an ungerichtete zusammenhängende Graphen: Ein Scheitelpunkt ist ein Atom, und eine Kante ist eine Bindung zwischen...
Diese Frage ergibt sich aus einer Antwort, die Joe Fitzsimons auf eine andere Frage gab . Die meisten Klassen für natürliche Komplexität haben eine einzeilige "intuitive Beschreibung", mit deren Hilfe Kernprobleme in dieser Klasse charakterisiert werden können. Bei NP geht es um "effiziente...
Ist bekannt, ob SPACE (n) (die Klasse von Sprachen, die von deterministischen TMs mit linearem Raum erkannt werden) eine geeignete Teilmenge von E ist (die Klasse von Sprachen, die von deterministischen TMs in der Zeit 2 ^ O (n) erkannt
In der Arbeit Relativierungen des P =? NP Question , Baker et al. zeigten, dass es relativierte Welten gibt, in denen entweder P = NP oder P ≠ NP gilt. Alle Orakel in ihren Einstellungen waren rekursive Mengen. In einer anderen Arbeit in Bezug auf ein zufälliges Orakel , P A ≠ N P A ≠ co- N P A mit...