Dada una función booleana , tenemos el grupo de automorfismo .A u t ( f ) = { σ ∈ S n ∣ ∀ x , f ( σ ( x ) ) = f ( x ) }
¿Hay algún conocido en ? ¿Hay algo conocido para las cantidades de la forma para algún grupo ?P r f ( G ≤ A u t ( f ) ) G
Dada una función booleana , tenemos el grupo de automorfismo .A u t ( f ) = { σ ∈ S n ∣ ∀ x , f ( σ ( x ) ) = f ( x ) }
¿Hay algún conocido en ? ¿Hay algo conocido para las cantidades de la forma para algún grupo ?P r f ( G ≤ A u t ( f ) ) G
Respuestas:
Si. A su primera pregunta, la probabilidad va a cero doble exponencialmente rápido. Esto se puede calcular de la siguiente manera. Para cada permutación , podemos limitar la probabilidad de que π ∈ A u t ( f ) , es decir, que f ( π ( x ) ) = f ( x ) para todo x ∈ { 0 , 1 } n . Considere las órbitas de π que actúan sobre { 0 , 1 } n . Tenemos que πes un automorfismo de si f es constante en las órbitas π . Si π no es trivial, tiene al menos una órbita en [ n ] que no es un singleton y, por lo tanto, al menos en órbita en { 0 , 1 } n que no es un singleton. Suponga que la órbita tiene k elementos en ella. La probabilidad de que f sea constante en esa órbita es, por lo tanto, precisamente 2 - ( k - 1 ) . Supongamos que π actuando sobre [ n ] tiene puntos fijos, c 2 ciclos de longitud 2, etc. (en particular ∑ n i = 1 i c i = n ). Entonces, el número de puntos de { 0 , 1 } n fijado por π es precisamente 2 ∑ i c i . Todos los puntos restantes de { 0 , 1 } n están en órbitas no triviales de π . Al límite superior la probabilidad de que π ∈ A u t ( , tenga en cuenta que la mejor posibilidad es si todos los elementos no fijos de { 0 , 1 } n vienen en órbitas de tamaño 2. Entonces obtenemos que P r ( π ∈ A u t ( f ) ) ≤ ( 1 / 2 ) M / 2 donde M = 2 n - 2 ∑ i c i . Ahora, queremos un límite inferior en M , lo que significa que queremos un límite superior en ∑ i c . Desde pi ≠ 1 , el mayor Σ c i puedo ser es cuando c 1 = n - 2 y c 2 = 1 , es decir, Σ c i = n - 1 y M = 2 n - 2 n - 1 = 2 n - 1 , entonces M ≥ 2 n - 1 y P r ( π ∈ . Ahora aplique el enlace de unión: | S n | = n ! , entonces P r ( ( ∃ π ∈ S n ) [ π ≠ 1 y π ∈ A u t ( f ) ] ) ≤ n ! 2 - 2 n , que es básicamente2nlgn- 2 n - 2 →0comon→∞, bastante rápido.
Para cualquier puede usar un razonamiento similar, pero la probabilidad también irá a cero muy rápidamente.