Ich versuche, interaktive Beweissysteme zu verstehen und habe das folgende Problem als Übung ausprobiert. Wir wissen, dass und , also kommen Sie mit (leicht verständlichen) interaktiven Proof-Systemen für ?I P = P S P A C E P H.P.H.⊆ P.S.P.A C.E.PH⊆PSPACEPH \subseteq PSPACEichP.= P.S.P.A...
Ich habe eine Menge von Punkten, die in einem metrischen Raum definiert sind - so kann ich einen 'Abstand' zwischen Punkten messen, aber sonst nichts. Ich möchte den zentralsten Punkt innerhalb dieser Menge finden, den ich als den Punkt mit der minimalen Summe der Abstände zu allen anderen Punkten...
Wie beweisen wir, wie in der Frage angegeben, dass ?NTIME (f( n ) ) ⊆ DSPACE ( f( n ) )NTIME(f(n))⊆DSPACE(f(n))\textbf{NTIME}(f(n)) \subseteq \textbf{DSPACE}(f(n)) Kann mich hier jemand auf einen Beweis hinweisen oder umreißen? Vielen
Ich bin mir bewusst, dass einige Ints höhere oder niedrigere Kolmogorov-Komplexitäten haben. Zum Beispiel hat die Zahl 5.41126806512eine sehr geringe Komplexität, wie sie durch ausgedrückt werden kann 17/pi. Mir ist auch bewusst, dass der KC, obwohl er je nach Ausdruckssprache variiert, bis zu...
Ich habe kürzlich mit einem Freund über eine Website gesprochen, auf der Regex-Herausforderungen vorgeschlagen wurden, wobei hauptsächlich eine Gruppe von Wörtern mit einer speziellen Eigenschaft abgeglichen wurde. Er suchte nach einem regulären Ausdruck, der zu Zeichenfolgen passt, bei...
Es gibt mehrere OOO Notationen wie oder und so weiter. Ich habe mich gefragt, ob es in der Realität Variationen wie oder gibt oder ob diese mathematisch falsch sind.O(n)O(n)O(n)O(n2)O(n2)O(n^2)O(2n2)O(2n2)O(2n^2)O(logn2)O(logn2)O(\log n^2) Oder wäre es richtig zu sagen, dass es möglich ist, ein zu...
Eine formale Sprache L.LL über ein Alphabet ΣΣ\Sigma ist eine Teilmenge von Σ∗Σ∗\Sigma^* , die eine Reihe von Worten über dieses Alphabet ist. Zwei formale Sprachen L.LL und L.'L′L' sind gleich, wenn die entsprechenden Mengen als Teilmengen von weitgehend gleich sind L ∪ L.'L∪L′L\cup L'. Man kann...
Diese Frage betrifft die Schnittstelle von Wahrscheinlichkeitstheorie und Rechenkomplexität. Eine wichtige Beobachtung ist, dass einige Verteilungen einfacher zu generieren sind als andere. Zum Beispiel das Problem Geben Sie bei einer gegebenen Zahl eine gleichmäßig verteilte Zahl i mit 0 ≤ i <...
Ich habe mich gefragt, ob dieses Problem einen Namen hat: Bei einem einfachen Graphen, dessen Kanten rot, blau und grün gefärbt sind, , gibt es eine Scheitelpunktfärbung c : V → { B , R , G }, so dass jede Kante einen Endpunkt hat mit der gleichen Farbe?G=(V,B∪R∪G)G=(V,B∪R∪G)G=(V,B\cup R\cup...
Valiant & Vazirani haben bewiesen, dass SAT unter randomisierten probabilistischen Verkürzungen der Polynomzeit auf EINZIGARTIGES SAT reduzierbar ist. Calabro et al . zeigten, dass EINZIGARTIGES k-SAT so hart ist wie k-SAT. Die Frage ist nun, wenn jemand zeigt, dass UNIQUE k-SAT in P ist,...
Wie können wir sicherstellen, dass wir bei der Verwendung von Orakel-Turing-Maschinen weiterhin fundierte und gültige Aussagen zu Komplexitätsklassen treffen? Nach meinem Verständnis (basierend auf den Definitionen in einführenden Lehrbüchern zu diesem Thema) können Orakel-Turing-Maschinen den...
Wir wissen, dass die polyLpolyLpolyL-Hierarchie hat keine vollständigen Probleme, da dies mit dem Satz der Raumhierarchie in Konflikt stehen würde. Aber: Gibt es für jede Ebene dieser Hierarchie vollständige Probleme? Um genau zu sein: Tut die Klasse DSPACE(log(n)k)DSPACE(log(n)k)DSPACE(\log(n)^k)...
Ein Schwellenwertgatter, das eine lineare Schwellenwertfunktion an booleschen Eingängen implementiert ist durch die Gleichung gegeben: wobei . Die werden als Gewichte der Schwellenwertfunktion bezeichnet, und wird als Schwellenwert bezeichnet, und natürlich das Gate einennnx1,x2…,xnx1,x2…,xnx_1,...
Wie das immergrüne Netz The Physics of Santa feststellt, ist es für den Weihnachtsmann physisch unmöglich, jedem Kind auf dem Planeten ein Geschenk zu machen. Die Routenplanung wird nicht helfen , viel gibt, kann aber eine gute Planungsalgorithmus zumindest dafür sorgen , dass jedes Kind ein...
Gibt es angesichts der Tatsache, dass die QBits Überlagerungen haben und im Vergleich zu Schaltkreisen eine höhere Repräsentationskraft haben, Probleme, die mindestens eine exponentielle Zeit erfordern, um eine Lösung mit einem Quantencomputer zu gewährleisten? Ich habe den Complexity Zoo überprüft...
In der Theorie der verteilten Algorithmen gibt es Probleme mit Untergrenzen wie Ω(n2)Ω(n2)\Omega(n^2) , die "groß" (ich meine größer als ) und nicht trivial sind. Ich frage mich, ob es Probleme mit ähnlichen Grenzen in der Theorie des seriellen Algorithmus gibt. Ich meine, die Ordnung ist viel...
Ich interessiere mich für die Selbstreduzierbarkeit des Graph 3-Coloralibity-Problems. Definition des Graph 3-Coloralibity-Problems. Gibt es bei einem ungerichteten Graphen eine Möglichkeit, die Knoten rot, grün und blau zu färben, sodass keine benachbarten Knoten dieselbe Farbe haben?GGG...
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
So NPNPNP steht für Probleme , bei denen wir kleine nachprüfbaren Zeugen haben YESYESYES - Instanzen und coNPcoNPcoNP für kleine nachprüfbare Zeugen für NONONO - Instanzen. Wie funktioniert das? PNPPNPP^{NP} NPNPNPNPNP^{NP} coNPNPcoNPNPcoNP^{NP} und so weiter?
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...