недетерминированный алгоритм

Мат. nondeterministic algorithm