(Von Neumann gab einen Algorithmus an, der eine faire Münze simuliert, wenn der Zugang zu identischen voreingenommenen Münzen gegeben ist. Der Algorithmus erfordert möglicherweise eine unendliche Anzahl von Münzen (obwohl erwartungsgemäß endlich viele ausreichen). Diese Frage betrifft den Fall,...
Präambel Interaktive Beweissysteme und Arthur-Merlin-Protokolle wurden bereits 1985 von Goldwasser, Micali, Rackoff und Babai eingeführt . Zuerst wurde angenommen, dass das erstere leistungsfähiger ist als das letztere, aber Goldwasser und Sipser zeigten, dass sie die gleiche Leistung haben ( in...
Ich bin im weitesten Sinne neugierig auf das, was über Parallelisierungsalgorithmen in P bekannt ist. Ich habe den folgenden Wikipedia-Artikel zu diesem Thema gefunden: http://en.wikipedia.org/wiki/NC_%28complexity%29 Der Artikel enthält folgenden Satz: Es ist nicht bekannt, ob NC = P ist, aber die...
Welche Beziehung besteht zwischen DNA-Algorithmen und den Komplexitätsklassen, die mit Turing-Maschinen definiert wurden? Womit korrespondieren die Komplexitätsmaße wie Zeit und Raum in DNA-Algorithmen? Können damit Fälle von NP-vollständigen Problemen wie TSP gelöst werden, die von...
1- Gibt es spezielle Eigenschaften für die Adjazenzmatrix, wenn ein Diagramm planar ist? 2- Gibt es etwas Besonderes für die Berechnung der permanenten Adjazenzmatrix, wenn ein Graph planar
(Crossposting von MathOverflow) Hallo, Ich habe diesen Thread gelesen: /mathpro/16393/finding-a-cycle-of-fixed-length Ich möchte einen 5-Zyklus in einer Grafik finden. Eigentlich , was ich wirklich will , ist ein kürzester ungeradeer Zyklus der Länge mindestens 5, aber vielleicht ist das ein wenig...
Betrachten Sie die Menge der ebenen Graphen, bei denen alle inneren Flächen Dreiecke sind. Wenn es einen Innenpunkt ungeraden Grades gibt, kann das Diagramm nicht dreifarbig sein. Wenn jeder Innenpunkt einen gleichmäßigen Grad hat, kann er immer dreifarbig sein? Idealerweise hätte ich gerne ein...
(Dies ist ein Follow-up zu dieser Frage und ihrer Antwort .) Ich habe das folgende völlig unimodulare (TU) ganzzahlige lineare Programm (ILP). Hier sind alle positive ganze Zahlen, die als gegeben sind Teil der Eingabe. Eine angegebene Teilmenge der Variablen wird auf Null gesetzt, und der Rest...
Ich habe gesehen (und gehört), dass behauptet wird, dass es sicher ist, das klassische Axiom der ausgeschlossenen Mitte zu Coq hinzuzufügen, aber ich kann anscheinend kein Papier finden, das diese Behauptung stützt. Die Papiere, die ich im Coq-Wiki über ausgeschlossene Mitten sehe, weisen...
Der Huffman-Code für eine Wahrscheinlichkeitsverteilung ist der Präfixcode mit der minimalen gewichteten durchschnittlichen Codewortlänge , wobei die Länge des ten Codeworts ist. Es ist ein bekanntes Theorem, dass die durchschnittliche Länge pro Symbol des Huffman-Codes zwischen und , wobei die...
O ( log c n ) O ( n k ) c k n c 2 n kN CNC\mathsf{NC} fängt die Idee einer effizienten Parallelisierung ein, und eine Interpretation davon sind Probleme, die in der Zeit mit parallelen Prozessoren für einige Konstanten , lösbar sind . Meine Frage ist, ob es eine analoge Komplexitätsklasse gibt, in...
Das pumpfähige Lemma für reguläre Sprachen kann durch Betrachtung eines Automaten mit endlichen Zuständen bewiesen werden, der die untersuchte Sprache erkennt, eine Zeichenfolge mit einer Länge auswählt, die größer als die Anzahl der Zustände ist, und das Taubenlochprinzip anwendet. Das pumpfähige...
Diese Frage ist von der Polynom-Hirsch-Vermutung (PHC) inspiriert. Ist bei gegebenem Facetten-Polytop in die spektrale Lücke seines Kantenscheitelpunkt-Graphen (nenne es ) niedriger begrenzt durch ? Man beachte, dass der Zyklusgraph auf Eckpunkten zeigt, dass die spektrale Lücke selbst für so klein...
Inspiriert von der Frage, ob Factoring als P-hart bekannt ist , frage ich mich, wie der derzeitige ähnliche Wissensstand die Härte des Graph-Isomorphismus betrifft. Ich bin sicher, dass derzeit nicht bekannt ist, ob GI in P ist, aber: Was ist die derzeit bekannteste größte Klasse, die GI schwerer...
Luca Trevisan hat gezeigt, wie viele Konstruktionen von Pseudozufallsgeneratoren tatsächlich als Extraktorkonstruktionen betrachtet werden können: http://www.cs.berkeley.edu/~luca/pubs/extractor-full.pdf Gibt es eine sinnvolle Unterhaltung? Kann man sich "natürliche" Konstruktionen von Extraktoren...
Gibt es eine plausible Komplexitäts- / Kryptohypothese, die die Möglichkeit ausschließt, dass Polynomgrößenschaltungen eine subexponentielle Größe (dh mit ) begrenzter Tiefe ( haben? ) Stromkreise? ϵ < 1 d = O ( 1 )2O ( nϵ)2O(nϵ)2^{O(n^\epsilon)}ϵ <
In letzter Zeit habe ich mich mit Approximationsalgorithmen für NP-schwierige Probleme befasst und mich über die theoretischen Gründe für deren Untersuchung Gedanken gemacht. (Die Frage soll nicht entzündlich sein - ich bin nur neugierig). Einige wirklich schöne Theorien sind aus der Untersuchung...
Kürzlich habe ich mich mit dem Problem beschäftigt, die ungefähre Summe einer Liste von sortierten nichtnegativen Zahlen zu berechnen. Für jedes feste ϵ>0ϵ>0\epsilon>0 wurde ein O(logn)O(logn)O(\log n) -Zeitnäherungsschema so abgeleitet, dass es eine (1+ϵ)(1+ϵ)(1+\epsilon) -Näherung für die...
Könnte jemand den Unterschied erklären zwischen: Algebraische Datentypen (mit denen ich ziemlich vertraut bin) Generalisierte algebraische Datentypen (was macht sie generalisiert?) Induktive Typen (zB Coq) (Besonders induktive Typen.)
Das AND & OR-Gatter ist ein Gatter, das zwei Eingänge erhält und deren AND und deren OR zurückgibt. Können Schaltungen, die nur aus dem AND & OR-Gatter bestehen, ohne Fanout willkürliche Berechnungen durchführen? Genauer gesagt, ist der Lograum für die Polynomzeitberechnung auf UND- und...