Sei ein Graph mit der Gewichtsfunktion . Das Max-Cut-Problem besteht darin, zu finden: If Die Gewichtsfunktion ist nicht negativ (dhG = ( V , E , W ) w : E → R arg max S ⊂ V Σ ( u , v ) ∈ E : u ∈ S , v ∉ S w ( u , v ) , w ( e ) ≥ 0G=(V,E,w)G = (V, E, w)w:E→Rw:E\rightarrow...
Der Standardbeweis für die Chernoff-Bindung (aus dem Lehrbuch Randomized Algorithms ) verwendet die Markov-Ungleichungs- und Momenterzeugungsfunktionen, wobei ein wenig Taylor-Expansion hinzukommt. Nichts zu schwierig, aber etwas mechanisch. Es gibt jedoch auch andere von Chernoff gebundene...
Dies ist eine naive Frage, aus meiner Erfahrung heraus; Entschuldigung im Voraus. Goldbachs Vermutung und viele andere ungelöste Fragen in der Mathematik können als kurze Formeln in Prädikatenrechnung geschrieben werden. Zum Beispiel Cooks Artikel "Können Computer routinemäßig mathematische Beweise...
Kürzlich haben Gil Kalai und Dick Lipton einen schönen Artikel über eine interessante Vermutung geschrieben, die von Peter Sarnak, einem Experten für Zahlentheorie und Riemannsche Hypothese, vorgeschlagen wurde. Vermutung. Sei die Möbius-Funktion . Angenommen, ist eine Funktion mit Eingabe in Form...
Ich bin ein Neuling, der Informatik studiert, und ich weiß bereits, dass ich mit dem Schwerpunkt theoretische Informatik studieren möchte. Ich habe bereits einige Artikel gelesen, auf die in dieser Frage verwiesen wird, und diese Frage hat mich weiter überzeugt. Was sollte ich jetzt als Student tun...
Eine der am häufigsten diskutierten Fragen auf der Website war, was es bedeuten würde, die kirchentürmende These zu widerlegen . Dies liegt zum Teil daran, dass Dershowitz und Gurevich 2008 einen Beweis für die kirchliche These veröffentlicht haben, dass es sich um das Bulletin of Symbolic Logic...
Was waren die überraschendsten Ergebnisse bei der Komplexität? Ich denke, es wäre nützlich, eine Liste von unerwarteten / überraschenden Ergebnissen zu haben. Dies schließt sowohl überraschende als auch unerwartete Ergebnisse ein, als auch Ergebnisse, die anders ausfielen als erwartet. Bearbeiten :...
Sei eine feste positive ganze Zahl der Größe Bits.AAAnnn Man darf diese ganze Zahl entsprechend vorverarbeiten. Wie komplex ist die Multiplikation anderen positiven ganzen Zahl einer Größe von Bits ?BBBmmmABABAB Beachten Sie, dass wir bereits -Algorithmen haben. Die Frage hier ist, ob wir von etwas...
Ich interessiere mich für die natürliche Verallgemeinerung des berühmten 15-Puzzles , bei dem Sie Blöcke schieben müssen, bis Sie alle angegebenen Zahlen sortiert haben (normalerweise gibt es eine Lücke von 1 Block). Die Verallgemeinerung wäre nun, die Größe des Puzzles von 15 auf , wobei ein Feld...
Die meisten bekannten Algorithmen sind in dem Sinne erster Ordnung, dass ihre Eingabe und Ausgabe "reine" Daten sind. Einige sind in trivialer Weise von zweiter Ordnung, zum Beispiel Sortierung, Hashtabellen oder Map- und Fold-Funktionen: Sie werden durch eine Funktion parametrisiert, aber sie tun...
Coq hat eine Art Prop of Proof irrelevante Aussagen, die während der Extraktion verworfen werden. Was ist der Grund dafür, wenn wir Coq nur für Proofs verwenden? Prop ist aussagekräftig, daher leitet Coq jedoch automatisch Universumsindizes ein, und wir können stattdessen überall Type (i)...
Computerkomplexität umfasst die Untersuchung der zeitlichen oder räumlichen Komplexität von Rechenproblemen. Aus der Sicht des Mobile Computing ist Energie eine sehr wertvolle Rechenressource. Gibt es eine gut untersuchte Anpassung von Turing-Maschinen, die den Energieverbrauch bei der Ausführung...
So Bloom Filter sind ziemlich cool - sie sind Sätze , dass die Unterstützung der Mitglieder ohne falsche Negative Kontrolle, aber eine kleine Chance eines falsch positiven Ergebnisses . Kürzlich wollte ich jedoch einen "Bloom-Filter", der das Gegenteil garantiert: keine falschen Positiven, sondern...
Wenn wir die Standardlehrbücher oder Tradition folgen, lehren die meisten von uns die folgenden Definition von Big-Oh - Notation in den ersten Vorlesungen eines Algorithmen Klasse: Vielleicht geben wir sogar die ganze Liste mit all ihren Quantifizierern an:f= O ( g) iff ( ∃ c > 0 ) ( ∃ n0≥ 0 )...
Das Problem besteht darin, das Polynom zu berechnen . Es sei angenommen, dass alle Koeffizienten in ein Maschinenwort passen, dh in Zeiteinheiten manipuliert werden können.( a1x + b1) × ⋯ × ( anx + bn)(a1x+b1)×⋯×(anx+bn)(a_1 x + b_1) \times \cdots \times (a_n x + b_n) Sie können -Zeit ausführen,...
Im Wesentlichen lautet die Frage: Was ist die am wenigsten veröffentlichbare Einheit für das ArXiv? Von besonderem Interesse sind Bereiche, in denen ArXiv in großem Umfang eingesetzt wird, beispielsweise das Quantencomputing. Aber auch Kommentare zu anderen Bereichen und Preprint-Services (wie ECCC...
Die Komplexität Zoo weist in dem Eintrag auf aus EXP , dass , wenn L = P dann PSPACE = EXP. Da NPSPACE = PSPACE von Savitch, so weit ich weiß, erweitert sich das zugrunde liegende Auffüllargument, um zu zeigen, dass Wir wissen auch, dass L NL NC P über die ressourcenbeschränkte alternierende...
Gibt es eine Datenstruktur, die ein ungeordnetes Array von Elementen annimmt , eine Vorverarbeitung in und Abfragen beantwortet: Befindet sich ein Element in der Liste, jede Abfrage in der schlechtesten Zeit ?O ( n ) x O ( log n )nnnO ( n )O(n)O(n)xxxO ( logn )O(logn)O(\log n) Ich denke wirklich,...
Mark Dominus sammelte einige Beispiele für die Reduzierung der Polynomzeit von verschiedenen NP-harten Problemen bis hin zum Matching mit „regulären Ausdrücken“ . Es ist kein enormer Sprung, sich Polynom-Zeit-Überprüfungen vorzustellen. Wie veranschaulichen Sie die Klasse NP-complete für Studenten...
Man denkt normalerweise darüber nach, Lösungen (mit Garantien) für NP-harte Probleme zu approximieren. Gibt es Forschungsarbeiten zur Approximation von Problemen, von denen bereits bekannt ist, dass sie in P vorkommen? Dies könnte aus mehreren Gründen eine gute Idee sein. Ein Näherungsalgorithmus,...