경로폭·클리크폭 제한 행렬의 영구와 완전 매칭 표현력 연구

본 논문은 경로폭(pathwidth)과 가중 클리크폭(weighted cliquewidth)이 제한된 행렬에 대해 영구(permanent), 해밀턴ian, 그리고 완전 매칭 수의 계산 복잡도를 분석한다. 저자들은 경로폭이 제한된 경우 이들 다항식이 정확히 산술 공식(arithmetic formulas)과 동등함을 보이며, 가중 클리크폭이 제한된 경우에는 VP 클래스 안에 포함됨을 증명한다.

저자: Uffe Flarup (IMADA), Laurent Lyaudet (LIP)