核心概念
前提ベースの判断集約において、単純な式を用いる場合でも、操作や賄賂は多くの場合計算量的に困難である。
要約
本論文では、前提ベースの判断集約における操作と賄賂の計算量的複雑さを分析している。特に、結論が単純な節(clause)で表される場合に焦点を当てている。
主な結果は以下の通り:
基本的な操作問題のいくつかは、結論が単純な節の場合、多項式時間で解くことができる。
ハミング距離に基づく操作問題は、正単調節の長さが3の場合でも NP 困難であるが、長さが2の場合は多項式時間で解ける。
賄賂問題は、正単調節の長さが2の場合でも NP 困難であるが、予算が定数の場合は多項式時間で解ける。
全体として、単純な式を用いる場合でも、操作や賄賂は多くの場合計算量的に困難であることが示された。ただし、一部の問題では多項式時間アルゴリズムが存在することも明らかになった。
統計
多数の専門家(審査員)の評価を集約して意思決定を行う際、操作や賄賂による影響を効率的に分析することが重要である。
前提ベースの判断集約では、基本的な特徴(前提)の集約結果から、複合的な特徴(結論)を導出する。
結論が単純な節(clause)で表される場合、基本的な操作問題の多くが多項式時間で解ける。
ハミング距離に基づく操作問題は、正単調節の長さが3の場合でも NP 困難だが、長さが2の場合は多項式時間で解ける。
賄賂問題は、正単調節の長さが2の場合でも NP 困難だが、予算が定数の場合は多項式時間で解ける。