Обсуждение:Недетерминированные вычисления. Классы NP и Σ₁ — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
 
(не показаны 4 промежуточные версии 2 участников)
Строка 4: Строка 4:
  
 
Кажется, свойства надо доказать. [[Участник:Kirelagin|Кирилл Елагин]] 00:44, 24 апреля 2012 (GST)
 
Кажется, свойства надо доказать. [[Участник:Kirelagin|Кирилл Елагин]] 00:44, 24 апреля 2012 (GST)
 +
: Ну оформление, конечно, капец. Думаю, надо оформить как теорему. Не говоря уже о том, что с нумерацией списка беда (это беда вики-разметки; думаю, лучшим решением будет зафигачить руками html). [[Участник:Kirelagin|Кирилл Елагин]] 00:31, 30 апреля 2012 (GST)
 +
:: Мне всё ещё не нравится оформление списка, но я не знаю, что с этим делать(((. [[Участник:Kirelagin|Кирилл Елагин]] 14:52, 30 апреля 2012 (GST)
 +
 +
Самое последнее предложение противоречит определению недетерминированных программ (программа сейчас по определению недетерминированная, если в ней есть хотя бы один недет. выбор). Кажется, ошибка в определении. [[Участник:Kirelagin|Кирилл Елагин]] 00:45, 24 апреля 2012 (GST)
 +
: Теперь ок. [[Участник:Kirelagin|Кирилл Елагин]] 00:31, 30 апреля 2012 (GST)
 +
 +
Какую мощность может иметь правая часть оператора <tex>\leftarrow ?</tex>?
 +
[[Участник:Shevchen|Дмитрий Шевченко]] 17:46, 4 июня 2012 (GST)
 +
: Переехали [http://neerc.ifmo.ru/wiki/index.php?title=%D0%9E%D0%B1%D1%81%D1%83%D0%B6%D0%B4%D0%B5%D0%BD%D0%B8%D0%B5:%D0%9D%D0%B5%D0%B4%D0%B5%D1%82%D0%B5%D1%80%D0%BC%D0%B8%D0%BD%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%BD%D1%8B%D0%B5_%D0%B2%D1%8B%D1%87%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D0%B8%D1%8F сюда].

Текущая версия на 00:27, 5 июня 2012

Я опять в печали. Стало немного лучше, чем когда я смотрел в тот раз, но но всё равно довольно печально. Предлагаю тебе ещё раз перечитать хотя бы первую часть (дальше я опять не стал читать) и исправить русский язык. Много беды и по форме изложения и по сути (по твоим описаниям, например, получается, что НМТ при каждом запуске выбирает один из вариантов присваивания, причем каждый раз разный (прямо так и написано!), а это абсолютная неправда — она каждый раз выбирает ВСЕ варианты одноавременно). И кавычки снова не те =(. Ужас. Кирилл Елагин 11:32, 16 апреля 2012 (GST)

У меня есть серьёзные подозрения, что определения сложностных классов лучше дать в виде с фигурными скобочками, а не как текст. Но я не уверен, посоветуюсь с коллегами, а ты будь морально готов это переделать. Кирилл Елагин 00:04, 24 апреля 2012 (GST)

Кажется, свойства надо доказать. Кирилл Елагин 00:44, 24 апреля 2012 (GST)

Ну оформление, конечно, капец. Думаю, надо оформить как теорему. Не говоря уже о том, что с нумерацией списка беда (это беда вики-разметки; думаю, лучшим решением будет зафигачить руками html). Кирилл Елагин 00:31, 30 апреля 2012 (GST)
Мне всё ещё не нравится оформление списка, но я не знаю, что с этим делать(((. Кирилл Елагин 14:52, 30 апреля 2012 (GST)

Самое последнее предложение противоречит определению недетерминированных программ (программа сейчас по определению недетерминированная, если в ней есть хотя бы один недет. выбор). Кажется, ошибка в определении. Кирилл Елагин 00:45, 24 апреля 2012 (GST)

Теперь ок. Кирилл Елагин 00:31, 30 апреля 2012 (GST)

Какую мощность может иметь правая часть оператора [math]\leftarrow ?[/math]? Дмитрий Шевченко 17:46, 4 июня 2012 (GST)

Переехали сюда.