Buchumschlag

On classes of bounded tree rank, their interpretations, and efficient sparsification

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Gajarský, Jakub, McCarty, Rose
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Discrete Mathematics Data Structures and Algorithms Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Flipper games for monadically stable graph classes
von: Gajarský, Jakub, et al.
Veröffentlicht: (2023)

Elementary first-order model checking for sparse graphs
von: Gajarský, Jakub, et al.
Veröffentlicht: (2024)

Solving Partial Dominating Set and Related Problems Using Twin-Width
von: Balabán, Jakub, et al.
Veröffentlicht: (2025)

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

Graph classes through the lens of logic
von: Pilipczuk, Michał
Veröffentlicht: (2025)

Foundations for an Abstract Proof Theory in the Context of Horn Rules
von: Lyon, Tim S., et al.
Veröffentlicht: (2023)

Color Refinement for Relational Structures
von: Scheidt, Benjamin, et al.
Veröffentlicht: (2024)

Formal Primal-Dual Algorithm Analysis
von: Abdulaziz, Mohammad, et al.
Veröffentlicht: (2026)

The Iteration Number of the Weisfeiler-Leman Algorithm
von: Grohe, Martin, et al.
Veröffentlicht: (2023)

Compressing CFI Graphs and Lower Bounds for the Weisfeiler-Leman Refinements
von: Grohe, Martin, et al.
Veröffentlicht: (2023)

Beyond Value Iteration for Parity Games: Strategy Iteration with Universal Trees
von: Koh, Zhuan Khye, et al.
Veröffentlicht: (2021)

SDPs and Robust Satisfiability of Promise CSP
von: Brakensiek, Joshua, et al.
Veröffentlicht: (2022)

On merge-models
von: Buffière, Hector, et al.
Veröffentlicht: (2026)

CNFs and DNFs with Exactly $k$ Solutions
von: Chandran, L. Sunil, et al.
Veröffentlicht: (2025)

Merge-width and First-Order Model Checking
von: Dreier, Jan, et al.
Veröffentlicht: (2025)

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

On Numbers of Simplicial Walks and Equivalent Canonizations for Graph Recognition
von: Černý, Marek
Veröffentlicht: (2026)

Smaller Circuits for Bit Addition
von: Goncharov, Mikhail, et al.
Veröffentlicht: (2025)

SAT Encoding of Partial Ordering Models for Graph Coloring Problems
von: Faber, Daniel, et al.
Veröffentlicht: (2024)

Efficient reversal of transductions of sparse graph classes
von: Dreier, Jan, et al.
Veröffentlicht: (2026)

Redundancy Is All You Need (for CSP Sparsification)
von: Brakensiek, Joshua, et al.
Veröffentlicht: (2024)

Polynomial-time algorithms for PATH COVER and PATH PARTITION on trees and graphs of bounded treewidth
von: Foucaud, Florent, et al.
Veröffentlicht: (2025)

Packing $K_r$s in bounded degree graphs
von: McKay, Michael, et al.
Veröffentlicht: (2022)

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

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

Generation of weighted trees, block trees and block graphs
von: Ekim, Tınaz, et al.
Veröffentlicht: (2024)

A survey of Chernoff and Hoeffding bounds
von: Gerbessiotis, Alexandros V.
Veröffentlicht: (2025)

Terminal Steiner tree problem : Complexity and Algorithms
von: S, Jyothish, et al.
Veröffentlicht: (2026)

Interdiction of minimum spanning trees and other matroid bases
von: Weninger, Noah, et al.
Veröffentlicht: (2024)

Using random spanning trees in survivable networks design
von: Wrobel, Blazej, et al.
Veröffentlicht: (2025)

Near-linear time subhypergraph counting in bounded degeneracy hypergraphs
von: Paul-Pena, Daniel, et al.
Veröffentlicht: (2025)

Markovian protocols and an upper bound on the extension complexity of the matching polytope
von: Szusterman, M.
Veröffentlicht: (2026)

Functional design of efficient and parallelizable combinatorial generators using convolution
von: He, Xi, et al.
Veröffentlicht: (2025)

From Width-Based Model Checking to Width-Based Automated Theorem Proving
von: Oliveira, Mateus de Oliveira, et al.
Veröffentlicht: (2022)

Minimum projective linearizations of trees in linear time
von: Alemany-Puig, Lluís, et al.
Veröffentlicht: (2021)

Generating pivot Gray codes for spanning trees of complete graphs in constant amortized time
von: Liu, Bowie, et al.
Veröffentlicht: (2025)

A note on approximating the average degree of bounded arboricity graphs
von: Eden, Talya, et al.
Veröffentlicht: (2026)

Clique-free t-matchings in degree-bounded graphs
von: Paluch, Katarzyna, et al.
Veröffentlicht: (2024)

Improved bounds for coloring locally sparse hypergraphs
von: Iliopoulos, Fotis
Veröffentlicht: (2020)

Lettericity of graphs: an FPT algorithm and a bound on the size of obstructions
von: Alecu, Bogdan, et al.
Veröffentlicht: (2024)