Изменения

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