Sei ein gerichteter azyklischer Graph und sei λ eine Markierungsfunktion, die jeden Scheitelpunkt v ∈ V auf eine Markierung λ ( v ) in einem endlichen Alphabet L abbildet . Schreiben von n : = | V | , eine topologische Art von G ist eine Bijektion σ von { 1 , … , n } nach V (dh eine Ordnung vonG =...
Ist ? Oder allgemeiner: Ist N P P P ⊆ P P P / p o l y ?NPPP=PPPNPPP=PPP\mathsf{NP^{PP}} = \mathsf{P^{PP}}NPPP⊆PPP/polyNPPP⊆PPP/poly\mathsf{NP^{PP}} \subseteq
Ich interessiere mich für die kombinatorischen Eigenschaften sozialer Netzwerke als Grafiken. Die Leute haben sich Dinge wie die Verteilung der Grade, den Clustering-Koeffizienten und die Kompressibilität dieser Graphen angesehen. Eine grundlegende Frage lautet: Sind diese Diagramme normalerweise...
Eine Antichain in einer DAG ist eine Teilmenge A ⊆ V von Scheitelpunkten, die paarweise nicht erreichbar sind, dh es gibt kein v ≠ v ' ∈ A, so dass v von v ' in E erreichbar ist . Aus dem Dilworth-Theorem in der Teilordnungstheorie ist bekannt, dass DAG, wenn es keine Antichain der Größe k ∈ N hat...
Let eine Sprache und sein eine Funktion von zwei Parametern mit der Eigenschaft , dass für alle und , kehrt ein Element der genau dann, wenn sowohl als auch Elemente von :f : & Sigma; ⋆ × & Sigma; ⋆ → & Sigma; ⋆ x y f L x y LL.LLf: Σ⋆× Σ⋆→ Σ⋆f:Σ⋆×Σ⋆→Σ⋆f\colon...
Ich habe veröffentlichte Bücher, Artikel und Artikel über Quantum-Computing gelesen. Ich fand heraus, dass alle Materialien, die ich gesehen habe, anstatt das Quantentor von der Grundphysik bis zur Abstraktion zu beschreiben, sich bemühen , nicht über die Implementierungsdetails von Quantentoren zu...
Betrachten Sie das folgende Problem: gegeben eine Matrix , Indizes i , j ∈ { 1 , … , n } und eine ganze Zahl a . Ersetzen M [ i , j ] durch eine neue Matrix nennen M . Ist p e r ( M ) > pM∈{−m,…,0,…,m}n×nM∈{−m,…,0,…,m}n×nM\in\{-m,\dots,0,\dots,m\}^{n\times...
Wenn ich Modelle des parametrischen Polymorphismus betrachte, bin ich neugierig, warum reflexive Graphkategorien verwendet werden. Warum enthalten sie insbesondere keine relationale Komposition? Bei der Betrachtung der Modelle scheinen sie alle einen natürlichen Begriff der relationalen...
Um die Vollständigkeit eines Problems zu beweisen , schrieb ich in einem Konferenzpapier den dummen Satz "Es ist klar, dass das Problem in N P liegt . Also werden wir beweisen, dass es N P -hart ist". Tatsächlich war es überhaupt nicht klar. Es scheint sogar ein offenes Problem zu sein. Für die...
Ich versuche, lineare Logik zu verstehen, um lineare Typsysteme besser zu verstehen. Wenn ich jedoch die Regeln lese, bekomme ich keine Intuition dahinter, wie ich es in der Modallogik getan habe - □A◻A\Box A bedeutet, dass AAA erforderlich ist, wie in Kripke-Frames. AAA ist für jede erreichbare...
Sei eine beliebige endliche Struktur. Hat seine Theorie erster Ordnung T : = T H ( A ) einen begrenzten Quantifiziererrang in dem Sinne, dass es ein q ∈ N gibt, so dass es für alle φ ∈ T mit q r ( φ ) > q ein φ ′ ∈ T gibt mit q r ( φ ′ ) ≤ q und φ ′ ≡ φ ?AA\mathfrak{A} T:=TH(A)T:=TH(A)...
Sei GGG ein generisches Orakel im Sinne der Kategorie Cohen / Baire. Sei RRR ein zufälliges Orakel. Gibt es Komplexitätsklassen A und B mit AG=BGandAR≠BRAG=BGandAR≠BR\mathrm{A}^G=\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R\ne \mathrm{B}^R oder umgekehrt,
Ich bin mir bewusst, dass sich der Kalkül der Konstruktionen stark normalisiert, was bedeutet, dass jeder Ausdruck eine Normalität hat, die nicht Beta sein kann, sondern weiter reduziert wird. Tatsächlich ist dies der effizienteste Ausdruck, der denselben Wert wie der ursprüngliche Ausdruck...
In der monadischen Logik erster Ordnung, auch als monadische Klasse des Entscheidungsproblems bekannt, nehmen alle Prädikate ein Argument an. Es wurde von Ackermann als entscheidbar erwiesen und ist NEXPTIME-vollständig . Probleme wie SAT und SMT haben jedoch trotz der theoretischen Grenzen...
Im Allgemeinen entspricht die Entscheidung, ob eine diophantinische Gleichung ganzzahlige Lösungen enthält, dem Stoppproblem. Ich glaube, dass die Entscheidung, ob eine quadratische Diophantin-Gleichung eine Lösung hat, NP-vollständig ist. Gibt es eine weitere Einschränkung der beteiligten...
Ich habe eine Menge von binären Vektoren S = { s 1 , … , s n } ⊆ { 0 , 1 } k ∖ { 1 k } und einen Zielvektor t = 1 k, der der All- One -Vektor ist.nnnS={s1,…,sn}⊆{0,1}k∖{1k}S={s1,…,sn}⊆{0,1}k∖{1k}S = \{s_1, \ldots, s_n \} \subseteq \{0,1\}^k \setminus \{1^k\}t=1kt=1kt = 1^k Vermutung: Wenn als...
Allgemeine Frage Verallgemeinert sich der Satz der Raumhierarchie auf ungleichmäßige Berechnungen? Hier sind einige spezifischere Fragen: Ist ?L/poly⊊PSPACE/polyL/poly⊊PSPACE/polyL/poly \subsetneq PSPACE/poly Für alle Räume konstruierbar Funktionen f(n)f(n)f(n) , ist
Es ist bekannt, dass für eine Konzeptklasse mit der VC-Dimension d ausreicht, um O ( d) zu erhaltenC.C\mathcal{C}dddmarkierte Beispiele lernen PACC. Mir ist nicht klar, ob der PAC-Lernalgorithmus (der diese vielen Beispiele verwendet) richtig oder unpassend ist. In den Lehrbüchern von Kearns und...
Ich interessiere mich für das klassische Problem REGELMÄSSIGE SPRACHEINKLUSION. Bei einem regulären Ausdruck bezeichnen wir mit L ( E ) die damit verbundene reguläre Sprache. (Reguläre Ausdrücke befinden sich in einem festen Alphabet Σ mit der Operations Union, dem Kleene-Stern und der...
Gibt es in der Literatur etwas in der Nähe des folgenden Problems: Gibt es bei einem zweigeteilten Graphen mit ausgeglichener Zweiteiligkeit { U , W } eine perfekt passende M in G, so dass für jeweils 2 Kanten u 1 w 1 , u 2 w 2 ∈ M eine Kante vorhanden ist u 1 w 2 oder Kante u 2 w 1 (oder beides)...