Gibt es interessante Probleme in jedoch nicht bekannt ist, dass sie in N C 2 sind ? In der Arbeit 'Eine Taxonomie der Probleme mit schnellen parallelen Algorithmen' erwähnt Cook, dass MIS bekanntermaßen nur in N C 5 vorkommt , dies jedoch inzwischen auf N C 2 reduziert wurde . Ich frage mich, ob es...
Was hindert ghc daran, Haskell in eine verkettete Programmiersprache wie kombinatorische Logik zu übersetzen und dann einfach die Stapelzuweisung für alles zu verwenden? Laut Wikipedia ist die Übersetzung von Lambda-Kalkül in kombinatorische Logik trivial, und auch verkettete Programmiersprachen...
Gibt es eine bekannte "nette" Hierarchie L0⊆L1⊆L2⊆…L0⊆L1⊆L2⊆…L_0 \subseteq L_1 \subseteq L_2 \subseteq \dots (kann endlich sein) innerhalb der Klasse der regulären Sprachen LLL ? Die Klassen in jeder Hierarchie zeichnen sich durch unterschiedliche Ausdruckskraft / Kraft / Komplexität aus. Außerdem...
Ich habe über diese Fragen nachgedacht: Gibt es eine typisierte Lambda-Rechnung, die konsistent und vollständig ist? /cs/65003/if-%CE%BB-xxx-hat-a-type-then-is-the-type-system-inkonsistent und es gibt bereits einige schwer zu beantwortende Fragen in der untypisierten Einstellung! Insbesondere bin...
Für eine Typentheorie meine ich mit Konsistenz, dass es einen Typ gibt, der nicht bewohnt ist. Aus der starken Normalisierung des Lambda-Würfels folgt, dass System und System konsistent sind. Die induktiven Typen MLTT + sind auch normierungssicher. Diese sollten jedoch alle leistungsfähig genug...
Wurde daran gearbeitet, die minimale Anzahl elementarer arithmetischer Operationen zu finden, die erforderlich sind, um die Determinante einer nnn × nnn Matrix für kleines und festes zu berechnen nnn? Zum Beispiel ist n = 5n=5n=5
Ich war ein sehr schönes Papier vor kurzem zu lesen Valiant und Vazirani , die zeigt , dass , wenn , dann kann es nicht ein effizienter Algorithmus seinen SAT zu lösen , auch unter dem Versprechen , dass es entweder unerfüllbar ist oder eine eindeutige Lösung . Dies zeigt, dass SAT keinen...
Die Semantik einer großen Teilmenge von OCaml namens OCamllight wurde vor einigen Jahren von Owens in HOL formalisiert. In jüngerer Zeit wurde in Nuprl eine typentheoretische Semantik einer kleineren Teilmenge von OCaml von Kreitz, Hayden und Hickey implementiert . Gibt es eine ähnliche Entwicklung...
Gibt es , eine NP- oder P-vollständige Sprache mit einer Familie von SymmetriegruppenLLLGnGnG_n (oder Gruppoid , aber dann die algorithmischen Fragen offener worden) wirken (in Polynomialzeit) auf Mengen so, dass es nur wenige Umlaufbahnen gibt, dh so, dass | L n / G n | < n c für groß genug n...
BPPBPP\mathbf{BPP}PP\mathbf{P}polypoly\mathrm{poly} ( min , + )(max,+)(max,+)(\max,+)(min,+)(Mindest,+)(\min,+) Sei ein Semiring. Ein Nullmuster einer Folge von Polynomen in ist eine Teilmenge für die existiert. und , so dass für alle , iff . Das heißt, die Graphen genau jener Polynome mit müssen...
Was ist die Komplexität des folgenden Problems? Eingabe : HHH einHamilton-PfadinKnKnK_n eine Teilmenge von KnotenpaarenR⊆[n]2R⊆[n]2R \subseteq [n]^2 eine positive ganze Zahl kkk Abfrage : Gibt es einen passenden derart , daß für jeden ( v , u ) ∈ R , d G ( v , u ) ≤ k ? (wobei G = ( [ n ] , M ∪ H )...
Es sei die Funktion, die eine Gate-Schaltung auf Bits und eine Bit-Zeichenfolge auf abbildet . Es sei angenommen, dass Schaltungen als eine azyklische Folge von Zuweisungen codiert sind, wobei sind. sCnnxC(x)k:=g(i,j)i,j,kC i r c u i t E v a ls , nCichrcuichtEveinls,n\mathsf{CircuitEval}_{s,...
Verwenden Algorithmen- oder Komplexitätsforscher in Anbetracht der auf einer Konferenz wie STOC behandelten Themen aktiv COQ oder Isabelle? Wenn ja, wie setzen sie es in ihrer Forschung ein? Ich gehe davon aus, dass die meisten Leute solche Tools nicht verwenden würden, da die Proofs zu niedrig...
In Kapitel 1 und Anhang A des Hott-Buches werden mehrere primitive Typenfamilien vorgestellt (Universumstypen, abhängige Funktionstypen, abhängige Paartypen, Coproduct-Typen, Leertyp, Einheitentyp, Typ der natürlichen Zahl und Identitätstypen), um die Grundlage zu bilden für die...
Betrachten Sie das folgende einfache monotone Schaltungsmodell: Jedes Gatter ist nur ein binäres ODER. Was ist die Komplexität einer Funktion wobei eine boolesche Matrix mit 0 ist? Kann es mit ODER-Schaltungen linearer Größe berechnet werden?f ( x ) = A x f(x)=Axf(x)=AxA AAn × n n×nn \times nO ( n...
Eine Sprache ist in , wenn es eine logspace Turingmaschine vorhanden ist , der die Sprache mit Polynom Menge Rat entscheidet.L/polyL/polyL/poly Weitere Informationen finden Sie hier: https://en.wikipedia.org/wiki/L/poly Frage Was sind die Konsequenzen von ?P⊆L/polyP⊆L/polyP \subseteq L/poly...
Mit Eingängen x 0 , … , x n - 1 bauen wir ein zufälliges Sortiernetz mit m Gattern auf, indem wir iterativ zwei Variablen x i , x j mit i < j auswählen und ein Komparatorgatter hinzufügen, das sie vertauscht, wenn x i > x j .nnnx0,…,xn−1x0,…,xn−1x_0, \ldots, x_{n-1}mmmxi,xjxi,xjx_i,...
Wie komplex ist die Entscheidung, ob ein Intervall der natürlichen Zahlen eine Primzahl enthält? Eine Variante des Sieve von Eratosthenes gibt einen Algorithmus, wobei L die Länge des Intervalls ist und ~ Häute poly-logarithmische Faktoren in dem Ausgangspunkt des Intervalls; können wir es besser...
Betrachten Sie das folgende Entscheidungsproblem Eingabe : Ein monotoner CNF und ein monotoner DNF .& PSgr;ΦΦ\PhiΨΨ\Psi Frage : Ist eine Tautologie?Φ→ΨΦ→Ψ\Phi \to \Psi Definitiv können Sie dieses Problem in lösen, wobei die Anzahl der Variablen in und die Länge der Eingabe ist. Andererseits ist...
In Kapitel 4 von Jeffrey Shallits A Second Course in Automata Theory wird das folgende Problem als offen aufgeführt: Sei ein Polynom mit rationalen Koeffizienten, so dass für alle . Beweisen oder zu widerlegen , dass die Sprache der basen k Darstellungen aller ganzen Zahlen in ist kontextfrei ,...