디오 판틴 방정식에 정수 솔루션이 있는지 여부를 결정하는 것은 일반적으로 정지 문제와 같습니다. 이차 디오 판틴 방정식에 해가 있는지 여부를 결정하는 것은 NP- 완전하다고 생각합니다. P- 완전 문제를 야기하는 관련 방정식에 대한 추가 제한이 있습니까?
1
gcd와 관련된 문제가 P 완료로 표시되었다고 생각합니다.
—
T ....
@ EmilJeřábek 죄송합니다. 결과가 잘못되었습니다. 해결책은 긍정적 인 합리적 이어야합니다 . 1991 년 기술 P 에 대한 문제 요약서에 문제 A.4.2로 나열되어있다 . Greenlaw, et al.
—
mhum
@ EmilJeřábek 물론 정수 이상의 정수 프로그래밍입니다. 내가 의미하는 것은 합리적인 해결책을 원한다고해서 합리적인 해결책을 원한다고 말함으로써 다이 오판 틴 방정식 유형의 문제와 같은 선형 프로그래밍 사운드를 만드는 것은 약간 오해의 소지가 있다는 것입니다. 즉, 선형 방정식 시스템이 음이 아닌 실수에 대한 솔루션을 가지고 있는지 묻는다면 문제는 정확히 동일합니다.
—
Sasho Nikolov
@SashoNikolov 제약이 아닙니다. 솔루션에 대한 도메인을 지정하지 않고, 문제는 단순히 잘못 형성 도메인이 문맥에서 추론 할 수 없다면. 여기에 내재 된 도메인이 정수가되도록 컨텍스트가 명시되어 있으므로 명시 적으로 다른 것으로 명시해야합니다. 그렇습니다. 여기서 합리적, 실수 또는 특징적인 0의 다른 분야를 선택하는지 여부는 중요하지 않습니다. "합리적"이라고 부르는 Mhum의 선택은 "실제"라고 부르는 선택과 동일하게 유효합니다.
—
Emil Jeřábek
@ EmilJeřábek 나는 당신의 말에 동의합니다. 내가 어떻게 든 전달하지 못하는 것은 선형 프로그래밍에 디오 판틴 방정식 문제의 숫자 이론적 측면이 없다는 것입니다.
—
Sasho Nikolov