2-SAT проблемы отмечает исследование + пример [Л Гу P4792]
NoSuchKey
рекомендация
отwww.cnblogs.com/IcedMoon/p/11432288.html
рекомендация
ранжирование