는 방법을 증명하는 평면을 포함?

Question

나는에 대해를 구현하는 알고리즘을 계산하기 위한 평면형 포함.

가 시작된 결과를 확인에 의해 실행에 대한 그래프의 세트(로마 그래프 다)및 비교 결과 결과의 또 다른 구현(yfiles).그러나 나만 확인할 수 있는 경우 평면/평면이 아답과 동일하기 때문에,주어진 평면 그래프 존재할 수 있습니다 많은 서로 다른 포함.

어떻게 확인할 수 있는 내장 내가 계산(주문에 인접 목록)은 정확한 평면 포함?

나는 이미 발견한 경우가 아마 잘못을 포함.실패에 대한 그래프를 일반적으로 그리는 수동으로 포함할 수 있습니다.내가 찾는 부스트 문서 상태는 주어진 모든 그래프,하나 생성할 수 있는 비행기의 드로잉,그래프는 것을 증명하는 그래프는 평면 및 인증서의 평면성을 확인하기 쉽다.하지만 나는 확실하지 않는 경우/할 수 있는 방법을 만들기 같은 그림에서 바보 증거 알고리즘 길에서 주문한 인접성을 나열합니다.

(Btw.여기'의 내 코드)

Answer 1

가장 쉬운 방법은 내가 알고 있는가를 계산하는 임의의 spanning tree,다음 확인하는 나머지 가장자리가 없이 사이클에서 이중 그래프입니다.는 경우 dnext(e)지도 반 edge e 머리를 가진 v 을 다음 절반 가장자리에서 반 시계 방향 순서 머리를 가진 v,sym(e)반자는 반대자로부터,다음 rprev(e)=sym(dnext(e))다음 절반 가장자리에 시계 방향으로 동일한 권 얼굴입니다.구현했는 이 방법 Algorithm.java 프로젝트의 내: http://www.davideisenstat.com/trickle/

또는,당신은 당신이 사용할 수 있 오일러 특성이 있습니다.레이블이 정점(=의 사이클 en dnext)과 얼굴(=의 사이클 en rprev)고 결정하는 방법은 많은 구성 요소가 연결되어 있는 존재합니다.는지 확인합(V-C)+(F-C)=E.