반복되는 패턴을 이용한 NP완전 문제의 선형계획 표현
본 논문은 3‑SAT 등 NP‑Complete 문제를 실수 해의 존재 여부를 판정하는 선형계획(LP) 형태로 변환한다. 핵심은 부등식의 계수가 일정한 패턴으로 무한히 반복되므로, 필요한 부등식 수가 지수적으로 커져도 LP를 효율적으로 기술할 수 있다는 점이다. 저자는 단변량 및 다변량 다항식 이론을 이용해 LP의 존재 여부와 원 문제의 만족 가능성을 동치시켰으며, 인공 변수의 수렴 특성을 이용한 새로운 P=NP 증명 가능성을 제시한다.
저자: Deepak Ponvel Chermakani
본 논문은 NP‑Complete 문제, 특히 3‑SAT을 실수 해 존재 여부를 판정하는 선형계획(LP) 문제로 변환하는 새로운 방법론을 제시한다. 첫 번째 절에서는 단변량 정수 다항식 Q(x)와 양의 계수를 가진 다항식 P(x)의 곱을 이용해 Q(x)가 양의 실근을 갖지 않을 경우 모든 계수가 비음수가 되는 조건을 설명한다. 기존 연구
원본 논문
고화질 논문을 불러오는 중입니다...
댓글 및 학술 토론
Loading comments...
의견 남기기