Explicit bounds for graph minors

From MaRDI portal
Revision as of 10:19, 30 January 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision β†’ (diff)

Publication:723881

DOI10.1017/9781009093927.008zbMATH Open1391.05243arXiv1305.1451OpenAlexW2963559342WikidataQ130094756 ScholiaQ130094756MaRDI QIDQ723881FDOQ723881

R. B. Richter, Jim Geelen, Paul Wollan, Tony Huynh

Publication date: 24 July 2018

Published in: Journal of Combinatorial Theory. Series B, Surveys in Combinatorics 2022 (Search for Journal in Brave)

Abstract: Let Sigma be a surface with boundary b(Sigma), mathcalL be a collection of k disjoint b(Sigma)-paths in Sigma, and P be a non-separating b(Sigma)-path in Sigma. We prove that there is a homeomorphism phi:SigmaoSigma that fixes each point of b(Sigma) and such that phi(mathcalL) meets P at most 2k times. With this theorem, we derive explicit constants in the graph minor algorithms of Robertson and Seymour. We reprove a result concerning redundant vertices for graphs on surfaces, but with explicit bounds. That is, we prove that there exists a computable integer t:=t(Sigma,k) such that if v is a 't-protected' vertex in a surface Sigma, then v is redundant with respect to any k-linkage.


Full work available at URL: https://arxiv.org/abs/1305.1451





Cites Work


Cited In (11)


Recommendations





This page was built for publication: Explicit bounds for graph minors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q723881)