基于子集一致性检测的诊断解极小性判定方法

基于子集一致性检测的诊断解极小性判定方法概述理论计算机科学的一个重要问题是判定一个计算问题是否是困难的。一个算法是游戏可解的意味着这个算法可以在有限的时间内解决该问题。诊断解极小性判定问题也是这类问题