Biorąc pod uwagę silne generatory dla grupy działającej na ciągach bitów o długości i elemencie , jak trudno jest obliczyć leksykograficznie minimalny element , orbity w ?
permutations
gr.group-theory
complexity
Samuel Schlesinger
źródło
źródło
Odpowiedzi:
Ten problem tofaP.N.P. -kompletne, jak pokazano tutaj .
Oznacza to, że lider leksykograficzny orbity jest zbudowany w deterministycznym wielomianowym czasie z dostępem doN.P. -wyrocznia.
źródło
Ten problem jest trudny NP.
Chociaż może być możliwe znalezienie jakiejś kanonicznej postaci izomorfizmu struny, powiedzmy, w czasie quasi-poli, bez zakłócania naszych obecnych domysłów, jak wygląda świat złożoności, znalezienie leksykograficznie najmniejszego łańcucha izomorficznego jest trudne. To jest dokładnie treść Propozycji 3.1 tutaj . W rzeczywistości pokazują, że pozostaje trudny do NP, nawet gdysol jest elementarną abelową grupą 2 (= każdy nietrywialny element sol ma zamówienie 2).
źródło