1,526
个编辑
更改
跳到导航
跳到搜索
第121行：
第121行： −
→同构和相等
当超图的顶点被明确标记时，就有了'''“等价 equivalence”'''和'''“相等 equality”'''的概念。 我们称<math>H</math>和<math>G</math>等价，记作：<math>H\equiv G</math> 。如果同构<math>\phi</math> 满足:<math>\phi(x_n) = y_n</math>而且：<math>\phi(e_i) = f_{\pi(i)}</math>，则称<math>H</math>和<math>G</math>相等，记作：
当超图的顶点被明确标记时，就有了'''“等价 equivalence”'''和'''“相等 equality”'''的概念。 我们称<math>H</math>和<math>G</math>等价，记作：<math>H\equiv G</math> 。如果同构<math>\phi</math> 满足:<math>\phi(x_n) = y_n</math>而且：<math>\phi(e_i) = f_{\pi(i)}</math>，则称<math>H</math>和<math>G</math>相等，记作：
<math>H\equiv G</math>
<math>H\equiv G</math>