No abstract

No abstract

Let OW RN = W x , W y be a One Way Road Network where W x and W y are the sets of directed horizontal and vertical roads respectively. OW RN can be considered as a variation of directed grid graph. The intersections of the horizontal and vertical roads are the vertices of OW RN and any two consecutive vertices on a road are connected by an edge.In this work, we analyze the problem of collision free traffic configuration in a OW RN . A traffic configuration is a twotuple T C = OW RN, C , where C is a set of cars travelling on a pre-defined path. We prove that finding a maximum cardinality subset C sub ⊆ C such that T C = OW RN, C sub is collision-free, is NP-hard. Lastly we investigate the properties of connectedness, shortest paths in a OW RN .

A One-Way Road Network is an ordered pair $OWRN = (W_x,W_y)$ comprising of a set $W_x$ of $m$ directed horizontal roads along with another set $W_y$ of $n$ directed vertical roads. An $OWRN$ can also be viewed as a directed grid graph $GG=(V, E)$, where $V$ corresponds to intersections between every pair of horizontal and vertical roads, and there is a directed edge between every pair of consecutive vertices in $V$ in the same direction corresponding to that road. A vehicle $c$ is defined as a 3-tuple $(t,s,P)$, where $c$ starts moving at time $t$ and moves with a constant speed $s$ from its start vertex to destination vertex along pre-specified directed path $P$, unless a collision occurs. A collision between a pair of vehicles $c_i$ and $c_j$ $(i \ne j)$ occurs if they reach a vertex $v \in V$ (a junction in $OWRN$) orthogonally at the same time. A traffic configuration on an $OWRN$ is a 2-tuple $TC=( GG, C)$, where $C$ is a set of vehicles, each travelling on a pre-specified path on $GG$. A collision-free $TC$ is a traffic configuration without any collision. We prove that finding a maximum cardinality subset $C_{max}\subseteq C$, such that $TC = (GG, C_{max})$ is collision-free, is NP-hard. We also show that $GG$ can be preprocessed into a data-structure in $\mathcal{O}(n+m)$ time and space, such that the length of the shortest path between any pair of vertices in $GG$ can be computed in $\mathcal{O}(1)$ time and the shortest path can be computed in $\mathcal{O}(p)$ time, where $p$ is the number of vertices in the path.

No abstract