-
On the power of counting the total number of computation paths of NPTMs
Authors:
Eleni Bakali,
Aggeliki Chalki,
Sotiris Kanellopoulos,
Aris Pagourtzis,
Stathis Zachos
Abstract:
In this paper, we define and study variants of several complexity classes of decision problems that are defined via some criteria on the number of accepting paths of an NPTM. In these variants, we modify the acceptance criteria so that they concern the total number of computation paths instead of the number of accepting ones. This direction reflects the relationship between the counting classes #P…
▽ More
In this paper, we define and study variants of several complexity classes of decision problems that are defined via some criteria on the number of accepting paths of an NPTM. In these variants, we modify the acceptance criteria so that they concern the total number of computation paths instead of the number of accepting ones. This direction reflects the relationship between the counting classes #P and TotP, which are the classes of functions that count the number of accepting paths and the total number of paths of NPTMs, respectively. The former is the well-studied class of counting versions of NP problems introduced by Valiant (1979). The latter contains all self-reducible counting problems in #P whose decision version is in P, among them prominent #P-complete problems such as Non-negative Permanent, #PerfMatch, and #DNF-Sat, thus playing a significant role in the study of approximable counting problems. We show that almost all classes introduced in this work coincide with their `#accepting paths'-definable counterparts, thus providing an alternative model of computation for them. Moreover, for each of these classes, we present a novel family of complete problems, which are defined via TotP-complete problems. This way, we show that all the aforementioned classes have complete problems that are defined via counting problems whose existence version is in P, in contrast to the standard way of obtaining completeness results via counting versions of NP-complete problems. To the best of our knowledge, prior to this work, such results were known only for parity-P and C=P.
△ Less
Submitted 9 October, 2024; v1 submitted 20 June, 2023;
originally announced June 2023.
-
Characterizations and approximability of hard counting classes below #P
Authors:
Eleni Bakali,
Aggeliki Chalki,
Aris Pagourtzis
Abstract:
An important objective of research in counting complexity is to understand which counting problems are approximable. In this quest, the complexity class TotP, a hard subclass of #P, is of key importance, as it contains self-reducible counting problems with easy decision version, thus eligible to be approximable. Indeed, most problems known so far to admit an fpras fall into this class.
An open q…
▽ More
An important objective of research in counting complexity is to understand which counting problems are approximable. In this quest, the complexity class TotP, a hard subclass of #P, is of key importance, as it contains self-reducible counting problems with easy decision version, thus eligible to be approximable. Indeed, most problems known so far to admit an fpras fall into this class.
An open question raised recently by the community of descriptive complexity is to find a logical characterization of TotP and of robust subclasses of TotP. In this work we define two subclasses of TotP, in terms of descriptive complexity, both of which are robust in the sense that they have natural complete problems, which are defined in terms of satisfiability of Boolean formulae.
We then explore the relationship between the class of approximable counting problems and TotP.
We prove that TotP $\nsubseteq$ FPRAS if and only if NP $\neq$ RP and FPRAS $\nsubseteq$ TotP unless RP = P. To this end we introduce two ancillary classes that can both be seen as counting versions of RP. We further show that
FPRAS lies between one of these classes and a counting version of BPP.
Finally, we provide a complete picture of inclusions among all the classes defined or discussed in this paper with respect to different conjectures about the NP vs. RP vs. P questions.
△ Less
Submitted 30 May, 2020; v1 submitted 5 March, 2020;
originally announced March 2020.
-
Exact uniform sampling over catalan structures
Authors:
Alexandros Angelopoulos,
Eleni Bakali
Abstract:
We present a new framework for creating elegant algorithms for exact uniform sampling of important Catalan structures, such as triangulations of convex polygons, Dyck words, monotonic lattice paths and mountain ranges. Along with sampling, we obtain optimal coding, and optimal number of random bits required for the algorithm. The framework is based on an original two-parameter recursive relation,…
▽ More
We present a new framework for creating elegant algorithms for exact uniform sampling of important Catalan structures, such as triangulations of convex polygons, Dyck words, monotonic lattice paths and mountain ranges. Along with sampling, we obtain optimal coding, and optimal number of random bits required for the algorithm. The framework is based on an original two-parameter recursive relation, where Ballot and Catalan numbers appear and which may be regarded as to demonstrate a generalized reduction argument. We then describe (a) a unique $n\times n$ matrix to be used for any of the problems -the common pre-processing step of our framework- and (b) a linear height tree, where leaves correspond one by one to all distinct solutions of each problem; sampling is essentially done by selecting a path from the root to a leaf - the main algorithm. Our main algorithm is linear for a number of the problems mentioned.
△ Less
Submitted 11 March, 2018;
originally announced March 2018.
-
On randomized counting versus randomised decision
Authors:
Eleni Bakali
Abstract:
We study the question of which counting problems admit f.p.r.a.s., under a structural complexity perspective. Since problems in #P with NP-complete decision version do not admit f.p.r.a.s. (unless NP = RP), we study subclasses of #P, having decision version either in P or in RP. We explore inclusions between these subclasses and we present all possible worlds with respect to NP v.s. RP and RP v.s.…
▽ More
We study the question of which counting problems admit f.p.r.a.s., under a structural complexity perspective. Since problems in #P with NP-complete decision version do not admit f.p.r.a.s. (unless NP = RP), we study subclasses of #P, having decision version either in P or in RP. We explore inclusions between these subclasses and we present all possible worlds with respect to NP v.s. RP and RP v.s. P.
△ Less
Submitted 5 January, 2018;
originally announced January 2018.
-
Relating counting complexity to non-uniform probability measures
Authors:
Eleni Bakali
Abstract:
A standard method for designing randomized algorithms to approximately count the number of solutions of a problem in $\#$P, is by constructing a rapidly mixing Markov chain converging to the uniform distribution over this set of solutions. This construction is not always an easy task, and it is conjectured that it is not always possible. We want to investigate other possibilities for using Markov…
▽ More
A standard method for designing randomized algorithms to approximately count the number of solutions of a problem in $\#$P, is by constructing a rapidly mixing Markov chain converging to the uniform distribution over this set of solutions. This construction is not always an easy task, and it is conjectured that it is not always possible. We want to investigate other possibilities for using Markov Chains in relation to counting, and whether we can relate algorithmic counting to other, non-uniform, probability distributions over the set we want to count.
In this paper we present a family of probability distributions over the set of solutions of a problem in TotP, and show how they relate to counting; counting is equivalent to computing their normalizing factors. We analyse the complexity of sampling, of computing the normalizing factor, and of computing the size support of these distributions. The latter is also equivalent to counting. We also show how the above tasks relate to each other, and to other problems in complexity theory as well.
In short, we prove that sampling and approximating the normalizing factor is easy. We do this by constructing a family of rapidly mixing Markov chains for which these distributions are stationary. At the same time we show that exactly computing the normalizing factor is TotP-hard. However the reduction proving the latter is not approximation preserving, which conforms with the fact that TotP-hard problems are inapproximable if NP $\neq$ RP.
The problem we consider is the Size-of-Subtree, a TotP-complete problem under parsimonious reductions. Therefore the results presented here extend to any problem in TotP. TotP is the Karp-closure of self-reducible problems in $\#$P, having decision version in P.
△ Less
Submitted 23 November, 2017;
originally announced November 2017.
-
Self-reducible with easy decision version counting problems admit additive error approximation. Connections to counting complexity, exponential time complexity, and circuit lower bounds
Authors:
Eleni Bakali
Abstract:
We consider the class of counting problems,i.e. functions in $\#$P, which are self reducible, and have easy decision version, i.e. for every input it is easy to decide if the value of the function $f(x)$ is zero. For example, $\#$independent-sets of all sizes, is such a problem, and one of the hardest of this class, since it is equivalent to $\#$SAT under multiplicative approximation preserving re…
▽ More
We consider the class of counting problems,i.e. functions in $\#$P, which are self reducible, and have easy decision version, i.e. for every input it is easy to decide if the value of the function $f(x)$ is zero. For example, $\#$independent-sets of all sizes, is such a problem, and one of the hardest of this class, since it is equivalent to $\#$SAT under multiplicative approximation preserving reductions.
Using these two powerful properties, self reducibility and easy decision, we prove that all problems/ functions $f$ in this class can be approximated in probabilistic polynomial time within an absolute exponential error $ε\cdot 2^{n'}, \forallε>0$, which for many of those problems (when $n'=n+$constant) implies additive approximation to the fraction $f(x)/2^n$. (Where $n'$ is the amount of non-determinism of some associated NPTM).
Moreover we show that for all these problems we can have multiplicative error to the value $f(x)$, of any desired accuracy (i.e. a RAS), in time of order $2^{2n'/3}poly(n)$, which is strictly smaller than exhaustive search. We also show that $f(x)<g(x)$ can be decided deterministically in time $g(x)poly(n), \forall g$.
Finally we show that the Circuit Acceptance Probability Problem, which is related to derandomization and circuit lower bounds, can be solved with high probability and in polynomial time, for the family of all circuits for which the problems of counting either satisfying or unsatisfying assignments belong to TotP (which is the Karp-closure of self reducible problems with easy decision version).
△ Less
Submitted 5 November, 2016;
originally announced November 2016.
