Boolean approximate counting CSPs with weak conservativity, and implications for ferromagnetic two-spin
We analyse the complexity of approximate counting constraint satisfactions problems #CSP(F), where F is a set of nonnegative rational-valued functions of Boolean variables. A complete classification is known if F contains arbitrary unary functions. We strengthen this result by fixing any permissive...
Main Authors: | Backens, M, Bulatov, A, Goldberg, LA, McQuillan, C, Živný, S |
---|---|
Format: | Journal article |
Jezik: | English |
Izdano: |
Elsevier
2019
|
Podobne knjige/članki
-
The complexity of counting locally maximal satisfying assignments of Boolean CSPs
od: Goldberg, L, et al.
Izdano: (2016) -
The complexity of Boolean surjective general-valued CSPs
od: Fulla, P, et al.
Izdano: (2017) -
The complexity of Boolean surjective general-valued CSPs
od: Fulla, P, et al.
Izdano: (2017) -
The complexity of Boolean surjective general-valued CSPs
od: Fulla, P, et al.
Izdano: (2018) -
The complexity of conservative valued CSPs
od: Kolmogorov, V, et al.
Izdano: (2011)