Eleni Bakali, Aggeliki Chalki, Andreas Göbel, Aris Pagourtzis, S. Zachos
{"title":"客座专栏:计算问题的全景图,其决策版本在P3中","authors":"Eleni Bakali, Aggeliki Chalki, Andreas Göbel, Aris Pagourtzis, S. Zachos","doi":"10.1145/3561064.3561072","DOIUrl":null,"url":null,"abstract":"Since Valiant's seminal work, where the complexity class #P was defined, much research has been done on counting complexity, from various perspectives. A question that permeates many of these efforts concerns the approximability of counting problems, in particular which of them admit an efficient approximation scheme (fpras). A counting problem (a function from Σ* to N) that admits an fpras must necessarily have an easy way to decide whether the output value is nonzero. Having this in mind, we focus our attention on classes of counting problems, the decision version of which is in P (or in RP). We discuss structural characterizations for classes of such problems under various lenses: Cook and Karp reductions, path counting in non-deterministic Turing machines, approximability and approximation-preserving reductions, easy decision by randomization, descriptive complexity, and interval-size functions. We end up with a rich landscape inside #P, revealing a number of inclusions and separations among complexity classes of easy-to-decide counting problems.","PeriodicalId":387985,"journal":{"name":"ACM SIGACT News","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2022-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Guest column: A panorama of counting problems the decision version of which is in P3\",\"authors\":\"Eleni Bakali, Aggeliki Chalki, Andreas Göbel, Aris Pagourtzis, S. Zachos\",\"doi\":\"10.1145/3561064.3561072\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Since Valiant's seminal work, where the complexity class #P was defined, much research has been done on counting complexity, from various perspectives. A question that permeates many of these efforts concerns the approximability of counting problems, in particular which of them admit an efficient approximation scheme (fpras). A counting problem (a function from Σ* to N) that admits an fpras must necessarily have an easy way to decide whether the output value is nonzero. Having this in mind, we focus our attention on classes of counting problems, the decision version of which is in P (or in RP). We discuss structural characterizations for classes of such problems under various lenses: Cook and Karp reductions, path counting in non-deterministic Turing machines, approximability and approximation-preserving reductions, easy decision by randomization, descriptive complexity, and interval-size functions. We end up with a rich landscape inside #P, revealing a number of inclusions and separations among complexity classes of easy-to-decide counting problems.\",\"PeriodicalId\":387985,\"journal\":{\"name\":\"ACM SIGACT News\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2022-08-30\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"ACM SIGACT News\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/3561064.3561072\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"ACM SIGACT News","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/3561064.3561072","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Guest column: A panorama of counting problems the decision version of which is in P3
Since Valiant's seminal work, where the complexity class #P was defined, much research has been done on counting complexity, from various perspectives. A question that permeates many of these efforts concerns the approximability of counting problems, in particular which of them admit an efficient approximation scheme (fpras). A counting problem (a function from Σ* to N) that admits an fpras must necessarily have an easy way to decide whether the output value is nonzero. Having this in mind, we focus our attention on classes of counting problems, the decision version of which is in P (or in RP). We discuss structural characterizations for classes of such problems under various lenses: Cook and Karp reductions, path counting in non-deterministic Turing machines, approximability and approximation-preserving reductions, easy decision by randomization, descriptive complexity, and interval-size functions. We end up with a rich landscape inside #P, revealing a number of inclusions and separations among complexity classes of easy-to-decide counting problems.