クレーム検証のための最小限の証拠グループの特定

クレームを完全に裏付ける最小限の証拠グループを特定する問題を定義し、解決するアプローチを提案する。