Sei und zwei regelmäßig verbundene Graphen der Größe . Let die Menge von Permutationen , so dass . Wenn , dann ist die Menge der automorphisms .H r n A P P G P - 1 = H G = H A G.GGGHH.HrrrnnnAEINAPP.PPGP−1=HP.GP.- -1=H.PGP^{-1}=HG=HG=H.G=HAEINAGGG Was ist die bekannteste Obergrenze für die Größe...
Klassisches Problem: Es sei eine Zahl kkk gegeben. Das kkk Clique-Problem ist wie folgt. Existiert bei einem Graphen GGG eine Teilmenge S.SS von kkk Eckpunkten, so dass zwei beliebige Eckpunkte von S.SS benachbart sind? Hypergraph Problem: Es seien die Zahlen ccc und kkk gegeben. Das ( c , k...
In dem klassischen PLDI'98-Artikel von Necula "Das Design und die Implementierung eines zertifizierenden Compilers" verwendet der hochrangige Verifizierer: VCGen zur Generierung von Verifizierungsbedingungen (Sicherheitsprädikate) Logiksatz erster Ordnung, um die Bedingungen zu beweisen LF Proof...
Ich versuche, mich mit den Konzepten universeller und existenzieller Typen zu beschäftigen, aber überall, wo ich hinschaue, sehe ich entweder logische oder operative Intuitionen (oder Implementierungen) (z. B. TAPL-Buch von B. Pierce), was gut ist , aber ich würde gerne die Definitionen sehen (wo...
Ich glaube , die Antworten auf diese Frage geben Klassen so dass für alle Polynome , gibt es ein Problem in der Klasse ist , die nicht über Schaltungen der Größe p ( n ) . Ich frage jedoch nach der Schaltungsgröße ωpppp ( n )p(n)p(n) .ω( n )ω(n)\omega \hspace{.02 in}(n) (⟨00,11,...
Bei einer regulären Sprache auf Alphabet kann sein minimaler deterministischer Automat als gerichteter verbundener Multigraph mit konstantem Out-Gradund einen markierten Anfangszustand (durch Vergessen von Bezeichnungen von Übergängen, Endzuständen). Wir behalten den Ausgangszustand bei, da jeder...
Brzozowskis Algorithmus zum Umwandeln eines DFA in einen äquivalenten DFA mit minimalem Zustand ist bemerkenswert einfach: Wenn die NFA bezeichnet, die durch Umkehren aller Kanten in einem DFA wird, wird der alte Startzustand zu einem akzeptierenden Zustand und der alte akzeptierende Zustand...
Erkennen nichtdeterministische lineare begrenzte Automaten mit beschränktem Besuch nur reguläre Sprachen? Mit einem nichtdeterministischen linear begrenzten Automaten (nLBA) meine ich eine nichtdeterministische Turing-Maschine mit einem Band, bei der die Eingabe mit Endmarkern an beiden Enden...
Bei einem fest gerichteten Graphen (Digraphen) fragt DDDdas DDD COLORING-Entscheidungsproblem, ob ein Eingangsdigraph GGG einen Homomorphismus zu DDD . (Ein Homomorphismus von GGG zu DDD ist eine Abbildung fff von V(G)V(G)V(G) auf V(D)V.(D.)V(D) , die die Bögen bewahrt, dh wenn uvuvuv ein Bogen von...
Wikipedia [1] gibt an, dass die bekannteste Untergrenze für die Größe von Frege-Beweisen quadratisch ist und dass keine superlinearen Untergrenzen für die Anzahl der Zeilen von Frege-Beweisen bekannt sind. Fragen: 1) Was ist die bekannteste Untergrenze für die Anzahl der Zeilen erweiterter...
Ich bin derzeit im zweiten Jahr an TCS interessiert. Vor kurzem hat mich die Schwierigkeit, in Zukunft in Doktorandenprogramme einzusteigen, etwas gestört, da die Auswahl in der Tat sehr wettbewerbsfähig ist. Ich habe die Webseiten einiger Top-CS-Schulen durchgesehen und festgestellt, dass ihre...
Dies ist eine Folge der nicht deterministischen Beschleunigung der deterministischen Berechnung . Ist es plausibel, dass Nichtdeterminismus (oder allgemeiner Wechsel) eine allgemeine quadratische Beschleunigung der deterministischen Berechnung ermöglichen würde? Oder gibt es bekannte unplausible...
Ich habe zu verschiedenen Zeiten über die folgende Frage nachgedacht, seit ich diese Frage zur Kryptographie gesehen habe . Frage Sei eine TFNP- Beziehung. Kann ein zufälliges Orakel P / Poly helfen , R mit nicht zu vernachlässigender Wahrscheinlichkeit zu brechen ? Formaler, R.RRR.RR...
Es gibt ein schönes Papier aus dem Jahr 1991, das drei Diagramme über verschiedene Graphklassenfamilien enthält, die zeigen, was über die Härte der Bestimmung des chromatischen Index für sie bekannt ist. Gibt es seitdem Neuigkeiten dazu? Ich interessiere mich am meisten für das, was über Graphen...
Ich bin ein Homotopietheoretiker, der sich für Informatik interessiert. Ich möchte fragen, was einige interessante Anwendungen der homotopischen Algebra (Modellkategorien, Unendlichkeitskategorien, einfache Kategorien usw.) in der theoretischen Informatik
Ich möchte Forscher um Hilfe bitten, die in einem Bereich von Suchbäumen forschen. Könnten Sie bitte die Liste der unbedingt zu lesenden und neuesten Artikel schreiben, die wichtig sind, wenn ich Artikel über Suchbäume schreiben möchte? Ich persönlich habe die folgende Liste von Artikeln (Sie ist...
Die primitiven rekursiven Funktionen werden über die natürlichen Zahlen definiert. Es scheint jedoch, als ob das Konzept auf andere Datentypen verallgemeinert werden sollte, sodass man über primitive rekursive Funktionen sprechen kann, die Listen beispielsweise Binärbäumen zuordnen. Analog dazu...
Lassen die gleichmäßige Verteilung über seine Bits, und lassen die Verteilung über seine Bits , wobei die Bits sind unabhängig , und jedes Bit ist mit einer Wahrscheinlichkeit . Trifft es zu, dass der statistische Abstand zwischen und ist , wenn
Elementary Affine Logic ist ein Typsystem, das die Klasse der λ-Terme erfasst, die in der Elementarzeit reduziert werden können. Darüber hinaus können EAL-typisierbare Begriffe mithilfe des abstrakten Fragments des Lamping-Algorithmus reduziert werden, was für mich besonders interessant ist, da ich...
Kalais 2-seitiges SODA-Papier bietet einen einfachen und effizienten Algorithmus für den Mustervergleich mit egal (Platzhalter, die einem Zeichen entsprechen). Im Wesentlichen ist es so einfach wie Faltung. Aber was passiert, wenn wir nach mehreren Mustern suchen , ohne sich darum zu kümmern?...