Title:A Fixed-Parameter Perspective on #BIS

Abstract:The complexity of approximately counting independent sets in bipartite graphs (#BIS) is a central open problem in approximate counting, and it is widely believed to be neither easy nor NP-hard. We study several natural parameterised variants of #BIS, both from the polynomial-time and from the fixed-parameter viewpoint: counting independent sets of a given size; counting independent sets with a given number of vertices in one vertex class; and counting maximum independent sets among those with a given number of vertices in one vertex class. Among other things, we show that all these problems are NP-hard to approximate within any polynomial ratio. We also show that the first problem is #W[1]-hard to solve exactly but admits an FPTRAS, and the other two are W[1]-hard to approximate within any polynomial ratio. Finally, we show that when restricted to graphs of bounded degree, all three problems admit exact fixed-parameter algorithms with reasonable time complexity.