Angenommen, wir arbeiten in einem endlichen Feld. Über diesem Feld erhalten wir ein großes festes Polynom p (x) (von beispielsweise Grad 1000). Dieses Polynom ist im Voraus bekannt und wir dürfen in der "Anfangsphase" mit vielen Ressourcen rechnen. Diese Ergebnisse können in relativ kleinen...
Betrachten Sie eine monotone 3CNF-Formel mit den folgenden zusätzlichen Einschränkungen: Jede Variable erscheint in genau Klauseln.222 Bei beliebigen Klauseln teilen sie höchstens 1 Variable.222111 Ich würde gerne wissen, wie schwer es ist, die zufriedenstellenden Aufgaben einer solchen Formel zu...
Hier sind zwei Familien von Hash - Funktionen auf Strings :x⃗ =⟨x0x1x2…xm⟩x→=⟨x0x1x2…xm⟩\vec{x} = \langle x_0 x_1 x_2 \dots x_m \rangle pppxi∈Zpxi∈Zpx_i \in \mathbb{Z_p}h1a(x⃗ )=∑aiximodpha1(x→)=∑aiximodph^1_{a}(\vec{x}) = \sum a^i x_i \bmod pa∈Zpa∈Zpa \in...
Einführung Ich schreibe meine Doktorarbeit über Abstract Delta Modeling (ADM), eine abstrakte algebraische Beschreibung von Modifikationen (bekannt als Deltas ), die auf Produkte (wie in "Softwareprodukten") einwirken können . Dies kann verwendet werden, um eine Reihe verwandter Produkte (eine...
Bitte entschuldigen Sie die Knappheit des Titels, ich habe möglicherweise Klarheit auf dem Altar der Prägnanz geopfert. Man kann sehen, dass das Einfügen von Elementen eines Arrays in einen binären Suchbaum und das erneute Auslesen (beim Einfügen) dieselben Vergleiche erfordert wie das Ausführen...
In der Einleitung dieses Papiers Schließlich linearisierbare gemeinsame Objekte (PODC'10) haben die Autoren die folgende Aussage ohne Referenzen präsentiert: Die Linearisierbarkeit kann jedoch nur dann erreicht werden, wenn ein Konsens gelöst werden kann. Hier ist die Linearisierbarkeit die...
Sei eine Familie von Element-Teilmengen eines endlichen Universums von Objekten. Eine Familie von Element-Teilmengen von mit ist eine - Schlagmenge von wenn für jedes mindestens eine Menge wie z daß .FF.FdddUUUHHHkkkUUU1≤k<d1≤k<d1 \le k < d(k,d)(k,d)(k,d)FFFV∈FV∈FV \in FW∈HW∈HW \in HW⊂VW⊂VW...
Ich suche nach der Komplexität der Erfüllbarkeit einer Formel oder einer Formel wobei die Formel der Form ist: Wobei die Konstante in und die Domäne der Variablen auch .∃ x 1 , ... , x m ∀ y 1 , ... , y n , & phiv; & phiv; & phiv; : = & phiv; ∧ & phiv; | ¬ ϕ | ϕ → ϕ | ψ ψ : = t...
LINEARE DIOPHANTINENGLEICHUNGEN (gegebene natürliche Zahlen , gibt es natürliche Zahlen x und y, so dass a x + b y + c = 0 ?) Sind in Polynomzeit lösbar.a,b,ca,b,ca, b, cxxxyyyax+by+c=0ax+by+c=0ax + by + c = 0 QUADRATISCHE DIOPHANTIN-GLEICHUNGEN ( ) sind NP-vollständig ( NP-vollständige...
Der Berkowitz-Algorithmus liefert eine Polynomgrößenschaltung mit logarithmischer Tiefe zur Determinante einer quadratischen Matrix unter Verwendung von Matrixleistungen. Der Algorithmus verwendet implizit die Löschung. Ist eine Aufhebung wesentlich, um eine Schaltung mit Polynomgröße mit...
Es ist bekannt, dass die Existenz von Einwegfunktionen für einen Großteil der Kryptographie (digitale Signaturen, Pseudozufallsgeneratoren, Verschlüsselung mit privatem Schlüssel usw.) notwendig und ausreichend ist. Meine Frage ist: Was sind die komplexitätstheoretischen Konsequenzen der Existenz...
Angenommen, P! = NP. Wir wissen, dass wir jederzeit einfache Instanzen von 3-SAT erstellen können. Wir können auch etwas generieren, von dem wir glauben, dass es harte Instanzen sind (weil unsere Algorithmen sie nicht schnell lösen können). Gibt es irgendetwas, das verhindert, dass die Menge der...
Nash-Gleichgewichte sind im Allgemeinen nicht berechenbar. Ein ϵϵ\epsilon Nash-Gleichgewicht ist eine Reihe von Strategien, bei denen jeder Spieler angesichts der Strategien des Gegners innerhalb von ϵϵ\epsilon der maximal möglichen erwarteten Auszahlung erhält . Das Finden eines ϵϵ\epsilon...
Ich kenne Shannons Arbeit mit Entropie, aber in letzter Zeit habe ich an prägnanten Datenstrukturen gearbeitet, in denen empirische Entropie häufig als Teil der Speicheranalyse verwendet wird. Shannon definierte die Entropie der von einer diskreten Informationsquelle erzeugten Information als ,...
Es gibt Probleme, die entscheidbar sind, es gibt einige, die nicht entscheidbar sind, es gibt Halbentscheidbarkeit usw. In diesem Fall frage ich mich, ob ein Problem meta-unentscheidbar sein kann. Dies bedeutet (zumindest in meinem Kopf), dass wir nicht sagen können, ob es entscheidbar ist oder...
Ich versuche, ein Diagramm mit diesen Eigenschaften für meine Studien zu finden, aber leider kann ich ein solches Diagramm nicht finden. Weiß jemand, ob es diese Grafik gibt oder warum es unmöglich ist zu
Angenommen, ich habe Punkte in R d . Diese induzieren ein Voronoi-Diagramm. Wenn ich jedem der k Punkte ein ± Label zuweise , induzieren diese eine Binärfunktion auf R d . Frage: Wie groß ist die VC-Dimension all dieser möglichen Binärfunktionen, die durch einige k Punkte und eine gewisse...
Ich löse ein Problem beim "Mischen" von überlappenden Bildsätzen. Diese Mengen können durch ein ungerichtetes gewichtetes Diagramm wie dieses dargestellt werden: Jeder Knoten repräsentiert ein Bild. Überlappende Bilder sind durch eine Kante verbunden. Das Kantengewicht stellt die Größe des...
Da beide Beweise das diagonale Argument verwenden, frage ich mich, ob es einen obskuren Zusammenhang zwischen der Existenz unzähliger unendlicher Mengen und der Unentscheidbarkeit des Halteproblems gibt. Wäre das Stoppproblem entscheidbar, wenn alle Sätze abzählbar
Hier ist ein Problem mit dem nächsten Nachbarn. Wenn die reellen Werte (sehr großes n !) Plus das reelle Ziel p sind , finden Sie ein i und ein j, deren SUMME p am nächsten kommt . Wir erlauben angemessene Vorbearbeitung / Indizierung von einem 1 , ... , eine n (bis O ( n log n ) ), aber zum...