Сборник лучших результатов аппроксимации и твердости для задач оптимизации NP

26

Знаете ли вы какие-либо современные вики, посвященные задачам оптимизации NP, с их наилучшим приближением и результатом твердости?

Судя по отзывам, можно предположить, что такого ресурса нет (см. В конце этого вопроса два близких варианта). - добавлено 8 февраля.

Поскольку за последние два десятилетия появилось огромное количество результатов и проблем, наличие специальной вики может быть очень полезно для студентов и специалистов, работающих над предметом алгоритмов аппроксимации и сложности аппроксимации.

Мне предложили начать новую вики. Мне нравится эта идея, но перед тем, как начать, мне нужны отзывы:
Вас интересует вики, посвященная вышеуказанной теме, и собираетесь ли вы что-то добавить? Какой формат вы предпочитаете для этой вики (см. Мой предпочтительный формат в комментариях)? Должны ли мы использовать вики-ферму или вики-движок? В последнем случае, что вы предлагаете для вики-движка? Обсуждение MediaWiki?

Два ближайших варианта, которые мне известны, это:
1- «Сборник проблем оптимизации NP», под редакцией Пьерлуиджи Крещенци и Вигго Канна: Этот сборник, похоже, устарел. Я думаю, что объем текущих результатов не может управляться несколькими людьми, и если мы хотим обновленный список, у нас должна быть вики.
2- Википедия: эта вики предназначена для широкой аудитории, и у вас не может быть короткой страницы, включающей только описание проблемы и наилучшее приближение и результат твердости.

— Babak Behsaz
источник

1

Я считаю, что мы можем с уверенностью сделать вывод, что такого ресурса нет.

— Юкка Суомела

3

@Suresh Я думал о короткой странице, содержащей только описание проблемы (т. Е. Примеры , решения и целевую функцию) и результаты наилучшего приближения и твердости с соответствующими предположениями, а не историю, мотивацию, описание алгоритма и т. Д. Страница с этот формат легче создать, и вы можете найти самые последние результаты быстрее, чем страница википедии. Компендиум, отредактированный Crescenzi и Kann, подходит под этот профиль, но это не вики, и поэтому он устарел.

— Бабак Бехсаз

8

вам нужно что-то вроде зоопарка сложности тогда. возможно, вам следует начать с одного и попросить добровольцев отсюда помочь заполнить его.

— Суреш Венкат

2

Вики была бы полезна. Тем не менее, я думаю, что это должно быть больше, чем просто проблема и самый известный результат. Проблема с этим подходом состоит в том, что он будет в основном полезен для теоретиков, в то время как страница с большим количеством информации, вероятно, будет полезна для практиков; можно говорить об известных особых случаях и связанных с ними результатах и т. д. Почему бы не использовать ссылки, комментарии, ссылки и т. д.

— Чандра Чекури

2

Независимо от того, что вы в конечном итоге делаете, я настоятельно рекомендую установить связь между результатами, такими как зоопарк сложности. Полезно знать, что улучшение аппроксимации для задачи X подразумевает что-то для Y и т. Д. Кроме того, иерархия предположений твердости Дэвида Джонсона (в недавнем столбце) также должна быть там.

— Суреш Венкат

9

Когда вы ссылаетесь на сборник Кресценци-Канна, я не уверен, имеете ли вы в виду книгу или веб-сайт . Книга устарела, но авторы стараются постоянно обновлять сайт. Казалось бы, логичной отправной точкой является обращение к Кресценци и Канну с вашим предложением.

— Тимоти Чоу
источник

Приятно осознавать, что авторы готовы постоянно обновлять сайт. У меня сложилось впечатление, что они прекратили обновление в марте 2000 года, потому что на большинстве страниц написано, что они в последний раз обновлялись 2000-03-20.

— Цуёси Ито

3

Я имею в виду сайт. Я не уверен, что они редактируют это больше активно. Я сам помню, как сообщал об улучшении коэффициента аппроксимации проблемы, но они не обновляли его. В любом случае, я согласен, что логично связаться с Crescenzi и Kann относительно статуса их сборника и возможности изменить его на вики.

— Бабак Бехсаз

1

@Suresh @Anthony @Florent @Tsuyoshi @Jukka @Gianluca: Мне не удалось найти контактную информацию (доктора?) Пьерлуиджи Крещенци. Итак, я отправил электронное письмо профессору Канну 9 февраля и не получил ответа. 16 февраля я отправил свое предыдущее электронное письмо субредакторам профессоров Карпински и Вёджингера, но опять не получил ответа. Я отправил оба письма со своим академическим адресом электронной почты, так что, похоже, они не попали в их папки со спамом Каково ваше предложение сейчас?

— Бабак Бехсаз

Я думаю, что тогда может быть запущена новая вики. Если в какой-то момент авторы первоначального сборника пожалуются на это, решение будет легко найдено (например, объединение двух существующих ресурсов)

— Флоран Фуко

@Babak: Если вы все еще заинтересованы, вы можете найти адрес электронной почты профессора Crescenzi здесь

— Джанлука Делла Ведова

7

Сложность Сад это вики, посвященная вычислительным задачам и их отношения к классам сложности. Как и предполагалось здесь, я планировал начать новую вики для алгоритмических результатов, но я подумал, что когда есть одна вики для вычислительных задач, мы можем хранить всю информацию в одном месте. Итак, я связался с людьми из зоопарка и с их разрешения изменил сферу деятельности Сада, чтобы включить также алгоритмические результаты.

Теперь мне нужна небольшая группа людей, чтобы помочь мне заполнить вики такого размера, чтобы мы могли публично объявить об этом и привлечь больше участников. Поскольку в этой вики используется та же система, что и в википедии, в среднем требуется 15-25 минут, чтобы добавить проблему. Таким образом, даже при том, что группа из 5 человек вносит только 3 проблемы в слабость (т.е. около 1 часа на каждого слабого), мы можем добавить 60 задач в месяц и иметь в общей сложности 100 проблем в Саду сложности.

— Бабак Бехсаз
источник

1

Каков статус вашей инициативы?

— Флоран Фуко

После 25 августа я не вижу никаких добавлений на этой странице, поэтому я полагаю, что Бабак обескуражен из-за нехватки участников. Я пропустил это объявление и постараюсь внести свой вклад как можно скорее.

— Энтони Лабарр

1

Вы заинтересованы в вики, посвященной вышеуказанной теме

Да, и я обязательно буду рекламировать это!

и вы собираетесь что-то внести?

Я сделаю все возможное, но не ожидайте, что я буду среди основных контент-провайдеров. Как указывает Цуёси Ито, это может занять много времени, и я не совсем считаю себя самым знающим человеком в этой области (на этом сайте или в другом месте).

Но контент, безусловно, со временем будет расти вместе с пользовательской базой, поэтому я не думаю, что вам следует слишком сильно беспокоиться о том, чтобы люди посвятили себя, например, 10 страниц в день.

Какой формат вы предпочитаете для этой вики (см. Мой предпочтительный формат в комментариях)?

Вопрос в том, сколько контента вы хотите предоставить и на какую аудиторию (ы) вы нацеливаетесь. Если я хочу выяснить, является ли моя проблема сложной, как я писал выше, было бы полезно иметь краткий обзор того, что выглядит как список, в котором элемент будет: $i^{th}$

Проблема $i$

Экземпляр: ...
Вопрос: ...
Ссылки: Твердость см. В [i1], неприкосновенность см. В [i2], ...

Это то, что используют Garey & Johnson's и Kann & Crescenzi. Проблемы также могут быть помечены с использованием категорий, как мы считаем нужным, чтобы можно было легко создать список проблем по категориям (вроде как на вкусном: нажмите на тег «теория графа» и посмотрите список всех сложных проблем на графике). Теория на сайте).

Более подробную информацию можно затем получить, щелкнув название проблемы в списке, который будет содержать, например, список «простых» случаев, открытых проблем (например, «наилучшее приближение - 3/2, можем ли мы добиться большего успеха?») ссылки на Википедию или другие для более широкой аудитории, специализированное программное обеспечение, ...

Вы также можете, как и G & J, предоставить информацию о том, как были получены результаты («преобразование из X3C»). И тогда вы, вероятно, могли бы сгенерировать график, показывающий сокращение различных проблем, что заставило бы людей задуматься о том, существуют ли более прямые доказательства, но хорошо ... вам нужно где-то остановиться ;-)

Я пропущу последний подвопрос, потому что понятия не имею, как на него ответить.

— Энтони Лабарре
источник

Я думаю, что для запуска вики не нужно слишком много усилий. Вам нужно только настроить вики-движок (это не должно быть так сложно), написать главную страницу, написать страницу с обязательным форматом страниц и составить пример страницы (например, для проблемы с заданным покрытием). Остальное можно сделать со временем. Это может показаться немного упрощенным, но я думаю, что если будет достаточно интереса со стороны теоретического сообщества, проблемы со временем будут решены и вики будет расти.

— Бабак Бехсаз

1

@Babak: я думаю, что вам определенно нужен реальный контент, чтобы начать. Этот реальный контент может быть скопирован и вставлен из сборника, если авторы довольны этим. Сложно представить, что пустая коробка просто с системой привлечет пользователей.

— Цуёси Ито

@ Я думаю, что поначалу большинство пользователей будут теми, кто хочет внести свой вклад в вики, а не обязательно использовать ее. Я не уверен, сколько членов сообщества хотели бы внести свой вклад таким образом, но я сам сделал бы это, если бы была почти пустая вики. Дело в том, что между двумя вариантами не иметь вики или иметь пустую рабочую систему, какой из них лучше. Я думаю, что последний безвреден. Если мы сможем найти людей, которые хотят приложить больше усилий к вики (например, скопировать материалы сборника с разрешения), то это здорово.

— Бабак Бехсаз

Копирование (с разрешения) содержимого сборника не должно быть слишком большим усилием и будет достаточным для отправной точки. На самом деле, почему бы не предложить авторам преобразовать существующий сборник в вики?

— Флоран Фуко

2

@Babak: я согласен, что пустая рабочая система безвредна. Я просто хочу максимально увеличить вероятность успеха. Для этого я считаю, что реальный контент является ключевым фактором. Я надеюсь, что авторы настоящего сборника захотят изменить его на вики.

— Цуёси Ито

1

Заинтересованы ли вы в вики, посвященной вышеуказанной теме, и собираетесь ли вы что-нибудь внести?

Я заинтересован и готов внести свой вклад, по крайней мере, немного в моей небольшой области знаний. Я не очень понимаю, почему вы хотите ограничить свое внимание приближением. Например, существует также устаревший сборник параметризованных задач, посвященный алгоритмам с фиксированными параметрами.

Кроме того, последняя часть G & J может рассматриваться как сборник NP-твердости.

ИМХО, вам следует подумать о Компендиуме вычислительных проблем, где для каждой проблемы вы указываете наиболее значимые (хорошие или плохие) результаты.

Какой формат вы предпочитаете для этой вики (см. Мой предпочтительный формат в комментариях)?

Я полностью согласен с форматом, предложенным в ответе Энтони Лабарре.

Должны ли мы использовать вики-ферму или вики-движок?

У меня есть небольшое предпочтение самодостаточной вики, но размещённая вики подойдет.

Мое единственное предложение заключается в том, что, если вы выберете ферму вики, обязательно сможете экспортировать все данные. Вы не можете быть уверены, что когда-нибудь ферма будет закрыта.

В последнем случае, что вы предлагаете для вики-движка? Обсуждение MediaWiki?

ИМХО требование - выбрать движок, поддерживающий формат LaTeX. Mediawiki и Dokuwiki являются наиболее распространенными и являются отличным выбором.

Mediawiki немного сложнее в установке и управлении (я бы сказал, умеренно сложный), но его синтаксис, вероятно, знаком большинству потенциальных участников.

Dokuwiki является более легковесным (как для необходимых ресурсов, так и для управления), но синтаксис частично отличается от синтаксиса Mediawiki.

— Джанлука Делла Ведова
источник