선형 다이 오판 틴 방정식 (천연 수 는 자연수 와 있어 ?)은 다항식 시간으로 해결할 수 있습니다.a , b , c

$a, b, c$엑스

$x$와이

$y$a x + b y+ c = 0

$ax + by + c = 0$

차 디오 판틴 방정식 ( )은 NP- 완료 ( 2 차 다항식의 NP- 완전 결정 문제 )입니다.ㅏ엑스2+ B의 Y+ c = 0

$ax^2 + by + c = 0$

일반적인 다이 오판 틴 방정식은 결정할 수 없습니다 (Davis-Putnam-Robinson-Matiyasevich 정리).

다른 복잡성 클래스 (특히 PSPACE)를 캡처하는 다른 클래스의 Diophantine 방정식 (인수 / 변수에 제한이 있음)이 있습니까?

답변