Core Concepts
단순하고 현실적인 공식을 사용할 때 조작과 뇌물 수수 문제의 계산 복잡성이 어떻게 달라지는지 분석한다.
Abstract
이 논문은 단순하고 현실적인 공식을 사용할 때 조건부 판단 집계에서의 조작과 뇌물 수수 문제의 계산 복잡성을 분석한다.
주요 내용은 다음과 같다:
긍정 단조 절, Horn 절, 길이 제한 절 등 다양한 절 제한 하에서 기본적인 조작 문제들의 복잡성을 분석한다. 일반적으로 NP-완전으로 알려진 문제들이 이러한 제한 하에서는 다항식 시간에 해결될 수 있음을 보인다.
Hamming 거리 기반 조작 문제의 경우, 긍정 단조 절 길이 3에서는 NP-완전이지만 길이 2에서는 다항식 시간에 해결될 수 있음을 보인다.
뇌물 수수 문제의 경우, 긍정 단조 절 길이 2에서도 NP-완전이지만 예산이 상수인 경우 다항식 시간에 해결될 수 있음을 보인다.
전반적으로 이 논문은 단순하고 현실적인 공식을 사용할 때 조작과 뇌물 수수 문제의 계산 복잡성이 크게 달라질 수 있음을 보여준다.