您的位置: 首页 > IT文章 > 2-sat 2-sat 分类: IT文章 • 2024-01-01 08:07:12 2003-国家集训队论文——伍昱 建图 若A成立，则B一定成立，就建图A->B 在保证B'不成立，则A'一定不成立时才B'->A' 一般来说A'=A+n tarjan找环 若发现A&A'皆在一个环内（若A成立，则A'成立），则当前答案无解 参照命题，逆命题，逆否命题，否命题
