任意の（合理的な）分布特性を検証する方法: 分布に対する計算論的に健全な議論システム

任意の多項式時間で決定可能な分布特性について、検証者が少ないサンプル数と計算リソースで近似的に正しいことを確認できる対話型の議論システムを提案する。