  Let $H, K$ be subgroups of the permutation group $G$ of degree $n$ with
$K\trianglelefteq G$ and $\sigma$ be a partition of the set of all different
prime divisors of $|G/K|$. We prove that in polynomial time (in $n$) one can
check $G/K$ for $\sigma$-nilpotency and $\sigma$-solubility; $H/K$ for
$\sigma$-subnormality and $\sigma$-$p$-permutability in $G/K$. Moreover one can
find the least partition $\sigma$ of $\pi(G/K)$ for which $G/K$ is
$\sigma$-nilpotent. Also one can find the least partition $\sigma$ of
$\pi(G/K)$ for which $H/K$ is $\sigma$-$p$-permutable in $G/K$.
