Buchumschlag

An Algorithmic Meta Theorem for Homomorphism Indistinguishability

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Seppelt, Tim
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science Computational Complexity Discrete Mathematics Combinatorics
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Logical Equivalences, Homomorphism Indistinguishability, and Forbidden Minors
von: Seppelt, Tim
Veröffentlicht: (2023)

Lasserre Hierarchy for Graph Isomorphism and Homomorphism Indistinguishability
von: Roberson, David E., et al.
Veröffentlicht: (2023)

Homomorphism Indistinguishability, Multiplicity Automata Equivalence, and Polynomial Identity Testing
von: Černý, Marek, et al.
Veröffentlicht: (2025)

Distinguishing Graphs by Counting Homomorphisms from Sparse Graphs
von: Neuen, Daniel, et al.
Veröffentlicht: (2026)

Lower Bounds in Algebraic Complexity via Symmetry and Homomorphism Polynomials
von: Dwivedi, Prateek, et al.
Veröffentlicht: (2026)

Restricted CSPs and F-free Digraph Algorithmics
von: Guzmán-Pro, Santiago, et al.
Veröffentlicht: (2025)

Advances in Algorithmic Meta Theorems
von: Siebertz, Sebastian, et al.
Veröffentlicht: (2024)

Going deep and going wide: Counting logic and homomorphism indistinguishability over graphs of bounded treedepth and treewidth
von: Adler, Isolde, et al.
Veröffentlicht: (2025)

The Richness of CSP Non-redundancy
von: Brakensiek, Joshua, et al.
Veröffentlicht: (2025)

A Classification of Long-Refinement Graphs for Colour Refinement
von: Kiefer, Sandra, et al.
Veröffentlicht: (2025)

Reconfiguring Graph Homomorphisms on the Sphere
von: Lee, Jae-Baek, et al.
Veröffentlicht: (2018)

Complexity Aspects of Homomorphisms of Ordered Graphs
von: Čertík, Michal, et al.
Veröffentlicht: (2025)

Graph Homomorphisms and Universal Algebra
von: Bodirsky, Manuel
Veröffentlicht: (2026)

Small unsatisfiable $k$-CNFs with bounded literal occurrence
von: Zhang, Tianwei, et al.
Veröffentlicht: (2024)

The Rise of Plurimorphisms: Algebraic Approach to Approximation
von: Barto, Libor, et al.
Veröffentlicht: (2024)

Rice-like complexity lower bounds for Boolean and uniform automata networks
von: Goubault-Larrecq, Aliénor, et al.
Veröffentlicht: (2024)

Complexity lower bounds for succinct binary structures of bounded clique-width with restrictions
von: Geniet, Colin, et al.
Veröffentlicht: (2026)

The Unit Gap: How Sharing Works in Boolean Circuits
von: Krinkin, Kirill
Veröffentlicht: (2026)

Flip-Breakability: A Combinatorial Dichotomy for Monadically Dependent Graph Classes
von: Dreier, Jan, et al.
Veröffentlicht: (2024)

Separability Properties of Monadically Dependent Graph Classes
von: Bonnet, Édouard, et al.
Veröffentlicht: (2025)

Existential Positive Transductions of Sparse Graphs
von: Mählmann, Nikolas, et al.
Veröffentlicht: (2026)

Characterizations of monadically dependent tree-ordered weakly sparse structures
von: Buffière, Hector, et al.
Veröffentlicht: (2026)

Decomposition horizons and a characterization of stable hereditary classes of graphs
von: Braunfeld, Samuel, et al.
Veröffentlicht: (2022)

Epsilon-saturation for stable graphs and Littlestone classes
von: Malliaris, Maryanthe, et al.
Veröffentlicht: (2025)

On first-order transductions of classes of graphs
von: Braunfeld, Samuel, et al.
Veröffentlicht: (2022)

Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO
von: Mählmann, Nikolas
Veröffentlicht: (2025)

Algorithmic methods of finite discrete structures. Graph clique problem
von: Kurapov, Sergey, et al.
Veröffentlicht: (2024)

First order distinguishability of sparse random graphs
von: Hershko, Tal, et al.
Veröffentlicht: (2024)

An Upper Bound on the Weisfeiler-Leman Dimension
von: Schneider, Thomas, et al.
Veröffentlicht: (2024)

Bounding the Weisfeiler-Leman Dimension via a Depth Analysis of I/R-Trees
von: Kiefer, Sandra, et al.
Veröffentlicht: (2024)

First-order transducibility among classes of sparse graphs
von: Gajarský, Jakub, et al.
Veröffentlicht: (2025)

Twin-width and permutations
von: Bonnet, Édouard, et al.
Veröffentlicht: (2021)

North-East Lattice Paths Avoiding $k$ Collinear Points via Satisfiability
von: Barnoff, Aaron, et al.
Veröffentlicht: (2025)

Super-linear Lower Bounds for CSP Non-Redundancy via Shrinking Instances
von: Brakensiek, Joshua, et al.
Veröffentlicht: (2026)

On the generalized coloring numbers
von: Siebertz, Sebastian
Veröffentlicht: (2025)

3D-grids are not transducible from planar graphs
von: Gajarský, Jakub, et al.
Veröffentlicht: (2025)

First-order logic axiomatization of metric graph theory
von: Chalopin, Jérémie, et al.
Veröffentlicht: (2022)

Transducing Linear Decompositions of Tournaments
von: Geniet, Colin, et al.
Veröffentlicht: (2026)

First-Order Logic and Twin-Width for Some Geometric Graphs
von: Geniet, Colin, et al.
Veröffentlicht: (2025)

Some remarks on the uncolored versions of the original CFI-graphs
von: Chen, Yijia, et al.
Veröffentlicht: (2025)