Ich habe kürzlich angefangen, viel über die Komplexität von Beweisen zu lesen und habe das, was ich gelesen habe, wirklich genossen. Ich würde wirklich gerne mehr darüber erfahren, aber es fällt mir zunächst schwer, ein gutes Anfängermaterial zu finden. Würde jemand in der Lage sein, einige...
Die natürliche Beweisbarriere von Razborov und Rudich besagt, dass man unter glaubwürdigen kryptographischen Annahmen nicht hoffen kann, NP von P / poly zu trennen, indem man kombinatorische Eigenschaften von Funktionen findet, die konstruktiv, groß und nützlich sind. Es gibt mehrere bekannte...
Nehmen wir an, wir entdecken fremde Zivilisationen, die Nachrichten über einen interstellaren digitalen Kommunikationskanal senden und empfangen können. (Sagen wir, wir verwenden modulierte Radiowellen, Laserpulse und positionieren Sterne in verschiedenen Umlaufbahnen.) Nehmen wir an, wir haben uns...
Wir können uns die Kolmogorov-Komplexität eines Strings xxx als die Länge des kürzesten Programms PPP und yyy so eingeben , dass x=P(y)x=P(y)x = P(y) . Normalerweise werden diese Programme aus einem Turing-Komplett-Set erstellt (wie PPP die Beschreibung einer Turing-Maschine oder ein Programm in...
Sei eine 2CNF-Formel und k eine nichtnegative ganze Zahl. Es ist in diesem Aufsatz bewiesen , dass das Problem der Entscheidung, ob höchstens k- Klauseln gelöscht werden können , um φ zufriedenstellend zu machen , mit festen Parametern bewerkstelligt werden kann, wobei k der Parameter ist. Meine...
AC0AC0AC^0 ist die Klasse von Schaltkreisen mit konstanter Tiefe und Polynomgröße mit NICHT-Gattern und unbegrenzten Fan-In- UND- und ODER-Gattern, wobei Eingänge und Gatter auch unbegrenzte Fan-Outs aufweisen. Betrachten Sie nun eine neue Klasse, nennen Sie sie die ähnelt, für die Eingänge und...
Ich bin die Sprache aller erfüllbar Propositionslogik Formeln unter Berücksichtigung, SAT (um sicherzustellen , dass dies eine endliche Alphabet hat, würden wir propositionaler Buchstaben in geeigneter Weise kodieren [edit: die Antworten darauf hingewiesen , dass die Antwort auf die Frage nicht...
Normalerweise wird die Shannon-Entropie verwendet, um die Ergebnisse der Kanalcodierung zu beweisen. Auch für die Trennung von Quellkanälen wird die Shannon-Entropie verwendet. Hat es eine Studie gegeben, um die Komplexität von Kolmogorov für diese Ergebnisse zu nutzen (oder zumindest den...
Betrachten Sie das folgende Problem beim Testen der Mitgliedschaft von Abelian-Untergruppen . Eingänge: Eine endliche abelsche Gruppe G=Zd1×Zd1…×ZdmG=Zd1×Zd1…×ZdmG=\mathbb{Z}_{d_1}\times\mathbb{Z}_{d_1}\ldots\times\mathbb{Z}_{d_m} mit beliebig großem didid_i . Ein Generatorsatz...
Das Gewichteiner binären Zeichenkette ist die Anzahl der Einsen in der Zeichenkette. Was passiert, wenn wir daran interessiert sind, eine monotone Funktion an Eingängen mit wenigen zu berechnen?x ∈ { 0 , 1 } n|x||x||x|x∈{0,1}nx∈{0,1}nx\in\{0,1\}^n Wir wissen, dass die Entscheidung, ob ein Graph...
Gibt es entscheidbare Probleme, so dass wir für keinen Algorithmus, der das Problem löst, eine Zeitgrenze als Funktion der Länge n der Eingabeinstanz angeben können? Ich bin zu dieser Frage gekommen, weil ich über Folgendes nachgedacht habe: Angenommen, wir haben ein rekursiv aufzählbares, aber...
Das Stopp-Problem ist bekanntermaßen nicht berechenbar. Es ist jedoch möglich, Informationen über das Problem des Anhaltens exponentiell zu "komprimieren", so dass das Dekomprimieren berechenbar ist. Genauer gesagt ist es möglich, aus einer Beschreibung von Turing-Maschinen und einem Bit-Hinweis...
Bei einem gerichteten Graphen mit n Knoten, bei dem jeder Scheitelpunkt genau zwei ausgehende Kanten hat, und einer natürlichen Zahl N, die binär codiert ist, zwei Scheitelpunkte s und t, Ich möchte die Anzahl der (nicht unbedingt einfachen) Pfade von s bis t innerhalb von N Schritten zählen. Ist...
Es ist nun bekannt, dass die untere Grenze des allgemeinen Gegners die Komplexität von Quantenabfragen aufgrund der bahnbrechenden Arbeiten von Reichardt et al. Dieselbe Arbeitslinie stellt auch Verbindungen zum Span-Programm-Framework her, um Quantenalgorithmen zu entwerfen. Viele interessante...
In dem berühmten Gegenbeispiel zur Graphisomorphie nach Weisfeiler-Lehman (WL) wurde das folgende Gadget in dieser Arbeit von Cai, Furer und Immerman konstruiert . Sie konstruieren einen Graphen Xk=(Vk,Ek)Xk=(Vk,Ek)X_k = (V_k, E_k) gegeben durch
Fix ein NP-vollständiges Suchproblem zB die Suchform von SAT. Die Levinsuche liefert einen Algorithmus zum Lösen von der in gewissem Sinne optimal ist. Im Einzelnen lautet der Algorithmus "Führe alle möglichen Programme in Verzahnung mit der Eingabe , sobald die Antwort zurückgibt prüft, ob sie...
Ich habe einen Teil eines Beweises Versuch von ⊕P⊆NP⊕P⊆NP\oplus \mathbf{P} \subseteq \mathbf{NP} . Der Beweisversuch besteht aus einer Karp-Reduktion vom ⊕P⊕P\oplus \mathbf{P} vollständigen Problem ⊕⊕\oplus 3-REGELMÄSSIGE VERTEX-ABDECKUNG auf SAT. Bei einem kubischen Graphen GGG gibt die Reduktion...
Was ist der effizienteste Algorithmus (in Bezug auf die zeitliche Komplexität), der heutzutage für das Divisibitätsentscheidungsproblem bekannt ist: Wenn zwei ganze Zahlen aaa und bbb , ist aaa Division von bbb ? Es sei klargestellt, dass das, wonach ich bitte, kein (notwendiger) Algorithmus für...
Definieren Sie als die Klasse von Sprachen, die von einer (Multitape-) Turing-Maschine in der Zeit f ( n ) + 1 akzeptiert werden können . (Die " + 1 " dient nur zur Vereinfachung der Notation und zur Vermeidung von Verwirrung.) Beachten Sie, dass um f ( n ) + 1 kein O ( ⋅ ) vorhanden ist...
Let bezeichnen die Mindestgröße eines (nicht-monotone) arithmetic ( + , x , - ) Schaltung Berechnen eines gegebenen multi Polynom f ( x 1 , ... , x n ) = Σ e ∈ E c e n Π i = 1 x e i iA(f)A(f)A(f)(+,×,−)(+,×,−)(+,\times,-) und B ( f ) bezeichnen die minimale Größe einer (nicht monotonen) booleschen...