#Pおよび/またはカウントの問題に関する調査

誰でも#Pである問題および/または問題を数えることに関する最近のよい調査を提案できますか。

L.フォートノウ。複雑さを数える。L. HemaspaandraおよびA. Selman、編集者、Complexity Theory Retrospective II、81-107ページ。スプリンガー、1997

これにより、構造上の複雑さの観点（複雑度クラス、オラクルなど）がより多くなり、＃Pに関連する他のクラスについて説明します。それは、ほぼ15年前からですが、それは本当にありません、その結果の面で日付のうち。

Mark JerrumのETH講義ノートをお試しください。無料版は、彼のウェブサイトから入手できます。

Pinyan Luは2011年半ばにECCCを介して調査を公開しました。3 つの一般的なカウントフレームワークを比較しています。

• グラフ準同型の数え上げ、
• 制約満足度のカウント（#CSP）、および
• Holantフレームワーク
• （およびこれらのフレームワークの制限）。

彼はまた、現在の二分法の定理とそれらを得るために使用される証明技術についても議論します。

Xi Chen は、2011年後半にSIGACT Newsのゲストコラムとして調査を公開しました。複素数の重み（arXiv）および非負の重みの#CSP（arXiv）。

およそ同時に、カイとチェンは、複雑な加重#CSPsのための二分法（公開arXivのカイ）は、議論をがGodel's Lost LetterおよびP = NPブログのゲスト投稿でました。

問題をカウントする別のフレームワークは、 、グラフのTutte多項式をすることです。このフレームワークでは、2つの複素数がカウントの問題を定義します。

本Matroid Applicationsは、第6章をTutte多項式とそのアプリケーションに捧げています。。前のリンクは、共著者の1人であるJames OxleyのWebサイトからその章をスキャンしたものです。前学期、彼はその章に基づいたコースを教えました。

このトピックに関する別の参考資料は、ウェールズによるこの調査のような論文です。