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...
Gibt es , eine NP- oder P-vollständige Sprache mit einer Familie von SymmetriegruppenLLLGnGnG_n (oder Gruppoid , aber dann die algorithmischen Fragen offener worden) wirken (in Polynomialzeit) auf Mengen so, dass es nur wenige Umlaufbahnen gibt, dh so, dass | L n / G n | < n c für groß genug n...
Es ist allgemein bekannt, dass CNF-Formeln grob in zwei breite Klassen unterteilt werden können: Zufalls- und Strukturformeln. Strukturierte CNF-Formeln weisen im Gegensatz zu zufälligen CNF-Formeln eine bestimmte Reihenfolge auf und zeigen Muster, die wahrscheinlich nicht zufällig auftreten. Man...
Der Graphautomorphismus ist eine Permutation von Graphknoten, die eine Bijektion auf der Kantenmenge induziert . Formal ist es eine Permutation von Knoten wie iffEEEfff(u,v)∈E(u,v)∈E(u,v)\in E(f(u),f(v))∈E(f(u),f(v))∈E(f(u),f(v))\in E Definieren Sie eine verletzte Kante für eine Permutation als...
Bei gegebener Boolescher Funktion haben wir die Automorphismusgruppe .fffAut(f)={σ∈Sn ∣∀x,f(σ(x))=f(x)}Aut(f)={σ∈Sn ∣∀x,f(σ(x))=f(x)}Aut(f) = \{\sigma \in S_n\ \mid \forall x, f(\sigma(x)) = f(x) \} Gibt es bekannte Grenzen für ? Ist für Mengen der Form für eine Gruppe...