Copertina

Beyond Value Iteration for Parity Games: Strategy Iteration with Universal Trees

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Koh, Zhuan Khye, Loho, Georg
Natura:	Preprint
Pubblicazione:	2021
Soggetti:	Data Structures and Algorithms Discrete Mathematics Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

The Iteration Number of the Weisfeiler-Leman Algorithm
di: Grohe, Martin, et al.
Pubblicazione: (2023)

Foundations for an Abstract Proof Theory in the Context of Horn Rules
di: Lyon, Tim S., et al.
Pubblicazione: (2023)

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

Formal Primal-Dual Algorithm Analysis
di: Abdulaziz, Mohammad, et al.
Pubblicazione: (2026)

Color Refinement for Relational Structures
di: Scheidt, Benjamin, et al.
Pubblicazione: (2024)

Compressing CFI Graphs and Lower Bounds for the Weisfeiler-Leman Refinements
di: Grohe, Martin, et al.
Pubblicazione: (2023)

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

Solving Partial Dominating Set and Related Problems Using Twin-Width
di: Balabán, Jakub, et al.
Pubblicazione: (2025)

SDPs and Robust Satisfiability of Promise CSP
di: Brakensiek, Joshua, et al.
Pubblicazione: (2022)

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

On merge-models
di: Buffière, Hector, et al.
Pubblicazione: (2026)

CNFs and DNFs with Exactly $k$ Solutions
di: Chandran, L. Sunil, et al.
Pubblicazione: (2025)

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

Merge-width and First-Order Model Checking
di: Dreier, Jan, et al.
Pubblicazione: (2025)

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

Homomorphism Indistinguishability, Multiplicity Automata Equivalence, and Polynomial Identity Testing
di: Černý, Marek, et al.
Pubblicazione: (2025)

On Numbers of Simplicial Walks and Equivalent Canonizations for Graph Recognition
di: Černý, Marek
Pubblicazione: (2026)

Smaller Circuits for Bit Addition
di: Goncharov, Mikhail, et al.
Pubblicazione: (2025)

SAT Encoding of Partial Ordering Models for Graph Coloring Problems
di: Faber, Daniel, et al.
Pubblicazione: (2024)

Redundancy Is All You Need (for CSP Sparsification)
di: Brakensiek, Joshua, et al.
Pubblicazione: (2024)

On the Correlation Gap of Matroids
di: Husić, Edin, et al.
Pubblicazione: (2022)

Optimal Generation of Strictly Increasing Binary Trees and Beyond
di: Bodini, Olivier, et al.
Pubblicazione: (2024)

Edge Clique Partition and Cover Beyond Independence
di: Fomin, Fedor V., et al.
Pubblicazione: (2025)

From Width-Based Model Checking to Width-Based Automated Theorem Proving
di: Oliveira, Mateus de Oliveira, et al.
Pubblicazione: (2022)

Spirals and Beyond: Competitive Plane Search with Multi-Speed Agents
di: Georgiou, Konstantinos, et al.
Pubblicazione: (2025)

Grouping Strategies on Two-Phase Methods for Bi-objective Combinatorial Optimization
di: Mota, Felipe O., et al.
Pubblicazione: (2025)

Simultaneous Drawing of Layered Trees
di: Katheder, Julia, et al.
Pubblicazione: (2023)

Polynomial Kernels for Spanning Tree with Diversity Requirements
di: Golovach, Petr A., et al.
Pubblicazione: (2026)

Revisiting Tree Isomorphism: An Algorithmic Bric-à-Brac
di: Ingels, Florian
Pubblicazione: (2023)

Algorithms and Hardness for Geodetic Set on Tree-like Digraphs
di: Foucaud, Florent, et al.
Pubblicazione: (2026)

Approximation of Spanning Tree Congestion using Hereditary Bisection
di: Kolman, Petr
Pubblicazione: (2024)

Isomorphism Testing Parameterized by Genus and Beyond
di: Neuen, Daniel
Pubblicazione: (2021)

Efficient Algorithms for Interdicting Facilities in Trees and Bounded Treewidth Graphs
di: Abbasi, Ali, et al.
Pubblicazione: (2026)

Bicriterial Approximation for the Incremental Prize-Collecting Steiner-Tree Problem
di: Disser, Yann, et al.
Pubblicazione: (2024)

Pattern-Sparse Tree Decompositions in $H$-Minor-Free Graphs
di: Marx, Dániel, et al.
Pubblicazione: (2026)

Optimal Mixing via Tensorization for Random Independent Sets on Arbitrary Trees
di: Efthymiou, Charilaos, et al.
Pubblicazione: (2023)

Toward Minimum Graphic Parity Networks
di: Cao, Yixin, et al.
Pubblicazione: (2025)

The Bidirected Cut Relaxation for Steiner Tree has Integrality Gap Smaller than 2
di: Byrka, Jarosław, et al.
Pubblicazione: (2024)

Simple Compact Monotone Tree Drawings
di: Oikonomou, Anargyros, et al.
Pubblicazione: (2017)

A Unified Model of Congestion Games with Priorities: Two-Sided Markets with Ties, Finite and Non-Affine Delay Functions, and Pure Nash Equilibria
di: Takazawa, Kenjiro
Pubblicazione: (2024)