«symmetry» etiketlenmiş sorular



1
CNF formüllerinin rastgele ölçülmesi
CNF formüllerinin kabaca 2 geniş sınıfta bölümlenebileceği yaygın olarak bilinmektedir: rastgele ve yapılandırılmış. Yapılandırılmış CNF formülleri, rastgele CNF formüllerine karşıt olarak, tesadüfen gerçekleşmesi muhtemel olmayan kalıpları gösteren bir tür düzen sergiler. Bununla birlikte, bir dereceye kadar rastgelelik gösteren yapısal formüller bulunabilir (yani, belirli belirli cümle grupları diğerlerinden çok daha az …

2
Önemsiz grafik otomorfizmasına yaklaşmak?
Grafik otomorfizması, kenar setinde bir bijeksiyonu indükleyen grafik düğümlerinin permütasyonudur EEE. Biçimsel olarak, bir permütasyon fff düğümleri, örneğin IFF( f ( u ) , f ( v ) ) ∈ E(u,v)∈E(u,v)∈E(u,v)\in E(f(u),f(v))∈E(f(u),f(v))∈E(f(u),f(v))\in E Bir miktar permütasyon için ihlal edilen kenarı, kenar dışı olarak eşlenen kenar veya ön kenarı kenar olmayan …

1
Rasgele bir Boole işlevinin önemsiz bir otomorfizm grubuna sahip olma olasılığı nedir?
Boole işlevi verildi fff, otomorfizm grubumuz var Aut(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) \}. Üzerinde bilinen sınırlar var mı Prf(Aut(f)≠1)Prf(Aut(f)≠1)Pr_f(Aut(f) \neq 1)? Formun miktarları için bilinen bir şey var mıPrf(G≤Aut(f))Prf(G≤Aut(f))Pr_f(G \leq Aut(f)) bazı gruplar için GGG?
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.