Computer Science – Logic in Computer Science
Scientific paper
2008-12-07
Computer Science
Logic in Computer Science
25 pages, 2 figures
Scientific paper
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.
Godlin Benny
Katz Emilia
Makowsky Johann A.
No associations
LandOfFree
Graph Polynomials: From Recursive Definitions To Subset Expansion Formulas does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Graph Polynomials: From Recursive Definitions To Subset Expansion Formulas, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Graph Polynomials: From Recursive Definitions To Subset Expansion Formulas will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-450246