Graph Polynomials: From Recursive Definitions To Subset Expansion Formulas

Benny Godlin,Emilia Katz,Johann A. Makowsky
DOI: https://doi.org/10.48550/arXiv.0812.1364
2008-12-08
Abstract:Many graph polynomials, such as the Tutte polynomial, the interlace polynomial and the matching polynomial, have both a recursive definition and a defining subset expansion formula. In this paper we present a general, logic-based framework which gives a precise meaning to recursive definitions of graph polynomials. We then prove that in this framework every recursive definition of a graph polynomial can be converted into a subset expansion formula.
Logic in Computer Science,Discrete Mathematics
What problem does this paper attempt to address?