𝔖 Bobbio Scriptorium
✦   LIBER   ✦

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


Characterizing Multiterminal Flow Networ
✍ Torben Hagerup; Jyrki Katajainen; Naomi Nishimura; Prabhakar Ragde πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 417 KB

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