Обсуждение:Задача коммивояжера, ДП по подмножествам

☑ В конспекте написано что задача отностится к классу NP-полных, но не сказано что это такое. Объяснить кратко.

☑ Написать (псевдо)код.

☑ Оформить три условия dp[i][m] нормально, как динамику — то есть база и переход. Использовать теховские большие фигурные скобки(для условного присваивания)(как здесь Задача о перемножении матриц#Рекурсивное решение)

☑ дополнительные улучшения форматирования приветствуются --Дмитрий Герасимов

☑ Пункт «Формулировка задачи» не нужен, то что в нём можно поместить в шапку статьи.

☑ Сложность решения методом перебора перестановок посчитана неправильно — у тебя N! перестановок и N времени на подсчёт длины каждого пути.

☑ Используется то [math] s [/math], то [math] S [/math]

☑ То, что должно быть под [math] \min [/math] почему-то справа. Видимо, надо использовать \limits.

☑ «т.е. mask - подмножество вершин исходного графа, которые осталось посетить» — непонятно, какие именно вершины в mask осталось посетить. В общем, строго напиши, что обозначает 0 и что — 1.

☑ Мне кажется, у тебя неправильно задана динамика(или описание у неё неправильное). d[i=0][mask=0] — конечное состояние(как написано перед заданием динамики), а значение в нём у тебя задаётся равным нулю. И вообще у тебя текстовое описание и до и после описания динамики формулами, определись.

☑ В псевдокоде здесь писать 2 ^ j — плохо, так как «^» — xor. Пиши с битовым сдвигом или хотя бы 2 ** j.

☑ В псевдокоде d[i][mask] = min(d[i][mask], d[j][mask - 2 ^ j]);, а надо d[i][mask] = min(d[i][mask], d[j][mask - 2 ^ j] + вес ребра(не знаю как он у тебя там называется);

☑ Писать inputData и writeData не обязательно. Лучше оформить в виде функции, которая принимает то что нужно для того, чтобы решать задачу и возвращает d[0][2 ** n - 1]

☑ А ещё не очень понятно, почему весовая функция для рёбер обознается p. Я понимаю, w(weight) или e(edges) или ещё что-то, имеющее аналог в английском языке.

--Дмитрий Герасимов 00:46, 2 декабря 2011 (MSK)

Замечания АС

☐ Неверная постановка задачи: почему на плоскости? Сами бы почитали википедию, на которую ссылаетесь!

Все равно выглядит трешово. Я бы вообще сформулировал задачу в терминах графов. Тем более, ты в конспекте пользуешься ими. --Дмитрий Герасимов 04:35, 13 января 2012 (MSK)

☑ "Так вот задача о коммивояжере относится к классу NP-полных задач. Рассмотрим два варианта решения. " Тут не хватает мотивирующей связки между этими предложениями. Типа "Поэтому, рассмотрим два варианта решения с экспоненциальным временем работы"

☐ Не умеете писать русскими буквами в формулах? \text{} вас (возможно) спасет

☐ стало нифига не понятно условие после бесконечности в большой фигурной скобке.

☐ Опять стоит начать с формулировки в виде ДП, а потом уже детали реализации

Надо сформировать оптимальность, доказать ее, и тому подобное. Посмотри уже принятные конспекты по ДП, например. --Дмитрий Герасимов 04:35, 13 января 2012 (MSK)