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:provadecomarvprop2 [2024/05/03 10:30] – maugsia | grafos:provadecomarvprop2 [2024/05/03 10:54] (atual) – maugsia | ||
|---|---|---|---|
| Linha 4: | Linha 4: | ||
| * Vamos tomar então \(G_\tau\) e outro \(G_alpha\) assim existe um único caminho na árvore que liga \(\lambda, | * Vamos tomar então \(G_\tau\) e outro \(G_alpha\) assim existe um único caminho na árvore que liga \(\lambda, | ||
| * Basta então tomarmos \(G_\alpha\) tal que o caminho \(\alpha T \lambda\) "passe por todo os \(S_\lambda\)" | * Basta então tomarmos \(G_\alpha\) tal que o caminho \(\alpha T \lambda\) "passe por todo os \(S_\lambda\)" | ||
| + | |||
| + | |||
| + | \(\text{b}_{1}) + \text{c}_{1}) \implies \text{c}_{1.5})\): | ||
| + | |||
| + | * Se existisse então SPG podemos dizer que \(G_\alpha \subset G_\lambda\) e portanto \(G_\alpha \subset S_\lambda\) | ||
| + | * Por \(\text{c}_{1})\) se existe \(\beta \in \alpha T \lambda\) temos que \(G_\alpha \cap G_\lambda \subset G_\beta\), então \(S_\lambda \cap G_\alpha \subset G_\beta\) para todo \(\beta\) no caminho | ||
| + | * Dessa forma \(G_\alpha\) estaria ligado a todos os vértices do caminho, o que não configuraria uma árvore | ||
| + | |||