Чи доказ твердості NP щодо важкої проблеми NP вважається внеском?


18

Я вирішую проблему, яка, як стверджується, є важкою для інших країн, сказано в статті [XYZ]. Твердість NP, надана в [XYZ], є складною і використовує передові методики. Після деяких досліджень і робіт мені вдалося дати простий і чіткий доказ твердості NP. Мені цікаво, чи вважається це внеском чи ні? Я намагаюся мотивувати свою роботу, але не знайшов подібного шляху.

Я не знаю, чи це правильне місце, щоб запитати чи я повинен піти в академію?


15
Спрощення доказів - це стандартний (а іноді й корисний) вид внеску. Подивіться, чи ваші прості докази узагальнюють довести щось інше важке (що, можливо, ще не було відомо)
Райан Вільямс

8
Якщо ви достатньо піклуєтесь про спрощення, ви завжди можете просто записати його та відправити на арксив. Якщо інші люди піклуються, рано чи пізно про це посилаються. Взагалі кажучи, отримання таких спрощених доказів, прийнятих до конференцій / журналів, може викликати виклики.
Саріель Хар-Пелед

8
Спрощені докази часто включають / використовують певну структуру в проблемі, тому іноді ви отримуєте більш сильний результат у вигляді "ця проблема є важкою навіть у обмеженому випадку ____". Якщо ви зменшуєтесь із іншої проблеми, можливо, у вас є перенесення інших властивостей, таких як твердість наближеності або параметризована складність, тому шукайте подібні більш сильні спостереження. Навіть не маючи жодного посилення, я б сказав, що альтернативний доказ все ще є внеском, особливо якщо його спростити, але я погоджуюся, що для деяких це важко продати.
JimN

1
Простіші докази завжди бажані у вступних чи педагогічних текстах. Отже, ви можете написати статтю з оглядом або рецензійну главу для майбутньої книги у вашій місцевості (якщо ви студент, керівники зазвичай знають про такі заходи або беруть участь у таких заходах) і сказати: "Проблему X спочатку було показано NP- важко за Z, ми надаємо тут спрощений доказ: "Навіть якщо ваш доказ технічно не є найсильнішим в якомусь параметрі, але набагато простішим, ніж формально найкращий доказ, ваша експозиція все ще може бути дуже актуальною для вступного тексту.
Мартін Шварц

Відповіді:


14

Є місця, які цікавлять елегантні докази існуючих результатів, див., Наприклад, симпозіум про простоту в алгоритмах .

Так, так, в деяких випадках елегантний доказ може розглядатися як внесок, особливо якщо він пропонує нові уявлення.


-2

Залежить, яка НП важка проблема. Відомий (наприклад, 3SAT) був би приємним внеском. Випадкова одна з 15-тигранних проблем NP буде менше.

Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.