判定如图所示的图[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]和[tex=0.857x1.0]h610M+sGyf59WggKwaDo1Q==[/tex]是否是同构的。[img=373x241]179bbcbc4100595.png[/img]

2022-07-23

判定如图所示的图[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]和[tex=0.857x1.0]h610M+sGyf59WggKwaDo1Q==[/tex]是否是同构的。[img=373x241]179bbcbc4100595.png[/img]

答案：

解：[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]和[tex=0.857x1.0]h610M+sGyf59WggKwaDo1Q==[/tex]都具有6个顶点和8条边。各自具有4个度为3的顶点和2个度为2的顶点。所以对两个图来说，这3个不变量(顶点数、边数以及顶点度)都是相同的。但是[tex=0.857x1.0]h610M+sGyf59WggKwaDo1Q==[/tex]有长度为3的简单回路，即[tex=5.0x1.0]YAV5FPMxTtCZUgpMrEhZkHQtJRPcstmWLR27P/lBR74=[/tex]，而通过观察可以看到，[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]没有长度为3的简单回路([tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]中的所有简单回路的长度至少为4)。因为存在一条长度为3的简单回路是一个同构不变量，所以[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]和[tex=0.857x1.0]h610M+sGyf59WggKwaDo1Q==[/tex]是不同构的。

举一反三

内容

0
图(a) 所示起重机在连续梁上，已知[tex=4.143x1.214]iI2wIEmq+gu2oraEYzpFsA==[/tex]，[tex=4.143x1.214]x/NOrlUEXGXZLYNQQp6TPA==[/tex]，不计梁质量，求支座 [tex=0.786x1.0]kEam2pLJe4uAYVdcny2W5g==[/tex]、[tex=0.786x1.0]EsJDtGYVBcAkNM+hi9jDJg==[/tex]和[tex=0.857x1.0]PvQ1rNj9zmhWbdNmDhnQhA==[/tex]的反力。[img=378x282]179b1d368b0b737.png[/img]
1
图[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]的[tex=0.571x1.0]CQkpoDeAAI+5FKIfe1wVCA==[/tex]重着色是对[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]的顶点指定含有[tex=0.571x1.0]CQkpoDeAAI+5FKIfe1wVCA==[/tex]种不同颜色的集合，使得相邻的顶点不具有相同的颜色。用[tex=2.571x1.357]lsX9bnoAIqJRluz1idKvEg==[/tex]表示使[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]能用[tex=0.643x0.786]SBMIs+VUk7//BOpfqlQl0w==[/tex]种颜色进行[tex=0.571x1.0]CQkpoDeAAI+5FKIfe1wVCA==[/tex]重着色的最小正整数[tex=0.643x0.786]SBMIs+VUk7//BOpfqlQl0w==[/tex]。例如，[tex=4.5x1.357]O8AM8oMknymDzH/A/UPcpRtsrDylgCOEb1C50t5fWiI=[/tex]。为了看出这一点，注意，如下图所示，只用4种颜色，就可以对[tex=1.071x1.214]cbTtaIQxuRVmaJ6c2Q01xg==[/tex]的每个顶点指定两种颜色，使得两个相邻顶点不具有相同的颜色。另外，少于4种颜色是不够的，因为顶点[tex=0.857x1.0]PiGrv8EQTcGrBqYP+1Jgrg==[/tex]和[tex=0.857x1.0]kOrE8QZOBNrVPwKL6QRvYg==[/tex]每个都必须指定两种颜色，而且不能对[tex=0.857x1.0]PiGrv8EQTcGrBqYP+1Jgrg==[/tex]和[tex=0.857x1.0]kOrE8QZOBNrVPwKL6QRvYg==[/tex]指定相同颜色。[img=370x192]179c9d4c3e5515a.png[/img]设[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]和[tex=0.857x1.0]h610M+sGyf59WggKwaDo1Q==[/tex]是如图所示的图。[img=690x232]179c9d8f61a6e56.png[/img]求：[tex=2.571x1.357]ZXD9Ss58zwv7Wm6PfBe4Ig==[/tex]
2
设[tex=0.857x1.0]h610M+sGyf59WggKwaDo1Q==[/tex]是包含在群[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]的中心内的一个子群. 证明 : 当[tex=2.143x1.357]AgjHffxzQb9fKjeZTf8lUg==[/tex]是循环群时,[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]是交换群.
3
证明下面图[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]和[tex=1.143x1.214]dR9jxhXF4eOBq39r4zKh9g==[/tex]同构.[img=663x315]17864883a812d7d.png[/img]
4
设[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]是群,[tex=5.286x1.071]VvvX0GFuqWNzrMDUrg0hNQ==[/tex].如果[tex=5.929x1.214]WiIhW06O4h8DrzyJYgOSG//n94M5NRQ5+HQkzzjvS5punSAJ99du6II5VrE1GjPb[/tex],[tex=0.857x1.0]HcQeTeQtUqN73yUJqDRZkQ==[/tex]是否一定是[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]的正规子群?