Theoretische Informatik

Fragen und Antworten für theoretische Informatiker und Forscher in verwandten Bereichen

1
Stichprobenerfüllbare 3-SAT-Formeln
Betrachten Sie die folgende Rechenaufgabe: Wir wollen eine 3-SAT-Formel von Variablen (eine Variante: n Variablen) abtastennnnnnn Klauseln) in Bezug auf die gleichmäßige Wahrscheinlichkeitsverteilung abtasten, vorausgesetzt, die Formel ist erfüllbar:mmm F1: Kann dies mit einem klassischen Computer (mit zufälligen Bits) effizient erreicht werden? Frage 2: Kann dies mit einem Quantencomputer effizient …
3
Optimierungsprobleme mit guter Charakterisierung, aber ohne Polynom-Zeit-Algorithmus
Betrachten Sie Optimierungsprobleme der folgenden Form. Sei eine polynomiell berechenbare Funktion, die eine Zeichenkette in eine rationale Zahl abbildet . Das Optimierungsproblem lautet: Was ist der Maximalwert von über Bit-Strings ?x f ( x ) n xf(x)f(x)f(x)xxxf(x)f(x)f(x)nnnxxx Nehmen wir an, dass ein solches Problem eine Minimax-Charakterisierung hat , wenn es …
2
Universeller Approximationssatz - Neuronale Netze
Ich habe dies früher auf MSE gepostet , aber es wurde vorgeschlagen, dass es hier einen besseren Ort gibt, um zu fragen. Der universelle Näherungssatz besagt, dass "das Standard-Multilayer-Feed-Forward-Netzwerk mit einer einzelnen verborgenen Schicht, die eine begrenzte Anzahl von verborgenen Neuronen enthält, unter milden Annahmen zur Aktivierungsfunktion ein universeller Näherungswert …
2
Inwieweit kann ein Algorithmus die zeitliche Komplexität eines beliebigen Eingabeprogramms vorhersagen?
Das Problem "Anhalten" gibt an, dass es unmöglich ist, ein Programm zu schreiben, mit dem festgestellt werden kann, ob ein anderes Programm anhält, und zwar für alle möglichen Eingabeprogramme . Ich kann jedoch sicherlich ein Programm schreiben, das die Laufzeit eines Programms wie folgt berechnen kann: for(i=0; i<N; i++) { …
6
Fortgeschrittene Techniken zur Bestimmung der unteren Grenzen der Komplexität
Einige von Ihnen sind möglicherweise dieser Frage gefolgt , die aufgrund mangelnder Forschung abgeschlossen wurde. Ich extrahiere also den Teil der Frage, der sich auf Forschungsebene befindet. Über die "einfacheren" Techniken hinaus, wie das Reduzieren auf Sortierung oder ein EXPTIME-vollständiges Problem, welche Techniken wurden verwendet, um untere Grenzen für die …
4
Wann kümmert sich Theoretische CS um intuitionistische Beweise?
Nach dem, was ich verstehe (was sehr wenig ist, bitte korrigieren Sie mich, wo ich mich irre!), Beschäftigt sich die Theorie der Programmiersprachen oft mit "intuitionistischen" Beweisen. Nach meiner eigenen Interpretation müssen wir die Konsequenzen der Berechnung für Logik und Beweisbarkeit ernst nehmen . Ein Beweis kann nur existieren, wenn …
5
Approximationsalgorithmen für Maximum Independent Set in speziellen Klassen von Graphen
Wir wissen , dass Maximum Unabhängiges Set (MIS) ist schwer innerhalb eines Faktors von angenähert für jedes ε > 0 , es sei denn P = NP. Für welche speziellen Klassen von Graphen sind bessere Approximationsalgorithmen bekannt?n1−ϵn1−ϵn^{1-\epsilon}ϵ>0ϵ>0\epsilon > 0 Für welche Graphen sind Polynom-Zeit-Algorithmen bekannt? Ich weiß, dass dies für …
2
Natural CLIQUE zur k-Farbreduktion
Es gibt eindeutig eine Reduzierung von CLIQUE auf k-Color, da beide NP-Complete sind. Tatsächlich kann ich einen erstellen, indem ich eine Reduktion von CLIQUE auf 3-SAT mit einer Reduktion von 3-SAT auf k-Color zusammensetze. Ich frage mich, ob es eine vernünftige direkte Reduzierung zwischen diesen Problemen gibt. Sagen wir, eine …
1
Erforderliches Delta zwischen Verfahrens- und Journalversion
Ich lehne kürzlich meine Arbeiten aus Zeitschriften (dh TALG) ab, nur weil es keinen signifikanten Unterschied zwischen der Journal- und der Proceedings-Version (dh SODA-Version) gibt. Der Hauptgrund für mich, eine Zeitschrift einzureichen, ist der gründliche Überprüfungsprozess. Abgesehen davon ist das 20-Seiten-Limit von SODA mehr als genug für alles, was ich …
1
Ich möchte ein einfaches Gadget, um zu beweisen, dass der planare Hamilton-Zyklus NP-vollständig ist (aus dem Hamilton-Zyklus)
Es ist bekannt, dass der Hamilton-Zyklus (kurz Schinken) NP-vollständig und der planare Schinken-Zyklus NP-vollständig ist. Der Beweis für den Planaren Schinkenzyklus stammt nicht aus dem Schinkenzyklus. Gibt es ein nettes Gadget, das bei einem gegebenen Graphen G alle Kreuzungen durch ein planares Gadget ersetzt, so dass Sie einen planaren Graphen …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.