Counting Small Induced Subgraphs with Hereditary Properties

. We study the computational complexity of the problem \ (\#I NDS UB () \) of counting \ (k\) -vertex induced subgraphs of a graph \ (G\) that satisfy a graph property \ (\). Our main result establishes an exhaustive and explicit classification for all hereditary properties, including tight conditional lower bounds under the Exponential Time Hypothesis (ETH): If a hereditary property \ (\) is true for all graphs, or if it is true only for finitely many graphs, then \ (\#I NDS UB () \) is solvable in polynomial time. Otherwise, \ (\#I NDS UB () \) is \ (\#W1\) -complete when parameterized by \ (k\), and, assuming ETH, it cannot be solved in time \ (f (k) |G|^o (k) \) for any function \ (f\). This classification features a wide range of properties for which the corresponding detection problem (as classified by Khot and Raman Theoret. Comput. Sci. , 289 (2002), pp. 997–1008) is tractable but counting is hard. Moreover, even for properties which are already intractable in their decision version, our results yield significantly stronger lower bounds for the counting problem. As an additional result, we also present an exhaustive and explicit parameterized complexity classification for all properties that are invariant under homomorphic equivalence. By covering one of the most natural and general notions of closure, namely, closure under vertex-deletion (hereditary), we generalize some of the earlier results on this problem. For instance, our results fully subsume and strengthen the existing classification of \ (\#I NDS UB () \) for monotone (subgraph-closed) properties due to Roth, Schmitt, and Wellnitz SIAM J. Comput. , (2022), pp. FOCS20-139–FOCS20-174. Keywordscounting complexityparameterized complexityinduced subgraphshereditary propertiesfine-grained complexitygraph homomorphismsMSC codes68Q1768Q2568R10