TY - JOUR
T1 - On the expressivity of time-varying graphs
AU - Casteigts, Arnaud
AU - Flocchini, Paola
AU - Godard, Emmanuel
AU - Santoro, Nicola
AU - Yamashita, Masafumi
N1 - Funding Information:
This work has been supported in part by the Natural Sciences and Engineering Research Council of Canada through the Discovery Grant program (grants 203254 and 2415 ), by Prof. Flocchini's University Research Chair , by a Pacific Institute for Mathematical Science grant, and by the Scientific Grant in Aid by the Ministry of Education, Sports, Culture and Technology of Japan (grant number 15H02666 ) and by “the Investments for the future” Programme IdEx Bordeaux – CPU ( ANR-10-IDEX-03-02 ).
Publisher Copyright:
© 2015 Elsevier B.V.
PY - 2015/7/26
Y1 - 2015/7/26
N2 - In highly dynamic systems (such as wireless mobile ad hoc networks, robotic swarms, vehicular networks, etc.) connectivity does not necessarily hold at a given time but temporal paths, or journeys, may still exist over time and space, rendering computing possible; some of these systems allow waiting (i.e., pauses at intermediate nodes, also referred to as store-carry-forward strategies) while others do not. These systems are naturally modeled as time-varying graphs, where the presence of an edge and its latency vary as a function of time; in these graphs, the distinction between waiting and not waiting corresponds to the one between indirect and direct journeys. We consider the expressivity of time-varying graphs, in terms of the languages generated by the feasible journeys. We examine the impact of waiting by studying the difference in the type of language expressed by indirect journeys (i.e., waiting is allowed) and by direct journeys (i.e., waiting is unfeasible), under various assumptions on the functions that control the presence and latency of edges. We prove a general result which implies that, if waiting is not allowed, then the set of languages Lnowait that can be generated contains all computable languages when the presence and latency functions are computable. On the other end, we prove that, if waiting is allowed, then the set of languages Lwait contains all and only regular languages; this result, established using algebraic properties of quasi-orders, holds even if the presence and latency are unrestricted (e.g., possibly non-computable) functions of time. In other words, we prove that, when waiting is allowed, the power of the accepting automaton can drop drastically from being at least as powerful as a Turing machine, to becoming that of a Finite-State Machine. This large gap provides an insight on the impact of waiting in time-varying graphs. We also study bounded waiting, in which waiting is allowed at a node for at most d time units, and prove that Lwait[d]=Lnowait that is, the power of the accepting automaton decreases only if waiting time is unbounded.
AB - In highly dynamic systems (such as wireless mobile ad hoc networks, robotic swarms, vehicular networks, etc.) connectivity does not necessarily hold at a given time but temporal paths, or journeys, may still exist over time and space, rendering computing possible; some of these systems allow waiting (i.e., pauses at intermediate nodes, also referred to as store-carry-forward strategies) while others do not. These systems are naturally modeled as time-varying graphs, where the presence of an edge and its latency vary as a function of time; in these graphs, the distinction between waiting and not waiting corresponds to the one between indirect and direct journeys. We consider the expressivity of time-varying graphs, in terms of the languages generated by the feasible journeys. We examine the impact of waiting by studying the difference in the type of language expressed by indirect journeys (i.e., waiting is allowed) and by direct journeys (i.e., waiting is unfeasible), under various assumptions on the functions that control the presence and latency of edges. We prove a general result which implies that, if waiting is not allowed, then the set of languages Lnowait that can be generated contains all computable languages when the presence and latency functions are computable. On the other end, we prove that, if waiting is allowed, then the set of languages Lwait contains all and only regular languages; this result, established using algebraic properties of quasi-orders, holds even if the presence and latency are unrestricted (e.g., possibly non-computable) functions of time. In other words, we prove that, when waiting is allowed, the power of the accepting automaton can drop drastically from being at least as powerful as a Turing machine, to becoming that of a Finite-State Machine. This large gap provides an insight on the impact of waiting in time-varying graphs. We also study bounded waiting, in which waiting is allowed at a node for at most d time units, and prove that Lwait[d]=Lnowait that is, the power of the accepting automaton decreases only if waiting time is unbounded.
UR - http://www.scopus.com/inward/record.url?scp=84944733801&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84944733801&partnerID=8YFLogxK
U2 - 10.1016/j.tcs.2015.04.004
DO - 10.1016/j.tcs.2015.04.004
M3 - Article
AN - SCOPUS:84944733801
SN - 0304-3975
VL - 590
SP - 27
EP - 37
JO - Theoretical Computer Science
JF - Theoretical Computer Science
ER -