Загалом, рішення про те, чи має рівняння діофантина цілі рішення, є рівнозначним проблемі зупинки. Я вважаю, що рішення, чи має квадратичне діофантинове рівняння якесь рішення, не є повним NP. Чи існує додаткове обмеження щодо рівнянь, що стосуються, що дає проблему, повну P?
1
Я думаю, що проблема, пов'язана з gcd, була показана P завершеною.
—
Т ....
@ EmilJeřábek На жаль, я неправильно зазначив результат. Рішення повинно бути в позитивних раціоналах. Він вказаний як проблема A.4.2 у Збірнику проблем, повних для P , 1991 року техніки. Доповідь Грінлау та ін.
—
mhum
@ EmilJeřábek Звичайно, над цілими числами це просто цілі програми. Я мав на увазі те, що створення лінійного програмування звучить як проблема типу діофантових рівнянь, кажучи, що ви хочете раціонального рішення, трохи вводить в оману, оскільки наполягання на раціональному рішенні не обмежує проблему. Тобто, якби ви запитали, чи мала система лінійних рівнянь рішення над негативними питаннями, проблема була б точно такою ж.
—
Сашо Ніколов
@SashoNikolov Це не обмеження. Не вказуючи домен для вирішення, проблема просто неправильно формується , якщо тільки домен не можна зробити з контексту. І тут контекст такий, що мається на увазі домен цілими числами, отже, потрібно чітко заявити, що це щось інше. Так, тут не має значення, чи вибираєте раціональні, реальні чи будь-які інші характеристики, характерні для 0. Вибір Мума, щоб назвати це "раціональним", настільки ж справедливий, як і ваш вибір називати його "справжнім".
—
Еміль Єржабек
@ EmilJeřábek Я здебільшого згоден з тим, що ти говориш. Що я якось не можу донести, це те, що для мене в лінійному програмуванні відсутній теоретичний аспект задачі рівнянь діофантину.
—
Сашо Ніколов