The titik -Tetap masalah automorphism bebas meminta grafik automorphism yang bergerak setidaknya node. Masalahnya adalah -complete jika untuk > 0.kkkN P k ( n ) = n c ck(n)k(n)k(n)NPNPNPk(n)=nck(n)=nck(n)=n^cccc Namun, jika maka masalahnya adalah waktu polinomial Turing yang dapat direduksi...
Apakah ada , bahasa NP- atau P-lengkap yang memiliki keluarga kelompok simetri G n (atau groupoid , tetapi kemudian pertanyaan algoritmik menjadi lebih terbuka) bertindak (dalam waktu polinomial) pada set L n = { l ∈ L ∣ | aku | = n } sedemikian sehingga ada beberapa orbit, yaitu sedemikian...
Sudah banyak diketahui bahwa formula CNF dapat secara kasar dipartisi dalam 2 kelas besar: acak vs. terstruktur. Rumus CNF terstruktur, bertentangan dengan rumus CNF acak, menunjukkan semacam keteraturan, menunjukkan pola yang tidak mungkin terjadi secara kebetulan. Namun, orang dapat menemukan...
Grafik automorphism adalah permutasi dari node grafik yang menginduksi bijection di tepi set EEE . Secara formal, Ini adalah permutasi fff node tersebut (u,v)∈E(kamu,v)∈E(u,v)\in E IFF (f(u),f(v))∈E(f(kamu),f(v))∈E(f(u),f(v))\in E Tentukan tepi yang dilanggar untuk beberapa permutasi sebagai tepi...
Diberikan fungsi Boolean , kita memiliki grup automorfisme .A u t ( f ) = { σ ∈ S n ∣ ∀ x , f ( σ ( x ) ) = f ( x ) }fffA u t ( f) = { σ∈ Sn ∣ ∀ 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) \} Apakah ada batasan yang diketahui pada ?...