{"title":"Complexity Classification of Complex-Weighted Counting Acyclic Constraint Satisfaction Problems","authors":"Tomoyuki Yamakami","doi":"arxiv-2403.09145","DOIUrl":null,"url":null,"abstract":"We study the computational complexity of counting constraint satisfaction\nproblems (#CSPs) whose constraints assign complex numbers to Boolean inputs\nwhen the corresponding constraint hypergraphs are acyclic. These problems are\ncalled acyclic #CSPs or succinctly, #ACSPs. We wish to determine the\ncomputational complexity of all such #ACSPs when arbitrary unary constraints\nare freely available. Depending on whether we further allow or disallow the\nfree use of the specific constraint XOR (binary disequality), we present two\ncomplexity classifications of the #ACSPs according to the types of constraints\nused for the problems. When XOR is freely available, we first obtain a complete\ndichotomy classification. On the contrary, when XOR is not available for free,\nwe then obtain a trichotomy classification. To deal with an acyclic nature of\nconstraints in those classifications, we develop a new technical tool called\nacyclic-T-constructibility or AT-constructibility, and we exploit it to analyze\na complexity upper bound of each #ACSPs.","PeriodicalId":501033,"journal":{"name":"arXiv - CS - Symbolic Computation","volume":"59 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-03-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - CS - Symbolic Computation","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2403.09145","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
We study the computational complexity of counting constraint satisfaction
problems (#CSPs) whose constraints assign complex numbers to Boolean inputs
when the corresponding constraint hypergraphs are acyclic. These problems are
called acyclic #CSPs or succinctly, #ACSPs. We wish to determine the
computational complexity of all such #ACSPs when arbitrary unary constraints
are freely available. Depending on whether we further allow or disallow the
free use of the specific constraint XOR (binary disequality), we present two
complexity classifications of the #ACSPs according to the types of constraints
used for the problems. When XOR is freely available, we first obtain a complete
dichotomy classification. On the contrary, when XOR is not available for free,
we then obtain a trichotomy classification. To deal with an acyclic nature of
constraints in those classifications, we develop a new technical tool called
acyclic-T-constructibility or AT-constructibility, and we exploit it to analyze
a complexity upper bound of each #ACSPs.