程序如何辅助数学证明

问题介绍

一.子图和(subgraph)和诱导子图(induced subgraph)

设V(G),V(H)表示G,H中的点,E(G),E(H)表示G,H中的边
1.子图(subgraph)的定义：若图H满足：V(H)G(H) 且 E(H)E(G) 则称图H称为图G的子图
2.诱导子图(induced subgraph)的定义: 若图H满足：V(H)G(H) 且uvE(H) 当且仅当uvE(G) 则称图H称为图G的诱导子图
且若G不包含H作为其一个诱导子图，则称G是H-free的
3.举例(example): 1

1.png

2.png

3.png

1图是2图的诱导子图，3图是2图的子图，但不是诱导子图(因为V1和V3不相邻)

二. 爪型图(claw)

1.定义: 1

三.邻接矩阵

1.定义：Aij=0