Diferenças
Aqui você vê as diferenças entre duas revisões dessa página.
| Ambos lados da revisão anterior Revisão anterior Próxima revisão | Revisão anterior | ||
| grafos:3regempper [2023/03/21 16:40] – edição externa 127.0.0.1 | grafos:3regempper [2023/05/05 12:59] (atual) – edição externa 127.0.0.1 | ||
|---|---|---|---|
| Linha 2: | Linha 2: | ||
| <WRAP round box 100%> | <WRAP round box 100%> | ||
| - | === Corolário === | + | === Corolário: Petersen $(1891)$ |
| //Todo $3-$regular(**grafo cúbico**) sem [[.ponte | pontes]] admite emparelhamento perfeito.// | //Todo $3-$regular(**grafo cúbico**) sem [[.ponte | pontes]] admite emparelhamento perfeito.// | ||
| </ | </ | ||
| <WRAP round box 100%> | <WRAP round box 100%> | ||
| + | // | ||
| + | |||
| Temos que provar que qualquer grafo cúbico sem pontes $G=(V,E)$ satisfaz a condição de Tutte, ou seja, se encaixa no [[.teoempperfeito | Teorema do Emparelhamento Perfeito]]. Vamos fixar $S \subset V$ e $C$ uma componente conexa de tamanho impar de $G-S$. | Temos que provar que qualquer grafo cúbico sem pontes $G=(V,E)$ satisfaz a condição de Tutte, ou seja, se encaixa no [[.teoempperfeito | Teorema do Emparelhamento Perfeito]]. Vamos fixar $S \subset V$ e $C$ uma componente conexa de tamanho impar de $G-S$. | ||
| Linha 14: | Linha 16: | ||
| <wrap right> | <wrap right> | ||
| + | </ | ||
| + | |||
| + | ---- | ||
| + | |||
| + | <WRAP round info> | ||
| + | === Referências === | ||
| + | * Reinhard Diestel. [[https:// | ||
| + | |||
| </ | </ | ||