Vor 20 Jahren habe ich ein Paket für reguläre Ausdrücke erstellt, das Konvertierungen von regulären Ausdrücken in eine Finite-State-Maschine (DFA) enthielt, und eine Vielzahl von geschlossenen Operationen für reguläre Ausdrücke (Kleene-Stern, Verkettung, Umkehrung, Mengenoperationen usw.)...
Definieren Sie für eine Sprache L ⊆ ⊆ ^ * die syntaktische Kongruenz ≡ von L als die geringste Kongruenz auf Σ ^ * , die L sättigt , dh: u ≡ v ⇔ (∀ x, y) [xuy ∈ L ↔ xvy ∈ L]. Definieren Sie nun die Nerode-Äquivalenz als die folgende rechte Kongruenz: u ∼ v ⇔ (∀ x) [ux ∈ L ↔ vx ∈ L]. Sei [u] die...
Dies ist ein Follow-up zu dieser Frage auf math.stackexchange. Nehmen wir an, dass eine nicht leere Menge S ⊆ ℤ selbsttragend ist, wenn für jedes a ∈ S verschiedene Elemente b, c ∈ S existieren, so dass a = b + c. Einfache Beispiele für positive ganze Zahlen n sind das ideale S = n = oder...
Adleman, FOCS'78 zeigte, dass jede randomisierte Schaltung für Eingänge der Länge ungleichmäßig derandomisiert werden kann. Die Konstruktion dupliziert jedoch effektiv die ursprüngliche Schaltung O ( n ) mal, so dass die derandomisierte Schaltung um einen Faktor von O ( n ) größer ist als die...
In [1] zeigt Turan, dass die Empfindlichkeit (im Artikel als "kritische Komplexität" bezeichnet) einer Grapheneigenschaft streng größer als wobei die Anzahl der Eckpunkte im Graphen ist. Er geht weiter zu der Vermutung, dass jede nicht-triviale Grapheneigenschaft eine Sensitivität . Er erwähnt,...
Wie im Bereich der Arbeiten im ACM Journal on Experimental Algorithmic JEA . Welches waren die grundlegenden Arbeiten? Was sind die Hauptergebnisse? Wie zeichnen sie sich aus? Interessante Verbindungen zu anderen Bereichen der
Neil Immermans berühmtes Bild der Welt ist das folgende (zum Vergrößern klicken): Seine Klasse "Wirklich machbar" beinhaltet keine andere Klasse; meine frage ist dann: Was ist ein AC 0- Problem, das als unpraktisch angesehen wird, und warum?...
Das fixierte punktfreie Automorphismusproblem fordert einen Graphautomorphismus, der mindestens Knoten bewegt . Das Problem ist vollständig, wenn für > 0 ist.k ( n ) N P k ( n ) = n c ckkkk(n)k(n)k(n)NPNPNPk(n)=nck(n)=nck(n)=n^cccc Wenn jedoch dann ist das Problem das Polynomzeitproblem, das...
LogCFL ist die Menge aller Sprachen, deren Logspace auf eine kontextfreie Sprache reduziert werden kann. Ebenso ist LogDCFL die Menge aller Sprachen, deren Logspace auf eine deterministische kontextfreie Sprache reduziert werden kann. In diesem Wikipedia-Artikel finden Sie einige natürliche...
Eine Lücke, die mir immer bewusst war und die ich nicht wirklich verstehe, ist die zwischen ungleichmäßiger und gleichmäßiger Rechenkomplexität, wobei die Schaltungskomplexität die ungleichmäßige Version darstellt und Turing-Maschinen dort, wo die Dinge gleichförmig sind. Ich nehme an, "Uniform"...
Ich interessiere mich für zwei Fragen bezüglich kontextsensitiver Sprachen (CSL) und Vollständigkeit: Gibt es einen Begriff von Vollständigkeit für CSL und welche Sprachen sind vollständig? Gibt es natürliche CSL, die NP-vollständig sind? Für 2. kann ich mir natürlich NP-vollständige Sprachen...
Angenommen, wir erhalten eine nxn-Matrix M mit ganzzahligen Einträgen. Können wir in P entscheiden, ob es eine Permutation so dass wir für alle Permutationen ?σσ\sigmaπ≠σπ≠σ\pi\ne\sigmaΠMiσ(i)≠ΠMiπ( i )ΠMiσ(i)≠ΠMichπ(ich)\Pi M_{i\sigma(i)}\ne \Pi M_{i\pi(i)} Bemerkungen. Man kann das Produkt...
Blum, Micali und Feldman (BFM) haben ein neues (kryptografisches) Modell vorgestellt, bei dem alle Parteien (ehrlich oder kontrovers) Zugriff auf eine Zeichenfolge haben. Es wird davon ausgegangen, dass die Zeichenfolge gemäß einer Verteilung (normalerweise einer gleichmäßigen Verteilung) von einer...
Hintergrund : In Subhash Khots Original-UGC-Arbeit ( PDF ) beweist er die UG-Härte der Entscheidung, ob eine gegebene CSP-Instanz mit Einschränkungen aller Formen, die nicht alle gleich sind (a, b, c), über ein ternäres Alphabet eine Zuordnung zulässt, die 1 erfüllt - der Auflagen oder ob keine...
Nisan hat in "Pseudozufallsgeneratoren für weltraumgebundene Berechnungen" bewiesen, dass es einen Pseudozufallsgenerator gibt, der weltraumgebundene Berechnungen "täuscht". Gilt diese Konstruktion für jedes Orakel (zumindest für nicht adaptive
Ich suche nach Beispielen für Techniken zum Nachweis des Preises von Anarchiegrenzen, die die Fähigkeit haben, den Preis der Anarchie über grobkorrelierte Gleichgewichte (die begrenzte Menge der Dynamik ohne äußeres Bedauern) vom Preis der Anarchie über korrelierte Gleichgewichte (die Begrenzung)...
Ich habe über eine Hex- Variante nachgedacht , bei der anstelle der beiden Spieler, die abwechselnd Züge machen, jeder Zug, den ein zufällig gewählter Spieler macht, einen Zug macht. Wie schwer ist es, die Gewinnchancen der einzelnen Spieler zu bestimmen? Dieses Problem liegt offensichtlich in...
X-freie Graphen sind solche, die keinen Graphen von X als induzierten Untergraphen enthalten. Ein Loch ist ein Zyklus mit mindestens 4 Eckpunkten. Ein ungerades Loch ist ein Loch mit einer ungeraden Anzahl von Eckpunkten. Ein Anti- Loch ist das Komplement eines Lochs. Die (ungeradzahligen,...
Bei dieser Frage handelt es sich um Seite 125 des Buches "Zelluläre Automaten in hyperbolischen Räumen: Band 2" von Maurice Margenstern, Verlag Archives contemporaines, 2008. http://books.google.com/books?id=eEgvfic3A4kC&pg=PA125 Nach Meinung des Autors ist die Frage P = NP schlecht gestellt,...
Betrachten Sie den folgenden Prozess: Es gibt Fächer, die von oben nach unten angeordnet sind. Anfangs enthält jeder Behälter eine Kugel. In jedem Schritt wirnnn Wählen Sie eine Kugel gleichmäßig zufällig undbbb Bewegen Sie alle Kugeln aus dem Behälter mit in den Behälter darunter. Wenn es bereits...