Изменения

Каждая итерация цикла <tex> while </tex> не может быть выполнена быстрее, чем за <tex> O(|Inverse|) </tex> для текущей пары <tex> (C,a)</tex>. Покажем, как достичь этой оценки.

Разбиение <tex> P </tex> можно поддерживать четырьмя массивами:

*<tex>Class[r]</tex> {{---}} номер класса, которому принадлежит состояние <tex>r</tex>;