Separating path systems

We study separating systems of the edges of a graph where each member of the separating system is a path. We conjecture that every $n$-vertex graph admits a separating path system of size $O(n)$ and prove this in certain interesting special cases. In particular, we establish this conjecture for random graphs and graphs with linear minimum degree. We also obtain tight bounds on the size of a minimal separating path system in the case of trees.Comment: 21 pages, fixed misprints, Journal of Combinatoric

Revisiting path-type covering and partitioning problems

This is a survey article which is at the initial stage. The author will appreciate to receive your comments and contributions to improve the quality of the article. The author's contact address is [email protected] problems belong to the foundation of graph theory. There are several types of covering problems in graph theory such as covering the vertex set by stars (domination problem), covering the vertex set by cliques (clique covering problem), covering the vertex set by independent sets (coloring problem), and covering the vertex set by paths or cycles. A similar concept which is partitioning problem is also equally important. Lately research in graph theory has produced unprecedented growth because of its various application in engineering and science. The covering and partitioning problem by paths itself have produced a sizable volume of literatures. The research on these problems is expanding in multiple directions and the volume of research papers is exploding. It is the time to simplify and unify the literature on different types of the covering and partitioning problems. The problems considered in this article are path cover problem, induced path cover problem, isometric path cover problem, path partition problem, induced path partition problem and isometric path partition problem. The objective of this article is to summarize the recent developments on these problems, classify their literatures and correlate the inter-relationship among the related concepts

Separating Path Systems for the Complete Graph

For any graph $G$, a separating path system of $G$ is a family of paths in $G$ with the property that for any pair of edges in $E(G)$ there is at least one path in the family that contains one edge but not the other. We investigate the size of the smallest separating path system for $K_n$, denoted $f(K_n)$. Our first main result is a construction that shows $f(K_n) \leq \left(\frac{21}{16}+o(1)\right)n$ for sufficiently large $n$. We also show that $f(K_n) \leq n$ whenever $n=p,p+1$ for prime $p$. It is known by simple argument that $f(K_n) \geq n-1$ for all $n \in \mathbb{N}$. 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 $K_n$. Hence existence of a generator path for some $K_n$ gives $f(K_n) \leq n$. We construct such paths for all $K_n$ with $n \leq 20$, and show that generator paths exist whenever $n$ is prime.Comment: 23 pages, 3 figure

Covering and Separation for Permutations and Graphs

This is a thesis of two parts, focusing on covering and separation topics of extremal combinatorics and graph theory, two major themes in this area. They entail the existence and properties of collections of combinatorial objects which together either represent all objects (covering) or can be used to distinguish all objects from each other (separation). We will consider a range of problems which come under these areas. The first part will focus on shattering k-sets with permutations. A family of permutations is said to shatter a given k-set if the permutations cover all possible orderings of the k elements. In particular, we investigate the size of permutation families which cover t orders for every possible k-set as well as study the problem of determining the largest number of k-sets that can be shattered by a family with given size. We provide a construction for a small permutation family which shatters every k-set. We also consider constructions of large families which do not shatter any triple. The second part will be concerned with the problem of separating path systems. A separating path system for a graph is a family of paths where, for any two edges, there is a path containing one edge but not the other. The aim is to find the size of the smallest such family. We will study the size of the smallest separating path system for a range of graphs, including complete graphs, complete bipartite graphs, and lattice-type graphs. A key technique we introduce is the use of generator paths - constructed to utilise the symmetric nature of Kn. We continue this symmetric approach for bipartite graphs and study the limitations of the method. We consider lattice-type graphs as an example of the most efficient possible separating systems for any graph