| Ambos lados da revisão anterior Revisão anterior | |
| grafos:provadecomarvprop2 [2024/05/03 10:54] – maugsia | grafos:provadecomarvprop2 [2024/05/03 10:54] (atual) – maugsia |
|---|
| |
| * Se existisse então SPG podemos dizer que \(G_\alpha \subset G_\lambda\) e portanto \(G_\alpha \subset S_\lambda\) | * 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 \cao G_\lambda \subset G_\beta\), então \(S_\lambda \cap G_\alpha \subset G_\beta\) para todo \(\beta\) no caminho | * 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 | * Dessa forma \(G_\alpha\) estaria ligado a todos os vértices do caminho, o que não configuraria uma árvore |
| |