‘笔记’2-SAT
- 2021 年 3 月 7 日
- 笔记
前置 \(SAT\) 是适定性( \(Satisfiability\) )问题的简称。一般形式为 \(k \ -\) 适 …
Continue Reading前置 \(SAT\) 是适定性( \(Satisfiability\) )问题的简称。一般形式为 \(k \ -\) 适 …
Continue Reading定义 如果一张无向图的 \(N\) 个节点( \(N \geq 2\) ),可以分成 \(U\) , \(V\) 两个非 …
Continue Reading实例001:数字组合 题目 有四个数字:1、2、3、4,能组成多少个互不相同且无重复数字的三位数?各是多少? 程序分析 …
Continue Reading将时间线拉到2014 2014年的寒冬,每天早晨六点钟,都会一个弱小的身影,从学校寝室出发,走在去实习公司的路上 …
Continue Reading