105
правок
Изменения
м
Дмитрий Мурзин переименовал страницу Обсуждение:Теоремы о временной и емкостной иерархиях в [[Обсуждение:Теоремы о временной и ёмкост…
* Доказательство для пущей читабельности стоит разбить на большее количество абзацев (по моим прикидкам +2).
: {{tick|ticked=1}} Сделано. [[Участник:DrozdovVA|DrozdovVA]]
* А, я забыл упомянуть, видимо: раз у нас теперь стоит строгое включение, стоит где-нибудь в начале доказательства сказать, что нетрогое включение — более-менее очевидный факт.
