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 nx , 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(GAut(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(k1)π[n] punti fissi, c 2 cicli di lunghezza 2, ecc. (in particolaren 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 (c1c2i=1nici=n{0,1}nπ2ici{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 sui cπAut(f){0,1}nPr(πAut(f))(1/2)M/2M=2n2iciM . Poiché π 1 , il più grandec i può essere è quando c 1 = n - 2 e c 2 = 1 , ovveroc i = n - 1 e M = 2 n - 2 n - 1 = 2 n - 1 , quindi M 2 n - 1 e P r ( π iciπ1cic1=n2c2=1ci=n1M=2n2n1=2n1M2n1 . 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)2n2|Sn|=n! , che in pratica è2nlgn- 2 n - 20comen, abbastanza rapidamente.Pr((πSn)[π1 and πAut(f)])n!22n22nlgn2n20n

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


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(k1)

1
2n2nlgn
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.