[논문 리뷰] A new polynomially solvable class of quadratic optimization problems with box constraints

Milan Hladík, Michal Černý외 1명|arXiv (Cornell University)|2019. 11. 25.

Computational Geometry and Mesh Generation참고 문헌 15인용 수 5

한 줄 요약

이 논문은 이차 최적화 문제에 대해 상자 제약 조건이 존재할 때, 이차 행렬의 질량이 상수로 제한되는 조건 하에서 다항 시간 알고리즘을 제시한다. 문제를 저차원 공간 내의 zonotope의 면을 나열하는 것으로 환원함으로써, 이전 결과를 정규 행렬과 선형 항이 없는 경우에서 일반화하여 임의의 행렬과 일반 선형 목표 함수로 확장하며, 질량 제약 조건 하에서 더 넓은 범위의 NP-난이도 문제를 다항 시간 내에 해결한다.

ABSTRACT

We consider the quadratic optimization problem $\\max_{x \\in C}\\ x^T Q x + q^T x$, where $C\\subseteq\\mathbb{R}^n$ is a box and $r := \\mathrm{rank}(Q)$ is assumed to be $\\mathcal{O}(1)$ (i.e., fixed). We show that this case can be solved in polynomial time for an arbitrary $Q$ and $q$. The idea is based on a reduction of the problem to enumeration of faces of a certain zonotope in dimension $O(r)$. This paper generalizes previous results where $Q$ had been assumed to be positive semidefinite and no linear term was allowed in the objective function. Positive definiteness was a strong restriction and it is now relaxed. Generally, the problem is NP-hard; this paper describes a new polynomially solvable class of instances, larger than those known previously.

연구 동기 및 목표

• 상자 제약 조건이 있는 새로운 다항 시간 해법이 가능한 이차 최적화 문제의 클래스를 식별하고 해결한다.
• 이전 연구에서 정규 행렬이어야 하고 선형 항이 0이어야 하는 조건이 있었던 결과를 일반 행렬과 일반 선형 목표 함수로 확장한다.
• 이차 행렬의 질량이 상수로 제한될 경우에도 다항 시간 알고리즘이 유지되도록 방법을 개발한다.
• 행동을 변경하지 않으면서 이차 형식 표현의 질량을 최소화하는 구축 가능한 접근 방식을 제공한다.
• 양의 준정부정 행렬과 선형 항을 가진 이진 이차 최적화 프로그램을 효율적으로 해결할 수 있도록 한다.

제안 방법

• 이 방법은 이차 행렬 Q의 질량 r에 대해 O(r) 차원의 저차원 공간에서의 변환으로 원래 문제를 환원한다.
• R^{2r}에 있는 zonotope를 구성하며, 이 zonotope의 면은 원래의 상자 제약 조건 집합 C의 면과 대응된다.
• 이 알고리즘은 이 zonotope의 모든 면을 나열하고, 각 면에서 목적 함수의 정류점이 존재하는지 확인한다.
• 각 면에 대해 1차 최적성 조건에서 유도된 선형 방정식계를 풀어 후보 최대화자를 식별한다.
• 면 격자(면의 구조)를 체계적으로 탐색하기 위해 부호 벡터 표현을 사용한다.
• 각 면 내의 정류점 집합에서 목적 함수가 일정하다는 사실을 활용하여 효율적인 평가를 가능하게 한다.

실험 결과

연구 질문

• RQ1 헤시안 행렬의 질량이 제한될 경우, 심지어 행렬이 부정부정일지라도 상자 제약 조건이 있는 이차 최적화 문제를 다항 시간 내에 해결할 수 있는가?
• RQ2 상자 제약 조건의 면 나열 문제를 다항 시간 계산이 가능한 저차원 기하 구조로 변환할 수 있는가?
• RQ3 주어진 이차 형식을 나타내는 행렬의 최소 달성 가능한 질량은 얼마이며, 이를 효율적으로 계산할 수 있는가?
• RQ4 제안된 방법을 전체 면 격자를 저장하지 않도록 확장할 수 있는가? 이는 메모리 복잡도를 감소시킬 수 있다.
• RQ5 이 방법을 양의 준정부정 행렬과 선형 항을 가진 이진 이차 최적화 프로그램에 얼마나 널리 적용할 수 있는가?

주요 결과

• 행렬 Q의 질량 r이 O(1)일 경우, Q가 부정부정이거나 선형 항 q가 임의일지라도 문제를 다항 시간 내에 해결할 수 있다.
• 이 방법은 Q가 정규 행렬이어야 하고 q = 0이어야 하는 이전 결과를 일반화한다.
• 주어진 이차 형식을 나타내는 행렬의 최소 달성 가능한 질량은 (p, q, s)의 형식의 부호수에서 max(p, q)이다.
• 알고리즘은 정확하며, O(r) 차원의 zonotope의 면을 나열함으로써 전역 최대값을 보장한다.
• 질량 제약 조건 하에서는 다항 시간이지만, 전체 면 격자를 저장해야 하므로 메모리 소비가 크다.
• 이차 형식의 질량 최소화 변환을 명시적으로 구성할 수 있으며, 이는 계산 효율성을 향상시킨다.