Copertina

3D-grids are not transducible from planar graphs

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Gajarský, Jakub, Pilipczuk, Michał, Pokrývka, Filip
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science Discrete Mathematics Combinatorics
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

First-order transducibility among classes of sparse graphs
di: Gajarský, Jakub, et al.
Pubblicazione: (2025)

Efficient reversal of transductions of sparse graph classes
di: Dreier, Jan, et al.
Pubblicazione: (2026)

Elementary first-order model checking for sparse graphs
di: Gajarský, Jakub, et al.
Pubblicazione: (2024)

Flipper games for monadically stable graph classes
di: Gajarský, Jakub, et al.
Pubblicazione: (2023)

Graph classes through the lens of logic
di: Pilipczuk, Michał
Pubblicazione: (2025)

Obstructions and dualities for matroid depth parameters
di: Gajarský, Jakub, et al.
Pubblicazione: (2025)

Separability Properties of Monadically Dependent Graph Classes
di: Bonnet, Édouard, et al.
Pubblicazione: (2025)

On first-order transductions of classes of graphs
di: Braunfeld, Samuel, et al.
Pubblicazione: (2022)

Epsilon-saturation for stable graphs and Littlestone classes
di: Malliaris, Maryanthe, et al.
Pubblicazione: (2025)

Decomposition horizons and a characterization of stable hereditary classes of graphs
di: Braunfeld, Samuel, et al.
Pubblicazione: (2022)

On classes of bounded tree rank, their interpretations, and efficient sparsification
di: Gajarský, Jakub, et al.
Pubblicazione: (2024)

First order distinguishability of sparse random graphs
di: Hershko, Tal, et al.
Pubblicazione: (2024)

Some remarks on the uncolored versions of the original CFI-graphs
di: Chen, Yijia, et al.
Pubblicazione: (2025)

First-order logic axiomatization of metric graph theory
di: Chalopin, Jérémie, et al.
Pubblicazione: (2022)

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

Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO
di: Mählmann, Nikolas
Pubblicazione: (2025)

Advances in Algorithmic Meta Theorems
di: Siebertz, Sebastian, et al.
Pubblicazione: (2024)

Existential Positive Transductions of Sparse Graphs
di: Mählmann, Nikolas, et al.
Pubblicazione: (2026)

Characterizations of monadically dependent tree-ordered weakly sparse structures
di: Buffière, Hector, et al.
Pubblicazione: (2026)

Flip-Breakability: A Combinatorial Dichotomy for Monadically Dependent Graph Classes
di: Dreier, Jan, et al.
Pubblicazione: (2024)

Strong odd colorings in graph classes of bounded expansion
di: Pilipczuk, Michał
Pubblicazione: (2025)

Distinguishing Graphs by Counting Homomorphisms from Sparse Graphs
di: Neuen, Daniel, et al.
Pubblicazione: (2026)

North-East Lattice Paths Avoiding $k$ Collinear Points via Satisfiability
di: Barnoff, Aaron, et al.
Pubblicazione: (2025)

On the generalized coloring numbers
di: Siebertz, Sebastian
Pubblicazione: (2025)

First-Order Logic and Twin-Width for Some Geometric Graphs
di: Geniet, Colin, et al.
Pubblicazione: (2025)

Queen Domination by SAT Solving
di: Rostami, Taha, et al.
Pubblicazione: (2025)

Twin-width and permutations
di: Bonnet, Édouard, et al.
Pubblicazione: (2021)

An Upper Bound on the Weisfeiler-Leman Dimension
di: Schneider, Thomas, et al.
Pubblicazione: (2024)

Super-linear Lower Bounds for CSP Non-Redundancy via Shrinking Instances
di: Brakensiek, Joshua, et al.
Pubblicazione: (2026)

Transducing Linear Decompositions of Tournaments
di: Geniet, Colin, et al.
Pubblicazione: (2026)

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

First order complexity of finite random structures
di: Demin, Danila, et al.
Pubblicazione: (2024)

On graphs coverable by chubby shortest paths
di: Hatzel, Meike, et al.
Pubblicazione: (2025)

Verified Certificates via SAT and Computer Algebra Systems for the Ramsey $R(3, 8)$ and $R(3, 9)$ Problems
di: Li, Zhengyu, et al.
Pubblicazione: (2025)

Maintaining $\mathsf{CMSO}_2$ properties on dynamic structures with bounded feedback vertex number
di: Majewski, Konrad, et al.
Pubblicazione: (2021)

The unstable formula theorem revisited via algorithms
di: Malliaris, Maryanthe, et al.
Pubblicazione: (2022)

Agnostic Online Learning and Excellent Sets
di: Malliaris, Maryanthe, et al.
Pubblicazione: (2021)

The domino problem is decidable for robust tilesets
di: Aubrun, Nathalie, et al.
Pubblicazione: (2024)

Symbolic Sets for Proving Bounds on Rado Numbers
di: Ahmed, Tanbir, et al.
Pubblicazione: (2025)

Restricted CSPs and F-free Digraph Algorithmics
di: Guzmán-Pro, Santiago, et al.
Pubblicazione: (2025)