[논문 리뷰] Aircraft Loading Optimization -- QUBO models under multiple constraints

Giovanni Pilon, Nicola Gugole외 1명|arXiv (Cornell University)|2021. 02. 16.

Quantum Computing Algorithms and Architecture참고 문헌 1인용 수 4

한 줄 요약

이 논문은 에어버스 퀀텀 컴퓨팅 챌린지에서 제기된 항공기 적재 최적화 문제를 다중 물리적 제약 조건—적재량 한계, 항공기 중량 중심 범위, 전단력 한계—을 포함하는 이차 무제약 이진 최적화(QUBO) 모델로 공식화한다. 제약 조건은 페널티 함수를 통해 표현된다. 저자들은 QUBO 모델이 D-Wave 2000Q와 같은 양자 앤날러와 호환됨을 입증하고, 고전적 솔버와의 성능을 비교하여 중간 정도의 성공률로 실현 가능한 해를 도출하며, 고전적 방법에 비해 평균 적재량이 열등한 결과를 보였다.

ABSTRACT

In this submission we solve the Aircraft Loading Optimization problem of the Airbus Quantum Computing Challenge. Finding the optimal loading for a plane is a challenging task for classical algorithms, especially because the solution must respect several flight constraints. The contribution of this work is formulating this problem and its constraints in a model based on QUBO equations which are compatible with quantum annealers. We then benchmarked the model on different solvers to evaluate the performances and capabilities of current technologies.

연구 동기 및 목표

• 실제 비행 조건인 적재량, 중량 중심, 전단력 한계와 같은 복잡한 항공기 적재 최적화 문제를 해결하기 위해.
• 이러한 제약 조건을 양자 앤날러에 적합한 QUBO 호환 페널티 함수 프레임워크로 재구성하기 위해.
• 고전적 QUBO 솔버와 D-Wave 2000Q 양자 앤날러를 모두 활용하여 QUBO 모델의 성능을 평가하기 위해.
• 산업 물류 문제에 대한 양자 기반 최적화의 실현 가능성과 확장 가능성을 평가하기 위해.
• 이 분야에서 향후 양자 우월성 달성을 위해 페널티 스케일링 및 슬랙 변수 사용의 핵심 과제를 규명하기 위해.

제안 방법

• 컨테이너 $ i $ 가 위치 $ j $ 를 점유하는지 여부를 나타내는 이진 할당 변수 $ p_{i,j} $ 를 사용하여 문제를 모델링한다.
• 목적 함수는 컨테이너 질량과 그 할당에 대한 음의 선형 함수의 최소화를 통해 총 적재량을 최대화한다.
• 제약 조건은 이차 페널티 함수로 표현된다: 겹침 방지, 중복 방지, 중량 중심, 전단력 한계 제약 조건이 QUBO 호환 페널티로 변환된다.
• 불등식 제약 조건을 등식 형태로 변환하기 위해 슬랙 변수를 도입한다.
• 제약 위반의 정도를 목적 함수 대비 스케일링하기 위해 페널티 계수 $ P^{( ext{constraint})} $ 를 사용한다.
• 전체 QUBO 모델은 고전적 솔버(예: QBsolv) 및 API 를 통한 D-Wave 2000Q 에서 테스트되며, 다수의 런에 걸쳐 결과를 비교한다.

실험 결과

연구 질문

• RQ1 다중 물리적 제약 조건을 포함한 항공기 적재 최적화 문제를 효과적으로 QUBO 문제로 모델링할 수 있는가?
• RQ2 중량 중심 및 전단력 한계와 같은 제약 조건에 대해 QUBO 프레임워크 내에서 페널티 함수는 어떻게 작동하는가?
• RQ3 고전적 QUBO 솔버와 양자 앤날러(D-Wave 2000Q) 사이의 성능 격차는 이 문제에 대해 어떻게 나타나는가?
• RQ4 추가 제약 조건이 포함될 경우 해의 품질과 계산 시간에 어떤 영향을 미치는가?
• RQ5 현재의 양자 하드웨어에서 더 큰 항공기 구성에 대해 QUBO 모델을 확장할 때의 주요 장애 요소는 무엇인가?

주요 결과

• QUBO 모델은 양자 앤날러와 호환되는 페널티 함수에 의해 모든 필수 제약 조건—적재량 한계, 중량 중심 범위, 전단력 한계—을 성공적으로 표현하였다.
• 고전적 솔버(예: QBsolv)는 PL 전용 케이스에서 최적 해를 찾는 데 33%의 성공률를 기록했으며, 일관된 실현 가능성을 보였다.
• D-Wave 2000Q 는 80%의 런에서 실현 가능한 해를 도출했지만, 고전적 솔버보다 평균적으로 적재량이 적어 높은 노이즈와 열악한 성능을 시사했다.
• 중량 중심 제약 조건 추가로 목표 중량 중심 주변의 분포가 향상되었지만, 전단력 한계 제약 조건은 CG 제약 조건과 잠재적 충돌로 인해 개선 효과가 미미했다.
• D-Wave 2000Q 에서 48 큼(24개의 슬랙 변수)로 실질적인 하드웨어 한계에 도달하여 더 큰 인스턴스에 대한 확장성 문제를 시사했다.
• 이 연구는 향후 양자 우월성 잠재력을 높이기 위해 페널티 스케일링 및 자동 슬랙 변수 선택이 핵심 개선 영역임을 규명했다.