[논문 리뷰] Mixed-integer Quadratic Programming is in NP

Alberto Del Pia, Santanu S. Dey외 1명|arXiv (Cornell University)|2014. 07. 17.

Advanced Optimization Algorithms Research참고 문헌 7인용 수 8

한 줄 요약

이 논문은 혼합정수이차계획문제(MIQP)의 결정 문제 버전이 NP에 속해 있음을 증명한다. 이는 단일 이차부등식을 가진 모든 타당한 MIQP 인스턴스가 입력 복잡도에 대해 다항적으로 유계된 크기의 해를 가짐을 보여주며, 이는 MIQP가 NP-완전임을 입증한다. 이는 이차계획문제와 정수선형계획문제가 모두 NP에 속한다는 고전적 결과들을 통합한다.

ABSTRACT

Mixed-integer quadratic programming is the problem of optimizing a quadratic function over points in a polyhedral set where some of the components are restricted to be integral. In this paper, we prove that the decision version of mixed-integer quadratic programming is in NP, thereby showing that it is NP-complete. This is established by showing that if the decision version of mixed-integer quadratic programming is feasible, then there exists a solution of polynomial size. This result generalizes and unifies classical results that quadratic programming is in NP and integer linear programming is in NP.

연구 동기 및 목표

• 혼합정수이차계획문제(MIQP)의 결정 문제 버전이 NP에 속해 있음을 입증하는 것.
• 이전 결과들을 일반화하고 통합하여, 이차계획문제와 정수선형계획문제가 모두 NP에 속해 있음을 보여주는 것.
• 단일 이차제약 조건을 가진 MIQP의 타당해가 다항적으로 유계된 인코딩 길이를 가짐을 보여주는 것.
• 타당 인스턴스에 대해 다항 크기의 증명서가 존재함을 보여, MIQP의 NP-완전성이 유도됨을 보여주는 것.
• 더 일반적인 설정에서 결정 불가능하거나 지수적으로 큰 해를 가진 경우와 대비하여 결과의 날카로움을 명확히 하는 것.

제안 방법

• 해의 구조를 분석하기 위해 타당해의 집합을 다면체 및 쌍곡선 성분으로 기하학적으로 분해하는 방법을 사용한다.
• 정규화된 초평면과 쌍곡선 코어 분석을 적용하여, 낮은 복잡도의 유리수 유계를 통한 타당해의 노름을 유계로 제한한다.
• 다각체와 유리수 코어의 교차부분에 속하는 해의 노름에 대해 다항시간으로 계산 가능한 상한을 적용한다.
• 이전 연구에서 유도된 정리 3을 적용하여, 유계된 타당 영역에서 복잡도가 작은 해를 추출한다.
• 극단기저의 방향에서 이차항 및 선형항의 부호에 기반한 케이스 분석을 통해 복잡도가 작은 타당해를 구성한다.
• 모든 유도된 유 bounds 및 중간 객체(예: 노름, 계수)가 입력 크기의 다항식으로 유계됨을 보장하기 위해 'F-작은 복잡도' 개념을 적용한다.

실험 결과

연구 질문

• RQ1 단일 이차부등식을 가진 모든 타당한 혼합정수이차계획문제는 다항적으로 유계된 크기의 해를 가지는가?
• RQ2 MIQP의 결정 문제는 다항시간 내에 검증 가능하여 NP에 속하는가?
• RQ3 단일 이차제약 조건이 존재할 경우, 다수 또는 일반적인 이차제약 조건을 가진 시스템과 비교해 최소 타당해의 크기에 어떤 영향을 미치는가?
• RQ4 입력 데이터의 복잡도와 MIQP에서 최소 인코딩 길이를 가진 타당해의 복잡도 사이의 관계는 무엇인가?
• RQ5 MIQP의 NP-완전성은 제약 조건의 수에 대해 날카로운가? 이 수가 증가하면 어떤 일이 일어나는가?

주요 결과

• 모든 타당한 MIQP 인스턴스는 입력 복잡도에 대해 다항적으로 유계된 비트 복잡도를 가진 해를 적어도 하나 이상 가짐으로써, MIQP의 결정 문제 버전이 NP에 속함을 입증한다.
• 타당한 MIQP 인스턴스에 대해 다항 크기의 증명서가 존재함을 보여, MIQP가 NP-완전함을 입증한다. 이는 이미 MIQP가 NP-난해임이 알려져 있음을 바탕으로 한다.
• 이 결과는 이전에 이차계획문제와 정수선형계획문제가 모두 NP에 속해 있음을 보여주는 결과들을 일반화하고 통합한다.
• 해의 크기에 대한 유계는 날카롭다: 다수의 이차부등식이나 특정 펠리안형 방정식을 가진 시스템은 지수 크기의 해를 가질 수 있으며, 이는 단일 이차제약 조건 가정의 필요성을 보여준다.
• 단일 이차부등식과 혼합정수 변수를 가진 시스템에서, 임의의 타당해의 노름은 F-작은 복잡도를 가진 유리수로 유계되며, 이는 다항 크기의 증명서를 보장한다.
• 증명은 타당한 코어의 극단기저 방향에서의 도함수의 부호에 기반한 케이스 분석을 통해 복잡도가 작은 타당해를 구성하며, 이는 유계된 인코딩 길이를 보장한다.