Запитання з тегом «symmetry»

-fixed точки без проблем автоморфізм запитує автоморфизм графа , який переміщається по крайней мере , до ( п ) вузли. Проблема - N P -повна, якщо k ( n ) = n c для будь-якого c > 0.kkkk(n)k(n)k(n)NPNPNPk(n)=nck(n)=nck(n)=n^cccc Однак, якщо то задача є поліноміальним часом Тюрінга, зведеним до задачі графіка …

16 cc.complexity-theory  graph-isomorphism  automorphism  symmetry 

Чи існує , NP- або P-повна мова, яка має якесь сімейство груп симетрії G n (або grouppoid , але тоді алгоритмічні запитання стають більш відкритими), що діють (у поліноміальний час) на множини L n = { l ∈ L ∣ | l | = n } таких, що орбіт мало, …

14 np  algebra  gr.group-theory  complexity  symmetry 

Широко відомо, що формули CNF можна грубо розділити на 2 широкі класи: випадкові та структуровані. Структуровані формули CNF на противагу випадковим формулам CNF демонструють певний порядок, показуючи шаблони, які навряд чи трапляться випадково. Однак можна знайти структуровані формули, що показують певну ступінь випадковості (тобто певні конкретні групи пропозицій здаються значно …

12 cc.complexity-theory  sat  randomness  symmetry 

Графік автоморфизм є перестановкою вузлів графа , який індукує біекція на безліч ребер EEE . Формально це перестановка fff таких вузлів (u,v)∈E(u,v)∈E(u,v)\in E iff (f(u),f(v))∈E(f(u),f(v))∈E(f(u),f(v))\in E Визначте порушений край для деякої перестановки як край, який відображається на не-край, або край, зображення якого не є ребром. Введення : нежорсткий графік G(V,E)G(V,E)G(V, …

10 cc.complexity-theory  graph-theory  automorphism  symmetry 

З огляду на булеву функцію , у нас є група автоморфізму .fffAut(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) \} Чи є якісь відомі межі на ? Чи є щось відоме для величин форми для деякої групи ?Prf(Aut(f)≠1)Prf(Aut(f)≠1)Pr_f(Aut(f) \neq 1)Prf(G≤Aut(f))Prf(G≤Aut(f))Pr_f(G \leq Aut(f))GGG

9 boolean-functions  randomness  gr.group-theory  symmetry