[논문 리뷰] Taxonomization of Combinatorial Optimization Problems in Fourier Space

Anne Elorza, Leticia Hernando외 1명|arXiv (Cornell University)|2019. 05. 26.

Metaheuristic Optimization Algorithms Research참고 문헌 16인용 수 5

한 줄 요약

이 논문은 대칭군 위에서 일반화된 푸리에 변환을 사용하여 순열 기반 조합 최적화 문제의 목적 함수를 분해하는 새로운 푸리에 기반 프레임워크를 제안한다. TSP, LOP, QAP의 푸리에 계수를 특성화함으로써 푸리에 도메인에서의 통합 표현을 가능하게 하고, 알고리즘 행동에 기반한 문제 인스턴스의 분류 체계 수립에 기여한다.

ABSTRACT

We propose and develop a novel framework for analyzing permutation-based combinatorial optimization problems, which could eventually be extended to other types of problems. Our approach is based on the decomposition of the objective functions via the generalized Fourier transform. We characterize the Fourier coefficients of three different problems: the Traveling Salesman Problem, the Linear Ordering Problem and the Quadratic Assignment Problem. This implies that these three problems can be viewed in a homogeneous space, such as the Fourier domain. Our final target would be to create a taxonomy of problem instances, so that functions which are treated similarly under the same search algorithms are grouped together. For this purpose, we simplify the representations of the objective functions by considering them as permutations of the elements of the search space, and study the permutations that are associated with different problems.

연구 동기 및 목표

• 대칭군 위에서의 푸리에 분석을 활용하여 순열 기반 조합 최적화 문제를 위한 통합 분석 프레임워크를 개발한다.
• 세 가지 표준 문제인 TSP, LOP, QAP의 푸리에 계수를 특성화하여 그 목적 함수 내 구조적 불변성을 드러낸다.
• 푸리에 표현을 바탕으로 유사한 알고리즘 행동을 보이는 함수들을 그룹화함으로써 문제 인스턴스의 분류를 가능하게 한다.
• 실수 목적 함수를 순열(랭킹)으로 단순화함으로써 복잡성을 줄이고 알고리즘 행동을 유지한다.
• 특정 푸리에 계수를 가진 함수가 주어진 랭킹(순열)을 생성할 수 있는 조건을 이중성 정리들을 사용하여 수립한다.

제안 방법

• 조합 최적화 문제의 목적 함수를 순열 기반 표현을 사용하여 대칭군 S_n 상의 함수로 표현한다.
• 대칭군 위에서 일반화된 푸리에 변환을 적용하여 목적 함수를 기약 표현의 합으로 분해한다.
• 푸리에 분해를 통해 기저 함수 f_λ와 계수 a_λ의 선형 조합으로 함수를 표현함으로써 대수적 연산을 가능하게 한다.
• 주어진 랭킹 τ를 생성하는 문제를 행렬 F와의 체계 F a > 0의 해를 구하는 것으로 환원한다. 여기서 F는 기저 함수의 상호 차이를 담은 행렬이다.
• 고르단의 대안 정리를 적용하여 해의 존재 여부를 판단한다: 주어진 푸리에 계수를 가진 함수 f가 τ를 생성할 수 있는 조건은 F^T v = 0이 음이 아닌 비영인 해 v를 가지지 않는 것이다.
• 행렬 대수학과 이중성 원리를 활용하여 주어진 비자명한 푸리에 계수 집합으로부터 주어진 랭킹을 생성할 수 있는지의 가능성을 테스트한다.

실험 결과

연구 질문

• RQ1 TSP, LOP, QAP의 목적 함수는 일반화된 푸리에 변환을 통해 푸리에 도메인에서 체계적으로 특성화될 수 있는가?
• RQ2 주어진 랭킹을 생성하기 위해 함수의 푸리에 계수에 어떤 구체적인 제약 조건이 필요하는가?
• RQ3 주어진 순열 랭킹이 특정 비자명한 푸리에 계수 집합을 가진 함수에 의해 실현될 수 있는가를 판단할 수 있는가?
• RQ4 시스템 F a > 0의 차원은 문제 크기 n에 따라 어떻게 증가하는가? 이 접근의 계산적 한계는 무엇인가?
• RQ5 이 프레임워크는 공통된 푸리에 계수 구조와 알고리즘 행동을 기반으로 조합 최적화 문제의 분류 체계를 수립하는 데 기여할 수 있는가?

주요 결과

• TSP, LOP, QAP 목적 함수의 푸리에 계수는 특정한 구조적 제약 조건을 만족하며, 이는 공통된 푸리에 도메인에서의 표현 가능성을 보장한다.
• n=4일 때, (1,1,1,1) 계수가 0인 함수 f가 주어진 랭킹 τ를 생성할 수 있는 조건은 F^T v = 0이 음이 아닌 비영인 해 v를 가지지 않는 것이다.
• 주어진 푸리에 계수 집합으로부터 랭킹 τ를 생성할 수 있는지의 가능성은 고르단의 대안 정리를 활용한 선형 체계의 해 존재 여부 확인을 통해 환원된다.
• n이 커질수록 이 방법은 계산적으로 비가능해지며, 체계 크기가 (n!)! - 1 증가하고, 차원 m × k = (n!)! - 1 × ∑d_λ²로 증가하여 n=5일 때는 119 × 77에 도달한다.
• F^T v = 0의 해 공간의 차원은 m - k이며, 이는 급격히 증가하여 조절하기 어려워지며, 복소수 해를 걸러내더라도 여전히 제어하기 어렵다.
• 복잡성에도 불구하고, 이 프레임워크는 공통된 푸리에 계수 패tern을 가진 문제 인스턴스를 그룹화할 수 있는 이론적 기반을 제공하며, 구조적 유사성에 기반한 알고리즘 선택을 가능하게 한다.