Computing with Snakes in Directed Networks of Automata
β Scribed by Shimon Even; Ami Litman; Peter Winkler
- Publisher
- Elsevier Science
- Year
- 1997
- Tongue
- English
- Weight
- 146 KB
- Volume
- 24
- Category
- Article
- ISSN
- 0196-6774
No coin nor oath required. For personal study only.
β¦ Synopsis
We consider unidirectional, strongly connected networks of identical finite-state automata, of bounded in-and out-degree but unknown topology and unbounded size n. Protocols which are quadratic or linear in n are provided which accomplish the following tasks: wake up and report when done; construct spanning trees out from the root and in to the root; conduct breadth-first and depth-first searches; Ε½ . send a message from the end-point of an unidirectional arc to its start-point; run a slow clock; and solve the firing squad synchronization problem. Our protocols are highly parallel and use a new techniqueαa special kind of moving data structure we call a snake.
π SIMILAR VOLUMES
We show that if a flow network has k inputΓoutput terminals (for the traditional maximum-flow problem, k=2), its external flow pattern (the possible values of flow into and out of the terminals) has two characterizations of size independent of the total number of vertices: a set of 2 k +1 inequaliti