Pertanyaan yang diberi tag «symmetry»



1
Mengukur keacakan rumus CNF
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 formula terstruktur yang menunjukkan tingkat keacakan (yaitu kelompok klausa tertentu …

2
Mendekati automorfisme non-sepele grafik?
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 yang dipetakan ke non-edge atau edge yang preimage-nya non-edge. Input : Grafik non-kaku …

Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.