미성년자가 그래프에 존재하는지 테스트하기에 좋은 라이브러리?

주어진 그래프에 특정 마이너 세트가 있는지 테스트하기 위해 무료 그래프 라이브러리가 있는지 알고 싶습니다.

graph-algorithms implementation graph-minor

— 후만
소스

나는 원한다 ! 훌륭한 ALENEX / SEA 용지 또는 용지 세트입니다.

— Suresh Venkat

NAUTY 는 작은 대한 그래프 마이너의 전체 poset에 대한 해시 테이블을 빌드하는 데 도움이되는 라이브러리로 사용할 수 있습니다 . 핵심은 NAUTY가 제공 한 정식 형식이며, 가치는 정식 미성년자의 정식 형식으로 정렬 된 순서입니다. $n$

— 차드 브루베이커
소스

예, 그러나 해상은 (내가 아는 한) 미성년자 를 찾는 방법을 제공하지 않습니다 . 또한, 질문, 나는 모든 인스턴스의 해시 테이블 밖으로 ... 그 초기 문제를 해결하는 데 도움이 방법을 구축 표시되지 않습니다에 대한 단지 존재 / 미성년자의 특정 세트의 부재라고 주어진

— 여호수아 Grochow을

Wendy Myrvold와 Brendan McKay는 NAUTY를 지원 라이브러리로 사용하여 많은 사소한 연구를 수행합니다. 삭제 가능한 수의 정점으로 내려갈 때까지 삭제 / 결합에 대한 DFS는 미리 계산 된 포즈를 쿼리합니다. DFS를 수행하는 방법은 찾고있는 미성년자 유형에 따라 다릅니다.

— Chad Brewbaker

흥미 롭습니다! 그 부분을 답으로 만들어야합니다. 또한, 당신은 참조를 줄 수 있습니까? 찾을 수 없었습니다.

— Joshua Grochow