El problema de automorfismo libre de puntos con punto fijo solicita un automorfismo gráfico que mueva al menos k ( n ) nodos. El problema es N P -completo si k ( n ) = n c para cualquier c > 0.kkkk(n)k(n)k(n)NPNPNPk(n)=nck(n)=nck(n)=n^cccc Sin embargo, si entonces el problema es el tiempo...
¿Existe , un lenguaje completo NP o P que tiene una familia de grupos de simetría (o grupoide , pero luego las preguntas algorítmicas se vuelven más abiertas) actuando (en tiempo polinómico) en conjuntos tal que hay pocas órbitas, es decir, tal que para suficientemente grande...
Es ampliamente conocido que las fórmulas CNF se pueden dividir aproximadamente en 2 clases amplias: aleatoria versus estructurada. Las fórmulas estructuradas de CNF, en oposición a las fórmulas aleatorias de CNF, exhiben algún tipo de orden, mostrando patrones que es poco probable que ocurran por...
Graph automorphism es una permutación de nodos de gráfico que induce una biyección en el conjunto de aristas EEE . Formalmente, es una permutación fff de nodos como (u,v)∈E(u,v)∈E(u,v)\in E iff (f(u),f(v))∈E(f(u),f(v))∈E(f(u),f(v))\in E Defina un borde violado para alguna permutación como un borde...
Dada una función booleana , tenemos el grupo de automorfismo .A u t ( f ) = { σ ∈ S n ∣ ∀ x , f ( σ ( x ) ) = f ( x ) }FffA u t ( f) = { σ∈ Snorte ∣ ∀ 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) \} ¿Hay algún conocido en ?...