Википедия:Рецензирование/Алгоритм Шрайера — Симса

Здесь находятся завершившиеся обсуждения. Просьба не вносить изменений.

Рецензирование статьи Алгоритм Шрайера — Симса

Статья только что была избрана в ДС. В планах номинация на ХС. Жду ваших замечаний. --Adamant.pwn (обс.) 00:40, 26 июля 2019 (UTC)

• Преамбула — краткий пересказ статьи. Если вы используете две леммы, может упомянуть обе? А «многое другое» не годится, тем более в преамбуле. Надо либо развернуть, либо убрать.
  • Не совсем понял, что имеется в виду под второй леммой, но именное утверждение здесь по сути только лемма Шрайера. Преамбулу расширил. --Adamant.pwn (обс.) 18:22, 30 июля 2019 (UTC)
    • У вас еще два доказательства в изложении алгоритма. В научных статьях обычно сначала в одном разделе излагают и доказывают необходимые для алгоритма утверждения, а в следующем разделе сосредотачиваются на точном изложении собственно алгоритма с небольшими отсылками и пояснениями. В коде программ комментируют особенности реализации и нет доказательств, потому что их не делают по ходу написания, и программист уже должен точно знать, что он реализует. Хотя я не уверен, что это необходимо для получения статуса «хорошей» статьи ВП. Местные оценщики больше ориентируются на сугубо формальные детали. Удачи! МетаСкептик12 (обс.) 08:36, 31 июля 2019 (UTC)
      • Я всё же предпочту пока оставить доказательства в таком виде, так как они нужны не столько для подтверждения сформулированных утверждений, сколько для предоставления контекста к введённой в доказательствах информации, которая будет использоваться в дальнейшем. Если бы утверждения были нужны только сами по себе, я бы, скорее всего, вообще не стал вносить в статью доказательства. Что до комментариев кода — я предпочитаю стремиться к тому, чтобы код был self-descriptive и не требовал комментариев, помимо описания входа-выхода и того, что написано в основном тексте. Если вам кажется, что добиться этого не удалось — можете указать на конкретные проблемные строчки, которые стоило бы дополнить? В любом случае, большое спасибо за замечания! --${\texttt {adamant}}$ (обс./вклад) 17:33, 31 июля 2019 (UTC)
• Есть смыл расширить раздел постановки задачи, чтобы было понятно без перехода в другую статью. «Все перечисленные задачи можно решать за полиномиальное время с помощью структуры, которую строит алгоритм» — конец фразы не информативен, лучше указать, что алгоритм линеен по m и полиномиален по n. Сама фраза не относится к постановке задачи. Она должна быть в начале следующего раздела, который я бы назвал просто «Алгоритм».
  • Расширил раздел, фразу поправил и перенес. --Adamant.pwn (обс.) 18:22, 30 июля 2019 (UTC)
• «Этим? алгоритм не исчерпывается?, так как хотя размер порождающего множества и ограничен, он может неограниченно расти, если с этим не бороться». — Если «размер ограничен» он не может «неограниченно расти». Надо разъяснить, что вы имеете в виду. МетаСкептик12 (обс.) 15:22, 30 июля 2019 (UTC)
  • Поправил. --Adamant.pwn (обс.) 18:22, 30 июля 2019 (UTC)

Итог

В виду того, что помимо рецензии статья также активно обсуждалась на КДС, выставляю на КХС. --${\texttt {adamant}}$ (обс./вклад) 17:59, 31 июля 2019 (UTC)