Tag: computational complexity of the reachability problem