2019年9月21日
SAT算法
摘要： 今早用微云打的笔记...头大 我惊，这不是可爱的离散吗？！ 建个有向图G，(Xi+Yi)加两边表示( ¬Xi+Yi)(Xi+ ¬Yi) 每个点（eg:A）加上 ¬A 下图为:(A->B)·( ¬B-> ¬A)·( ¬D->E)·( ¬E->D)·( ¬B->C)·( ¬C-> B)·(C-> &# 阅读全文
posted @ 2019-09-21 11:13 Aaaa_mber 阅读(898) 评论(0) 推荐(0)