A Wikipedia fornece exemplos de problemas em que a versão de contagem é difícil, enquanto a versão de decisão é fácil. Algumas delas estão contando combinações perfeitas, contando o número de soluções para SAT e o número de classificações topológicas.
Existem outras classes importantes (digamos exemplos em treliças, árvores, teoria dos números e assim por diante)? Existe um compêndio de tais problemas?
Existem muitos tipos de problemas em que possuem versões de contagem -hard.
Existe uma versão de um problema natural em que é mais completamente compreendida ou mais simples do que a correspondência perfeita bipartida geral (inclua detalhes sobre por que mais simples, como estar provável nas classes mais baixas da hierarquia e assim por diante) em outras área (como teoria dos números, reticulados) ou, pelo menos, para gráficos bipartidos simples em particular, cuja versão contadora é -hard?
Serão apreciados exemplos de treliças, polítopos, contagem de pontos e teoria dos números .