命题溯因中的代表集

本文研究命题溯因解空间的表示问题：给定一组解释，能否保证任意其他解释都与其中某个解释的对称差小于阈值 k。作者给出经典复杂度的完整分类，并分析多个参数下的参数化复杂度；结果还揭示了该问题与编码理论覆盖半径问题之间的新联系。