숫자 개수로 매개변수화하기

초록

본 논문은 정수 멀티셋을 입력으로 갖는 고전적인 수치 문제들을 “서로 다른 정수의 개수”라는 파라미터로 분석한다. ILP‑Feasibility의 FPT 결과를 활용해 Subset Sum, Partition, 3‑Partition, Numerical 3‑Dimensional Matching, Numerical Matching with Target Sums 등을 파라미터화했을 때 고정‑파라미터 트랙터블임을 보인다. 또한 비결정적 Mealy 기계와 출력 검증 문제를 도입해 W

상세 요약

이 연구는 전통적인 “값의 크기” 혹은 “해의 개수”와 같은 파라미터 대신, 입력에 등장하는 서로 다른 정수(숫자)의 종류 수를 파라미터로 삼는 새로운 관점을 제시한다. 이러한 “숫자 개수” 파라미터는 실제 데이터에서 동일한 값이 다수 반복되는 경우가 흔하다는 점에서 실용적이다. 논문은 먼저 ILP‑Feasibility(ILPF)의 고정‑파라미터 트랙터블 결과, 즉 변수 수가 파라미터인 경우 ILP를 FPT로 해결할 수 있다는 정리를 인용한다. 이를 기반으로, 정수 멀티셋을 변수와 제약식으로 모델링함으로써, 서로 다른 정수의 개수 k 가 작을 때 모든 고전적인 수치 문제를 다항 시간 내에 해결할 수 있음을 보인다. 예를 들어 Subset Sum은 각 고유한 정수를 변수로 두고, 해당 정수의 사용 횟수를 제한하는 제약을 추가함으로써 k‑변수 ILP로 변환된다. 이때 목표 합을 만족하는 해가 존재하면 ILPF 알고리즘이 이를 찾아낸다. 동일한 방식이 Partition, 3‑Partition, Numerical 3‑Dimensional Matching, Numerical Matching with Target Sums 등에 적용되며, 각각의 문제는 “각 숫자의 복제 횟수”를 파라미터화된 변수로 두어 ILP 형태로 귀결된다.

핵심 난이도 분석에서는 비결정적 Mealy 기계(M)와 입력 문자열 x, 그리고 출력 알파벳에 대한 “인구 조사(census) 요구” c를 고려한다. 여기서 요구는 각 알파벳이 출력에 몇 번 등장해야 하는지를 명시한다. 문제는 “주어진 x 에 대해 M이 c 를 만족하는 출력 y를 생성할 수 있는가?”이다. 저자들은 이 문제를 파라미터 k (알파벳 종류 수 혹은 상태 수 등)로 매개변수화했을 때 W