A very hard log space counting class

Abstract

We consider the logarithmic space counting classes #L, opt-L, and span-L, which are defined analogously to their polynomial time counterparts. We obtain complete functions for these three classes in terms of graphs and finite automata. We show that #L and opt-L are both contained in NC', but that, surprisingly, span-L seems to be a much harder counting class than #L and opt-L. We deinonst,rate that span-Lfunctions can be computed in polynomial time if and onlyif P = NP = PH = P(#P), i.e. iff the class P(#P) and all the classes of the polyiiomial time hierarchy are contained in P. This result follows from the fact that span-L and #P are very similar: span-L C #P, and any function in #P can be represented as a subtraction of two functions in span-L. Nevertheless, #P C span-L would imply NL = P = NP. We furthermore investigate various restrictions of the classes opt-L and span-L, and show, e.g., that if opt-L coincides with one of its restricted versions. then L = NL follows. Iiit ro duct ioiiDuring the past several years the topic of "counting" appeared in many different settings in complexity theory. In the case of logarithmic space, for example, powerful counting techniques revealed the zntrznszc computational power of various machine models to achieve counting, above all NI,, and LOGCFL (see [la] [26] [3]). On the other hand, counting was used to zncrease the computational power of polyiiomial time machines by defining counting variants of NP, like the function classes opt-P (see [ls]), #P (see I291 [30]) and spaii-P ([17], see also [25] [IS]). These classes have been shown to contain interesting functional counting variants of NP-complete problems. Recently, Toda pointed out tlie enormous power that such classes can have: tlie whole polynomial time hierarchy is contained in P(#P) [27].This raises the question, whether the phenomenon of increasing the computational power by counting is a general one and shows up by logarithmic space classes as well, and if so to what extent, or whether e.g. due to the intrinsic counting power of NL here no more power is gained. Stated alternatively, this question concerns the complexity of functional counting variants of NLcomplete problems. For example, it is well-known that the non-emptiness problem L ( M ) # O? for a given finite automaton M is NL-complete with respect to logarithmic space reductions. This holds irrespectively of whether the automaton Af is deterministic (DFA) [14] or nondeterministic (NFA). Consider the following functional counting variants of this problem: computing the number of words accepted by a DFA or NFA which are smaller than a given word z, the "ranking functions" for DFA or NFA, and the problem of computing the maximal word smaller than or equal to a given word z accepted by a NFA, the "maximal word function" for NFA. How difficult are these functions to compute? Can they, e.g., be computed by a deterministic log space Turing machine with oracle in NL?We show that these functions are, respectively, many-one complete for the three logarithmic spac...

Processing Succinct Matrices and Vectors

“…nondeterministic logspace Turing machines), we obtain the class #PSPACE [18] (resp. #L [1]). Note that for a mapping f ∈ #PSPACE, the number f (x) may grow doubly exponential in |x|, whereas for f ∈ #P, the number f (x) is bounded singly exponential in |x|.…”

On the power of unambiguity in log-space

“…OptL is the function class defined byÀlvarez and Jenner (in [AJ93]) as the logpsace analog of Krentel's OptP [Kre88]. OptL is the class of functions whose values are the maximum over all the outputs of an NL-transducer.Àlvarez and Jenner showed that this class captures the complexity of some natural optimization problems in the logspace setting (eg.…”

“…We will need the following proposition shown in [AJ93]. FL f ∈ OptL, let M be FL machine that makes query to a language L ∈ UL ∩ coUL and computes f .…”

Bounded Depth Arithmetic Circuits: Counting and Closure

“…Certainly the best-known arithmetic class is Valiant's class #P [Val79], consisting of functions that map x to the number of accepting computations of an NP-machine on input x. Recently, the class #L (counting accepting computations of an NL-machine) has also received considerable attention [AJ93,Vin91,Tod92a,MV97].…”