Eine monotone CNF-Formel mit m Termen für n Variablen ( ) ist eine Formel der Form , wobei jedes ein ODER einer Teilmenge der Variablen ist und reichen von bis .x1,…,xnx1,…,xnx_1,\ldots,x_nf(x1,…,xn)=⋀Cif(x1,…,xn)=⋀Cif(x_1,\ldots,x_n) = \bigwedge C_iCiCiC_ix1,…,xnx1,…,xnx_1,\ldots,x_niii111mmm Zum...
Ich lese Watrous 'exzellentes Umfragepapier auf Papier zur Theorie der Quantenkomplexität. Darin stellt er fest, dass es überraschend wäre, wenn ein QMA-vollständiges Problem ein leeres Versprechen hätte (dh eine Sprache sein). Warum ist das so? Hat es damit zu tun, dass das k-lokale...
Gibt es eine W-Bit-Wort-RAM-Datenstruktur mit O (1) Zeit pro Operation für das folgende Problem?: Behalten Sie einen Satz nicht negativer W-Bit-Ganzzahlen bei, die die Operationen unterstützen add (x): füge x zur Menge hinzu remove (x): entferne x aus dem Set fingerprint (): Gibt einen...
Der Permutationsmusterabgleich befasst sich grob gesagt mit Problemen der folgenden Art: Gegebenen Permutationen in S n und σ in S m , wobei m ≤ n , tut π eine enthalten Subsequenz τ der Länge m , deren Elemente geordnet nach σ ?ππ\piS.nSnS_nσσ\sigmaS.mSmS_mm ≤ nm≤nm\leq nππ\pi ττ\taummmσσ\sigma...
Hier ist eine "Track B" -Frage, falls es jemals eine gab. Zusammenfassung: Das erste, woran ich denke, wenn ich versuche, nicht deterministischen Programmen eine Semantik zu geben, führt zu einer Semantik, in der ich keine Dinge über Schleifen beweisen kann, die nur nicht deterministisch enden....
Kann mich jemand auf die Referenz für die Nichtdefinierbarkeit des in PCF funktionalen Kontinuitätsmoduls hinweisen? \ newcommand {\ bool} {\ mathsf {bool}}\newcommand{\N}{\mathbb{N}} \newcommand{\bool}{\mathsf{bool}} Andrej Bauer hat einen sehr schönen Blog-Beitrag geschrieben , in dem einige der...
Meine Frage betrifft die Gleichwertigkeit der Sicherheit verschiedener Kandidaten-Einwegfunktionen, die auf der Grundlage der Härte des Factorings konstruiert werden können. Angenommen, das Problem von FAKTORIERUNG: [Wenn für zufällige Primzahlen , finde , ]N=PQN=PQN = PQP,Q<2nP,Q<2nP, Q <...
Wenn ein gemischter Graph mit den Kanten und den Bögen , finden Sie in eine Übereinstimmung , die die Anzahl der Bögen in minimiert , wobei aus indem übereinstimmende Eckpunkte zusammengezogen und entfernt werden parallele Bögen.E A E G / M G / M
Ich möchte etwas über Network Coding lernen: http://en.wikipedia.org/wiki/Network_coding Kennen Sie eine gute Umfrage (z. B. aus IEEE-Umfragen und -Tutorials) zu den oben genannten Themen? Ich habe einige Universitätskurse bei Google gefunden, aber ich hätte gerne Empfehlungen von Leuten, die...
Gibt es Stellen für kürzlich abgeschlossene Bachelor- oder Masterstudenten mit Forschungsergebnissen, die vor ihrer Promotion als Forscher arbeiten können? TCS hat eine Kultur von Post-Doc-Positionen für Doktoranden, die vor dem Versuch, sich für eine Fakultätsstelle zu bewerben, forschen müssen....
Angenommen, wir haben ein Polyeder in Standardform: Ax=bx≥0Ax=bx≥0\begin{equation*} \begin{array}{rl} \mathbf{A}\mathbf{x} = \mathbf{b} \\\\ \mathbf{x} \ge 0 \end{array} \end{equation*} Gibt es bekannte Methoden zum Auffinden einer Hyperebene , die das Polyeder so , dass die Anzahl der Eckpunkte...
Katz und Lindell erwähnen in ihrem Buch, dass LFSR als Grundlage für Pseudozufallsgeneratoren schrecklich war, und befürworten, dass sie nicht mehr verwendet werden (nun, sie empfehlen auch, dass Leute Blockchiffren anstelle von Streamchiffren verwenden). Aber ich sehe zum Beispiel, dass einer der...
Angenommen, ist eine boolesche Sprache mit endlichen Zeichenfolgen über { 0 , 1 } . Sei L n die Anzahl der Strings in L mit der Länge n . Für eine Funktion d ( n ) von den positiven ganzen Zahlen zu den positiven reellen Zahlen hat L die obere Dichte d ( n ), wenn L n ≤ 2 n d ( n ) für alle...
Eine Sprache gehört zur Klasse wenn es zwei Sprachen und so dassLLLDPDPDPL1∈NPL1∈NPL1 \in NPL2∈coNPL2∈coNPL2 \in coNPL=L1∩L2L=L1∩L2L = L1 \cap L2 Ein kanonisches vollständiges Problem ist SAT-UNSAT: Ist es bei zwei 3-CNF-Ausdrücken, und , wahr, dass erfüllbar ist und nicht?DPDPDPFFFGGGFFFGGG Es ist...
Ich stehe vor einem ziemlich schwierigen Dilemma: Ich hatte M.Tech vor 2 Jahren in CS abgeschlossen und meine Dissertation im Bereich VLSI-Tests abgeschlossen. Obwohl mir meine Arbeit gefallen hat, möchte ich nicht zurückkehren, um dort zu promovieren. Ich wollte unbedingt einen theoretischen Kurs...
Ich suche nach dem vollständigen Text des Cliquenergebnisses von Moon und Moser 1965 über Cliquen in Graphen (es gibt Graphen mit einer Anzahl maximaler Cliquen, die in exponentiell sind ). Die Paywall meiner Universität hat keinen Zugriff auf das jeweilige Journal. (Tatsächlich liefert die...
Ich habe oft gehört, dass man aufgrund des Satzes von Rice kein Programm schreiben kann, um Fehler in einem Webbrowser, einem Textverarbeitungsprogramm oder einem Betriebssystem zu erkennen: Jede semantische Eigenschaft für eine Turing-vollständige Sprache ist unentscheidbar. Ich bin mir jedoch...
Kontext: Wir betrachten nur Digraphen. Sei CYCLE die Sprache der Graphen mit einem Zyklus; Es ist ein NL-vollständiges Problem. Sei HASEDGE die Sprache von Graphen mit mindestens einer Kante. Dann ist trivialerweise CYCLE∪HASEDGECYCLE∪HASEDGE\text{CYCLE} \cup \text{HASEDGE}nicht mehr NL-hart,...
Ich suche nach online verfügbaren Vorlesungsskripten oder anderen Ressourcen, die eine gute Einführung in die parallele Programmierung bieten, genau wie das parallele Analogon der Grundkurse in der Informatik. Mein Fokus liegt auf Folgendem: Während ich über Divide & Conquer, gierige...
Gibt es einen Polynom-Zeit-Algorithmus, um - falls vorhanden - eine überspannende Spinne eines gegebenen Graphen ? Eine Spinne ist ein Baum mit höchstens einem Knoten mit einem Grad größer als 2: Ich weiß, dass verschiedene Gradbedingungen auf (im Wesentlichen ausreichend große Knotengrade) die...