Обсуждение:Теоремы о временной и ёмкостной иерархиях

Материал из Викиконспекты
Версия от 23:52, 31 января 2019; Дмитрий Мурзин (обсуждение | вклад) (Дмитрий Мурзин переименовал страницу Обсуждение:Теоремы о временной и емкостной иерархиях в [[Обсуждение:Теоремы о временной и ёмкост…)
(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск

ToDo[править]

  • Я считаю, что, раз мы доказываем более сложный факт, чем неравенство некоторых классов (а именно, невключение), его и нужно вписать в формулировку теоремы (тем более, что у меня формулировка не такая, как у тебя).
  • В ограничении [math]s \leq \ldots[/math] стоит написать [math]S[/math] заглавной (просто мы обычно большой буквай обозначаем).
  • Вместо «т.к.» пиши лучше «так как».
  • Доказательство для пущей читабельности стоит разбить на большее количество абзацев (по моим прикидкам +2).
Сделано. DrozdovVA
  • А, я забыл упомянуть, видимо: раз у нас теперь стоит строгое включение, стоит где-нибудь в начале доказательства сказать, что нетрогое включение — более-менее очевидный факт.