Опитування щодо #P та / або підрахунку проблем

Хто-небудь може запропонувати хороше та недавнє опитування щодо підрахунку проблем та / або проблем, які є #P.

Л. Фортнова. Підрахунок складності . У Л. Гемаспаандрі та А. Сельмані, редактори, Теорія складності Ретроспектива II, стор. 81-107. Спрингер, 1997

Це дає більшу точку зору на структурну складність (класи складності, оракули тощо) та обговорює інші класи, пов'язані з #P. Незважаючи на те, що це від майже 15 років тому, це дійсно не що застаріли з точки зору результатів.

Спробуйте записки лекцій Марка Джерума ETH . Безкоштовна версія доступна на його веб-сайті тут .

Піньян Лу опублікував опитування через ECCC в середині 2011 року. Він порівнює три популярні рамки підрахунку:

• Підрахунок графіку гомоморфізмів,
• Підрахунок задоволеності обмеженнями (#CSP) та
• рамки Голанта
• (та обмеження цих рамок).

Він також обговорює сучасні теореми про дихотомію та доказові методи, які використовуються для їх отримання.

Сі Сі Чен опублікував опитування в якості гостьової колонки для SIGACT News наприкінці 2011 року. У ньому обговорюються результати та методи, що ведуть до та включають його документи з Джин-Ін Кай і Піньян Лу про дихотомії підрахунку гомоморфізмів графів, визначених непрямим цільовим графіком з складні ваги ( arXiv ) та негативно зважені #CSP ( arXiv ).

Приблизно в той же час Кай і Чень опублікували дихотомію для складнозважених #CSP ( arXiv ), яку Кай обговорював у гостьовій публікації на блозі «Загублений лист Годеля» та P = NP .

Інша основа підрахунку проблем походить від обчислення полінома Тутта графа. У цьому рамках будь-яке два складних числа визначає задачу підрахунку.

Книга Matroid Applications присвячує 6 розділ Поліному Тутта та його застосуванням . Попереднє посилання - це сканування цієї глави з веб-сайту Джеймса Окслі , одного з співавторів. У минулому семестрі він викладав курс, заснований на цій главі.

Ще однією хорошою посиланням на цю тему є цей валлійський документ, схожий на опитування .