Title:Designing and Testing Temporally Connected Graphs

Abstract:We study the issues of testing and designing (nearly cost-optimal) temporal networks that are temporally connected. We follow the temporal (di)graphs abstraction, where each edge $e$ of a (di)graph $G$ is associated with a set $L_e$ of discrete time instances of availability (labels).We call the resulting $(V,E,L)$,where $L=\{L_{e} :e\in E\}$,a temporal (di)graph and denote it by $G(L)$.Journeys in such temporal graphs are paths with a single label per each edge $e$ of the path, chosen from the respective $L_e$, such that the labels from the start to the end of the path are in strictly increasing order.A temporally connected temporal (di)graph $G(L)$ is a temporal (di)graph in which,for any pair of vertices $u,v\in V(G), u\not= v$, there exists both a $(u,v)$-journey and a $(v,u)$-this http URL this case,we say that the graph satisfies the property this http URL present a strongly polynomial time,almost optimal,algorithm to decide this http URL any given connected undirected graph $G$,we show that at least $2n-4$ labels are needed in any labeling to satisfy REACH and we give a labeling of $2n-2$ labels that satisfies REACH. We introduce the notion of minimal labelings $L$ on a graph $G$, where $G(L)$ satisfies REACH. In minimal labelings the removal of any label destroys the property REACH. We present 2 infinite classes of minimal temporal graphs. We show that the complete undirected graph cannot be minimal under any labeling that assigns one label per edge, so that different edges have different this http URL define the removal cost $r(G,L)$ of a given labeling $L$ on $G$,with respect to REACH,as the maximum number of labels that can be removed from $L$ without violating REACH and show that computing it is this http URL show that in the complete graph and in instances of the Erdös-Renyi model of random graphs with random labels,one per edge,one can remove many labels and still maintain REACH whp.