本論文では、前提ベースの判断集約における操作と賄賂の計算量的複雑さを分析している。特に、結論が単純な節(clause)で表される場合に焦点を当てている。
主な結果は以下の通り:
基本的な操作問題のいくつかは、結論が単純な節の場合、多項式時間で解くことができる。
ハミング距離に基づく操作問題は、正単調節の長さが3の場合でも NP 困難であるが、長さが2の場合は多項式時間で解ける。
賄賂問題は、正単調節の長さが2の場合でも NP 困難であるが、予算が定数の場合は多項式時間で解ける。
全体として、単純な式を用いる場合でも、操作や賄賂は多くの場合計算量的に困難であることが示された。ただし、一部の問題では多項式時間アルゴリズムが存在することも明らかになった。
翻譯成其他語言
從原文內容
arxiv.org
深入探究