Diberikan fungsi Boolean , kita memiliki grup automorfisme .A u t ( f ) = { σ ∈ S n ∣ ∀ x , f ( σ ( x ) ) = f ( x ) }
Apakah ada batasan yang diketahui pada ? Adakah yang diketahui untuk jumlah bentuk untuk beberapa grup ?P r f ( G ≤ A u t ( f ) ) G
Diberikan fungsi Boolean , kita memiliki grup automorfisme .A u t ( f ) = { σ ∈ S n ∣ ∀ x , f ( σ ( x ) ) = f ( x ) }
Apakah ada batasan yang diketahui pada ? Adakah yang diketahui untuk jumlah bentuk untuk beberapa grup ?P r f ( G ≤ A u t ( f ) ) G
Jawaban:
Iya. Untuk pertanyaan pertama Anda, probabilitasnya menjadi nol dua kali lipat secara eksponensial cepat. Ini dapat dihitung sebagai berikut. Untuk setiap permutasi , kita dapat mengikat probabilitas bahwa , yaitu bahwa untuk semua . Pertimbangkan orbit bekerja pada . Kami memiliki adalah automorfisme dari jika adalah konstan pada aktivitas. Jika adalah non-trivial, ia memiliki setidaknya satu orbit pada yang bukan singleton, dan karenanya setidaknya pada orbit padaπ ∈ A u t ( f ) f ( π ( x ) ) = f ( x ) x ∈ { 0 , 1 } n π { 0 , 1 } n π f f π π{ 0 , 1 } nitu bukan singleton. Misalkan orbit memiliki elemen di dalamnya. Dengan demikian, probabilitas bahwa adalah konstan pada orbit itu adalah . Misalkan bekerja pada memiliki titik tetap, siklus dengan panjang 2, dll. (Khususnya ). Maka jumlah titik diperbaiki oleh tepatnya . Semua poin tersisa dari berada dalam orbit nontrivial dari . Untuk batas atas probabilitas bahwaf 2 - ( k - 1 ) π [ n ] c 1 c 2 ∑ n i = 1 i c i = n { 0 , 1 } n π 2 ∑ i c i { 0 , 1 } n π π ∈ A u t ( f ), perhatikan bahwa kemungkinan terbaik adalah jika semua elemen non-tetap dari datang dalam ukuran orbit 2. Jadi kita mendapatkan mana . Sekarang, kami ingin batas bawah pada , yang berarti kami ingin batas atas pada . Sejak , terbesar dapat terjadi ketika dan , yaitu dan , jadi dan . Sekarang terapkan ikatan serikat: P r ( π ∈ A u t ( f ) ) ≤ ( 1 / 2 ) M / 2 M = 2 n - 2 Σ i c i M Σ i c i π ≠ 1 Σ c i c 1 = n - 2 c 2 = 1 ∑ c iM = 2 n - 2 M≥ 2 n - 1 Pr(π∈Aut(f))≤(1 / 2 ) 2 n - 2 | S n | =n!, jadi , yang pada dasarnya adalah sebagai , cukup cepat.
Untuk setiap Anda dapat menggunakan alasan yang serupa, tetapi probabilitasnya juga akan menjadi nol dengan sangat cepat.