[논문 리뷰] Rigorous Runtime Analysis of MOEA/D for Solving Multi-Objective Minimum Weight Base Problems

Anh Viet Do, Aneta Neumann외 2명|arXiv (Cornell University)|2023. 06. 06.

Advanced Multi-Objective Optimization Algorithms인용 수 8

한 줄 요약

논문은 다목적 최소 가중치 기저(base) 문제에 대한 MOEA/D의 엄밀한 런타임 분석을 제공하며, 두 목적에 대해 2-근사 및 k>2에서 고정매개변수 다항시간을 증명하고, 실험에서 bi-objective MST 인스턴스에서 MOEA/D가 GSEMO보다 우수하다고 보인다.

ABSTRACT

We study the multi-objective minimum weight base problem, an abstraction of classical NP-hard combinatorial problems such as the multi-objective minimum spanning tree problem. We prove some important properties of the convex hull of the non-dominated front, such as its approximation quality and an upper bound on the number of extreme points. Using these properties, we give the first run-time analysis of the MOEA/D algorithm for this problem, an evolutionary algorithm that effectively optimizes by decomposing the objectives into single-objective components. We show that the MOEA/D, given an appropriate decomposition setting, finds all extreme points within expected fixed-parameter polynomial time in the oracle model, the parameter being the number of objectives. Experiments are conducted on random bi-objective minimum spanning tree instances, and the results agree with our theoretical findings. Furthermore, compared with a previously studied evolutionary algorithm for the problem GSEMO, MOEA/D finds all extreme points much faster across all instances.

연구 동기 및 목표

• 다목적 최적화가 matroid 기반 문제에서 연구되고 MOEA/D의 다목적 최소 가중치 기저 문제에 대한 성능을 이해하는 동기를 제시한다.
• 비지배 프런트의 볼록 껍질과 그 극점들을 특성화하여 근사 보장을 도출한다.
• oracle 모델에서 MOMWB에 대한 MOEA/D의 엄밀한 런타임 분석을 제공하고 기존 알고리즘과의 관련성을 밝힌다.

제안 방법

• MOMWB에 대한 Conv(F)의 성질을 개발하여 극점들을 한정하고 이를 Greedy 최적성과 연관지은다.
• 행렬 이론과 탐욕 알고리즘 관점에서 가중치-스칼라화 하위문제를 분석하고 그 해의 매핑을 연구한다.
• 적절한 분해를 가진 MOEA/D가 oracle 모델에서 기대 고정매개변수 다항 시간으로 모든 극점을 찾는 것을 보인다(매개변수 = 목적의 수).
• 극점 계산과 완전한 트레이드-오프 집합을 구성하기 위한 결정론적 프레임워크(Algorithms 1 & 2)를 제안하고, MOMWB를 위한 MOEA/D를 개략하는 알고리즘 3를 제시한다.
• 충분한 트레이드-오프 집합의 크기에 대한 이론적 경계와 이웃 해들 간의 2비트 플립으로 해 공간의 연결성에 대한 결과를 제공한다.

실험 결과

연구 질문

• RQ1 비배제 프런트의 볼록 껍질을 통한 다목적 최소 가중치 기저 문제를 해결할 때의 근사 보장은 무엇인가?
• RQ2 MOEA/D가 MOMWB의 모든 극점이나 대표적인 완전한 트레이드-오프 세트를 신뢰성 있게 찾을 수 있는가, 그리고 어떤 런타임 조건에서 가능한가?
• RQ3 트레이드-오프 세트 전역에서 스칼라화된 가중치를 최소화하는 MOEA/D의 기대 시간은 얼마이며, 목적의 수에 따라 어떻게 확장되는가?
• RQ4 생성된 실험에서 bi-objective 최소 신장 트리 인스턴스에 대해 MOEA/D가 GSEMO에 비해 어떤 성능을 보이는가?
• RQ5 MOMWB의 매개변수에 따라 극점은 얼마나 많이 발생하는가?

주요 결과

• 적절한 분해를 가진 MOEA/D는 목적의 수를 매개변수로 하는 기대 고정 매개변수 다항 시간 내에 oracle 모델에서 모든 극점을 찾는다.
• 비지배 프런트의 볼록 궤적은 두 목적일 때 2-근사 보장을 가지며, 이는 이전 결과를 확장한다.
• k>2 목적의 경우 분석은 k-근사에 도달하기 위한 고정 매개변수 다항 시간의 기대 런타임을 산출한다.
• 연결성 속성(2-해밍 연결성)은 매트로드 기저에 대해 성립하며, 2비트 플립을 통한 극점의 열거를 돕는다.
• 무작위 bi-objective 최소 신장 트리 인스턴스에 대한 실험에서 MOEA/D가 테스트된 모든 인스턴스에서 GSEMO보다 극점을 찾는 데 더 우수한 성능을 보인다.