Etwa eine Matrix mit Rang wird als starr bezeichnet, wenn ihr Rang auf n gesenkt werden sollnnn hat man zumindest ändernn1.+εseiner Einträge, für einigeε>0.n2n2\frac{n}{2}n1+ϵn1+ϵn^{1+\epsilon}ϵ>0ϵ>0\epsilon > 0 Wenn eine Matrix A starr ist, hat das kleinste gerade Programm, das A x berechnet ( x ist ein Vektor der Größe n ), …
Ich würde gerne wissen, ob es eine relativierte Welt gibt, in der . Ich bin auch interessiert zu wissen, ob es eine relativierte Welt gibt, in der P B ≠ N P B = P P B ist .P.EIN= N P.EIN≠ P P.EINPA=NPA≠PPA{\bf P^A}={\bf NP^A}\not = {\bf PP^A}P.B.≠ N P.B.= …
Ich versuche, das Bitcoin-Protokoll im Kontext der rechnergestützten kryptografischen Sicherheit zu verstehen. Die Frage ist eine Referenzanfrage an Grundlagen von Kryptografieartikeln zu Bitcoin. Meine erste Frage ist, welches abstrakte kryptografische Protokoll Bitcoin zu implementieren versucht. Haben wir eine Definition von elektronischem Geld / digitaler Währung in der Kryptographie, die Bitcoin …
Ich habe ein paar Fragen zum Narren von Schaltkreisen mit konstanter Tiefe. Es ist bekannt, dass -weise Unabhängigkeit notwendig ist , um Schaltungen der Tiefe zu täuschen , wobei die Größe des Eingangs ist. Wie kann man das beweisen?A C 0 d nlogO(d)(n)logO(d)(n)\log^{O(d)}(n)AC0AC0AC^0dddnnn Da das oben Gesagte zutrifft, muss jeder …
Auf cs.stackexchange fragte ich nach der Algebird- Scala-Bibliothek auf Github und spekulierte darüber, warum sie möglicherweise ein abstraktes Algebra-Paket benötigen. Die Github-Seite enthält einige Hinweise: Implementierungen von Monoiden für interessante Approximationsalgorithmen wie Bloom-Filter, HyperLogLog und CountMinSketch. Mit diesen können Sie sich diese ausgefeilten Vorgänge wie Zahlen vorstellen und sie in …
Ich suche nach einer Datenstruktur und einem Algorithmus, um die minimale Anzahl von Änderungen zu berechnen, die erforderlich sind, um ein Wort in ein anderes umzuwandeln, wobei die beiden Wörter als Eingaben verwendet werden, wobei die einzigen zulässigen Änderungen sind Fügen Sie an einem der Enden einen Buchstaben hinzu (z. …
Bei zwei Teilmengen des dimensionalen Hyperwürfels (dh M , N ⊆ { 0 , 1 } d ) suche ich nach einem Algorithmus, der die Punkte m ∈ M , n ∈ N st der Hamming-Distanz (oder L 1 -) abruft Abstand auf dem Hyperwürfel) d H ( m , …
Ich suche stark NP-harte Probleme für eine Reduktion. Bisher habe ich folgende Probleme festgestellt: 3-Partitions-Problem Müllverpackungsproblem Numerische dreidimensionale Übereinstimmung TSP Jedes NP-vollständige Problem ohne numerische Daten, z. B. ZUFRIEDENHEIT, HAMILTONISCHER ZYKLUS, 3-FARBBARKEIT. Kennt jemand eine Liste stark NP-harter Probleme? Wenn nicht, bauen wir hier eine. Kennen Sie andere Probleme mit …
Ist dieses perfekte Informationsspiel, das auf Grafiken gespielt wird, bekannt / studiert? Bei einem Graphen wählen zwei Spieler abwechselnd eine Kante oder einen isolierten Knoten aus. Wenn der Spieler eine Kante die beiden Knoten und zusammen mit ihren einfallenden Kanten gelöscht. Wenn der Spieler einen isolierten Knoten auswählt, wird der …
1996 wurde ein seit langem offenes Problem von einem Computer gelöst; nämlich, dass Robbins Algebra und Boolesche Algebra gleich sind. Der Beweis wurde von einem automatisierten Theorembeweiser gefunden. Darüber hinaus enthält der bekannte Beweis des Vierfarbensatzes computergenerierte Komponenten. Ziel dieser Frage ist es, Beweise aufzulisten, die (vollständig oder teilweise) vom …
Alle meine Lehrbücher verwenden denselben Algorithmus zum Erstellen eines DFA mit einem regulären Ausdruck: Erstellen Sie zuerst einen NFA, der die Sprache des regulären Ausdrucks erkennt, und konvertieren Sie dann den NFA mithilfe der Teilmengenkonstruktion (auch als "Powerset" bezeichnet) in einen äquivalenten DFA ( optional Minimierung des DFA). Ich hörte …
Ein sehr interessantes offenes Problem bei der Untersuchung von Komplexitätsmaßen der Booleschen Funktion ist die sogenannte Vermutung der Empfindlichkeit gegenüber der Blockempfindlichkeit. Hintergrundinformationen zur Empfindlichkeit gegenüber Blockempfindlichkeit finden Sie im folgenden Blogpost von S. Aaronson unter http://www.scottaaronson.com/blog/?p=453 . Um beste Wissen und Gewissen, die besten Ober auf gebunden bekannt in …
Gibt es mit folgenden Eigenschaften:L ∈ N P.L∈NPL\in {\bf NP} Es ist bekannt, dass P = N P impliziert .L ∈ P.L∈PL\in {\bf P}P = N P.P=NP{\bf P}={\bf NP} Es gibt keine (bekannte) Polynomzeit Turing Reduktion von (oder ein anderen N P -komplette Problem) zu L .S.A T.SATSATN P.NP{\bf NP}L.LL …
Einige Hintergrundinformationen: Ich bin daran interessiert, "weniger bekannte" Untergrenzen (oder Härteergebnisse) für das Problem "Lernen mit Fehlern" (LWE) und Verallgemeinerungen wie "Lernen mit Fehlern über Ringe" zu finden. Für spezifische Definitionen usw. finden Sie hier eine schöne Umfrage von Regev: http://www.cims.nyu.edu/~regev/papers/lwesurvey.pdf Der Standardtyp der Annahme im (R) LWE-Stil ist die …
Die ETH gibt an, dass SAT im schlimmsten Fall in subexponentieller Zeit nicht gelöst werden kann. Was ist mit dem Durchschnittsfall? Gibt es natürliche Probleme in NP, von denen vermutet wird, dass sie im Durchschnitt exponentiell schwer sind? Unter Durchschnittsfall versteht man die durchschnittliche Laufzeit mit gleichmäßiger Verteilung auf die …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.