2,443
个编辑
更改
→顶点类型
如果一个图具有将任何顶点映射到任何其他顶点的对称性，则该图是'''<font color="#ff8000">顶点传递</font>'''的。
如果一个图具有将任何顶点映射到任何其他顶点的对称性，则该图是'''<font color="#ff8000">顶点传递</font>'''的。
如果一个图上存在某种<font color="#ff8000">自同构映射automorphism</font> <math>f: \mathbb{V} \rightarrow \V</math>，能把图中任意一个顶点<math>v</math>映射为图中的某个其他顶点<math>u</math> ，同时保持边不变，即若顶点<math>v_1,v_2</math>相邻，那么顶点<math>f(v_1)=u_1</math>和<math>f(v_2)=u_2</math>也相邻，那么我们认为这个图是顶点传递的，这样的图具有某种相应的对称性质。
如果一个图上存在某种<font color="#ff8000">自同构映射automorphism</font> <math>f: \mathbb{V} \rightarrow V</math>，能把图中任意一个顶点<math>v</math>映射为图中的某个其他顶点<math>u</math> ，同时保持边不变，即若顶点<math>v_1,v_2</math>相邻，那么顶点<math>f(v_1)=u_1</math>和<math>f(v_2)=u_2</math>也相邻，那么我们认为这个图是顶点传递的，这样的图具有某种相应的对称性质。
在<font color="32cd32">图计数</font>和'''<font color="#ff8000">图同构</font>'''的语境下，要注意区分'''有标注的顶点'''和'''无标注的顶点'''。有标注的顶点被关联了额外的信息，以区分这个顶点和其他有标注的顶点;这样一来，只有两个图顶点之间的对应关系是把具有相同标注的顶点配对起来，才能称这两个图是同构的。无标注的顶点，就是只能由其相邻关系而被区分的顶点。
在<font color="32cd32">图计数</font>和'''<font color="#ff8000">图同构</font>'''的语境下，要注意区分'''有标注的顶点'''和'''无标注的顶点'''。有标注的顶点被关联了额外的信息，以区分这个顶点和其他有标注的顶点;这样一来，只有两个图顶点之间的对应关系是把具有相同标注的顶点配对起来，才能称这两个图是同构的。无标注的顶点，就是只能由其相邻关系而被区分的顶点。
在图计数或者图同构的语境中，若图中的顶点都是无标注的顶点，则可以不用考虑上面那样额外信息的影响。只要两个图之间存在顶点之间的映射<math> \mathbb{V}</math>，使得原来连通的顶点，在映射之后依然连通，就可以说这两个图是同构的。
在图计数或者图同构的语境中，若图中的顶点都是无标注的顶点，则可以不用考虑上面那样额外信息的影响。只要两个图之间存在顶点之间的映射<math>f: \mathbb{V} \rightarrow W</math>，使得原来连通的顶点，在映射之后依然连通，就可以说这两个图是同构的。