9个点的所有解锁图_图的类型——图论与SAT

最近学SAT遇到不少图- -，嘛，所以不怎么谈计科以外的部分

不管是什么结构，只要结构中的对象存在一种二元联系，那么总是可以找到一个图来描述它，这里说的图是用一些有向边或无向边把一些点连起来，无所谓其中边的长度；如果是多元关系，可以用超图表示。

图论是应用数学中应用极其广泛的一类，在计算机科学中也是如此，日常生活中其实也很广泛；任意一种网络，都是图；家谱是图；思维导图鱼骨图是图；PPT中经常各种这样的图；食物链鄙视链是图；网格其实也是图，等等。

图论的未解决问题之多不管是在应用数学还是在计算机科学都是突出的

应用数学中一些关于图论的open problem

TCS中以NP-complete问题为例，List of NP-complete problems中涉及图论的是最多的

图的类别

四大类：有向图、无向图、Mixed graph（既有有向边也有无向边）、network（每条边赋了一个实数值）

Orientation graph

将一个无向图的每一条边加上一个方向，得到的有向图称为一个orientation，或者Oriented graph，这样的图中任意2个点最多有一条有向边相连。

Regular graph

度数degree：无向图中，一个点连接的边的数目称为该点的度，无向图的度数定义为点中的最大度数；有向图则按该点是按方向分为入度和出度

邻居neighbour：无向图中与一个点相连的点的集合称为该点的邻居(neighbour)，

regular graph即每个点的度数相同的图，如果这个度数为k，那么称为k-regular graph；

如果一个k-regular graph中每一对相连的点的邻居恰好有λ个相同，每一对不相连的点的邻居恰好有μ个相同，则其为Strongly regular graph，记为srg(v,k, λ, μ)，v是点的数量。

一个2-regular graph

srg(13,6,2,3)

Complete graph

complete graph（完全图）即每一对点都有边相连的图，如果是有向图则每一对点都有2个相反的有向边。

无向完全图记为

, n为点的数目。如

，

完全图 K_5

Finite graph

点和边的数量都有限则称为有限图(finite graph)，否则称为无限图(infinite graph)

Connected graph

path：用边连接的两个点u和v表示边uv，那么如果存在一