Обсуждение:M-сводимость — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
 
(не показаны 2 промежуточные версии 1 участника)
Строка 1: Строка 1:
Заголовок надо написать с маленькой буквы. Тому, кто сможет это нормально сделать, — приз. Похоже, без некоторой магии и лёгкого ковыряния в конфигах не получится. [http://ru.wikipedia.org/wiki/%D0%A8%D0%B0%D0%B1%D0%BB%D0%BE%D0%BD:%D0%97%D0%B0%D0%B3%D0%BE%D0%BB%D0%BE%D0%B2%D0%BE%D0%BA_%D1%81%D0%BE_%D1%81%D1%82%D1%80%D0%BE%D1%87%D0%BD%D0%BE%D0%B9_%D0%B1%D1%83%D0%BA%D0%B2%D1%8B Хинт]. [[Участник:Kirelagin|Кирилл Елагин]]
+
: {{tick}} англоязычные термины
: А, не, смотрите-ка, заработало. Надо бы запилить, всё же, шаблончик из ссылки… [[Участник:Kirelagin|Кирилл Елагин]]
+
: {{tick}} ссылка на английскую википедию, у существующих источников ссылки на номер страницы
:: Как обычно, закончилось тем, что я сам и запилил… [[Участник:Kirelagin|Кирилл Елагин]]
+
: {{tick}} написать еще про сведение по Тьюрингу и чем m-сведение от него принципиально отличается (в частности, про то, что по Тбюрингу не сохраняется неразрешимость). --[[Участник:Dgerasimov|Дмитрий Герасимов]] 11:53, 9 декабря 2012 (GST)
 
 
== По конспекту ==
 
У тебя на полном серьёзе два разных множества натуральных чисел? Я что-то вообще с трудом улавливаю связь между сводимостью каких-то там множеств натуральных чисел и тем, что надо получить, собственно. [[Участник:Kirelagin|Кирилл Елагин]]
 
 
 
В первом абзаце доказательства всё правильно, но использована какая-то идиотская терминология («одно множество отличается от другого в точке») и вообще как-то убого написано. Это надо удалить и написать своими словами так чтобы прочитать можно было потом. Во втором абзаце вообще какая-то беда. Если не считать, что я так и не понял, что такое номер функции, вычисленной от множества, то надо, наверное, заметить, что я вообще не понял, какие номера и зачем ты вычисляешь. А теперь FATALITY: эта твоя «теорема» прямо следует из второго свойства, так что тянет максимум на следствие.
 
 
 
А вот свойства надо бы доказать.
 
 
 
{{Заголовок со строчной буквы}}
 

Текущая версия на 10:53, 9 декабря 2012

англоязычные термины
ссылка на английскую википедию, у существующих источников ссылки на номер страницы
написать еще про сведение по Тьюрингу и чем m-сведение от него принципиально отличается (в частности, про то, что по Тбюрингу не сохраняется неразрешимость). --Дмитрий Герасимов 11:53, 9 декабря 2012 (GST)