arXiv:2504.13986v1 类型: 交叉 摘要: 忘记一个特定的信念修订事件可能不会消除信息，因为其他修订可能会提供相同的信息或允许推导出该信息。对于任意两个动态序列修订或任意长的动态Horn修订序列，这种情况下是否会发生已经被证明是coNP-hard。对于两个Horn修订的情况，提供了一个多项式时间算法。异构修订序列被证明属于Delta2。对其之前证明的coNP-hard性进行了增强，通过NP-hard性证明进一步证明了其复杂性。