Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

New Complexity Results for Some Linear Counting Problems Using Minimal Solutions to Linear Diophantine Equations
Extended Abstract

Gaoyan Xie6, Cheng Li6 and Zhe DangContact Information

(6)  School of Electrical Engineering and Computer Science, Washington State University, Pullman, WA 99164, USA
Abstract
The linear reachability problem is to decide whether there is an execution path in a given finite state transition system such that the counts of labels on the path satisfy a given linear constraint. Using results on minimal solutions (in nonnegative integers) for linear Diophantine systems, we obtain new complexity results for the problem, as well as for other linear counting problems of finite state transition systems and timed automata. In contrast to previously known results, the complexity bounds obtained in this paper are polynomial in the size of the transition system in consideration, when the linear constraint is fixed.

Contact Information Zhe Dang
Email: zdang@eecs.wsu.edu
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.109 • Server: mpweb08
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)