Question

离散数学，无向完全图，补图问题，想问下这个（9）和（17）为什么互补？

Answer 1

根据图的同构定义:如果两个图的点和边能建立一一对应关系，且点和边的关联关系也能保持一一对应关系，则这两个图同构。也就是说你可以变换点的位置，把左上点放到左下，那么边自然变成了斜向上，所以9和17是互补的，其他的都需要用到图的同构来解

Answer 2

恒等关系：
R={<x,x>|x∈A},记为IA或EA
如：A={a,b,c,d}，则
IA={<a,a>,<b,b>,<c,c>,<d,d>}

自反关系
对于A中的任意元素x，<x,x>都在R中。即
(∀x)(x∈A→xRx)
比如：A={1,2,3}上的如下关系具有自反性吗？
R={<1,1>,<2,2>} 无
S={<1,1>,<2,2>,<3,3>} 有
T={<1,1>,<2,1>,<2,2>,<3,1>,<3,3>} 有