Solving Partial Dominating Set and Related Problems Using Twin-Width
Fuente:
arXiv
Saved in:
| Main Authors: | Balabán, Jakub, Mock, Daniel, Rossmanith, Peter |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
On classes of bounded tree rank, their interpretations, and efficient sparsification
by: Gajarský, Jakub, et al.
Published: (2024)
by: Gajarský, Jakub, et al.
Published: (2024)
SAT Encoding of Partial Ordering Models for Graph Coloring Problems
by: Faber, Daniel, et al.
Published: (2024)
by: Faber, Daniel, et al.
Published: (2024)
Color Refinement for Relational Structures
by: Scheidt, Benjamin, et al.
Published: (2024)
by: Scheidt, Benjamin, et al.
Published: (2024)
Elementary first-order model checking for sparse graphs
by: Gajarský, Jakub, et al.
Published: (2024)
by: Gajarský, Jakub, et al.
Published: (2024)
Flipper games for monadically stable graph classes
by: Gajarský, Jakub, et al.
Published: (2023)
by: Gajarský, Jakub, et al.
Published: (2023)
The Iteration Number of the Weisfeiler-Leman Algorithm
by: Grohe, Martin, et al.
Published: (2023)
by: Grohe, Martin, et al.
Published: (2023)
Compressing CFI Graphs and Lower Bounds for the Weisfeiler-Leman Refinements
by: Grohe, Martin, et al.
Published: (2023)
by: Grohe, Martin, et al.
Published: (2023)
Foundations for an Abstract Proof Theory in the Context of Horn Rules
by: Lyon, Tim S., et al.
Published: (2023)
by: Lyon, Tim S., et al.
Published: (2023)
Formal Primal-Dual Algorithm Analysis
by: Abdulaziz, Mohammad, et al.
Published: (2026)
by: Abdulaziz, Mohammad, et al.
Published: (2026)
Beyond Value Iteration for Parity Games: Strategy Iteration with Universal Trees
by: Koh, Zhuan Khye, et al.
Published: (2021)
by: Koh, Zhuan Khye, et al.
Published: (2021)
SDPs and Robust Satisfiability of Promise CSP
by: Brakensiek, Joshua, et al.
Published: (2022)
by: Brakensiek, Joshua, et al.
Published: (2022)
Maintaining $\mathsf{CMSO}_2$ properties on dynamic structures with bounded feedback vertex number
by: Majewski, Konrad, et al.
Published: (2021)
by: Majewski, Konrad, et al.
Published: (2021)
CNFs and DNFs with Exactly $k$ Solutions
by: Chandran, L. Sunil, et al.
Published: (2025)
by: Chandran, L. Sunil, et al.
Published: (2025)
On merge-models
by: Buffière, Hector, et al.
Published: (2026)
by: Buffière, Hector, et al.
Published: (2026)
Isomorphism for Tournaments of Small Twin Width
by: Grohe, Martin, et al.
Published: (2023)
by: Grohe, Martin, et al.
Published: (2023)
UAIC_Twin_Width: An Exact yet Efficient Twin-Width Algorithm
by: Arhire, Andrei, et al.
Published: (2025)
by: Arhire, Andrei, et al.
Published: (2025)
Merge-width and First-Order Model Checking
by: Dreier, Jan, et al.
Published: (2025)
by: Dreier, Jan, et al.
Published: (2025)
Graph classes through the lens of logic
by: Pilipczuk, Michał
Published: (2025)
by: Pilipczuk, Michał
Published: (2025)
Solving Problems on Generalized Convex Graphs via Mim-Width
by: Bonomo-Braberman, Flavia, et al.
Published: (2020)
by: Bonomo-Braberman, Flavia, et al.
Published: (2020)
Homomorphism Indistinguishability, Multiplicity Automata Equivalence, and Polynomial Identity Testing
by: Černý, Marek, et al.
Published: (2025)
by: Černý, Marek, et al.
Published: (2025)
Smaller Circuits for Bit Addition
by: Goncharov, Mikhail, et al.
Published: (2025)
by: Goncharov, Mikhail, et al.
Published: (2025)
On Numbers of Simplicial Walks and Equivalent Canonizations for Graph Recognition
by: Černý, Marek
Published: (2026)
by: Černý, Marek
Published: (2026)
From Width-Based Model Checking to Width-Based Automated Theorem Proving
by: Oliveira, Mateus de Oliveira, et al.
Published: (2022)
by: Oliveira, Mateus de Oliveira, et al.
Published: (2022)
Partially Ordered Sets Corresponding to the Partition Problem
by: Kubo, Susumu
Published: (2024)
by: Kubo, Susumu
Published: (2024)
Tight (Double) Exponential Bounds for Identification Problems: Locating-Dominating Set and Test Cover
by: Chakraborty, Dipayan, et al.
Published: (2024)
by: Chakraborty, Dipayan, et al.
Published: (2024)
Variants of Merge-Width and Applications
by: Drabik, Karolina, et al.
Published: (2026)
by: Drabik, Karolina, et al.
Published: (2026)
Redundancy Is All You Need (for CSP Sparsification)
by: Brakensiek, Joshua, et al.
Published: (2024)
by: Brakensiek, Joshua, et al.
Published: (2024)
Approximately Dominating Sets in Elections
by: Charikar, Moses, et al.
Published: (2025)
by: Charikar, Moses, et al.
Published: (2025)
Solving the List Coloring Problem through a Branch-and-Price algorithm
by: Lucci, Mauro, et al.
Published: (2023)
by: Lucci, Mauro, et al.
Published: (2023)
Algorithmic Results for Weak Roman Domination Problem in Graphs
by: Paul, Kaustav, et al.
Published: (2024)
by: Paul, Kaustav, et al.
Published: (2024)
A Graph Width Perspective on Partially Ordered Hamiltonian Paths
by: Beisegel, Jesse, et al.
Published: (2025)
by: Beisegel, Jesse, et al.
Published: (2025)
Solving the Multiobjective Quasi-Clique Problem
by: Santos, Daniela Scherer dos, et al.
Published: (2024)
by: Santos, Daniela Scherer dos, et al.
Published: (2024)
Layer-Based Width for PAFP
by: German, Samuel
Published: (2026)
by: German, Samuel
Published: (2026)
Stable Approximation Algorithms for Dominating Set and Independent Set
by: de Berg, Mark, et al.
Published: (2024)
by: de Berg, Mark, et al.
Published: (2024)
Bounding Width on Graph Classes of Constant Diameter
by: Dabrowski, Konrad K., et al.
Published: (2025)
by: Dabrowski, Konrad K., et al.
Published: (2025)
Minsum Problem for Discrete and Weighted Set Flow on Dynamic Path Network
by: Manna, Bubai, et al.
Published: (2024)
by: Manna, Bubai, et al.
Published: (2024)
A Graph Width Perspective on Partially Ordered Hamiltonian Paths and Cycles II: Vertex and Edge Deletion Numbers
by: Beisegel, Jesse, et al.
Published: (2025)
by: Beisegel, Jesse, et al.
Published: (2025)
A Graph Width Perspective on Partially Ordered Hamiltonian Paths and Cycles I: Treewidth, Pathwidth, and Grid Graphs
by: Beisegel, Jesse, et al.
Published: (2025)
by: Beisegel, Jesse, et al.
Published: (2025)
Cuts and Gauges for Submodular Width
by: Lanzinger, Matthias
Published: (2026)
by: Lanzinger, Matthias
Published: (2026)
On the Parameterized Complexity of Grundy Domination and Zero Forcing Problems
by: Scheffler, Robert
Published: (2025)
by: Scheffler, Robert
Published: (2025)
Similar Items
-
On classes of bounded tree rank, their interpretations, and efficient sparsification
by: Gajarský, Jakub, et al.
Published: (2024) -
SAT Encoding of Partial Ordering Models for Graph Coloring Problems
by: Faber, Daniel, et al.
Published: (2024) -
Color Refinement for Relational Structures
by: Scheidt, Benjamin, et al.
Published: (2024) -
Elementary first-order model checking for sparse graphs
by: Gajarský, Jakub, et al.
Published: (2024) -
Flipper games for monadically stable graph classes
by: Gajarský, Jakub, et al.
Published: (2023)