Gráfico de ciclo
Os ciclos de gráficos ou n -define formam uma família de gráficos . O gráfico do ciclo é composto de um único ciclo elementar de comprimento n (para ). É um gráfico conectado não orientado de ordem n com n arestas. É 2-regular, ou seja, cada um de seus vértices é de grau 2.
VSnão{\ displaystyle C_ {n}}
não≥3{\ displaystyle n \ geq 3}![n \ geq 3](https://wikimedia.org/api/rest_v1/media/math/render/svg/73136e4a27fe39c123d16a7808e76d3162ce42bb)
Terminologia
Muitos termos são utilizados para designar o gráfico de ciclo: N -Ciclo, polígono e n -gone. O termo gráfico cíclico é algumas vezes usado, mas é problemático porque normalmente se opõe a gráfico acíclico .
Propriedades fundamentais
-
Número cromático . O número cromático do ciclo é igual a 3 se n for ímpar, a 2 caso contrário. Em outras palavras, é bipartido se e somente se n for par.VSnão{\ displaystyle C_ {n}}
VSnão{\ displaystyle C_ {n}}![C_ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0301812adb392070d834ca2df4ed97f1cf132f33)
-
Conectividade . Por construção está conectado. É fácil ver que ele está conectado a 2 vértices (ou seja, ele deixa de estar conectado apenas quando 2 vértices são removidos dele). Ele também é conectado por 2 bordas .VSnão{\ displaystyle C_ {n}}
![C_ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0301812adb392070d834ca2df4ed97f1cf132f33)
-
Hamiltonicidade . O único ciclo contido é um ciclo hamiltoniano. O gráfico do ciclo é, portanto, hamiltoniano .VSnão{\ displaystyle C_ {n}}
![C_ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0301812adb392070d834ca2df4ed97f1cf132f33)
-
Planaridade . é um gráfico planar .VSnão{\ displaystyle C_ {n}}
![C_ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0301812adb392070d834ca2df4ed97f1cf132f33)
-
Eulerian . Sendo 2-regular, o ciclo é Euleriano pelo teorema de Euler-Hierholzer.VSnão{\ displaystyle C_ {n}}
![C_ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0301812adb392070d834ca2df4ed97f1cf132f33)
-
Gráfico de linha . O gráfico de linha de é isomórfico a .VSnão{\ displaystyle C_ {n}}
VSnão{\ displaystyle C_ {n}}![C_ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0301812adb392070d834ca2df4ed97f1cf132f33)
Aspectos algébricos
O gráfico do ciclo pode ser desenhado como um polígono regular com n vértices. As isometrias desse polígono, então, acabam sendo automorfismos de . Disto segue a transitividade de borda e a transitividade de topo. é, portanto, um gráfico simétrico . Todos os seus vértices e arestas desempenham a mesma função em termos de isomorfismo de grafos.
VSnão{\ displaystyle C_ {n}}
VSnão{\ displaystyle C_ {n}}
VSnão{\ displaystyle C_ {n}}![C_ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0301812adb392070d834ca2df4ed97f1cf132f33)
É fácil ver que apenas as isometrias desse polígono são automorfismos válidos de . O grupo de automorfismos do gráfico do ciclo é, portanto, isomórfico ao das isometrias do polígono regular com n vértices, ou seja, o grupo diédrico , grupo de ordem 2n .
VSnão{\ displaystyle C_ {n}}
VSnão{\ displaystyle C_ {n}}
Dnão{\ displaystyle D_ {n}}![D_ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0fe03857347bf517e7fbda4085b0dafd6018cf18)
O gráfico do ciclo é um gráfico de Cayley com:
VSnão{\ displaystyle C_ {n}}![C_ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0301812adb392070d834ca2df4ed97f1cf132f33)
G=ZnãoZ{\ displaystyle G = {\ frac {\ mathbb {Z}} {n {\ mathbb {Z}}}}}![G = {{\ frac {{\ mathbb Z}} {n {{\ mathbb Z}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b58eb609be5c03098881347ce8bd54fd0e1608d5)
e
S={1,não-1}{\ displaystyle S = \ {1, n-1 \}}
O polinômio característico da matriz de adjacência do gráfico de ciclo é (todas as raízes são duplas, exceto 2 e possivelmente -2).
VSnão{\ displaystyle C_ {n}}
∏k=0não-1(x-2porque(2kπ/não)){\ displaystyle \ prod _ {k = 0} ^ {n-1} (x-2 \ cos (2k \ pi / n))}![\ prod _ {{k = 0}} ^ {{n-1}} (x-2 \ cos (2k \ pi / n))](https://wikimedia.org/api/rest_v1/media/math/render/svg/20e6572caa2d6881cf056a15c86b51dc0d39e97c)
Casos especiais
-
VS3{\ displaystyle C_ {3}}
é o gráfico do triângulo .
-
VS4{\ displaystyle C_ {4}}
é o gráfico quadrado, é isomorfo ao hipercubo ou à grade G (2,2) .Q3{\ displaystyle Q_ {3}}
-
VS6{\ displaystyle C_ {6}}
é isomórfico ao gráfico de Kneser .KG3,1{\ displaystyle KG_ {3,1}}![KG _ {{3,1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/331edc549acf11edcb35bfd01d2a99305e2ec79e)
Galeria
-
VS3{\ displaystyle C_ {3}}
-
VS4{\ displaystyle C_ {4}}
-
VS5{\ displaystyle C_ {5}}
-
VS6{\ displaystyle C_ {6}}
Referências
-
(em) Eric W. Weisstein , " Cycle Graph " on MathWorld
-
Kenneth H. Rosen, John G. Michaels. Handbook of Discrete and Combinatorial Mathematics. CRC Press, 2000.
-
Em teoria: Personagens e Expansão de Luca Trevisan
<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">