Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
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 …
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 …
that may merit consideration in the development of a general theory. Our questions are …
[HTML][HTML] A logician's view of graph polynomials
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 …
values in a polynomial ring with a fixed finite number of indeterminates. We study graph …
[HTML][HTML] On the complexity of generalized chromatic polynomials
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 …
called CP-colorings in the sequel, give rise to graph polynomials. This is true in particular for …
The exact complexity of the Tutte polynomial
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 …
evaluations for graphs and matroids in various models of computation. The Turing …
Semantic equivalence of graph polynomials definable in second order logic
We study semantic equivalence of multivariate graph polynomials via their distinctive power
introduced in (Makowsky, Ravve, Blanchard 2014) under the name of dp-equivalence …
introduced in (Makowsky, Ravve, Blanchard 2014) under the name of dp-equivalence …
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 …
literature. This chapter discusses a logic-based approach which guarantees efficient …
Hankel Matrices: From Words to Graphs
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 …
parameters f and a binary sum-like operation\Box on labeled graphs such as the disjoint …
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 …
Graph Parameters Johann A. Makowsky Faculty of Computer Science, Technion–Israel …