Ich bin derzeit auf der Suche nach gutem Referenzmaterial, das nicht-lokale Spiele mit nützlichen Aspekten in der Quantenkommunikation in Verbindung bringt. Ich bin mir zum Beispiel bewusst, dass nicht-lokale Spiele die Komplexität der Kommunikation begrenzen und die Sicherheit von QKD-Protokollen...
Ich suche nach einer platzsparenden Datenstruktur, die Mengen (keine Wiederholung) von Elementen mit Wortgröße enthält und das schnelle Einfügen unterstützt (amortisiertes O (1)). Mit "platzsparend" meine ich im Idealfall Wörter zum Speichern von Elementen.nn+o(n)n+o(n)n + o(n)nnn Eine Menge zu...
Ich würde mich sehr für Verweise auf die Theorie der submodularen Funktionen (von den Grundlagen bis zu den Fortgeschrittenen) interessieren. Insbesondere studiere ich Annäherungen an schwierige Optimierungsprobleme und möchte meine Grundlagen in submodularen Funktionen entwickeln, da diese für die...
Ich möchte wissen, ob das folgende Problem in (nicht deterministischer Logspace) entschieden werden kann:NLNL\mathsf{NL} Gibt es bei einem gerichteten Graphen mit zwei unterschiedlichen Eckpunkten und einen eindeutigen Pfad von nach in ?GGGssstttssstttGGG Ich , dass es wahrscheinlich in da wir...
Das folgende Problem ist entscheidbar: Bei einer kontextfreien Grammatik ist L ( G ) = ∅ ?GGGL(G)=∅L(G)=∅L(G) = \varnothing Das folgende Problem ist unentscheidbar: Bei einer kontextfreien Grammatik ist L ( G ) = A * ?GGGL(G)=A∗L(G)=A∗L(G) = A^{\ast} Gibt es eine Charakterisierung kontextfreier...
Was ist über den Phasenübergang bei # P-Complete-Problemen bekannt? Gibt es speziell einen anderen Phasenübergang für # DNF-k-SAT und # CNF-k-SAT? Update: Wie wir wissen, gibt es in Random k-SAT einen Phasenübergang, bei dem die Lösung des Problems von einfach zu schwierig und wieder zu einfach...
Wie betrachtet man ein Problem und einen Grund dafür, dass es wahrscheinlich NP-Intermediate im Gegensatz zu NP-Complete ist? Es ist oft ziemlich einfach, ein Problem zu betrachten und festzustellen, ob es wahrscheinlich NP-vollständig ist oder nicht, aber es scheint mir viel schwieriger zu sein,...
Diese Frage bezieht sich auf eine aktuelle Frage von Janoma . Hintergrund In Constraint - Programmierung, ein regelmäßiger globaler constraint ccc über einen Domain - DDD ist ein Paar (s,M)(s,M)(s, M) mit sss einem Tupel von Variablen (der Umfang) , und MMM ein DFA über die Domäne DDD . Eine...
Ich denke, es würde # P-Space heißen, aber ich habe nur einen Artikel gefunden, der es vage erwähnt. Wie wäre es mit der Zählversion von EXP-TIME-Complete-, NEXP-Complete- und EXP-SPACE-Complete-Problemen? Gibt es frühere Arbeiten, die man in Bezug auf diese oder irgendeine Art von Einschluss oder...
Das Problem der traditionellen Kunstgalerie richtet eine Region und Wachen mit einer gewissen Sichtbarkeit ein und fordert die Mindestanzahl von Wachen an, die platziert werden müssen, um die gesamte Region zu sehen. Hat sich jemals jemand Kunstgalerievarianten angesehen, bei denen der...
Angenommen, wir haben eine Halbgruppe mit Elementen S = { s 1 , s 2 , … , s n } . Unser Ziel ist es , rechen Produkte s i ∘ s i + 1 ∘ ⋯ ∘ s j .( S., ∘ )(S,∘)(S,\circ)S.= { s1, s2, … , S.n}}S={s1,s2,…,sn}S=\lbrace s_1,s_2,\dots,s_n\rbracesich∘ si + 1∘ ⋯ ∘ sjsi∘si+1∘⋯∘sjs_i\circ s_{i+1}\circ...
In verteilten Versionskontrollsystemen (wie Mercurial und Git ) müssen gerichtete azyklische Graphen (DAGs) effizient verglichen werden. Ich bin ein Mercurial-Entwickler, und wir wären sehr daran interessiert, etwas über theoretische Arbeiten zu erfahren, in denen die Zeit- und Netzwerkkomplexität...
Bei einem gewichteten ungerichteten Graphen mit Kanten möchte ich Näherungsabstände von weniger als 2 zwischen einem gegebenen Eckpunktpaar berechnen. Natürlich möchte ich subquadratischen Raum und sublineare Abfragezeit verwenden.m=o(n2)m=o(n2)m = o(n^2) Ich bin mir des Ergebnisses von Zwick...
Gibt es Probleme, deren durchschnittliche Fallkomplexität mit der Worst-Case-Komplexität übereinstimmt? Was sind die zugrunde liegenden Eigenschaften dieser Probleme, die es ermöglichen, den schlimmsten Fall auf den Durchschnittsfall zu
Ich interessiere mich für eine SAT-Variante, bei der die CNF-Formel monoton ist (keine Variablen werden negiert). Eine solche Formel ist offensichtlich erfüllbar. Angenommen, die Anzahl der wahren Variablen ist ein Maß dafür, wie gut unsere Lösung ist. Wir haben also folgendes Problem: MINIMUM TRUE...
Diese Frage ist möglicherweise nicht technisch. Als Nicht-Muttersprachler und TA für die Algorithmusklasse habe ich mich immer gefragt, was Gadget in "Klausel-Gadget" oder "Variablen-Gadget" bedeutet. Das Wörterbuch besagt, dass ein Gadget eine Maschine oder ein Gerät ist, aber ich bin mir nicht...
Sei eine Folge von ganzen Zahlen, wobei jedes . Für sei. Das te Frequenzmoment ist definiert alsa j ∈ { 1 , 2 , … , n } i ∈ { 1 , 2 , … , n } m i = | { j : a j = i } | kein1, ein2, … , A.ma1,a2,…,ama_1, a_2,\dotsc, a_meinj∈ { 1 , 2 , … , n }aj∈{1,2,…,n}a_j \in \{1,2,\dotsc,n\}i ∈ { 1 , 2 , … , n...
Approximationsalgorithmen können eine Ausgabe bis zu einem konstanten Faktor liefern. Dies ist etwas weniger zufriedenstellend als exakte Algorithmen. Konstante Faktoren werden jedoch in der zeitlichen Komplexität ignoriert. Ich frage mich also, ob der folgende Trick möglich ist oder angewendet...
Soweit ich weiß, basieren Datentypen in der Informatik aufgrund von Russells Paradoxon nicht auf der Mengenlehre, aber wie in realen Programmiersprachen können wir so komplexe Datentypen wie "Menge, die sich nicht selbst enthält" nicht ausdrücken, oder? Angenommen, in der Praxis ist der Typ eine...
Die folgende Übung wurde an von mir betreute Schüler verteilt: Entwickeln Sie bei nnn Punkten in der Ebene einen Algorithmus, der ein Punktpaar findet, dessen Abstand zwischen allen Punktpaaren minimal ist. Der Algorithmus sollte in der Zeit laufen o(n2)o(n2)o(n^2). Es gibt einen (relativ)...