概念

任务的共同可实现性

同一组允许参数和共同使用条件能否同时满足多个任务。单题分别可学、输入端口不同或参数很多，都不能独自证明共同解存在；矛盾标签应与更新造成的遗忘分开。