Teorema de Kuratowski
De Wikipedia, a enciclopédia encyclopedia
Na teoria dos grafos, o teorema de Kuratowski é um teorema que permite caracterizar os grafos planares, publicado em 1930 por Kazimierz Kuratowski[1]. O teorema declara que um grafo finito[2] é planar se, e somente se, ele não contém nenhum subgrafo que seja uma subdivisão de (o grafo completo com cinco vértices) ou de (grafo bipartido completo com seis vértices, três dos quais se conectam a cada um dos outros três), também conhecido como o gráfico de utilidade.