Ein deterministischer Automat heißt k- lokal für k > 0, wenn für jedes w ∈ X k die Menge { δ ( q , w ) : q ∈ Q } höchstens enthält ein Element. Intuitiv bedeutet dies, dass wenn ein Wort w der Länge k zu einem Zustand führt, dieser Zustand eindeutig ist oder anders gesagt wird als ein beliebiges...
Es ist bekannt, dass für -Fehler die Worst-Case-Definition der randomisierten Kommunikationskomplexität und die durchschnittliche Falldefinition äquivalent sind. Wenn der Fehler jedoch , ist die randomisierte Kommunikationskomplexität im schlimmsten Fall dieselbe wie die deterministische...
Verteilte Algorithmen, die ausfallsicher sind, können entweder deterministisch oder probabilistisch sein. Nehmen wir zum Beispiel das Konsensproblem. Paxos ist deterministisch in dem Sinne, dass es unter der Annahme, die es macht, immer funktioniert. Im Gegensatz dazu funktioniert der randomisierte...
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 ,...
Polynomzeitalgorithmen sind dafür bekannt, Sätze von Permutationsgruppen zu generieren, was interessant ist, da wir diese Gruppen dann kurz und bündig darstellen können, ohne auf Polynomzeitalgorithmen zur Beantwortung vieler interessanter Fragen im Zusammenhang mit diesen Gruppen zu verzichten....
Die Schaltungsminimierung ist das Problem, um die Größe einer gegebenen Schaltung zu minimieren. Gibt es etwas Ähnliches für allgemeine Programme? Insbesondere ist meine Frage - Gibt es Algorithmen, um die Anzahl der Anweisungen für ein bestimmtes Programm zu minimieren? Ich weiß, dass es ein...
Wir wissen, dass die Beta-Gleichheit von einfach getippten Lambda-Begriffen entscheidend ist. gegebenem M, N: σ → τ entscheidbar, ob für alle X: σ MX
Bei dieser Frage geht es darum, ob es bekannte reversible Turing-Tarpits gibt, wobei "reversibel" im Sinne von Axelsen und Glück bedeutet und "Tarpit" ein viel informelleres Konzept ist (und möglicherweise keine sehr gute Wortwahl ist). aber ich werde mein Bestes geben, um zu erklären, was ich...
Gibt es nette Graphklassen, für die die durch eine Funktion der Cliquennummer , dh ?ω ( G ) t w ( G ) ≤ f ( ω ( G ) )tw(G)tw(G)tw(G)ω(G)ω(G)\omega(G)tw(G)≤f(ω(G))tw(G)≤f(ω(G))tw(G)\leq f(\omega(G)) Zum Beispiel ist es eine klassische Tatsache, dass wir für jeden Akkordgraphen . Klassen, die sich...
Ich interessiere mich für Algorithmen für endliche Gruppen, wie sie im GAP-Paket implementiert sind. Es scheint, dass alle bekannten Algorithmen in diesem Bereich Permutationsgruppen / Matrixgruppen behandeln; zwei grundlegende sind Schreier-Sims [1970] und Butler [1979], siehe zB 'Algorithmen für...
Die Ungleichung von Fano kann in vielen Formen angegeben werden, und eine besonders nützliche ist (mit einer geringfügigen Änderung) Oded Regev zu verdanken : Sei eine Zufallsvariable und sei wobei ein zufälliger Prozess ist. Angenommen, es gibt eine Prozedur , bei der mit der Wahrscheinlichkeit...
Komplementäre Schlaffheit (CS) wird häufig gelehrt, wenn über Dualität gesprochen wird. Es stellt eine gute Beziehung zwischen der ursprünglichen und der doppelten Einschränkung / Variablen aus mathematischer Sicht her. Die zwei Hauptgründe für die Anwendung von CS (wie in Kursen und Lehrbüchern...
Seit einiger Zeit interessiere ich mich sehr für Programmiersprachtheorie und Prozesskalküle und habe begonnen, sie zu studieren. Um ehrlich zu sein, würde es mir nichts ausmachen, Karriere zu machen. Ich finde die Theorie unglaublich faszinierend. Eine ständige Frage, auf die ich immer wieder...
Ich bin auf ein offenes Problem von David Eppstein gestoßen und bin an dessen Komplexitätsstatus interessiert. Er vermutete, dass es NP-vollständig ist. Eingabe: mal Matrix von Nullen und Einsen, Folge von Nullen und Einsennnnnnnn2n2n^2 Frage: Gibt es einen Pfad durch benachbarte Matrixeinträge,...
Wenn zwei Polyeder und , sind und gleich zusammensetzbar, wenn es endliche Mengen von Polyedern und so dass und für alle , kongruent sind und . Es ist bekannt, dass, wenn und Polygone gleicher Fläche sind, eine solche Gleichkomposition immer existiert und dass dies im Allgemeinen nicht für höhere...
Nennen wir eine Sprache NP genau dann spärlich zertifiziert, wenn:L ∈L∈L \in Es existiert ein Polynom , so dass für jede Eingabe x ∈ & Sgr; * der Größe n , wenn x ∈ L dann ist die Menge U x von Zertifikaten u denen diese überprüfen x ∈ L ist polynomial bemessen, dh | U x | ≤ p ( n )...
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
In den erweiterten Themen in Typen und Programmiersprachen wird im Kapitel über substrukturelle Typsysteme erwähnt, dass ein "sorgfältig ausgearbeiteter" affiner Lambda-Kalkül mit einem Rekursionskombinator für Listen nur Begriffe eingeben kann, die eine polynomielle Laufzeit haben (dies ist nicht...
Ich interessiere mich für das folgende Problem. Wir erhalten als Eingabe eine "Zielpermutation" sowie eine geordnete Liste von Indizes i 1 , … , i m ∈ [ n - 1 ] . Beginnend mit der Liste L = ( 1 , 2 , … , n ) (dh der Identitätspermutation) tauschen wir zu jedem Zeitpunkt t ∈ [ m ] das Element i t h...
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...