답변:
L. 포트 노우. 계산 복잡성 . L. Hemaspaandra와 A. Selman, Complexity Theory Retrospective II, 81-107 쪽의 편집자. 1997 년 스프링거
이를 통해 더 많은 구조적 복잡성 관점 (복잡성 클래스, oracles 등)을 제공하고 #P와 관련된 다른 클래스에 대해 설명합니다. 거의 15 년 전에 출신이지만, 정말 아니에요 그 결과의 측면에서 구식.
Pinyan Lu 는 2011 년 중반 ECCC를 통해 설문 조사 를 발표했습니다 .이 보고서는 다음 세 가지 인기있는 계산 프레임 워크를 비교합니다.
또한 현재의 이분법 정리와이를 얻기 위해 사용 된 증명 기법에 대해서도 설명합니다.
Xi Chen 은 2011 년 말 SIGACT News의 초청 칼럼 으로 설문 조사 를 발표했습니다 .이 보고서는 Jin-Yi Cai 및 Pinyan Lu의 논문을 포함하여 결과에 포함되지 않은 대상 그래프로 정의 된 그래프 동형도를 세는 이분법에 관한 논문을 포함합니다. 복소수 가중치 ( arXiv ) 및 음수가 아닌 #CSP ( arXiv ).
약 동시에, 카이 첸은 복잡한 가중 #CSPs에 대한 이분법 (게시 arXiv 카이), 논의 온 게스트 게시물에 괴델의 분실 문자 및 P = NP 블로그.
계산 문제의 또 다른 프레임 워크 는 그래프 의 Tutte 다항식 을 계산하는 데 있습니다. 이 프레임 워크에서 두 개의 복소수는 계산 문제를 정의합니다.
Matroid Applications 책은 6 장을 Tutte 다항식과 그 응용에 바칩니다 . 이전 링크는 공동 저자 중 하나 인 James Oxley 웹 사이트 에서 해당 장을 스캔 한 것입니다. 지난 학기, 그는 그 장을 기반으로 한 과정을 가르쳤습니다.
이 주제에 대한 또 다른 좋은 참고 자료는 Welsh 의이 설문 조사와 같은 논문 입니다.