Вопросы с тегом «gr.group-theory»

Меня интересуют алгоритмы для конечных групп, реализованные в пакете GAP. Кажется, что все известные алгоритмы в этой области имеют дело с группами перестановок / матричными группами; Двумя фундаментальными являются Schreier-Sims [1970] и Butler [1979], см., например, «Алгоритмы для групп перестановок» Алисы Нимейер в качестве возможной ссылки (?) Поэтому мне было …

10 permutations  gr.group-theory 

Известны алгоритмы полиномиального времени для нахождения порождающих множеств групп перестановок, что интересно, поскольку мы можем затем представить эти группы кратко, не отказываясь от алгоритмов полиномиального времени для ответа на многие интересные вопросы, связанные с этими группами. Однако иногда нас может интересовать набор перестановок , который не образует группу, поэтому этот …

10 permutations  gr.group-theory 

Для булевой функции мы имеем группу автоморфизмов .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 )Prf(Aut(f)≠1)Pr_f(Aut(f) \neq 1)пре( G …

9 boolean-functions  randomness  gr.group-theory  symmetry 

Учитывая сильные генераторы для группы ( G ≤SN, * )(G≤Sn,∗)(G \leq S_n, *) действуя на нити длины Nnn и элемент s ∈ { 0 , 1}Ns∈{0,1}ns \in \{0, 1\}^nНасколько сложно вычислить лексикографически минимальный элемент G . sG.sG.sорбита sss в гGG?

9 permutations  gr.group-theory  complexity 

Позволять GGG а также HHH быть двумя rrrрегулярные связные графы размера nnn, ПозволятьAAA быть набором перестановок PPP такой, что PGP−1=HPGP−1=HPGP^{-1}=H, ЕслиG=HG=HG=H тогда AAA это множество автоморфизмов GGG, Каков самый известный верхний предел размера AAA? Есть ли какие-либо результаты для конкретных классов графов (не содержащих полных / циклических графов)? Примечание. Построение …

9 reference-request  graph-theory  co.combinatorics  graph-isomorphism  gr.group-theory 

Существует ли известное семейство групповых действий с назначенным элементом в наборе, над которым выполняется действие, где известно, как эффективно \: выборка (по существу, равномерно) из групп, вычисление обратных операций, вычисление групповых операций и вычисление групповых действий \: и нет известного эффективного квантового алгоритма для успеха с пренебрежимо малой вероятностью в …

9 cr.crypto-security  quantum-computing  gr.group-theory