선형 의사불리언 함수 최적화를 위한 단순 맥스 민 개미 시스템 분석

초록

본 논문은 MAX‑MIN 개미 시스템(MMAS) 두 변형을 대상으로, 이진 문자열 길이 n에 정의된 모든 선형 의사불리언 함수에 대한 런타임 상한을 O((n³·log n)/ρ) 로 제시한다. 특히 OneMax와 BinVal에 대해서는 더 강력한 경계와 실험적 검증을 제공한다.

상세 요약

논문은 ACO(개미 군집 최적화) 알고리즘 중 가장 단순화된 형태인 MAX‑MIN Ant System(MMAS)의 이론적 성능을 정량화한다. 먼저 선형 의사불리언 함수 f(x)=∑_{i=1}^{n} w_i·x_i (w_i∈ℝ) 를 정의하고, 이 함수군이 갖는 구조적 특성을 이용해 페로몬 업데이트 메커니즘이 어떻게 해의 품질을 반영하는지를 분석한다. MMAS는 각 비트에 대해 0과 1 사이의 페로몬 값 τ_i∈