-fixed punkt bezproblemowe automorfizmem prosi wykresu automorfizm, który porusza się co najmniej k ( n ) węzłów. Problem polega na tym, że N P jest kompletne, jeśli k ( n ) = n c dla dowolnego c > 0.kkkk ( n )k(n)k(n)N.P.N.P.NPk(n)=nck(n)=nck(n)=n^cccc Jeśli jednak to problemem jest czas...
Czy istnieje , język NP lub P-zupełny, który ma pewną rodzinę grup symetrii G n (lub groupoid , ale wtedy pytania algorytmiczne stają się bardziej otwarte) działając (w czasie wielomianowym) na zbiorach L n = { l ∈ L ∣ | l | = n } tak, że jest kilka orbit, tj. taki, że | L n / G n | < n c dla...
Powszechnie wiadomo, że formuły CNF można z grubsza podzielić na 2 szerokie klasy: losowe i strukturalne. Strukturalne formuły CNF, w przeciwieństwie do losowych formuł CNF, wykazują pewien porządek, pokazując wzorce, które prawdopodobnie nie wystąpią przypadkowo. Można jednak znaleźć formuły...
Wykres automorfizmem jest permutacją węzłów wykres indukuje bijection na zestawie krawędź EEE . Formalnie jest to permutacja fff węzłów takich jak (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 Zdefiniuj naruszoną krawędź dla pewnej permutacji jako krawędź odwzorowana na...
Biorąc pod uwagę funkcję boolowską , mamy grupę automorfizmów .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) \} Czy są jakieś znane granice dla ? Czy jest coś znanego dla ilości postaci dla jakiejś grupy...