Fast Exact Algorithms Using Hadamard Product of Polynomials

• Published in: Algorithmica 2022-02, Vol.84 (2), p.436-463
• Main Authors: Arvind, V., Chatterjee, Abhranil, Datta, Rajit, Mukhopadhyay, Partha
• Format: Article
• Language: English
• Subjects: Algorithm Analysis and Problem Complexity; Algorithms; Circuits; Computer Science; Computer Systems Organization and Communication Networks; Data Structures and Information Theory; Fields (mathematics); Mathematical analysis; Mathematics of Computing; Polynomials; Run time (computers); Search algorithms; Theory of Computation
• ISSN: 0178-4617; 1432-0541
• DOI: 10.1007/s00453-021-00900-0

Let C be an arithmetic circuit of size s , given as input that computes a polynomial f ∈ F [ x 1 , x 2 , … , x n ] , where F is a finite field or the field of rationals. Using the Hadamard product of polynomials, we obtain new algorithms for the following two problems first studied by Koutis and Williams (Faster algebraic algorithms for path and packing problems, 2008, https://doi.org/10.1007/978-3-540-70575-8_47 ; ACM Trans Algorithms 12(3):31:1–31:18, 2016, https://doi.org/10.1145/2885499 ; Inf Process Lett 109(6):315–318, 2009, https://doi.org/10.1016/j.ipl.2008.11.004 ): ( k , n ) - M L C : is the problem of computing the sum of the coefficients of all degree- k multilinear monomials in the polynomial f . We obtain a deterministic algorithm of running time n ↓ k / 2 · n O ( log k ) · s O ( 1 ) . This improvement over the O ( n k ) time brute-force search algorithm answers positively a question of Koutis and Williams (2016). As applications, we give exact counting algorithms, faster than brute-force search, for counting the number of copies of a tree of size k in a graph, and also the problem of exact counting of m -dimensional k -matchings. k - M M D : is the problem of checking if there is a degree- k multilinear monomial in the polynomial f with non-zero coefficient. We obtain a randomized algorithm of running time O ( 4 . 32 k · n O ( 1 ) ) . Additionally, our algorithm is polynomial space bounded. Other results include fast deterministic algorithms for ( k , n ) - M L C and k - M M D problems for depth three circuits.