Изменения

В классах, являющихся подмножествами <tex>\mathrm{P}</tex>, не используют Р<tex>\mathrm{\widetilde{P}}</tex>-сведение по Карпу, так как оно оказывается бессмысленнымбесполезно. Для них применяется <tex>\mathrm{\widetilde{L}}</tex>-сведение (с <tex>O(\log n)</tex> памятьюдополнительной памяти).