Aqui: http://www.planarity.org/Klein_elementary_graph_theory.pdf (em captações de capítulos) é dada uma definição de incorporação combinatória de um gráfico planar. (com definição de faces e assim por diante) Embora possa ser facilmente usado para qualquer gráfico, eles definem o gráfico planar como o gráfico, para o qual a fórmula de Euler mantém (assumindo que o gráfico esteja conectado). É compreensível que, para cada gráfico de plano, a definição de faces na incorporação combinatória seja semelhante à definição de faces na incorporação topológica. (assumindo que o gráfico esteja conectado. Caso contrário, na incorporação combinatória, teremos uma superfície infinita para cada componente conectado)
A questão é: se, para algum gráfico conectado, a incorporação combinatória satisfaz a fórmula de Euler, isso significa que esse gráfico é planar no sentido topológico (possui incorporação plana, ou seja, é gráfico plano )?
Respostas:
Isso é realmente menos sobre gráfico em si e mais sobre topologia. Uma incorporação combinatória define um distribuidor múltiplo, um espaço topológico em que cada ponto tem uma vizinhança homeomórfica a um disco aberto bidimensional: a incorporação permite que uma face seja definida e podemos definir um espaço topológico escolhendo um disco para cada cole-os ao longo das bordas do gráfico. Um teorema bem conhecido em topologia (chamado de classificação de 2 variedades) nos diz exatamente quais 2 variedades são possíveis, e todas são distinguíveis entre si, sejam elas orientáveis ou tenham a mesma característica de Euler (ou ambas ) - consulte http://www.maths.ed.ac.uk/~aar/surgery/zeeman.pdfpara algumas notas de aula razoáveis sobre esse assunto, que incluem a prova que você está pedindo. Não existem outros 2-manifolds nessa classificação que tenham a mesma característica de Euler que a esfera; portanto, se você calcular a característica de Euler e achar que ela corresponde à fórmula de uma esfera, você sabe que sua incorporação deve estar em uma esfera.
Encontrar uma incorporação com coordenadas geométricas reais no plano, uma vez que você tenha uma incorporação combinatória planar, não é inteiramente trivial, mas pode ser feito, por exemplo, usando a teoria das madeiras de Schnyder. Tenho algumas notas de aula sobre isso em http://www.ics.uci.edu/~eppstein/gina/schnyder/, por exemplo.
fonte