Qual è la probabilità che una funzione booleana casuale abbia un banale gruppo di automorfismi?


9

Data una funzione booleana , abbiamo il gruppo automorfismo A u t ( f ) = { σ ∈ S n ∣ ∀ x , f ( σ ( x ) ) = f ( x ) } .fAut(f)={σ∈Sn ∣∀x,f(σ(x))=f(x)}

Ci sono limiti noti su ? È noto qualcosa per le quantità della forma P r f ( G ≤ A u t ( f ) ) per alcuni gruppi G ?Prf(Aut(f)≠1)Prf(G≤Aut(f))G

Risposte:


4

Sì. Alla tua prima domanda, la probabilità va a zero in modo esponenzialmente doppio. Questo può essere calcolato come segue. Per ogni permutazione , possiamo limitare la probabilità che π ∈ A u t ( f ) , cioè che f ( π ( x ) ) = f ( x ) per tutti x ∈ { 0 , 1 } n . Considera le orbite di π che agiscono su { 0 , 1 } n . Abbiamo questo πππ∈Aut(f)f(π(x))=f(x)x∈{0,1}nπ{0,1}nπè un automorfismo di iff f è costante sugli π -orbiti. Se π non è banale, ha almeno un'orbita su [ n ] che non è un singleton, e quindi almeno su un'orbita su { 0 , 1 } n che non è un singleton. Supponiamo che l'orbita contenga k elementi. La probabilità che f sia costante su quell'orbita è quindi precisamente 2 - ( k - 1 ) . Supponiamo che π che agisce su [ n ] haffππ[n]{0,1}nkf2−(k−1)π[n] punti fissi, c 2 cicli di lunghezza 2, ecc. (in particolare ∑ n i = 1 i c i = n ). Quindi il numero di punti di { 0 , 1 } n fissato da π è precisamente 2 ∑ i c i . Tutti i punti rimanenti di { 0 , 1 } n sono in orbite non banali di π . Al limite superiore la probabilità che π ∈ A u t (c1c2∑i=1nici=n{0,1}nπ2∑ici{0,1}nπ , nota che la migliore possibilità è se tutti gli elementi non fissi di { 0 , 1 } n arrivano in orbite di dimensione 2. Quindi otteniamo che P r ( π ∈ A u t ( f ) ) ≤ ( 1 / 2 ) M / 2 dove M = 2 n - 2 ∑ i c i . Ora, vogliamo un limite inferiore su M , il che significa che vogliamo un limite superiore su ∑ i cπ∈Aut(f){0,1}nPr(π∈Aut(f))≤(1/2)M/2M=2n−2∑iciM . Poiché π ≠ 1 , il più grande ∑ c i può essere è quando c 1 = n - 2 e c 2 = 1 , ovvero ∑ c i = n - 1 e M = 2 n - 2 n - 1 = 2 n - 1 , quindi M ≥ 2 n - 1 e P r ( π ∈∑iciπ≠1∑cic1=n−2c2=1∑ci=n−1M=2n−2n−1=2n−1M≥2n−1 . Ora applica il limite dell'unione: | S n | = n ! , quindi P r ( ( ∃ π ∈ S n ) [ π ≠ 1  e  π ∈ A u t ( f ) ] ) ≤ n ! 2 - 2 nPr(π∈Aut(f))≤(1/2)2n−2|Sn|=n! , che in pratica è2nlgn- 2 n - 2 →0comen→∞, abbastanza rapidamente.Pr((∃π∈Sn)[π≠1 and π∈Aut(f)])≤n!2−2n−22nlg⁡n−2n−2→0n→∞

Per ogni dato potresti usare un ragionamento simile, ma anche la probabilità andrà a zero molto rapidamente.G≤Sn


La probabilità che f sia costante sull'orbita sarebbe $ 2 ^ {- k}?
— Samuel Schlesinger,

1
Grazie comunque, mi ricorda molto la prova della versione del grafico.
— Samuel Schlesinger,

1
2−(k−1)

1
∼2n2−nlg⁡n
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.