Core Concepts
본 논문은 불확실성 하에서의 강건한 부모듈러 최소화 문제의 계산 복잡성을 연구한다. 이 문제에서는 k개의 부모듈러 함수 중 하나를 최소화해야 하며, 최소화된 해가 각 함수의 최소화 해와 최대 d개의 원소만 다르도록 해야 한다. 이에 대한 복잡성 분석 결과, k와 d에 따라 문제가 다항식 시간에 해결되거나 NP-hard임을 보였다.
Abstract
본 논문은 불확실성 하에서의 강건한 부모듈러 최소화 문제를 연구한다. 이 문제에서는 k개의 부모듈러 함수 f1, ..., fk가 주어지며, 이 중 하나를 최소화해야 한다. 동시에 각 함수의 최소화 해와 최대 d개의 원소만 다른 해를 찾아야 한다.
주요 결과는 다음과 같다:
k ≤ 2일 때 다항식 시간에 해결 가능하지만, k ≥ 3일 때 NP-hard이다.
d = 0일 때 다항식 시간에 해결 가능하지만, d ≥ 1일 때 NP-hard이다.
(k, d)를 매개변수로 하면 FPT 알고리즘이 존재한다.
일부 함수 fi가 다항식 크기의 최소화 해를 가지면, d를 매개변수로 하는 FPT 알고리즘이 존재한다.
이를 위해 Birkhoff의 분배 격자 표현 정리를 활용하여 최소화 해 집합을 압축적으로 표현하고, 이를 바탕으로 다양한 알고리즘을 제안한다.
Stats
각 부모듈러 함수 fi의 최소화 해 집합 arg min fi는 분배 격자를 이룬다.
분배 격자 arg min fi는 크기 O(|V|^2)의 유향 비순환 그래프로 압축적으로 표현할 수 있다.
유향 그래프 Gi를 이용하면 λi(X) = 0인 X ⊆ V i가 arg min fi의 원소와 대응된다.