Was ist das einfachste Rechenmodell, für das das Problem der Leere nicht zu entscheiden ist? Das Leerheitsproblem für ein Rechenmodell (z. B. Finite-State-Automat, alternierender Pushdown-Automat, Bounded-Error-Quantenautomat mit Zähler, deterministischer LBA usw.) besteht darin, zu bestimmen, ob...
Es ist bekannt, dass das Sortieren von Permutationen durch Transposition in , da die minimale Anzahl von Transpositionen, die zum Sortieren von erforderlich sind, genau . Dieser Begriff der "Inversionszahl" hat auch Anwendungen in der algebraischen Kombinatorik, zum Beispiel erlaubt er, mit einer...
Ist es möglich , dass ? Gibt es interessante Konsequenzen einer solchen Eindämmung? Würde es der Exponential Time Hypothese widersprechen?SA T¯¯¯¯¯¯¯¯¯¯∈ NTichME( exp( n0.9) )SEINT¯∈NTichME(exp(n0.9))\overline{SAT} \in
Betrachten Sie das folgende Kartenspiel (in Italien als "Cavacamicia" bekannt, was mit "stripshirt" übersetzt werden kann): Zwei Spieler teilen zufällig ein Standardkartenstapel in zwei Stapel. Jeder Spieler erhält ein Deck. Die Spieler legen abwechselnd die nächste Karte von ihrem Stapel ab. Wenn...
Können wir beweisen, dass für jede Sprache , die nicht N P -hart ist (dies setzt P ≠ N P voraus ), P L ≠ P SAT ? Kann dies alternativ unter vernünftigen Annahmen nachgewiesen werden?L ∈ N PL∈NPL\in\mathsf{NP}N PNP\mathsf{NP}P ≠ N PP≠NP\mathsf P \ne \mathsf{NP}PL≠PSATPL≠PSAT\mathsf{P}^L \ne...
Man betrachte einen dimensionalen Vektor v, wobei v i ∈ { 0 , 1 } ist . Für jedes i kennen wir p i = P ( v i = 1 ) und nehmen an, dass v i unabhängig sind. Gibt es unter Verwendung dieser Wahrscheinlichkeiten einen effizienten Weg, um binäre n- dimensionale Vektoren zu iterieren, um mit größter...
Bei der Beantwortung dieser Frage auf cstheory habe ich (informell) das folgende Theorem im Fluge bewiesen: Theorem : Für jede feste der Hamilton - Operator Zyklus probem bleibt NP-complete auch eingeschränkt , wenn bipartite ungerichtete Graphen der maximalen Grad planar 3, die keine Zyklen der...
Ich habe gerade eine kurze (5-seitige) Abhandlung über den Nachweis eines bestimmten kombinatorischen Spiels NP-Complete abgeschlossen. Dies ist keineswegs ein Ergebnis von großer Bedeutung, aber meines Erachtens kann es veröffentlicht werden. Welche Veranstaltungsorte wären für eine Zeitung wie...
Angenommen, eine Graphenfamilie hat lange induzierte Pfade, wenn es eine Konstante , sodass jeder Graph in einen induzierten Pfad auf Ecken. Ich interessiere mich für Eigenschaften von Graphenfamilien, die die Existenz langer induzierter Pfade sicherstellen. Insbesondere frage ich mich derzeit, ob...
Die Wikipedia-Seite auf PSPACE erwähnt, dass die Einbeziehung nicht als streng bekannt ist (leider ohne Verweise).NL⊂PHNL⊂PHNL\subset PH F1: Was ist mit und - sind diese bekanntermaßen streng?L⊂PHL⊂PHL\subset PHL⊂P#PL⊂P#PL\subset P^{\#P} F2: Wenn nein, gibt es eine etablierte Klasse die und für die...
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 die minimale Baumbreite einer Schaltung über {∧,∨,¬}{∧,∨,¬}\{\wedge,\vee,\neg\} für die Berechnung von MAJ? Hier MAJ :{0,1}n→{0,1}:{0,1}n→{0,1}:\{0,1\}^n \rightarrow \{0,1\} gibt 1 aus, wenn mindestens die Hälfte seiner Eingänge 111 . Ich kümmere mich nur um die Größe der Schaltung (sollte...
Wir alle kennen also die untere Grenze des Vergleichsbaums von Über die ungünstigste Anzahl von Vergleichen, die mit einem (deterministischen) Vergleichs-Sortieralgorithmus durchgeführt wurden. Dies gilt nicht für die randomisierte Vergleichssortierung (wenn wir die erwarteten Vergleiche für die...
Eingang ist ein Universum und eine Familie von Untermengen von , sagen wir, . Wir gehen davon aus, daß die Teilmengen in abdecken können , dh .U F ⊆ 2 U F U ⋃ E ∈ F E = UUUUUUUF⊆2UF⊆2U{\cal F} \subseteq 2^UFF{\cal F}UUU⋃E∈FE=U⋃E∈FE=U\bigcup_{E\in {\cal F}}E=U Eine inkrementelle Überdeckungssequenz...
Gibt es vollständige NP-Probleme (oder sogar NP-harte oder NP-Probleme), die gute topologische Eigenschaften aufweisen, die untersucht werden müssen? Haben NP-Probleme knotentheoretische Formulierungen? Wir wissen über # Ergebnisse über das Jones-Polynom Bescheid . Graphprobleme (Einbettungen?),...
Ich bin mir ziemlich sicher, dass ich nicht der erste bin, der die Idee aufgreift, die ich präsentieren werde. Es wäre jedoch hilfreich, wenn ich Literatur zu dieser Idee finden könnte. Die Idee ist, eine Turing-Maschine M mit der Eigenschaft zu konstruieren, dass wenn P = NP, dann M 3-SAT in der...
Wie zeigt man, dass eine bestimmte Eigenschaft nicht in 2-CNF (2-SAT) ausgedrückt werden kann? Gibt es irgendwelche Spiele, wie zum Beispiel Kieselspiele? Das klassische Schwarzkieselspiel und das Schwarz-Weißkieselspiel scheinen dafür ungeeignet zu sein (laut Hertel und Pitassi, SIAM J of...
Sei eine Boolesche Funktion mit der Empfindlichkeit s ( f ) und der Blockempfindlichkeit b s ( f ) .fffs(f)s(f)s(f)bs(f)bs(f)bs(f) Die Empfindlichkeit-Block - Empfindlichkeit Vermutung Vermutung besagt , dass es a , so dass ∀ f , b s ( f ) ≤ s ( f ) c
Sei eine Konstante. Wie können wir ein Pseudo - Zufalls konstruieren beweisbar Generator , dass Narren d -state endliche Automaten?dddddd Hier hat ein endlicher Automat mit Zuständen d Knoten, einen Startknoten, eine Menge von Knoten, die Akzeptanzzustände darstellen, und zwei gerichtete Kanten,...
Ich bin kein theoretischer Informatiker. Ich bin ein stabiler Homotopietheoretiker mit Kategorien. Ich habe Anwendungen der Kategorietheorie und der Topos-Theorie in der theoretischen Informatik gesehen und mich gefragt, ob man in der theoretischen Informatik ∞- Kategorien (und für mich bevorzugt...