Qual é o algoritmo mais eficiente para decidir se um elemento é o menor em sua órbita?
Dado um grupo agindo em um conjunto X com uma ordem total ≤ e x ∈ X , qual é o algoritmo mais eficiente para decidir se x é ou não o menor elemento em sua órbita, ou seja, decidir se m i n ( G x ) = x ?GGGXXX≤≤\leqx∈Xx∈Xx\in Xm i n(Gx)=xmin(Gx)=x min(Gx) = x Minha motivação vem da solução SMT,...