Выдержка из книги
Лупанов О.Б.
Кибернетический сборник Выпуск22
Существует другая полиномиальная по времени процедура для проверки принадлежности к Г / г, о которой стоит упомянуть. Если G принадлежит Г / г, то она должна быть достаточно мала для непосредственной проверки.