Quantitative relativizations of complexity classes
SIAM Journal on Computing
Complexity measures for public-key cryptosystems
SIAM Journal on Computing - Special issue on cryptography
The Boolean hierarchy I: structural properties
SIAM Journal on Computing
SIAM Journal on Computing
On the closure of certain function classes under integer division by polynomially-bounded functions
Information Processing Letters
A taxonomy of complexity classes of functions
Journal of Computer and System Sciences
Closure properties and witness reduction
Journal of Computer and System Sciences
On closure properties of #P in the context of PF&j0;#P
Journal of Computer and System Sciences
A note on unambituous function classes
Information Processing Letters
A moment of perfect clarity I: the parallel census technique
ACM SIGACT News
The Complexity of Computing the Size of an Interval
SIAM Journal on Computing
Survey: The consequences of eliminating NP solutions
Computer Science Review
Hi-index | 0.01 |
Though complexity theory already extensively studies path-cardinality-based restrictions on the power of nondeterminism, this paper is motivated by a more recent goal: To gain insight into how much of a restriction, it is of nondeterminism to limit machines to have just one contiguous (with respect to some simple order) interval of accepting paths. In particular, we study the robustness-the invariance under definition changes-of the cluster class CL#P. This class contains each #P function that is computed by a balanced Turing machine whose accepting paths always form a cluster with respect to some length-respecting total order with efficient adjacency checks. The definition of CL#P is heavily influenced by the defining paper's focus on (global) orders. In contrast, we define a cluster class, CLU#P, to capture what seems to us a more natural model of cluster computing. We prove that the naturalness is costless: CL#P=CLU#P. Then we exploit the more natural, flexible features of CLU#P to prove new robustness results for CL#P and to expand what is known about the closure properties of CL#P. The complexity of recognizing edges-of an ordered collection of computation paths or of a cluster of accepting computation paths-is central to this study. Most particularly, our proofs exploit the power of unique discovery of edges-the ability of nondeterministic functions to, in certain settings, discover on exactly one (in some cases, on at most one) computation path a critical piece of information regarding edges of orderings or clusters.