Efficient computation of generalized Ising polynomials on graphs with fixed clique-width
From MaRDI portal
Abstract: Graph polynomials which are definable in Monadic Second Order Logic (MSOL) on the vocabulary of graphs are Fixed-Parameter Tractable (FPT) with respect to clique-width. In contrast, graph polynomials which are definable in MSOL on the vocabulary of hypergraphs are fixed-parameter tractable with respect to tree-width, but not necessarily with respect to clique width. No algorithmic meta-theorem is known for the computation of graph polynomials definable in MSOL on the vocabulary of hypergraphs with respect to clique-width. We define an infinite class of such graph polynomials extending the class of graph polynomials definable in MSOL on the vocabulary of graphs and prove that they are Fixed-Parameter Polynomial Time (FPPT) computable, i.e. that they can be computed in time , where is the number of vertices and is the clique-width.
Recommendations
- Computing Graph Polynomials on Graphs of Bounded Clique-Width
- Farrell polynomials on graphs of bounded tree width
- Computing the Tutte Polynomial on Graphs of Bounded Clique‐Width
- Graph-Theoretic Concepts in Computer Science
- A multivariate interlace polynomial and its computation for graphs of bounded clique-width
Cited in
(1)
This page was built for publication: Efficient computation of generalized Ising polynomials on graphs with fixed clique-width
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2798025)