Meta-theorems for Graph Polynomials

JA Makowsky - arXiv preprint arXiv:2405.02617, 2024 - arxiv.org
In this paper I survey the sources of inspiration for my own and co-authored work in trying to
develop a general theory of graph polynomials. I concentrate on meta-theorems, ie, theorem …

Graph polynomials: some questions on the edge

G Farr, K Morgan - arXiv preprint arXiv:2406.15746, 2024 - arxiv.org
We raise some questions about graph polynomials, highlighting concepts and phenomena
that may merit consideration in the development of a general theory. Our questions are …

[HTML][HTML] A logician's view of graph polynomials

JA Makowsky, EV Ravve, T Kotek - Annals of pure and applied logic, 2019 - Elsevier
Graph polynomials are graph parameters invariant under graph isomorphisms which take
values in a polynomial ring with a fixed finite number of indeterminates. We study graph …

[HTML][HTML] On the complexity of generalized chromatic polynomials

A Goodall, M Hermann, T Kotek, JA Makowsky… - Advances in Applied …, 2018 - Elsevier
Abstract J. Makowsky and B. Zilber (2004) showed that many variations of graph colorings,
called CP-colorings in the sequel, give rise to graph polynomials. This is true in particular for …

Logic-Based Computation of Graph Polynomials

T Kotek - Graph Polynomials, 2016 - taylorfrancis.com
Methods for computing graph polynomials have received considerable attention in the
literature. This chapter discusses a logic-based approach which guarantees efficient …

Semantic equivalence of graph polynomials definable in second order logic

JA Makowsky, EV Ravve - International Workshop on Logic, Language …, 2016 - Springer
We study semantic equivalence of multivariate graph polynomials via their distinctive power
introduced in (Makowsky, Ravve, Blanchard 2014) under the name of dp-equivalence …

Hankel Matrices: From Words to Graphs

JA Makowsky, N Labai - … Conference on Language and Automata Theory …, 2015 - Springer
We survey recent work on the use of Hankel matrices H (f,\Box) for real-valued graph
parameters f and a binary sum-like operation\Box on labeled graphs such as the disjoint …

The exact complexity of the Tutte polynomial

T Kotek, JA Makowsky - Handbook of the Tutte Polynomial and …, 2022 - api.taylorfrancis.com
In this chapter we explore the complexity of exactly computing the Tutte polynomial and its
evaluations for graphs and matroids in various models of computation. The Turing …

[PDF][PDF] Definability and Complexity of Graph Parameters (Invited Talk)

JA Makowsky - Computer Science Logic (CSL'12)-26th …, 2012 - drops.dagstuhl.de
Definability and Complexity of Graph Parameters Page 1 Definability and Complexity of
Graph Parameters Johann A. Makowsky Faculty of Computer Science, Technion–Israel …