Das folgende interessante Problem ist kürzlich in meiner Forschung aufgetaucht: INSTANZ: Graph .G ( V, E)G(V,E)G(V, E) LÖSUNG: Eine akkordlose ungerade Zyklus-Vervollständigung, definiert als eine Obermenge der Kantenmenge so dass der vervollständigte Graph die Eigenschaft hat, dass jede Kante in...
Ich habe gerade in der deutschen Wikipedia gelesen, dass ein unendlicher Graph ein Graph mit einer unendlichen Anzahl von Knoten oder einer unendlichen Anzahl von Kanten ist. Ich kenne nur Anwendungen und Algorithmen für endliche Graphen. Wozu sind unendliche Graphen gut? Was sind Anwendungen...
Zwei verwandte Fragen zum Bounded-Depth-Computing: 1) Angenommen, Sie beginnen mit n Bits, und um mit Bit i zu beginnen, können Sie mit einer gewissen Wahrscheinlichkeit p (i) unabhängig 0 oder 1 sein. (Wenn es das Problem einfacher macht, können wir annehmen, dass alle p (i) s 0,1 oder 1/2...
Das Liniendiagramm eines Hypergraphen ist das (einfache) Diagramm G mit Kanten von H als Eckpunkten, wobei zwei Kanten von H in G benachbart sind, wenn sie einen nicht leeren Schnittpunkt haben. Ein Hypergraph ist ein r- Hypergraph, wenn jede seiner Kanten höchstens r Eckpunkte
Während Adlemans Theorem zeigt, dass , ist mir keine Literatur bekannt, die den möglichen Einschluss von B Q P ⊆ P / poly untersucht . Welche komplexitätstheoretischen Konsequenzen hätte eine solche Einbeziehung?BPP⊆P/polyBPP⊆P/poly\mathsf{BPP} \subseteq
Sei die Klasse aller regulären Sprachen.REGREG\mathsf{REG} Es sind und . Aber gibt es eine Charakterisierung für Sprachen in ?AC0⊄REGAC0⊄REG\mathsf{AC}^0 \not\subset \mathsf{REG}REG⊄AC0REG⊄AC0\mathsf{REG} \not\subset \mathsf{AC}^0AC0∩REGAC0∩REG\mathsf{AC}^0 \cap
Angenommen, wir wollen eine Liste von reellen Zahlen sortieren . Angenommen, wir erhalten eine Blackbox, mit der reelle Zahlen sofort sortiert werden können . Wie viel Vorteil können wir mit dieser Black Box gewinnen?n √SSSnnnn−−√n\sqrt n Können wir zum Beispiel die Nummern mit nur Aufrufen an die...
Gegeben sei eine Menge Familie FF\mathcal{F} von Teilmengen eines Universums UUU . Sei S1,S2∈FS1,S2∈FS_1,S_2 \in \mathcal F und wir wollen antworten, ist S1⊆S2S1⊆S2S_1 \subseteq S_2 . Ich bin auf der Suche nach einer Datenstruktur, die es mir ermöglicht, diese schnell zu beantworten. Meine...
Diese Frage wurde von Computer Science Stack Exchange migriert, da sie über Theoretical Computer Science Stack Exchange beantwortet werden kann. Vor 6 Jahren migriert . (Diese Frage ist eine Art "Umfrage".) Ich arbeite derzeit an einem Problem, bei dem ich versuche, die Ränder eines Turniers in...
Angenommen, wir haben ein Rechenproblem, z. B. 3-SAT, das eine Reihe von Probleminstanzen (mögliche Eingaben) . Normalerweise haben wir bei der Analyse von Algorithmen oder der Theorie der rechnerischen Komplexität einige Mengen aller Eingaben der Länge und eine Funktion , die die Laufzeit einiger...
Es ist bekannt, dass Palindrome auf -Band-Turingmaschinen in linearer Zeit erkannt werden können, nicht jedoch auf Einzelband-Turingmaschinen (in diesem Fall ist die benötigte Zeit quadratisch). Der Linearzeitalgorithmus verwendet eine Kopie der Eingabe und damit auch einen linearen Raum.222 Können...
Eine Klaue ist eine . Ein trivialer Algorithmus erkennt eine Klaue in . Dies kann in , wobei der Exponent der schnellen Matrixmultiplikation ist, und zwar wie folgt: Nehmen Sie den durch induzierten Teilgraphen für jeden Scheitelpunkt und finden Sie ein Dreieck in seine Ergänzung. O ( n 4 ) O ( n...
Gibt es bei regulären Ausdrücken R1,…,RnR1,…,RnR_1, \dots, R_n nicht-triviale Grenzen für die Größe der kleinsten kontextfreien Grammatik für R1∩⋯∩RnR1∩⋯∩RnR_1 \cap \cdots \cap R_n
Wie schnell müsste ein nicht deterministischer Algorithmus für ein EXPTIME-vollständiges Problem sein, um zu implizieren ? Ein nicht deterministischer Algorithmus für die Polynomzeit würde dies sofort implizieren, da aber niemand glaubt . Wenn ich die Algebra richtig gemacht hätte (siehe unten),...
Gibt es eine typisierte Lambda-Rechnung, in der die entsprechende Logik unter der Curry-Howard-Korrespondenz konsistent ist und in der es typisierbare Lambda-Ausdrücke für jede berechenbare Funktion gibt? Dies ist zugegebenermaßen eine ungenaue Frage, da eine genaue Definition der "typisierten...
Ich habe zwei historische Fragen: Wer hat das nicht deterministische Rechnen zuerst beschrieben? Ich weiß, dass Cook NP-vollständige Probleme beschrieb und dass Edmonds vorschlug, dass P-Algorithmen "effiziente" oder "gute" Algorithmen sind. Ich suchte in diesem Wikipedia-Artikel und überflog "Über...
Nehmen wir an, eine Sprache ist P- dichtennah, wenn es einen polynomialen Zeitalgorithmus gibt, der für fast alle Eingaben korrekt entscheidet .LLLLLLL Mit anderen Worten, es gibt ein P , so dass verschwindet, was Dies bedeutet auch, dass bei einer einheitlichen Zufallseingabe der...
Wikipedia bietet Beispiele für Probleme, bei denen die Zählversion schwierig ist, während die Entscheidungsversion einfach ist. Einige von diesen zählen perfekte Übereinstimmungen, zählen die Anzahl der Lösungen zu SAT und die Anzahl der topologischen Sortierungen.222 Gibt es noch andere wichtige...
Die scheinbare Sinnlosigkeit des Cryptocurrency Mining warf die Frage nach nützlichen Alternativen auf, siehe diese Fragen zu Bitcoin , CST , MO . Ich frage mich, ob es einen Algorithmus gibt, der praktisch jede rechnerische Herausforderung (deren Lösung effizient verifiziert werden kann) in eine...
Bezeichnen Sie mit die Anzahl der Wörter der Länge in einer (möglicherweise mehrdeutigen) kontextfreien Sprache.wnwnw_nnnn Was ist über ?wnwnw_n Ich bin sicher, dass dies viel studiert wurde, aber ich konnte überhaupt nichts darauf