Separating path systems for the complete graph

From MaRDI portal
Publication:6136668




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.









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)