-fixed точки без проблем автоморфизма запрашивает автоморфизм графа , который перемещается по крайней мере , к ( п ) узлы. Проблема в том, что N P- полна, если k ( n ) = n c для любого c > 0.kkkk(n)k(n)k(n)NPNPNPk(n)=nck(n)=nck(n)=n^cccc Однако, если то задача полиномиального времени Тьюринга...
Существует ли , NP- или P-полный язык, имеющий некоторое семейство групп симметрии (или группоид , но тогда алгоритмические вопросы становятся более открытыми), действующий (за полиномиальное время) на множествах такой, что орбит мало, т. е. такой, что для достаточно больших и некоторого c , и...
Широко известно, что формулы CNF можно условно разделить на 2 широких класса: случайный и структурированный. Структурированные формулы CNF, в отличие от случайных формул CNF, демонстрируют некоторый порядок, демонстрируя паттерны, которые вряд ли могут произойти случайно. Тем не менее, можно найти...
График автоморфизм является перестановкой узлов графа , который индуцирует биекцию на множество ребер . Формально, это - перестановка узлов, таких тогда и только тогда, когдаf ( u , v ) ∈ E ( f ( u ) , f ( v ) ) ∈ EЕЕEееf( u , v ) ∈ E(U,v)∈Е(u,v)\in E( ф( и ) , е( v ) ) ∈...
Для булевой функции мы имеем группу автоморфизмов .fffAut(f)={σ∈Sn ∣∀x,f(σ(x))=f( х ) }Aut(f)={σ∈Sn ∣∀x,f(σ(x))=f(x)}Aut(f) = \{\sigma \in S_n\ \mid \forall x, f(\sigma(x)) = f(x) \} Есть ли известные границы для ? Известно ли что-нибудь для величин вида для некоторой группы ?пре( У т ( е) ≠ 1...