Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- ArticleJanuary 2025
- short-paperJune 2024
Brief Announcement: Distributed Model Checking on Graphs of Bounded Treedepth
PODC '24: Proceedings of the 43rd ACM Symposium on Principles of Distributed ComputingPages 205–208https://doi.org/10.1145/3662158.3662793We establish that every monadic second-order logic (MSO) formula on graphs with bounded treedepth is decidable in a constant number of rounds within the CONGEST model. To our knowledge, this marks the first meta-theorem regarding distributed model-...
- research-articleJuly 2022
What Can Be Certified Compactly? Compact local certification of MSO properties in tree-like graphs
PODC'22: Proceedings of the 2022 ACM Symposium on Principles of Distributed ComputingPages 131–140https://doi.org/10.1145/3519270.3538416Local certification consists in assigning labels (called certificates) to the nodes of a network to certify a property of the network or the correctness of a data structure distributed on the network. The verification of this certification must be local:...
- research-articleJanuary 2021
Improved Bounds for the Excluded-Minor Approximation of Treedepth
SIAM Journal on Discrete Mathematics (SIDMA), Volume 35, Issue 2Pages 934–947https://doi.org/10.1137/19M128819XTreedepth, a more restrictive graph width parameter than treewidth and pathwidth, plays a major role in the theory of sparse graph classes. We show that there exists a constant $C$ such that for all positive integers $a,b$ and a graph $G$, if the treedepth ...
- research-articleMarch 2017
Uniform Kernelization Complexity of Hitting Forbidden Minors
ACM Transactions on Algorithms (TALG), Volume 13, Issue 3Article No.: 35, Pages 1–35https://doi.org/10.1145/3029051The F-Minor-Free Deletion problem asks, for a fixed set F and an input consisting of a graph G and integer k, whether k vertices can be removed from G such that the resulting graph does not contain any member of F as a minor. At FOCS 2012, Fomin et al. ...
- research-articleJanuary 2017
On Treewidth and Related Parameters of Random Geometric Graphs
SIAM Journal on Discrete Mathematics (SIDMA), Volume 31, Issue 2Pages 1328–1354https://doi.org/10.1137/120874448We give asymptotically exact values for the treewidth ${tw}(G)$ of a random geometric graph $G\in{\mathcal G(n,r)}$ in $[0,\sqrt{n}]^2$. More precisely, let $r_c$ denote the threshold radius for the appearance of the giant component in ${\mathcal G(n,r)}$...
- research-articleJanuary 2016
The Mixed Chinese Postman Problem Parameterized by Pathwidth and Treedepth
SIAM Journal on Discrete Mathematics (SIDMA), Volume 30, Issue 4Pages 2177–2205https://doi.org/10.1137/15M1034337In the mixed Chinese postman problem (MCPP), given a weighted mixed graph $G$ (it may have both edges and arcs), our aim is to find a closed walk of minimum weight traversing each edge and arc at least once. The MCPP parameterized by the number of edges ...