Обсуждение:Недетерминированные вычисления. Классы NP и Σ₁ — различия между версиями
Kirelagin (обсуждение | вклад) |
Kirelagin (обсуждение | вклад) |
||
| Строка 4: | Строка 4: | ||
Кажется, свойства надо доказать. [[Участник:Kirelagin|Кирилл Елагин]] 00:44, 24 апреля 2012 (GST) | Кажется, свойства надо доказать. [[Участник:Kirelagin|Кирилл Елагин]] 00:44, 24 апреля 2012 (GST) | ||
| + | |||
| + | Самое последнее предложение противоречит определению недетерминированных программ (программа сейчас по определению недетерминированная, если в ней есть хотя бы один недет. выбор). Кажется, ошибка в определении. [[Участник:Kirelagin|Кирилл Елагин]] 00:45, 24 апреля 2012 (GST) | ||
Версия 23:45, 23 апреля 2012
Я опять в печали. Стало немного лучше, чем когда я смотрел в тот раз, но но всё равно довольно печально. Предлагаю тебе ещё раз перечитать хотя бы первую часть (дальше я опять не стал читать) и исправить русский язык. Много беды и по форме изложения и по сути (по твоим описаниям, например, получается, что НМТ при каждом запуске выбирает один из вариантов присваивания, причем каждый раз разный (прямо так и написано!), а это абсолютная неправда — она каждый раз выбирает ВСЕ варианты одноавременно). И кавычки снова не те =(. Ужас. Кирилл Елагин 11:32, 16 апреля 2012 (GST)
У меня есть серьёзные подозрения, что определения сложностных классов лучше дать в виде с фигурными скобочками, а не как текст. Но я не уверен, посоветуюсь с коллегами, а ты будь морально готов это переделать. Кирилл Елагин 00:04, 24 апреля 2012 (GST)
Кажется, свойства надо доказать. Кирилл Елагин 00:44, 24 апреля 2012 (GST)
Самое последнее предложение противоречит определению недетерминированных программ (программа сейчас по определению недетерминированная, если в ней есть хотя бы один недет. выбор). Кажется, ошибка в определении. Кирилл Елагин 00:45, 24 апреля 2012 (GST)
