Sei x1, … , Xnx1,…,xnx_1, \ldots, x_n Punkte in der Ebene . Betrachten Sie einen vollständigen Graphen mit den Punkten als Eckpunkten und mit Kantengewichten von . Finden Sie immer ein Stück Gewicht, das mindestens des Gesamtgewichts beträgt? Wenn nicht, welche Konstante soll die \ frac 2 3...
Betrachten Sie das folgende Problem, Bei einem Satz von n=kmn=kmn = k m positiven Zahlen {a1,…,an}{a1,…,an}\{ a_1, \dots, a_n \} , in denen k≥3k≥3k \ge 3 eine Konstante ist, wollen wir die Menge in partitionieren mmm Teilmengen der Größe kkk , so dass das Produkt aus der Summe der einzelnen...
Gibt es eine Übersicht (aus Papier, Buchkapitel, Tutorial, Links, ...) über die Semantik verschiedener Programmiersprachenfunktionen? Ich war ursprünglich überwältigt von den Funktionen von D hier http://www.digitalmars.com/d/2.0/comparison.html Ich würde gerne sehen, was ich möglicherweise von...
Es gibt mehrere konkurrierende Begriffe eines "spärlichen Graphen". Beispielsweise könnte ein oberflächeneinbettbarer Graph als spärlich angesehen werden. Oder ein Diagramm mit begrenzter Kantendichte. Oder eine Grafik mit hohem Umfang. Ein Diagramm mit großer Ausdehnung. Ein Diagramm mit...
Im kleinen Verschlüsselungsalgorithmus : Verschiedene Vielfache einer magischen Konstante werden verwendet, um einfache Angriffe aufgrund der Symmetrie der Runden zu verhindern. Die magische Konstante 2654435769 oder 9E3779B9 16 wird zu , wobei ϕ der goldene Schnitt ist .232/ϕ232/ϕ2^{32}/ \phi...
Ich las bereits Beispiele für Formeln in CTL , aber nicht in LTL und umgekehrt, aber ich habe Probleme , ein mentales Verständnis für LTL Formeln zu gewinnen und wirklich , was im Herzen ist der
Ich suche nach Modallogiken, die durch eine endliche Menge von Axiomen der Modal Nesting Depth 1 axiomatisiert werden und deren Erfüllbarkeits- / Ableitbarkeitsproblem wahrscheinlich nicht in PSPACE vorliegt. Ohne die Einschränkung der modalen Verschachtelungstiefe ist dies kein Problem, siehe zum...
Wir können uns die Kolmogorov-Komplexität eines Strings xxx als die Länge des kürzesten Programms PPP und yyy so eingeben , dass x=P(y)x=P(y)x = P(y) . Normalerweise werden diese Programme aus einem Turing-Komplett-Set erstellt (wie PPP die Beschreibung einer Turing-Maschine oder ein Programm in...
Kann es bei einer gegebenen Folge von Zahlen mit Vergleichen und Swaps / Moves sortiert werden ? Alle Verweise auf Veröffentlichungen zu diesem Thema oder Gegenargumente, die eine Untergrenze von , wären hilfreich.nnnO(nlnn)O(nlnn)O(n \ln n)O(n)O(n)O(n)Ω(nlnn)Ω(nlnn)\Omega(n \ln...
Wenn ein Graph mit maximalen Grad 3 und eine kleinere von ist , dann ist eine topologische minor von .GGGHHHGGGHHH Wikipedia zitiert dieses Ergebnis aus Diestels "Graphentheorie". Es ist als Prop 1.7.4 in der neuesten Version des Buches aufgeführt. Dem Buch fehlen Beweise oder Zitate. Sind die...
Sei eine 2CNF-Formel und k eine nichtnegative ganze Zahl. Es ist in diesem Aufsatz bewiesen , dass das Problem der Entscheidung, ob höchstens k- Klauseln gelöscht werden können , um φ zufriedenstellend zu machen , mit festen Parametern bewerkstelligt werden kann, wobei k der Parameter ist. Meine...
AC0AC0AC^0 ist die Klasse von Schaltkreisen mit konstanter Tiefe und Polynomgröße mit NICHT-Gattern und unbegrenzten Fan-In- UND- und ODER-Gattern, wobei Eingänge und Gatter auch unbegrenzte Fan-Outs aufweisen. Betrachten Sie nun eine neue Klasse, nennen Sie sie die ähnelt, für die Eingänge und...
Schnellversion Gibt es Modelle von Dekohärenz für den Quanten Spaziergang auf der Linie , so dass wir können , stimmen die zu Fuß zur Ausbreitung als Θ(tk)Θ(tk)\Theta(t^k) für jedes 1/2≤k≤11/2≤k≤11/2 \leq k \leq 1 ? Motivation Klassische Random-Walks sind beim Algorithmus-Design nützlich, und...
Ich suche einen Verweis (kein Beweis, den ich machen kann) auf die folgende Erweiterung von Chernoff. Lassen sind boolesche Zufallsvariablen, die nicht unbedingt unabhängig sind . Stattdessen ist garantiert, dass P r ( X i = 1 | C ) < p für jedes i und jedes Ereignis C ist , das nur von { X j |...
Wir wissen, dass wenn ist, der gesamte PH zusammenbricht. Was ist, wenn die Polynomhierarchie teilweise zusammenbricht? (Oder wie kann man verstehen, dass PH über einem bestimmten Punkt und nicht unter einem bestimmten Punkt zusammenbrechen kann?)P.= N.P.P=NPP=NP Mit kürzeren Worten, was wären die...
Normalerweise wird die Shannon-Entropie verwendet, um die Ergebnisse der Kanalcodierung zu beweisen. Auch für die Trennung von Quellkanälen wird die Shannon-Entropie verwendet. Hat es eine Studie gegeben, um die Komplexität von Kolmogorov für diese Ergebnisse zu nutzen (oder zumindest den...
In Kapitel 10 von HAC (10.4.2) sehen wir das bekannte Feige-Fiat-Shamir-Identifikationsprotokoll, das auf einem Null-Wissens-Beweis basiert, der die (angenommene) Schwierigkeit nutzt, Quadratwurzeln zu extrahieren, die modulo ein Composite sind, das schwer zu faktorisieren ist. Ich werde das Schema...
Unique SAT ist das bekannte Problem: Stimmt es, wenn eine CNF-Formel ist, dass F genau ein Modell hat?FFFFFF Ich interessiere mich für das Problem «Genau SAT»: Stimmt es, wenn eine CNF-Formel F und eine ganze Zahl m > 1 gegeben sind , dass F genau m Modelle hat?mmmFFFm>1m>1m>1FFFmmm Beide...
Ich frage mich, was die neuesten Fortschritte in der relationalen Datenbanktheorie und verwandten Bereichen sind. Ich interessiere mich für neue Ansätze, Abfragesprachen (Alternativen zu SQL und / oder Erweiterungen), Produkte (proprietär und Open Source, obwohl ich viel mehr an Open Source...
Welche Standardprobleme können wir reduzieren, um -Untergrenzen zu beweisen ?Ω ( n logn )Ω(nLogn)\Omega(n\log n) Natürlich gibt es andere Probleme als das Sortieren und die Unterscheidbarkeit der Elemente.