Theoretische Informatik

2

Können drei Stapel in einem Array mit O (1) Push / Pop-Zeit implementiert werden?

Zwei Stapel können mithilfe eines Arrays mit fester Größe effizient implementiert werden: Stapel Nr. 1 beginnt am linken Ende und wächst nach rechts, und Stapel Nr. 2 beginnt am rechten Ende und wächst nach links. Ist das gleiche für drei Stapel möglich? Insbesondere ist es möglich, drei Stapel unter den …

9 ds.data-structures lower-bounds

1

Warum ist Proof Checker im Proof Carrying Code erforderlich?

In dem klassischen PLDI'98-Artikel von Necula "Das Design und die Implementierung eines zertifizierenden Compilers" verwendet der hochrangige Verifizierer: VCGen zur Generierung von Verifizierungsbedingungen (Sicherheitsprädikate) Logiksatz erster Ordnung, um die Bedingungen zu beweisen LF Proof Checker zur Überprüfung des Proofs aus Schritt (2) Ich bin etwas verwirrt von Schritt (3). Warum …

9 proof-theory automated-theorem-proving program-verification

2

Was ist die "kleinste" Komplexitätsklasse, für die ein

Ich glaube , die Antworten auf diese Frage geben Klassen so dass für alle Polynome , gibt es ein Problem in der Klasse ist , die nicht über Schaltungen der Größe p ( n ) . Ich frage jedoch nach der Schaltungsgröße ωpppp ( n )p(n)p(n) .ω( n )ω(n)\omega \hspace{.02 …

9 circuit-complexity lower-bounds

1

Hat Stephen Cook erkannt, wie wichtig es ist, zu zeigen, dass SAT NP-hart ist, bevor er es tatsächlich bewiesen hat?

Wenn ich richtig verstehe, müssen Sie, um zu beweisen, dass Problem NP-schwer ist, alle möglichen Probleme B i auswählen , die sich in NP befinden, und dann beweisen, dass sie sich auf A reduzieren, indem Sie eine polynomialzeitberechnbare Funktion verwenden, die Instanzen jedes B i abbildet In den Fällen von …

9 soft-question ho.history-overview cook-levin

1

Bleibt 1-in-3-SAT NP-hart, auch wenn jede Variable sowohl positiv als auch negativ auftritt?

Das Standardproblem 1-in-3-SAT (oder XSAT oder X3SAT) lautet: Instanz : Eine CNF-Formel, bei der jede Klausel genau 3 Literale enthält. Frage : Gibt es eine zufriedenstellende Zuweisungseinstellung, bei der genau 1 Literal pro Klausel wahr ist? Das Problem ist NP-vollständig und bleibt schwierig, auch wenn keine Variable negiert auftritt. Ich …

9 cc.complexity-theory np-hardness sat

3

P / Poly vs Uniform Complexity Classes

Es ist nicht bekannt, ob NEXP in P / Poly enthalten ist. In der Tat hätte der Nachweis, dass NEXP nicht in P / Poly vorliegt, einige Anwendungen bei der Derandomisierung. Was ist die kleinste einheitliche Klasse C, für die man nachweisen kann, dass C nicht in P / Poly …

9 complexity

1

Wann lässt eine Grafik eine Ausrichtung zu, in der es höchstens einen Schritt gibt?

Betrachten Sie das folgende Problem: Eingabe: ein einfacher (ungerichteter) Graph .G=(V,E)G=(V,E)G=(V,E) Frage: Gibt es eine Orientierung von die die Eigenschaft erfüllt, dass es für jedes s , t ∈ V höchstens einen (gerichteten) s - t Spaziergang gibt?GGGs,t∈Vs,t∈Vs,t \in Vsssttt Dies kann äquivalent ausgedrückt werden als: Eingabe: ein einfacher (ungerichteter) …

9 graph-theory directed-acyclic-graph

2

Anzahl der Automorphismen eines Graphen für den Graphisomorphismus

Sei und zwei regelmäßig verbundene Graphen der Größe . Let die Menge von Permutationen , so dass . Wenn , dann ist die Menge der automorphisms .H r n A P P G P - 1 = H G = H A G.GGGHH.HrrrnnnAEINAPP.PPGP−1=HP.GP.- -1=H.PGP^{-1}=HG=HG=H.G=HAEINAGGG Was ist die bekannteste Obergrenze für …

9 reference-request graph-theory co.combinatorics graph-isomorphism gr.group-theory

1

Randaufteilung in Regenbogendreiecke

Ich frage mich, ob das folgende Problem NP-schwer ist. Eingabe: ein einfacher Graph und eine Färbung der Kanten ( überprüft keine bestimmte Eigenschaft).G=(V,E)G=(V,E)G = (V,E)f:E→{1,2,3}f:E→{1,2,3}f : E \to \{1,2,3\}fff Frage: Ist es möglich, in Dreiecke zu unterteilen, sodass jedes Dreieck eine Kante jeder Farbe hat?| E | / 3EEE|E|/3|E|/3|E|/3 Ich …

9 graph-theory np-hardness

2

Nennen Sie die Graphklasse: Disjunkte Vereinigung einer Clique und einer unabhängigen Menge

Lassen ein Graph sein, der die disjunkte Vereinigung einer Clique ist und ein unabhängiger Satz, dh G = K n 1 + ¯ K n 2 = K n 1 + I n 2 .GGGG=Kn1+Kn2¯¯¯¯¯¯¯¯=Kn1+In2.G=Kn1+Kn2¯=Kn1+In2.G = K_{n_1} + \overline{K_{n_2}} = K_{n_1} + I_{n_2} . Die Graphklasse aller derartigen Graphen ist …

9 reference-request graph-theory graph-classes

2

Gibt es eine höherdimensionale generative Grammatik?

Ich interessiere mich für Computermusik, wo es Ansätze gibt, Musikstücke als Sätze in generativen Grammatiken oder L-Systemen zu behandeln. Anstatt zu komponieren, könnte man dann eine Grammatik angeben und den Computer die Musik erzeugen lassen. ZB ist die Yale-Gruppe um den verstorbenen Paul Hudak darin sehr stark. Es ist mir …

9 grammars

2

Große Lücken zwischen RAM und Turing-Maschinenkomplexität

Wenn wir nur Probleme in P betrachten, gibt es große Lücken zwischen dem schnellsten bekannten Wort-RAM-Algorithmus und dem schnellsten bekannten Turing-Maschinenalgorithmus für bestimmte Probleme? Ich bin besonders interessiert, wenn es große Lücken für natürliche Probleme von allgemeinem Interesse gibt.

9 cc.complexity-theory ds.algorithms

1

Ist die Komplexität dieses Pfadproblems bekannt?

Instanz: Ein ungerichteter Graph mit zwei unterschiedlichen Eckpunkten s ≠ t und einer ganzen Zahl k ≥ 0 .GGGs≠ts≠ts\neq tk≥0k≥0k\geq 0 Frage: Gibt es in G einen - Pfad , so dass sich der Pfad höchstens k Dreiecke schneidet ? (Für dieses Problem wird gesagt, dass ein Pfad ein Dreieck …

9 cc.complexity-theory graph-algorithms

1

Gleichheit entscheidbarer Beweise?

Ich möchte wissen, ob die Entscheidbarkeit der Gleichheit zweier entscheidbarer Beweise desselben Satzes ohne zusätzliche Axiome in der Berechnung induktiver Konstruktionen bewiesen werden kann. Insbesondere möchte ich wissen, ob dies ohne zusätzliche Axiome in Coq zutrifft. ∀P:Prop,P∨¬P⇒(∀p1:P,∀p2:P,{p1=p2}∨{p1≠p2})∀P:Prop,P∨¬P⇒(∀p1:P,∀p2:P,{p1=p2}∨{p1≠p2})\forall P: \texttt{Prop}, P \vee \neg P \Rightarrow (\forall p_1 : P, \forall p_2: …

9 coq constructive-mathematics calculus-of-constructions

1

Ist die Komplexität dieses Abdeckungsproblems bekannt?

Sei ein Graph. Eine Scheitelpunktmenge wird als kritisch bezeichnet, wenn und kein Scheitelpunkt in genau einem Scheitelpunkt in benachbart ist . Das Problem besteht darin, eine Scheitelpunktmenge mit minimaler Größe zu finden, so dass für jede kritische Menge .X ⊆ V X & ne; ∅ V ∖ X X S …

9 cc.complexity-theory graph-theory co.combinatorics optimization