Core Concepts
이 논문은 그래프 문제의 보장된 값 이상 및 이하 매개변수화에 대한 알고리즘과 복잡성을 조사한다. 이러한 문제는 주어진 그래프 G에 대해 해결책의 값이 g(G) + k 이상 또는 g(G) - k 이하가 되도록 찾는 것을 목표로 한다. 여기서 g(G)는 G에서 어떤 해결책도 가질 수 있는 보장된 값이다. 이러한 해결책을 찾는 알고리즘의 복잡성이 보장된 값에 의해 분리되도록 설계하거나, 그러한 알고리즘의 존재를 배제하는 난해성 결과를 통해 이를 다룬다.
Abstract
이 논문은 그래프 문제의 보장된 값 이상 및 이하 매개변수화에 대한 다양한 알고리즘과 난해성 결과를 다룬다.
주요 내용은 다음과 같다:
최소 배치 문제와 최소 프로파일 문제의 보장된 값 이상 매개변수화에 대한 결과를 소개한다. 이는 곱셈적 매개변수화와 가산적 매개변수화를 모두 다룬다.
최소 정점 커버 문제에 대해, 최대 매칭 크기와 선형 프로그래밍 이완 값 이상 매개변수화의 고정 매개변수 가능성을 보인다.
최대 컷 문제에 대해, Edwards-Erdős 하한 이상 매개변수화의 고정 매개변수 가능성과 다항식 크기 커널을 보인다.
최대 이분할 문제, 최대 독립 집합 문제, 최장 경로 문제, 최장 사이클 문제, 외판원 순회 문제 등에 대해 보장된 값 이상/이하 매개변수화의 복잡성을 다룬다.
곱셈적 매개변수화에 대한 결과와 함께, 이러한 매개변수화가 매개변수 복잡성 이론에 새로운 통찰을 제공할 수 있음을 지적한다.