Leider ist mein Hintergrund in Bezug auf die Komplexität der Berechnungen immer noch schwach, aber ich arbeite daran. Soweit ich weiß, ist die Frage der Existenz von Einwegfunktionen auf diesem Gebiet sehr wichtig. Angenommen, es gibt Einwegfunktionen. Wie kann gezeigt werden, dass es...
Definition: Eine erhaltene Invariante einer Zustandsmaschine ist ein Prädikat für Zustände, so dass wann immerPPPP.(q)P(q)P(q) ist wahr für einen Staat, qqq, und q→rq→rq \rightarrow r für einen Staat, rrr, dann P.(r)P(r)P(r) hält. Definition: Ein Liniendiagramm ist ein Diagramm, dessen Kanten sich...
In vielen Artikeln habe ich gelesen, dass es bekannt ist, dass die Shannon-Entropie einer Zufallsvariablen durch unabhängige Kopien der Variablen in Min-Entropie (bis zu einem kleinen statistischen Abstand) umgewandelt werden kann. Kann mir jemand erklären, was genau das
Ich habe darüber nachgedacht, wie die Natur lächerliche (dh NP) Probleme mit Leichtigkeit effizient berechnen kann. Zum Beispiel benötigt ein Quantensystem einen Elementvektor, um den Zustand darzustellen, wobei nur die Anzahl der Teilchen ist. Die Natur braucht keine zusätzliche Zeit, obwohl...
Das Problem, das ich habe, ist wie dieses Problem beim Verpacken von Behältern, aber stattdessen habe ich Behälter und eine Sammlung von Gegenständen mit diskreten Massen. Ich muss mindestens kg Zeug in jeden Behälter geben.nnnmmm Gibt es eine effiziente Möglichkeit, dies zu tun? Gibt es eine...
Ich habe ein Problem, das auf zwei verschiedene Arten betrachtet werden kann: Berechnen Sie eine nnn-dimensionales Integral, numerischer Kontext. Die Domäne der Integration ist einennn-dimensionaler Hyperwürfel der Seite L.LL. Zähle (zähle einfach) die Wurzeln eines nnn-dimensionale Funktion (kein...
Wenn Sie eine Entscheidung für eine Maschine schreiben, um zu sehen, ob sie bei einer Eingabe von w eine Bewegung nach links ausgeführt hat oder nicht , wird gesagt, dass, wenn wir die Berechnung für fortsetzen|w|+N+1|w|+N+1|w|+N+1 (NNN : Anzahl der Zustände) Anzahl der Schritte, wir können eine...
Dies mag für einige von Ihnen grundlegend sein, aber entschuldigen Sie meine Unerfahrenheit mit comp. Geometrie: Gegeben eine Menge von Kreisen mit Zentren für 1 \ leq i \ leq n und jeweils mit Radien r . Auch ein Rechteck gegeben. Alle Objekte befinden sich in einer Ebene. So überprüfen Sie, ob...
Wenn ich ein Diagramm bekomme, das einen Baum bildet, bin ich daran interessiert, einen Scheitelpunkt zu finden, der den Mindestabstand zu einem Blatt maximiert. Ich bin sicher, dass dieses Problem bereits untersucht wurde. Kennt jemand den Namen dieses Problems oder einen Algorithmus zur...
Ich interessiere mich für verteilte Algorithmen, insbesondere für die Kommunikation in Netzwerken mit Fehlern. Ich suche nach dem Beweis des folgenden randomisierten Kommunikationsalgorithmus in einem Netzwerk mit Fehlern. Für mich scheint es ein sehr allgemeines Ergebnis in der Kommunikation zu...
Wie beweisen Sie, dass die Sprache der gleichlangen Palindrome, dh L={wwR∣w∈{0,1}∗}L={wwR∣w∈{0,1}∗}L=\left\{ ww^R \mid w\in \left\lbrace 0,1 \right\}^* \right\}, kann von einem bestimmten Push-Down-Automaten nicht akzeptiert werden? Gibt es eine allgemeine Möglichkeit zu beweisen, dass eine...
Betrachten Sie die folgende Aussage: Für jedes gilt eine der folgenden Bedingungen: a<b∈Na<b∈Na < b \in \mathbb{N} gcd(a,b)=1gcd(a,b)=1\gcd(a,b) = 1 . es gibt ein a<x<ba<x<ba < x < b so dass gcd(a,x)=gcd(x,b)=1gcd(a,x)=gcd(x,b)=1\gcd(a,x) = \gcd(x,b) = 1 . es gibt...
Dies ist eine Folgefrage von " Nicht alle Rot-Schwarz-Bäume sind ausgeglichen? " Und " AVL-Bäume sind nicht gewichtsausgeglichen? ". \def\le{\leqslant}\def\ge{\geqslant} Definition: Für einen verwurzelten Baum TTT und einen Scheitelpunkt v∈V(T)v∈V(T)v \in V(T) sei LT(v)LT(v)L_T(v) die Anzahl der...
Ich habe einige Probleme gesehen, die NP-hart, aber in fester Dimension polynomiell lösbar sind. Beispiele, denke ich, sind Knapsack, das polynomial lösbar ist, wenn die Anzahl der Elemente fest ist, und Integer Linear Programming mit fester Anzahl von Variablen oder Einschränkungen durch Lenstras....
Lassen bin(n)bin(n)\mbox{bin}(n) bezeichnen die binäre Darstellung einer ganzen Zahl nnn. LassenL={bin(n2)∣n∈N}L={bin(n2)∣n∈N}L = \{ \mbox{bin}(n^2) \mid n \in \mathbb{N} \}. Ist LLL eine normale Sprache? Ich denke, das kann man beweisen LLL ist nicht regelmäßig mit dem Pump-Lemma, aber ich weiß...
Die Idee von Spreizbäumen ist sehr schön, da sie häufig aufgerufene Elemente nach oben verschieben, was in vielen Anwendungen zu einer erheblichen Beschleunigung führen kann. Der Nachteil ist, dass eine Operation im schlimmsten Fall eine -Komplexität aufweisen kann. (Obwohl amortisierte Grenzen...
Ich recherchiere über NFAs und Inklusionsprobleme mit ihnen. Ich weiß, dass im Allgemeinen die Einschlussprobleme und die Konvertierung in eine eindeutige NFA beide PSPACE-vollständig sind. Ich frage mich, gibt es Unterklassen von NFA, für die diese effizient entschieden werden können? Insbesondere...
Es ist wahrscheinlich möglich zu beweisen, dass P ≠ NP ist, dass Einwegfunktionen existieren und dass Paritätsspiele nicht in Polynomzeit gelöst werden können (ja, ich habe diese Liste durchgelesen ), aber wie würden wir vorgehen, um eine dieser Funktionen zu beweisen? Dinge? Gab es Beweise für...
Also habe ich lange versucht, dies zu knacken und habe fast das Gefühl, dass ich mich über diese Frage in Schleifen befinde. Angesichts der folgenden NFA: Verwenden Sie den GNFA-Algorithmus, um den regulären Ausdruck zu erhalten. Ich verstehe, dass Sie für den ersten Schritt (Hinzufügen leerer...
Ist es richtig, bedingte Wahrscheinlichkeiten wie die Formulare anzuzeigen: P (a | c) P (a | c, d) P (a, b | c, d) ... und so weiter als Tensoren? Wenn ja, kennt jemand einen anständigen Einführungstext (Online-Tutorial, Workshop-Artikel, Buch usw.), der Tensoren in diesem Sinne für Informatiker /...