Das Sortieren unter Verwendung von 2-Element-Vergleichen hat eine asymptotische Worst-Case-Komplexität von (erreicht durch Mergesort, Heapsort, binäre Einfügung, mindestens Ford-Johnson), was optimal ist.n log2( n )nlog2(n)n \log_2(n) Wenn wir mit Vergleichen sortieren, die k Elemente als...
Gibt es nicht triviale Untergrenzen für die Laufzeit von Graph-Algorithmen in RAM / PRAM / Berechnungsmodellen? Ich suche hier nicht nach den NP-Härteergebnissen. Folgendes ist ein Ergebnis, das ich finden konnte [siehe Lit. L92]: Das 3-Färben eines n-Zyklus erfordert Zeit.Ω ( log∗n...
Ist bekannt, ob der Tensorrang dreidimensionaler Tensoren in VNP (nicht deterministische valiant class) liegt? Wenn ja, was ist über den hochdimensionalen Tensorrang bekannt? Tatsächlich interessiere ich mich für ein viel einfacheres Problem. Ich würde gerne wissen, ob man
Ich kenne die folgenden Varianten von SUBSETSUM-Problemen: ( Elberfeld at. Al., 2010 ), NP-vollständige S U B S E T S U M und NEXP-vollständige S U C C I N C T - S U B S E T S U M ( Link ).U.N A R Y - S U.B S E T S U.M ∈ L.U.N.EINR.Y.- -S.U.B.S.E.T.S.U.M.∈L. \mathtt{UNARY\mbox{-}SUBSETSUM} \in...
Ich bin neu im Studium von Umschreibungssystemen als Doktorand im ersten Jahr. Ich möchte einen speziellen Themenkurs zur Umschreibungstheorie vorschlagen und möchte sicherstellen, dass ich keine der Originalquellen auslasse. Ich habe eine Kopie von Barendregt und Terese als Lehrbuchquellen. Für...
Betrachten Sie ein rationales Polytop , das mittels eines Trennungsorakels definiert wird. Das heißt, P kann implizit beschrieben werden als P = { x ∈ R k : A x ≤ b , A ∈ Z m × k , b ∈ Z m } , aber da m sehr groß ist, verwenden wir ein Orakel, das a gegeben ist Punkt x ∈ R k sagt entweder x ∈ P...
Was ist die größte Menge, die einen deterministischen Quantensuchalgorithmus für ein einzelnes markiertes Element zulässt, das nur mit einem einzigen Aufruf des Orakels arbeitet? Die Frage ist interessant, da Grovers Algorithmus, der für die unstrukturierte Suche in einem Element-Satz O ( √...
Angenommen, wir möchten das kleinste Element einer Menge , deren Elemente von bis indiziert sind . Wir haben keinen Zugriff auf die Werte dieser Elemente, aber wir können zwei beliebige Elemente von um festzustellen, welches kleiner ist. Für alle Indizes und sind Kosten , um das te und das te...
Ich suche nach Quellen zum formalisierten Begriff von Programmen. Dies scheint eng mit der Curry-Howard-Korrespondenz verbunden zu sein, aber man könnte dies auch auf Universal Turing Machines und seine Fähigkeit zurückführen, die Beschreibung und Eingabe eines TM zu lesen. Wenn ich über...
Ich würde gerne wissen, wie wichtig TCS für die Malware-Forschung ist. Aufgrund des großen Volumens neuer Malware-Varianten pro Tag (~ 50.000 Proben / Tag laut McAfee) sind Malware-Forscher stark von dynamischen Analysen abhängig (dh das Ausführen der Proben in einer Sandbox und die Überwachung...
Kennt jemand eine Arbeit, die Theoretische Informatik und billige / nachhaltige Energie verbindet? dh gibt es irgendwelche Arbeiten in TCS mit der Anwendung in billiger / nachhaltiger
Ist das etwas über Sprachen bekannt, die vom bidirektionalen deterministischen Mehrkopfzählerautomaten oder Logspace TM mit Zähler (äquivalentes Modell) erkannt werden? Diese Klasse heißt Aux2DC in der Arbeit meines Beraters . Oder über solch eine nichtdeterministische Klasse? Ich habe erhalten,...
Ist das folgende Problem NP-schwer? Bei einer Menge von reellen Zahlen (Zielen) x 1 , … , x N und einem "Dreizack", der durch zwei Abstände a , b von der Mitte des Dreizacks definiert ist, wie hoch ist die minimale Anzahl K der Positionen p 1 , ... , p K des Dreizacks, um alle Ziele abzudecken, dh...
Ist es möglich, eine Reduzierung der Zählung von #SAT auf #HornSAT zu finden? Ich habe diese Frage hier nicht gefunden und habe mich daher entschlossen zu prüfen, ob jemand eine Antwort darauf hat. Lassen Sie mich erklären, was ich mit Reduktion zähle. Angenommen, sind zwei Zählprobleme. Zum...
In meiner Arbeit trat das Problem der Klassifizierung von CFL unter rationalen Funktionsbildern auf. Mit anderen Worten : Welche Klasse von Sprachen bilden Sprachen freie Sprache, für festen Kontext und deterministisch transduktor . Ich habe einige einfache Ergebnisse erzielt, da die Dyck-Sprache...
Ich möchte eine effiziente Methode zur Berechnung der Mindestanzahl von Transpositionen, die zum Sortieren einer Liste erforderlich sind. Ich muss nicht wissen, was die Transpositionen tatsächlich sind. Zum Beispiel erfordert die Liste [1, 1, 2, 0] 2 Transpositionen: [1, 1, 2, 0] // Start [1, 1, 0,...
Ich lese über den Stern Höhe Problem und bemerkte , dass Eggan Familie von regulären Ausdrücken ein einfaches Muster folgt , das durch einen regulären Ausdruck beschrieben werden kann. Meine Frage ist: Gibt es interessante Ergebnisse zu regulären Ausdrücken, die Familien regulärer Ausdrücke...
Ich suche nach dem Originalpapier, in dem Hoare (oder jemand anderes, nehme ich an) die Kündigung (Total Correctness) bespricht. Oder irgendeine andere frühe Arbeit über die Beendigung der "Vanilla" Hoare-Logik (damit meine ich vermutlich einen HL für eine C-ähnliche Spielzeugsprache). Ich habe mir...
Ich habe zwei völlig unterschiedliche Domänen (Äpfel und Orangen) und ich habe eine Funktion , die eine Reihe von Objekten aus der ersten Domäne und eine Reihe von Objekten aus der zweiten Domäne nimmt und eine reelle Zahl zurückgibt.fff hat folgende interessante Eigenschaften:f( S.,...
In Savitchs Arbeit von 1969 "Beziehungen zwischen nichtdeterministischen und deterministischen Bandkomplexitäten" stellt er fest, dass "alle gängigen Speicherfunktionen L (n)> = lg n messbar sind. Insbesondere ist jedes Polynom in n und lg n messbar." Seine Definition von messbar lautet: "Eine...