[論文レビュー] Taxonomization of Combinatorial Optimization Problems in Fourier Space

Anne Elorza, Leticia Hernando+1 more|arXiv (Cornell University)|May 26, 2019

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という3つの代表的問題のフーリエ係数を特徴づけ、それらの目的関数に内在する構造的不変量を明らかにすること。
• フーリエ表現に基づいて、類似したアルゴリズム的挙動を示す関数をグループ化することで、問題インスタンスの分類を可能にすること。
• 実数値の目的関数を順序（置換）に簡略化し、複雑さを減らしながらもアルゴリズム的挙動を保持すること。
• 特定のフーリエ係数を持つ関数によって与えられた順序（置換）が生成可能であるための条件を、双対性定理を用いて確立すること。

提案手法

• 組合せ最適化問題の目的関数を、置換表現を用いて対称群 S_n 上の関数として表現する。
• 対称群上での一般化フーリエ変換を適用し、目的関数を既約表現の和に分解する。
• フーリエ分解を用いて、基底関数 f_λ と係数 a_λ の線形結合として関数を表現し、代数的操作を可能にする。
• 与えられた順序 τ を生成する問題を、行列 F と係数 a に対して F a > 0 となる連立一次方程式の解法に還元する。
• ゴルダンの別定理を適用し、解の存在を判定する：特定のフーリエ係数を持つ関数 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) がゼロである関数 f が与えられた順序 τ を生成できるのは、F^T v = 0 が非負かつ非ゼロ解をもたないときである。
• 与えられたフーリエ係数集合から順序 τ を生成可能かどうかの判定は、ゴルダンの別定理を用いた線形システムの可解性の確認に帰着される。
• n が大きくなると、システムのサイズが (n!)! - 1 に比例し、次元 m × k = (n!)! - 1 × ∑d_λ² となり、n=5 の場合には 119 × 77 に達するため、計算的に扱いにくくなる。
• F^T v = 0 の解空間の次元は m - k であり、急速に増加し、複素数解を除いても制御が困難になる。
• 複雑さにもかかわらず、このフレームワークは、共通するフーリエ係数パターンに基づいて問題インスタンスをグループ化する理論的基盤を提供し、構造的類似性に基づくアルゴリズム選択を可能にする。