Чи існує P-повна проблема на рівняннях діофантину?


11

Загалом, рішення про те, чи має рівняння діофантина цілі рішення, є рівнозначним проблемі зупинки. Я вважаю, що рішення, чи має квадратичне діофантинове рівняння якесь рішення, не є повним NP. Чи існує додаткове обмеження щодо рівнянь, що стосуються, що дає проблему, повну P?


1
Я думаю, що проблема, пов'язана з gcd, була показана P завершеною.
Т ....

3
@ EmilJeřábek На жаль, я неправильно зазначив результат. Рішення повинно бути в позитивних раціоналах. Він вказаний як проблема A.4.2 у Збірнику проблем, повних для P , 1991 року техніки. Доповідь Грінлау та ін.
mhum

2
@ EmilJeřábek Звичайно, над цілими числами це просто цілі програми. Я мав на увазі те, що створення лінійного програмування звучить як проблема типу діофантових рівнянь, кажучи, що ви хочете раціонального рішення, трохи вводить в оману, оскільки наполягання на раціональному рішенні не обмежує проблему. Тобто, якби ви запитали, чи мала система лінійних рівнянь рішення над негативними питаннями, проблема була б точно такою ж.
Сашо Ніколов

1
@SashoNikolov Це не обмеження. Не вказуючи домен для вирішення, проблема просто неправильно формується , якщо тільки домен не можна зробити з контексту. І тут контекст такий, що мається на увазі домен цілими числами, отже, потрібно чітко заявити, що це щось інше. Так, тут не має значення, чи вибираєте раціональні, реальні чи будь-які інші характеристики, характерні для 0. Вибір Мума, щоб назвати це "раціональним", настільки ж справедливий, як і ваш вибір називати його "справжнім".
Еміль Єржабек

1
@ EmilJeřábek Я здебільшого згоден з тим, що ти говориш. Що я якось не можу донести, це те, що для мене в лінійному програмуванні відсутній теоретичний аспект задачі рівнянь діофантину.
Сашо Ніколов

Відповіді:


-3

Ні, наскільки я знаю діафантинову задачу взагалі не можна визначити, таким чином, еквівалентну задачі зупинки, якщо рівняння обмежуються квадратичними, то вона є повною np, а лінійне рівняння діафантина може бути зведене до цілої задачі програмування та для лінійного рівняння Діофантина рівняння, інтегральні рішення існують тоді і лише тоді, коли коефіцієнти GCD двох змінних досконало розділяють постійний член.

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