Document

# A Fixed-Parameter Perspective on #BIS

## File

LIPIcs.IPEC.2017.13.pdf
• Filesize: 0.57 MB
• 13 pages

## Cite As

Radu Curticapean, Holger Dell, Fedor V. Fomin, Leslie Ann Goldberg, and John Lapinskas. A Fixed-Parameter Perspective on #BIS. In 12th International Symposium on Parameterized and Exact Computation (IPEC 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 89, pp. 13:1-13:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
https://doi.org/10.4230/LIPIcs.IPEC.2017.13

## Abstract

The problem of (approximately) counting the independent sets of a bipartite graph (#BIS) is the canonical approximate counting problem that is complete in the intermediate complexity class #RHPi_1. It is believed that #BIS does not have an efficient approximation algorithm but also that it is not NP-hard. We study the robustness of the intermediate complexity of #BIS by considering variants of the problem parameterised by the size of the independent set. We map the complexity landscape for three problems, with respect to exact computation and approximation and with respect to conventional and parameterised complexity. The three problems are 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 amongst those with a given number of vertices in one vertex class. Among other things, we show that all of these problems are NP-hard to approximate within any polynomial ratio. (This is surprising because the corresponding problems without the size parameter are complete in #RHPi_1, and hence are not believed to be NP-hard.) We also show that the first problem is #W[1]-hard to solve exactly but admits an FPTRAS, whereas the other two are W[1]-hard to approximate even within any polynomial ratio. Finally, we show that, when restricted to graphs of bounded degree, all three problems have efficient exact fixed-parameter algorithms.
##### Keywords
• Approximate counting
• parameterised complexity
• independent sets

## Metrics

• Access Statistics
• Total Accesses (updated on a weekly basis)
0

## References

1. V. Arvind and V. Raman. Approximation Algorithms for Some Parameterized Counting Problems, pages 453-464. Springer Berlin Heidelberg, Berlin, Heidelberg, 2002.
2. Jin-Yi Cai, Andreas Galanis, Leslie Ann Goldberg, Heng Guo, Mark Jerrum, Daniel Stefankovic, and Eric Vigoda. #bis-hardness for 2-spin systems on bipartite bounded degree graphs in the tree non-uniqueness region. J. Comput. Syst. Sci., 82(5):690-711, 2016. URL: http://dx.doi.org/10.1016/j.jcss.2015.11.009.
3. R. Curticapean, H. Dell, and D. Marx. Homomorphisms are a good basis for counting small subgraphs. In Proc. STOC 2017, pages 210-213, 2017.
4. M. Cygan, F. Fomin, L. Kowalik, D. Lokshtanov, D. Marx, M. Pilipczuk, M. Pilipczuk, and S. Saurabh. Parameterized Algorithms. Springer, Berlin Heidelberg, 2015.
5. R. G. Downey and M. R. Fellows. Fundamentals of Parameterized Complexity. Springer Publishing Company, Incorporated, 2013.
6. Martin E. Dyer, Leslie Ann Goldberg, Catherine S. Greenhill, and Mark Jerrum. The relative complexity of approximate counting problems. Algorithmica, 38(3):471-500, 2004. URL: http://dx.doi.org/10.1007/s00453-003-1073-y.
7. J. Flum and M. Grohe. The parameterized complexity of counting problems. SIAM J. Comput., 33(4):892-922, 2004.
8. J. Flum and M. Grohe. Parameterized complexity theory. Springer-Verlag, Berlin Heidelberg, 2006.
9. M. Frick. Generalized model-checking over locally tree-decomposable classes. Theory of Computing Systems, 37(1):157-191, 2004.
10. Andreas Galanis, Daniel Stefankovic, Eric Vigoda, and Linji Yang. Ferromagnetic potts model: Refined #bis-hardness and related results. SIAM J. Comput., 45(6):2004-2065, 2016. URL: http://dx.doi.org/10.1137/140997580.
11. L. A. Goldberg and M. Jerrum. A complexity classification of spin systems with an external field. Proceedings of the National Academy of Sciences, 112(43):13161-13166, 2015.
12. R. Impagliazzo and R. Paturi. On the complexity of k-SAT. J. Comput. Syst. Sci., 62(2):367-375, 2001.
13. S. Janson, T. Łuczak, and A. Rucinski. Random Graphs. John Wiley &Sons, Inc., 2000.
14. Jingcheng Liu and Pinyan Lu. FPTAS for #bis with degree bounds on one side. In Rocco A. Servedio and Ronitt Rubinfeld, editors, Proceedings of the Forty-Seventh Annual ACM on Symposium on Theory of Computing, STOC 2015, Portland, OR, USA, June 14-17, 2015, pages 549-556. ACM, 2015. URL: http://dx.doi.org/10.1145/2746539.2746598.
15. László Lovász. Large Networks and Graph Limits, volume 60 of Colloquium Publications. American Mathematical Society, 2012. URL: http://www.ams.org/bookstore-getitem/item=COLL-60.
16. M. Müller. Randomized approximations of parameterized counting problems. In Proc. IWPEC 2006, pages 50-59, Berlin, Heidelberg, 2006. Springer-Verlag.
17. Viresh Patel and Guus Regts. Deterministic polynomial-time approximation algorithms for partition functions and graph polynomials. CoRR, abs/1607.01167, 2016. URL: http://arxiv.org/abs/1607.01167.
18. M. Sipser. Introduction to the Theory of Computation. International Thomson Publishing, 1st edition, 1996.
19. M. Xia, P. Zhang, and W. Zhao. Computational complexity of counting problems on 3-regular planar graphs. Theoretical Computer Science, 384(1):111-125, 2007.