Separating path systems in trees

Francisco Arrepol, Patricio Asenjo, Raúl Astete +6

For a graph $G$, an edge-separating (resp. vertex-separating) path system of $G$ is a family of paths in $G$ such that for any pair of edges $e_1,e_2$ (resp. pair of vertices $v_1…