답변:
작년에 SAGE 4.8에 간단한 DFS + DP 구현이 추가되었습니다 : sage.graphs.graph_decompositions.vertex_separation.path_decomposition
Cython (GNU GPL) 에서 여기 및 여기 에서 구현 됩니다 . 불필요한 것을 모두 무시하면 매우 간단하고 짧습니다. ω = p w ( G ) 인 시간 . 정리 규칙, 특히 휴리스틱에 의해 가속화 될 수 있습니다.
"구현"에 대해 모르지만 확인하십시오
2 ^ n보다 빠른 경로 계산 Karol Suchan 및 Yngve Villanger 매개 변수화 및 정확한 계산, 제 4 회 국제 워크샵, IWPEC 2009, 덴마크 코펜하겐, Springer Verlag, 컴퓨터 과학 강의 노트 5917, 페이지 324-335.
히사 오 타마키는 최근에 지시 된 경로 폭에 대한 정확한 알고리즘을 고안했다 (WG 2011). 여기서 그는 자신의 접근 방식을 성공적으로 적용한 사례 (ISCIT 2010)를 참조하므로 알고리즘을 구현 한 것 같습니다.
히사 오 타마키 : 부울 네트워크의 유인자를 정확하게 식별하기위한 지시 된 경로 분해 방식. 통신 및 정보 기술에 관한 국제 심포지엄 (ISCIT 2010), pp. 844-849
Hisao Tamaki : 경계 방향 경로에 대한 다항식 시간 알고리즘. 에서 : 컴퓨터 과학의 그래프 이론 개념에 관한 37 번째 국제 워크숍 (WG 2011), LNCS 6986, 331-342 쪽.