Complexity results on labeled shortest path problems from wireless routing metrics

Metrics to assess the cost of paths through networks are critical to ensuring the efficiency of network routing. This is particularly true in multi-radio multi-hop wireless networks. Effective metrics for these networks must measure the cost of a wireless path based not only on traditional measures such as throughput, but also on the distribution of wireless channels used. In this paper, we argue that routing metrics over such networks may be viewed as a class of existing shortest path problems, the formal language constrained path problems. On this basis, we describe labeled path problems corresponding to two multi-radio wireless routing metrics: Weighted Cumulative Expected Transmission Time (WCETT), developed by Draves et al., and Metric for Interference and Channel-switch (MIC), developed by Yang et al. For the first, we give a concise proof that calculating shortest WCETT paths is strongly NP-Complete for a variety of graph classes. We also show that the existing heuristic given by Draves et al. is an approximator. For the second, we show that calculating loop-free (simple) shortest MIC paths is NP-Complete, and additionally show that the optimization version of the problem is NPO PB-Complete. This result implies that shortest simple MIC paths are only poorly approximable in the worst case. Furthermore, we demonstrate how the polynomial-time algorithm for shortest MIC paths is derivable from an existing language constrained shortest path algorithm. We use this as a basis to exhibit the general utility of viewing multi-channel wireless routing metrics as labeled graph problems, and discuss how a class of related polynomial-time computable metrics are derivable from this algorithm.

[1]  Venkatesh Choppella,et al.  Source-tracking unification , 2003, Inf. Comput..

[2]  Madhav V. Marathe,et al.  Classical and Contemporary Shortest Path Problems in Road Networks: Implementation and Experimental Analysis of the TRANSIMS Router , 2002, ESA.

[3]  Robert Tappan Morris,et al.  a high-throughput path metric for multi-hop wireless routing , 2005, Wirel. Networks.

[4]  Viggo Kann,et al.  Polynomially Bounded Minimization Problems That Are Hard to Approximate , 1993, Nord. J. Comput..

[5]  Madhav V. Marathe,et al.  Formal Language Constrained Path Problems , 1998, SWAT.

[6]  Bruce James McAdam On the unification of substitutions in type inference , 1999 .

[7]  Yun Zhu,et al.  Optimizing Routing Metrics for Large-Scale Multi-Radio Mesh Networks , 2007, 2007 International Conference on Wireless Communications, Networking and Mobile Computing.

[8]  Peter Buneman,et al.  Semistructured data , 1997, PODS.

[9]  Alberto O. Mendelzon,et al.  Finding Regular Simple Paths in Graph Databases , 1989, SIAM J. Comput..

[10]  Bruce J. McAdam On the Unification of Substitutions in Type Interfaces , 1998, IFL.

[11]  Robin Kravets,et al.  Designing routing metrics for mesh networks , 2005 .

[12]  Mihalis Yannakakis Perspectives on database theory , 1996, SIGA.

[13]  Magnús M. Halldórsson,et al.  Approximating the Minimum Maximal Independence Number , 1993, Inf. Process. Lett..

[14]  Wei Zhou,et al.  Comparative study of routing metrics for multi-radio multi-channel wireless networks , 2006, IEEE Wireless Communications and Networking Conference, 2006. WCNC 2006..

[15]  室 章治郎 Michael R.Garey/David S.Johnson 著, "COMPUTERS AND INTRACTABILITY A guide to the Theory of NP-Completeness", FREEMAN, A5判変形判, 338+xii, \5,217, 1979 , 1980 .

[16]  Leon J. Osterweil,et al.  On Two Problems in the Generation of Program Test Paths , 1976, IEEE Transactions on Software Engineering.

[17]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[18]  Mihalis Yannakakis,et al.  Graph-theoretic methods in database theory , 1990, PODS.

[19]  Michael H. Moore On the Fastest Route for Convoy-Type Traffic in Flowrate-Constrained Networks , 1976 .

[20]  Phillip G. Bradford,et al.  Labeled shortest paths in digraphs with negative and positive edge weights , 2009, RAIRO Theor. Informatics Appl..

[21]  Serge Abiteboul,et al.  Regular path queries with constraints , 1997, J. Comput. Syst. Sci..

[22]  Jitendra Padhye,et al.  Routing in multi-radio, multi-hop wireless mesh networks , 2004, MobiCom '04.

[23]  Ryan Stansifer,et al.  Explaining type errors in polymorphic languages , 1993, LOPL.

[24]  Phillip G. Bradford,et al.  Quickest path distances on context-free labeled graphs , 2007 .