Bei einem gerichteten Graphen wollen wir entscheiden, ob er einen gerichteten Zyklus gleicher Länge enthält. In diesem Papier von YUSTER und ZWICK aus dem Jahr 1997 heißt es, dass das Problem weder in noch in N P- vollständig bekannt ist.P.PPN.P.NPNP Gibt es ein aktuelles Ergebnis, das die...
In Kapitel 13 "Atomic Objects" des Buches "Distributed Algorithms" von Nancy Lynch wird die Linearisierbarkeit (auch als Atomizität bezeichnet) als Sicherheitseigenschaft nachgewiesen. Das heißt, die entsprechende Trace-Eigenschaft ist nicht leer, mit Präfix geschlossen und mit Limit geschlossen ,...
Was ist die Standarddefinition von Planar 3-SAT? Ich habe verschiedene Definitionen gesehen. Was war das Originalpapier, das es definierte und als NP-vollständig
Gibt es Probleme, die in der Polynomzeit nur lösbar sind, wenn P! = NP, und ansonsten in (sagen wir) -Zeit lösbar sind ?O ( 2n)O(2n)O(2^n) Ein einfaches Beispiel wäre: Wenn P! = NP, berechnen Sie einen Primalitätstest für eine zufällige n-Bit-Zahl, andernfalls bewerten Sie eine zufällige...
nnnx1,…,xnx1,…,xnx_1,\ldots, x_nkkkn>kn>kn > kmaxi≠jVar(xTixj)maxi≠jVar(xiTxj)\max_{i\neq j} \mathrm{Var}(x_i^T x_j)E[xTixj]=0E[xiTxj]=0\mathbb{E}[x_i^Tx_j]=0 Ich habe einige Verteilungen ausprobiert und fast alle haben eine Varianz von 1/k1/k1/k . Zum Beispiel sowohl die Verteilung, in der...
Hintergrund: Die Transaktionsverarbeitung ist ein traditionelles Forschungsthema in der Datenbanktheorie. Heutzutage werden verteilte Transaktionen von großen verteilten Speichersystemen populär gemacht, die typischerweise Datenpartition (auch Sharding genannt) und Datenreplikation umfassen . Was...
In dem Artikel " Über die rechnerische Komplexität von Algorithmen " von Hartmanis und Stearns aus dem Jahr 1965 vermuten die Autoren, dass entweder eine rationale Zahl oder a ist , wenn eine Echtzeit-Turingmaschine die reelle Zahl in beispielsweise Basis 10 berechnet transzendentale Zahl.rrrrrr...
Die Komplexität von Beweisen ist ein grundlegendster Bereich der Theorie der rechnerischen Komplexität. Ein letztendlicher Zweck dieses Bereichs besteht darin, zu beweisen , dh, jeder Prüfer kann keinen Beweis für die Unzufriedenheit der gegebenen Eingabeformel erbringen. N.P.≠ c o...
Es ist eine ziemlich bekannte Tatsache, dass das Ableiten eines Widerspruchs aus einer Ungleichheit (zum Beispiel ) in der Martin-Loef-Typentheorie ein Universum erfordert.( 0 = 1 ) → ⊥(0=1)→⊥(0=1) \to \bot Der Beweis ist auch ziemlich einfach - in Abwesenheit von Universen können wir die...
Betrachten Sie das folgende Problem: Bei einer gegebenen Matrix wollen wir die Anzahl der Additionen im Multiplikationsalgorithmus zur Berechnung von v ↦ M v optimieren .M.MMv ↦ M.vv↦Mvv \mapsto Mv Ich finde dieses Problem interessant, weil es mit der Komplexität der Matrixmultiplikation...
Die hier betrachteten Wandler sind jene, die Wikipedia Finite-State-Wandler nennt . Das Verhalten eines Wandlers , dh die von ihm berechnete Beziehung, wird geschrieben [ T ] : Ein Wort y ist eine Ausgabe für x iff x [ T ] y .T.TT[ T.]][T][T]yyyxxxx [ T.] yx[T]yx[T]y Frage: Ist das folgende Problem...
Wo finde ich eine Einführung in probabilistische Automaten und was erkennen sie (bestimmte Funktionen von Wörtern bis )? Gibt es einen Standardbegriff für solche Funktionen, die von probabilistischen Automaten erkannt werden, analog zu "regulären Sprachen", für die deterministische endliche...
Es sei HALTnHALTnHALT_n die Zeichenkette der Länge 2n2n2^n , die der Wahrheitstabelle des Halteproblems für Eingaben der Länge nnn . Wenn die Sequenz der Kolmogorov Komplexitäten K(HALTn)K(HALTn)K(HALT_n) waren O(1)O(1)O(1) , dann einer der Ratschläge Saiten unendlich oft verwendet werden würde,...
Angenommen, ist eine parametrisierte Sprache in Bezug auf ein Alphabet . Die Scheibe von ist , die Menge von Instanzen in , die den Parameter . Die Komplexitätsklasse enthält die parametrisierte Sprachen , so dass für jedes , möglicherweise mit einem anderen Algorithmus und Polynom Laufzeit für...
Motivation : Bei der Entwicklung von Tools für die Datenversionierung haben wir uns schließlich mit Algorithmen zum "Unterscheiden" zweier Sätze von Ganzzahlen befasst, indem wir eine Folge von Transformationen entwickelt haben, die einen Satz von Ganzzahlen zum anderen führen. Wir konnten dieses...
Der Begriff Programminversion hat mehrere Bedeutungsschattierungen, wurde aber wahrscheinlich mit J. McCarthys 1956er Arbeit The Inversion of Functions Defined by Turing Machines im Kontext der KI begonnen. Inzwischen wurden viele Zusammenhänge zwischen Programminversion und anderen Bereichen...
Ich bin in einer Situation, in der ich zeigen muss, dass Typchecking für einen abhängig typisierten Kalkül, an dem ich arbeite, entscheidend ist. Bisher konnte ich beweisen, dass sich das System stark normalisiert und somit die definitive Gleichheit entscheidbar ist. In vielen Referenzen, die ich...
Ich frage mich, ob mir jemand die Intuition geben kann, warum die strikte Positivität induktiver Datentypen eine starke Normalisierung garantiert. Um es klar zu sagen, ich sehe, wie negative Vorkommen zu Divergenz führen, dh indem ich definiere: data X where Intro : (X->X) -> X wir können...
Ich schreibe (langsam) eine Rezension des Handbuchs der Chemoinformatik-Algorithmen für SIGACT News. In einem Kapitel werden aktuelle Software-Implementierungen erläutert, und die Datenbanksuchen (und andere Anwendungen) scheinen nicht so viele Informationen über die Diagramme zu nutzen, wie sie...
Angenommen, wir erhalten einen Graphen und die Parameter . Gibt es Bereiche von Werten für (oder ist es für alle machbar ) , für die es möglich ist , ob ist -Far von einer unabhängigen Satz von Größe mindestens mit in der Zeit ?k , ε k k G ε k O ( n + Poly ( 1 / ε ) )