Formal Description and Complexity Analysis of Routing in Mobile Ad Hoc System

Jinkui Xie,Linpeng Huang
DOI: https://doi.org/10.1109/PDCAT.2005.142
2005-01-01
Abstract:This paper focus on the abstract model and complexity analysis of routing in mobile ad hoc system. Based on the Abstract State Machines theory, we provide a formal model ASM PBRAgent for mobile ad hoc system, on which the position based routing runs as a query. In the result, it is shown that the problem of position based routing is PSPACE-complete when the arity of each node's outgoing edges has a fixed upper bound, and the Yao-graph topology is an instance; on the other hand, the problem is EXPSPACE-complete if there is no fixed upper bound on the arity.
What problem does this paper attempt to address?