Separating path systems for the complete graph

From MaRDI portal
Publication:6136668

DOI10.1016/J.DISC.2023.113784zbMATH Open1530.05157arXiv2209.04302OpenAlexW4388687315MaRDI QIDQ6136668FDOQ6136668


Authors: Belinda Wickes Edit this on Wikidata


Publication date: 17 January 2024

Published in: Discrete Mathematics (Search for Journal in Brave)

Abstract: For any graph G, a separating path system of G is a family of paths in G with the property that for any edges e,einE(G) there is at least one path in the family that contains one of e and e but not the other. We investigate the size of the smallest separating path system for Kn, denoted f(Kn). It is known that n1leqf(Kn)leq2n+4, our main result is a construction that reduces the upper bound to f(Kn)leqleft(frac2116+o(1)ight)n for sufficiently large n, and to f(Kn)leqn whenever n=p,p+1 for prime p. A key idea in our construction is to reduce the problem to finding a single path with some particular properties we call a Generator Path. These are defined in such a way that the n cyclic rotations of a generator path provide a separating path system for Kn. Hence existence of a generator path for some Kn gives f(Kn)leqn. We construct such paths for all Kn with nleq20, and show that generator paths exist whenever n is prime.


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




Recommendations




Cites Work


Cited In (1)





This page was built for publication: Separating path systems for the complete graph

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