摘要：
## 先言 今天讲师讲了二分图，貌似我以前真的没有学过，但是我发现真妙，所以我决定重新来梳理一下二分图的笔记 ##【定义】 二分图又称作二部图，是图论中的一种特殊模型。 设 \(G=(V,E)\) 是一个无向图，如果顶点 \(V\) 可分割为两个互不相交的子集 \((A,B)\) ，并且图中的每条边 阅读全文
摘要：
【定义】： \(SAT\) 是适定性 \((Satisfiability)\) 问题的简称 。一般形式为 \(k\) -适定性问题，简称 \(k-SAT\) 这个描述来自于百度，没什么意义，主要是下面的概念 【问题描述】 ： \(k-SAT\) 的问题描述如下 ： 一般有 \(x_1 , x_2 , 阅读全文
该文被密码保护。 阅读全文