Ich untersuche ein Problem, das für die Klasse der quantifizierten Booleschen Formeln mit einer logarithmischen Anzahl von Quantifiziererwechseln schwierig ist. Ein Problem in dieser Klasse würde so aussehen:
Ich finde einige Bücher über Computer, aber alle handeln von Technologie. Ich möchte etwas mehr mit der Theorie zu tun
In meiner Einführung in den Programmierkurs lernen wir die Methode Initialisierung-Wartung-Beendigung kennen, mit der bewiesen wird, dass ein Algorithmus das tut, was wir von ihm erwarten. Wir mussten jedoch nur beweisen, dass ein Algorithmus, von dem bereits bekannt ist, dass er korrekt ist,...
Wir alle wissen, dass Barrieren hat. Wir alle haben diese Barrieren untersucht, weil wir glauben, dass .P ≠ N PP≠ NPP≠NPP\ne NPP≠ NPP≠NPP\ne NP Nehmen wir jedoch an, und es gibt weise Leute, die glauben, dass diese Möglichkeit besteht . Wenn dies tatsächlich der Fall ist, deutet die Tatsache, dass...
Ich habe ein Polytop PPP das durch {x:Ax≤b,x≥0}{x:Ax≤b,x≥0}\{ x : Ax \leq b, x \geq 0\} . Frage: Gibt es einen Polynom-Zeit-Algorithmus, um bei gegebenem Scheitelpunkt vvv von PPP gleichmäßig von den Nachbarn von vvv im Graphen von PPP ? (Polynom in der Dimension, die Anzahl der Gleichungen und die...
Sei G ein Baum auf 2n Eckpunkten. Die Baumbreite von G, tw (G) = 1. Nehmen wir nun an, wir addieren n Kanten zu G, um einen Graphen H zu erhalten. Eine einfache Obergrenze für tw (H) ist n + 1. Ist dies im Wesentlichen die bestmögliche? Es scheint irgendwie, dass tw (H) O (sqrt (n)) sein sollte,...
Robin Milner definierte Bigraphs als eine Art grafische Struktur mit grafischer Struktur, bei der die Knoten jedoch verschachtelt werden können. Sie verallgemeinern Prozesskalküle wie CCS und den Kalkül, aber Milner scheint beabsichtigt zu haben, dass sie viel allgemeiner verwendet werden: Die...
Man betrachte , wobei lambda_i> 0 und Y_i als Standardnormal verteilt sind. Welche Art von Konzentrationsgrenzen kann man auf X als Funktion der (festen) Koeffizienten lambda_i nachweisen?X= ∑ichλichY.2ichX=∑ichλichY.ich2X = \sum_i \lambda_i Y_i^2 Wenn alle lambda_i gleich sind, ist dies eine...
Wenn Sie mit der Programmüberprüfung vertraut sind, ziehen Sie es wahrscheinlich vor, die Frage vor dem Hintergrund zu lesen . Wenn Sie mit der Programmüberprüfung nicht vertraut sind, können Sie diese Frage möglicherweise immer noch beantworten, aber Sie werden es wahrscheinlich vorziehen, zuerst...
Wer hat die Idee der Rekursion eingeführt ? Kann jemand erklären, woher es kommt und wie es sich auf die Informatik
Als Antwort auf eine andere Frage, Erweiterungen der Beta-Theorie der Lambda-Rechnung , bot Evgenij die Antwort an: Beta + die Regel {s = t | s und t sind unlösbare Begriffe} wo ein Term M lösbar ist, wenn wir eine Folge von Termini finden können, so dass die Anwendung von M auf sie gleich I ist ....
Der Satz von Rice besagt, dass jede nichttriviale Eigenschaft der Menge, die von einer Turing-Maschine erkannt wird, unentscheidbar ist. Ich suche nach einem komplexitätstheoretischen Satz vom Typ Reis, der uns sagt, welche nichttrivialen Eigenschaften von NP-Mengen nicht zu handhaben...
Ich bin Student der Informatik und plane gerade mein Abschlussprojekt. Ich brauche einige Ideen im Bereich des Quantencomputers. irgendeine
Zwei Papiere, die ich einschließen würde, sind: D. Kozen, "Indexing of subrecursive classes" , STOC, 1978. R. Ladner, "Über die Struktur der Polynomzeitreduzierbarkeit " , JACM, 1975.
Während ich versuchte, einen Fehler in einer Bibliothek zu beheben, suchte ich erfolglos nach Artikeln über das Auffinden von Unterbereichen auf roten und schwarzen Bäumen. Ich überlege mir eine Lösung mit Reißverschlüssen und etwas ähnlichem wie beim normalen Anhängen von Löschalgorithmen für...
Das Problem #SAT ist das kanonische # P-vollständige Problem. Es ist eher ein Funktionsproblem als ein Entscheidungsproblem. Sie fragt mit einer Booleschen Formel in der Aussagenlogik, wie viele befriedigende Zuordnungen hat. Welches sind die besten Untergrenzen für
Gibt es eine Möglichkeit, eine Instanz von Subset Sum oder das Number Partition Problem zu codieren, sodass eine (kleine) Lösung für eine Ganzzahlbeziehung eine Antwort ergibt? Wenn nicht definitiv, dann in einem wahrscheinlichkeitstheoretischen Sinne? Ich weiß, dass LLL (und möglicherweise PSLQ)...
Ziel : Stellen Sie die Vermutung auf, dass es keine projektive Ordnungsebene 12 gibt. Im Jahr 1989 bewies Lam mittels Computersuche auf einem Cray, dass es keine projektive Ebene der Ordnung 10 gibt. Jetzt, da Gottes Zahl für Rubiks Würfel nach nur wenigen Wochen massiver Brute-Force-Suche (plus...
Viele Kryptosysteme mit öffentlichem Schlüssel weisen eine nachweisbare Sicherheit auf. Zum Beispiel ist das Rabin-Kryptosystem nachweislich so hart wie Factoring. Ich frage mich, ob es für Kryptosysteme mit geheimen Schlüsseln wie AES eine solche nachweisbare Sicherheit gibt. Wenn nicht, was ist...
ist die Klasse von Entscheidungsproblemen, die durch eine Familie von O ( log i n ) -Tiefenschaltungen mit UND-Gattern mit unbegrenztem Fanin-ODER und begrenztem Fanin lösbar sind. Negationen sind nur auf der Eingangsebene zulässig. Es ist bekannt, dassfürunter Komplement abgeschlossen ist...