-
On Rotation Distance of Rank Bounded Trees
Authors:
Anoop S. K. M.,
Jayalal Sarma
Abstract:
Computing the rotation distance between two binary trees with $n$ internal nodes efficiently (in $poly(n)$ time) is a long standing open question in the study of height balancing in tree data structures. In this paper, we initiate the study of this problem bounding the rank of the trees given at the input (defined by Ehrenfeucht and Haussler (1989) in the context of decision trees). We define the…
▽ More
Computing the rotation distance between two binary trees with $n$ internal nodes efficiently (in $poly(n)$ time) is a long standing open question in the study of height balancing in tree data structures. In this paper, we initiate the study of this problem bounding the rank of the trees given at the input (defined by Ehrenfeucht and Haussler (1989) in the context of decision trees). We define the rank-bounded rotation distance between two given binary trees $T_1$ and $T_2$ (with $n$ internal nodes) of rank at most $r$, denoted by $d_r(T_1,T_2)$, as the length of the shortest sequence of rotations that transforms $T_1$ to $T_2$ with the restriction that the intermediate trees must be of rank at most $r$. We show that the rotation distance problem reduces in polynomial time to the rank bounded rotation distance problem. This motivates the study of the problem in the combinatorial and algorithmic frontiers. Observing that trees with rank $1$ coincide exactly with skew trees (binary trees where every internal node has at least one leaf as a child), we show the following results in this frontier :
We present an $O(n^2)$ time algorithm for computing $d_1(T_1,T_2)$. That is, when the given trees are skew trees (we call this variant as skew rotation distance problem) - where the intermediate trees are restricted to be skew as well. In particular, our techniques imply that for any two skew trees $d(T_1,T_2) \le n^2$.
We show the following upper bound : for any two trees $T_1$ and $T_2$ of rank at most $r_1$ and $r_2$ respectively, we have that: $d_r(T_1,T_2) \le n^2 (1+(2n+1)(r_1+r_2-2))$ where $r = max\{r_1,r_2\}$. This bound is asymptotically tight for $r=1$.
En route our proof of the above theorems, we associate binary trees to permutations and bivariate polynomials, and prove several characterizations in the case of skew trees.
△ Less
Submitted 10 May, 2024; v1 submitted 8 April, 2023;
originally announced April 2023.
-
Power of Decision Trees with Monotone Queries
Authors:
Prashanth Amireddy,
Sai Jayasurya,
Jayalal Sarma
Abstract:
In this paper, we initiate study of the computational power of adaptive and non-adaptive monotone decision trees - decision trees where each query is a monotone function on the input bits. In the most general setting, the monotone decision tree height (or size) can be viewed as a measure of non-monotonicity of a given Boolean function. We also study the restriction of the model by restricting (in…
▽ More
In this paper, we initiate study of the computational power of adaptive and non-adaptive monotone decision trees - decision trees where each query is a monotone function on the input bits. In the most general setting, the monotone decision tree height (or size) can be viewed as a measure of non-monotonicity of a given Boolean function. We also study the restriction of the model by restricting (in terms of circuit complexity) the monotone functions that can be queried at each node. This naturally leads to complexity classes of the form DT(mon-C) for any circuit complexity class C, where the height of the tree is O(log n), and the query functions can be computed by monotone circuits in the class C. In the above context, we prove the following characterizations and bounds.
For any Boolean function f, we show that the minimum monotone decision tree height can be exactly characterized (both in the adaptive and non-adaptive versions of the model) in terms of its alternation (alt(f) is defined as the maximum number of times that the function value changes, in any chain in the Boolean lattice). We also characterize the non-adaptive decision tree height with a natural generalization of certification complexity of a function. Similarly, we determine the complexity of non-deterministic and randomized variants of monotone decision trees in terms of alt(f).
We show that DT(mon-C) = C when C contains monotone circuits for the threshold functions (for e.g., if C = TC0). For C = AC0, we are able to show that any function in AC0 can be computed by a sub-linear height monotone decision tree with queries having monotone AC0 circuits. To understand the logarithmic height case in case of AC0 i.e., DT(mon-AC0), we show that functions in DT(mon-AC0) have AC0 circuits with few negation gates.
△ Less
Submitted 31 December, 2022;
originally announced January 2023.
-
On Optimizing Shared-ride Mobility Services with Walking Legs
Authors:
Zifan Wang,
Michael F Hyland,
Younghun Bahk,
Navjyoth JS Sarma
Abstract:
Shared-ride mobility services that incorporate traveler walking legs aim to reduce vehicle-kilometers-travelled (VKT), vehicle-hours-travelled (VHT), request rejections, fleet size, or some combination of these factors, compared to door-to-door (D2D) shared-ride services. This paper provides a review of shared-ride services with walking legs (SRSWL), particularly the studies in the literature that…
▽ More
Shared-ride mobility services that incorporate traveler walking legs aim to reduce vehicle-kilometers-travelled (VKT), vehicle-hours-travelled (VHT), request rejections, fleet size, or some combination of these factors, compared to door-to-door (D2D) shared-ride services. This paper provides a review of shared-ride services with walking legs (SRSWL), particularly the studies in the literature that model the operational problem(s) associated with SRSWL. The paper describes the operational and societal benefits of SRSWL as well as compares the SRSWL to circuitous D2D shared-ride services, ride-hailing services, and fixed-route transit services, in terms of VKT and traveler walking distance. The paper then delineates the operational subproblems associated with the SRSWL and discusses their computational complexity. Additionally, the review classifies configurations of SRSWL based on flexibility in assigning travelers to pickup and drop-off locations. The paper also discusses four modelling challenge: short-distance person trips, drop-off location choice for a vehicle's last remaining passenger, allowing vehicles to wait for travelers at pickup locations, and simultaneously reducing VHT/VKT and improving customer service quality relative to D2D shared-ride services. The review paper concludes by discussing the most critical areas of future research related to SRSWL.
△ Less
Submitted 29 January, 2022;
originally announced January 2022.
-
Sensitivity, Affine Transforms and Quantum Communication Complexity
Authors:
Krishnamoorthy Dinesh,
Jayalal Sarma
Abstract:
$\newcommand{\F}{\mathbb{F}}$We study the Boolean function parameters sensitivity ($s$), block sensitivity ($bs$), and alternation ($alt$) under specially designed affine transforms. For a function $f:\F_2^n\to \{0,1\}$, and $A=Mx+b$ for $M \in \F_2^{n\times n}$ and $b\in \F_2^n$, the result of the transformation $g$ is defined as $\forall x\in\F_2^n, g(x)=f(Mx+b)…
▽ More
$\newcommand{\F}{\mathbb{F}}$We study the Boolean function parameters sensitivity ($s$), block sensitivity ($bs$), and alternation ($alt$) under specially designed affine transforms. For a function $f:\F_2^n\to \{0,1\}$, and $A=Mx+b$ for $M \in \F_2^{n\times n}$ and $b\in \F_2^n$, the result of the transformation $g$ is defined as $\forall x\in\F_2^n, g(x)=f(Mx+b)$.
We study alternation under linear shifts ($M$ is the identity matrix) called the shift invariant alternation (denoted by $salt(f)$). We exhibit an explicit family of functions for which $salt(f)$ is $2^{Ω(s(f))}$. We show an affine transform $A$, such that the corresponding function $g$ satisfies $bs(f,0^n) \le s(g)$, using which we proving that for $F(x,y)=f(x\land y)$, the bounded error quantum communication complexity of $F$ with prior entanglement, $Q^*_{1/3}(F)=Ω(\sqrt{bs(f,0^n)})$. Our proof builds on ideas from Sherstov (2010) where we use specific properties of the above affine transformation. We show,
* For a prime $p$ and $0<ε<1$, any $f$ with $deg_p(f)\le(1-ε)\log n$ must satisfy $Q^*_{1/3}(F) = Ω(\frac{n^{ε/2}}{\log n})$. Here, $deg_p(f)$ denotes the degree of the multilinear polynomial of $f$ over $\F_p$.
* For any $f$ such that there exists primes $p$ and $q$ with $deg_q(f) \ge Ω(deg_p(f)^δ)$ for $δ> 2$, the deterministic communication complexity - $D(F)$ and $Q^*_{1/3}(F)$ are polynomially related. In particular, this holds when $deg_p(f) = O(1)$. Thus, for this class of functions, this answers an open question (see Buhrman and deWolf (2001)) about the relation between the two measures.
We construct linear transformation $A$, such that $g$ satisfies, $alt(f) \le 2s(g)+1$. Using this, we exhibit a family of Boolean functions that rule out a potential approach to settle the XOR Log-Rank conjecture via a proof of Sensitivity conjecture [Hao Huang (2019)].
△ Less
Submitted 12 September, 2020; v1 submitted 30 August, 2018;
originally announced August 2018.
-
New Bounds for Energy Complexity of Boolean Functions
Authors:
Krishnamoorthy Dinesh,
Samir Otiv,
Jayalal Sarma
Abstract:
$\newcommand{\EC}{\mathsf{EC}}\newcommand{\KW}{\mathsf{KW}}\newcommand{\DT}{\mathsf{DT}}\newcommand{\psens}{\mathsf{psens}} \newcommand{\calB}{\cal B} $ For a Boolean function $f:\{0,1\}^n \to \{0,1\}$ computed by a circuit $C$ over a finite basis $\mathcal{B}$, the energy complexity of $C$ (denoted by $\EC_{\calB}(C)$) is the maximum over all inputs $\{0,1\}^n…
▽ More
$\newcommand{\EC}{\mathsf{EC}}\newcommand{\KW}{\mathsf{KW}}\newcommand{\DT}{\mathsf{DT}}\newcommand{\psens}{\mathsf{psens}} \newcommand{\calB}{\cal B} $ For a Boolean function $f:\{0,1\}^n \to \{0,1\}$ computed by a circuit $C$ over a finite basis $\mathcal{B}$, the energy complexity of $C$ (denoted by $\EC_{\calB}(C)$) is the maximum over all inputs $\{0,1\}^n$ the numbers of gates of the circuit $C$ (excluding the inputs) that output a one. Energy Complexity of a Boolean function over a finite basis $\calB$ denoted by $\EC_\calB(f):= \min_C \EC_{\calB}(C)$ where $C$ is a circuit over $\calB$ computing $f$.
We study the case when $\calB = \{\land_2, \lor_2, \lnot\}$, the standard Boolean basis. It is known that any Boolean function can be computed by a circuit (with potentially large size) with an energy of at most $3n(1+ε(n))$ for a small $ ε(n)$(which we observe is improvable to $3n-1$). We show several new results and connections between energy complexity and other well-studied parameters of Boolean functions.
* For all Boolean functions $f$, $\EC(f) \le O(\DT(f)^3)$ where $\DT(f)$ is the optimal decision tree depth of $f$.
* We define a parameter \textit{positive sensitivity} (denoted by $\psens$), a quantity that is smaller than sensitivity and defined in a similar way, and show that for any Boolean circuit $C$ computing a Boolean function $f$, $ \EC(C) \ge \psens(f)/3$.
* For a monotone function $f$, we show that $\EC(f) = Ω(\KW^+(f))$ where $\KW^+(f)$ is the cost of monotone Karchmer-Wigderson game of $f$.
* Restricting the above notion of energy complexity to Boolean formulas, we show $\EC(F) = Ω\left (\sqrt{L(F)}-depth(F)\right )$ where $L(F)$ is the size and $depth(F)$ is the depth of a formula $F$.
△ Less
Submitted 12 September, 2020; v1 submitted 21 August, 2018;
originally announced August 2018.
-
Alternation, Sparsity and Sensitivity : Bounds and Exponential Gaps
Authors:
Krishnamoorthy Dinesh,
Jayalal Sarma
Abstract:
$\newcommand{\sp}{\mathsf{sparsity}}\newcommand{\s}{\mathsf{s}}\newcommand{\al}{\mathsf{alt}}$ The well-known Sensitivity Conjecture states that for any Boolean function $f$, block sensitivity of $f$ is at most polynomial in sensitivity of $f$ (denoted by $\s(f)$). The XOR Log-Rank Conjecture states that for any $n$ bit Boolean function, $f$ the communication complexity of a related function $f^{\…
▽ More
$\newcommand{\sp}{\mathsf{sparsity}}\newcommand{\s}{\mathsf{s}}\newcommand{\al}{\mathsf{alt}}$ The well-known Sensitivity Conjecture states that for any Boolean function $f$, block sensitivity of $f$ is at most polynomial in sensitivity of $f$ (denoted by $\s(f)$). The XOR Log-Rank Conjecture states that for any $n$ bit Boolean function, $f$ the communication complexity of a related function $f^{\oplus}$ on $2n$ bits, (defined as $f^{\oplus}(x,y)=f(x\oplus y)$) is at most polynomial in logarithm of the sparsity of $f$ (denoted by $\sp(f)$). A recent result of Lin and Zhang (2017) implies that to confirm the above conjectures it suffices to upper bound alternation of $f$ (denoted $\al(f)$) for all Boolean functions $f$ by polynomial in $\s(f)$ and logarithm of $\sp(f)$, respectively. In this context, we show the following :
* There exists a family of Boolean functions for which $\al(f)$ is at least exponential in $\s(f)$ and $\al(f)$ is at least exponential in $\log \sp(f)$. En route to the proof, we also show an exponential gap between $\al(f)$ and the decision tree complexity of $f$, which might be of independent interest.
* As our main result, we show that, despite the above gap between $\al(f)$ and $\log \sp(f)$, the XOR Log-Rank Conjecture is true for functions with the alternation upper bounded by $poly(\log n)$. It is easy to observe that the Sensitivity Conjecture is also true for this class of functions.
* The starting point for the above result is the observation (derived from Lin and Zhang (2017)) that for any Boolean function $f$ and $m \ge 2$, $deg(f)\le \al(f)deg_2(f)deg_m(f)$ where $deg(f)$, $deg_2(f)$ and $deg_m(f)$ are the degrees of $f$ over $\mathbb{R}$, $\mathbb{F}_2$ and $\mathbb{Z}_m$ respectively. We also show three further applications of this observation.
△ Less
Submitted 11 February, 2019; v1 submitted 15 December, 2017;
originally announced December 2017.
-
On the Complexity of L-reachability
Authors:
Balagopal Komarath,
Jayalal Sarma,
K. S. Sunil
Abstract:
We initiate a complexity theoretic study of the language based graph reachability problem (L-REACH) : Fix a language L. Given a graph whose edges are labeled with alphabet symbols of the language L and two special vertices s and t, test if there is path P from s to t in the graph such that the concatenation of the symbols seen from s to t in the path P forms a string in the language L. We study va…
▽ More
We initiate a complexity theoretic study of the language based graph reachability problem (L-REACH) : Fix a language L. Given a graph whose edges are labeled with alphabet symbols of the language L and two special vertices s and t, test if there is path P from s to t in the graph such that the concatenation of the symbols seen from s to t in the path P forms a string in the language L. We study variants of this problem with different graph classes and different language classes and obtain complexity theoretic characterizations for all of them. Our main results are the following: 1.Restricting the language using formal language theory we show that the complexity of L-REACH increases with the power of the formal language class. We show that there is a regular language for which the L-REACH is NL-complete even for undirected graphs. In the case of linear languages, the complexity of L-REACH does not go beyond the complexity of L itself. Further, there is a deterministic context-free language L for which L-DAGREACH is LogCFL-complete. 2.We use L-REACH as a lens to study structural complexity. In this direction we show that there is a language A in TC0 for which A-DAGREACH is NP-complete. Using this we show that P vs NP question is equivalent to P vs DAGREACH-1(P) question. This leads to the intriguing possibility that by proving DAGREACH-1(P) is contained in some subclass of P, we can prove an upward translation of separation of complexity classes. Note that we do not know a way to upward translate the separation of complexity classes.
△ Less
Submitted 12 January, 2017;
originally announced January 2017.
-
Characterization and Lower Bounds for Branching Program Size using Projective Dimension
Authors:
Krishnamoorthy Dinesh,
Sajin Koroth,
Jayalal Sarma
Abstract:
We study projective dimension, a graph parameter (denoted by pd$(G)$ for a graph $G$), introduced by (Pudlák, Rödl 1992), who showed that proving lower bounds for pd$(G_f)$ for bipartite graphs $G_f$ associated with a Boolean function $f$ imply size lower bounds for branching programs computing $f$. Despite several attempts (Pudlák, Rödl 1992 ; Babai, Rónyai, Ganapathy 2000), proving super-linear…
▽ More
We study projective dimension, a graph parameter (denoted by pd$(G)$ for a graph $G$), introduced by (Pudlák, Rödl 1992), who showed that proving lower bounds for pd$(G_f)$ for bipartite graphs $G_f$ associated with a Boolean function $f$ imply size lower bounds for branching programs computing $f$. Despite several attempts (Pudlák, Rödl 1992 ; Babai, Rónyai, Ganapathy 2000), proving super-linear lower bounds for projective dimension of explicit families of graphs has remained elusive.
We show that there exist a Boolean function $f$ (on $n$ bits) for which the gap between the projective dimension and size of the optimal branching program computing $f$ (denoted by bpsize$(f)$), is $2^{Ω(n)}$. Motivated by the argument in (Pudlák, Rödl 1992), we define two variants of projective dimension - projective dimension with intersection dimension 1 (denoted by upd$(G)$) and bitwise decomposable projective dimension (denoted by bitpdim$(G)$).
As our main result, we show that there is an explicit family of graphs on $N = 2^n$ vertices such that the projective dimension is $O(\sqrt{n})$, the projective dimension with intersection dimension $1$ is $Ω(n)$ and the bitwise decomposable projective dimension is $Ω(\frac{n^{1.5}}{\log n})$. We also show that there exist a Boolean function $f$ (on $n$ bits) for which the gap between upd$(G_f)$ and bpsize$(f)$ is $2^{Ω(n)}$. In contrast, we also show that the bitwise decomposable projective dimension characterizes size of the branching program up to a polynomial factor. That is, there exists a constant $c>0$ and for any function $f$, $\textrm{bitpdim}(G_f)/6 \le \textrm{bpsize}(f) \le (\textrm{bitpdim}(G_f))^c$. We also study two other variants of projective dimension and show that they are exactly equal to well-studied graph parameters - bipartite clique cover number and bipartite partition number respectively.
△ Less
Submitted 9 February, 2017; v1 submitted 25 April, 2016;
originally announced April 2016.
-
Pebbling Meets Coloring: Reversible Pebble Game On Trees
Authors:
Balagopal Komarath,
Jayalal Sarma,
Saurabh Sawlani
Abstract:
The reversible pebble game is a combinatorial game played on rooted DAGs. This game was introduced by Bennett (1989) motivated by applications in designing space efficient reversible algorithms. Recently, Chan (2013) showed that the reversible pebble game number of any DAG is the same as its Dymond-Tompa pebble number and Raz-Mckenzie pebble number.
We show, as our main result, that for any root…
▽ More
The reversible pebble game is a combinatorial game played on rooted DAGs. This game was introduced by Bennett (1989) motivated by applications in designing space efficient reversible algorithms. Recently, Chan (2013) showed that the reversible pebble game number of any DAG is the same as its Dymond-Tompa pebble number and Raz-Mckenzie pebble number.
We show, as our main result, that for any rooted directed tree T, its reversible pebble game number is always just one more than the edge rank coloring number of the underlying undirected tree U of T. It is known that given a DAG G as input, determining its reversible pebble game number is PSPACE-hard. Our result implies that the reversible pebble game number of trees can be computed in polynomial time.
We also address the question of finding the number of steps required to optimally pebble various families of trees. It is known that trees can be pebbled in $n^{O(\log(n))}$ steps where $n$ is the number of nodes in the tree. Using the equivalence between reversible pebble game and the Dymond-Tompa pebble game (Chan, 2013), we show that complete binary trees can be pebbled in $n^{O(\log\log(n))}$ steps, a substantial improvement over the naive upper bound of $n^{O(\log(n))}$. It remains open whether complete binary trees can be pebbled in polynomial (in $n$) number of steps. Towards this end, we show that almost optimal (i.e., within a factor of $(1 + ε)$ for any constant $ε> 0$) pebblings of complete binary trees can be done in polynomial number of steps.
We also show a time-space trade-off for reversible pebbling for families of bounded degree trees by a divide-and-conquer approach: for any constant $ε> 0$, such families can be pebbled using $O(n^ε)$ pebbles in $O(n)$ steps. This generalizes an analogous result of Kralovic (2001) for chains.
△ Less
Submitted 19 April, 2016;
originally announced April 2016.
-
Comparator Circuits over Finite Bounded Posets
Authors:
Balagopal Komarath,
Jayalal Sarma,
K. S. Sunil
Abstract:
Comparator circuit model was originally introduced by Mayr and Subramanian (1992) (and further studied by Cook, Filmus and Le (2012)) to capture problems which are not known to be P-complete but still not known to admit efficient parallel algorithms. The class CC is the complexity class of problems many-one logspace reducible to the Comparator Circuit Value Problem and we know that NL is contained…
▽ More
Comparator circuit model was originally introduced by Mayr and Subramanian (1992) (and further studied by Cook, Filmus and Le (2012)) to capture problems which are not known to be P-complete but still not known to admit efficient parallel algorithms. The class CC is the complexity class of problems many-one logspace reducible to the Comparator Circuit Value Problem and we know that NL is contained in CC which is inturn contained in P. Cook, Filmus and Le (2012) showed that CC is also the class of languages decided by polynomial size comparator circuits.
We study generalizations of the comparator circuit model that work over fixed finite bounded posets. We observe that there are universal comparator circuits even over arbitrary fixed finite bounded posets. Building on this, we show that general (resp. skew) comparator circuits of polynomial size over fixed finite distributive lattices characterizes CC (resp. L). Complementing this, we show that general comparator circuits of polynomial size over arbitrary fixed finite lattices exactly characterizes P even when the comparator circuit is skew. In addition, we show a characterization of the class NP by a family of polynomial sized comparator circuits over fixed {\em finite bounded posets}. These results generalize the results by Cook, Filmus and Le (2012) regarding the power of comparator circuits. As an aside, we consider generalizations of Boolean formulae over arbitrary lattices. We show that Spira's theorem (1971) can be extended to this setting as well and show that polynomial sized Boolean formulae over finite fixed lattices capture exactly NC^1.
△ Less
Submitted 19 July, 2017; v1 submitted 1 March, 2015;
originally announced March 2015.
-
Depth Lower Bounds against Circuits with Sparse Orientation
Authors:
Sajin Koroth,
Jayalal Sarma
Abstract:
We study depth lower bounds against non-monotone circuits, parametrized by a new measure of non-monotonicity: the orientation of a function $f$ is the characteristic vector of the minimum sized set of negated variables needed in any DeMorgan circuit computing $f$. We prove trade-off results between the depth and the weight/structure of the orientation vectors in any circuit $C$ computing the Cliqu…
▽ More
We study depth lower bounds against non-monotone circuits, parametrized by a new measure of non-monotonicity: the orientation of a function $f$ is the characteristic vector of the minimum sized set of negated variables needed in any DeMorgan circuit computing $f$. We prove trade-off results between the depth and the weight/structure of the orientation vectors in any circuit $C$ computing the Clique function on an $n$ vertex graph. We prove that if $C$ is of depth $d$ and each gate computes a Boolean function with orientation of weight at most $w$ (in terms of the inputs to $C$), then $d \times w$ must be $Ω(n)$. In particular, if the weights are $o(\frac{n}{\log^k n})$, then $C$ must be of depth $ω(\log^k n)$. We prove a barrier for our general technique. However, using specific properties of the Clique function and the Karchmer-Wigderson framework (Karchmer and Wigderson, 1988), we go beyond the limitations and obtain lower bounds when the weight restrictions are less stringent. We then study the depth lower bounds when the structure of the orientation vector is restricted. Asymptotic improvements to our results (in the restricted setting), separates NP from NC. As our main tool, we generalize Karchmer-Wigderson gamefor monotone functions to work for non-monotone circuits parametrized by the weight/structure of the orientation. We also prove structural results about orientation and prove connections between number of negations and weight of orientations required to compute a function.
△ Less
Submitted 3 February, 2015; v1 submitted 29 April, 2014;
originally announced April 2014.
-
Deterministic Black-Box Identity Testing $π$-Ordered Algebraic Branching Programs
Authors:
Maurice Jansen,
Youming Qiao,
Jayalal Sarma
Abstract:
In this paper we study algebraic branching programs (ABPs) with restrictions on the order and the number of reads of variables in the program. Given a permutation $π$ of $n$ variables, for a $π$-ordered ABP ($π$-OABP), for any directed path $p$ from source to sink, a variable can appear at most once on $p$, and the order in which variables appear on $p$ must respect $π$. An ABP $A$ is said to be…
▽ More
In this paper we study algebraic branching programs (ABPs) with restrictions on the order and the number of reads of variables in the program. Given a permutation $π$ of $n$ variables, for a $π$-ordered ABP ($π$-OABP), for any directed path $p$ from source to sink, a variable can appear at most once on $p$, and the order in which variables appear on $p$ must respect $π$. An ABP $A$ is said to be of read $r$, if any variable appears at most $r$ times in $A$. Our main result pertains to the identity testing problem. Over any field $F$ and in the black-box model, i.e. given only query access to the polynomial, we have the following result: read $r$ $π$-OABP computable polynomials can be tested in $\DTIME[2^{O(r\log r \cdot \log^2 n \log\log n)}]$.
Our next set of results investigates the computational limitations of OABPs. It is shown that any OABP computing the determinant or permanent requires size $Ω(2^n/n)$ and read $Ω(2^n/n^2)$. We give a multilinear polynomial $p$ in $2n+1$ variables over some specifically selected field $G$, such that any OABP computing $p$ must read some variable at least $2^n$ times. We show that the elementary symmetric polynomial of degree $r$ in $n$ variables can be computed by a size $O(rn)$ read $r$ OABP, but not by a read $(r-1)$ OABP, for any $0 < 2r-1 \leq n$. Finally, we give an example of a polynomial $p$ and two variables orders $π\neq π'$, such that $p$ can be computed by a read-once $π$-OABP, but where any $π'$-OABP computing $p$ must read some variable at least $2^n$
△ Less
Submitted 7 February, 2010;
originally announced February 2010.
-
Deterministic Identity Testing of Read-Once Algebraic Branching Programs
Authors:
Maurice Jansen,
Youming Qiao,
Jayalal Sarma
Abstract:
In this paper we study polynomial identity testing of sums of $k$ read-once algebraic branching programs ($Σ_k$-RO-ABPs), generalizing the work in (Shpilka and Volkovich 2008,2009), who considered sums of $k$ read-once formulas ($Σ_k$-RO-formulas). We show that $Σ_k$-RO-ABPs are strictly more powerful than $Σ_k$-RO-formulas, for any $k \leq \lfloor n/2\rfloor$, where $n$ is the number of variabl…
▽ More
In this paper we study polynomial identity testing of sums of $k$ read-once algebraic branching programs ($Σ_k$-RO-ABPs), generalizing the work in (Shpilka and Volkovich 2008,2009), who considered sums of $k$ read-once formulas ($Σ_k$-RO-formulas). We show that $Σ_k$-RO-ABPs are strictly more powerful than $Σ_k$-RO-formulas, for any $k \leq \lfloor n/2\rfloor$, where $n$ is the number of variables. We obtain the following results:
1) Given free access to the RO-ABPs in the sum, we get a deterministic algorithm that runs in time $O(k^2n^7s) + n^{O(k)}$, where $s$ bounds the size of any largest RO-ABP given on the input. This implies we have a deterministic polynomial time algorithm for testing whether the sum of a constant number of RO-ABPs computes the zero polynomial.
2) Given black-box access to the RO-ABPs computing the individual polynomials in the sum, we get a deterministic algorithm that runs in time $k^2n^{O(\log n)} + n^{O(k)}$.
3) Finally, given only black-box access to the polynomial computed by the sum of the $k$ RO-ABPs, we obtain an $n^{O(k + \log n)}$ time deterministic algorithm.
△ Less
Submitted 13 December, 2009;
originally announced December 2009.
-
On the Complexity of Matroid Isomorphism Problem
Authors:
Raghavendra Rao B. V.,
Jayalal M. N. Sarma
Abstract:
We study the complexity of testing if two given matroids are isomorphic. The problem is easily seen to be in $Σ_2^p$. In the case of linear matroids, which are represented over polynomially growing fields, we note that the problem is unlikely to be $Σ_2^p$-complete and is $\co\NP$-hard. We show that when the rank of the matroid is bounded by a constant, linear matroid isomorphism, and matroid is…
▽ More
We study the complexity of testing if two given matroids are isomorphic. The problem is easily seen to be in $Σ_2^p$. In the case of linear matroids, which are represented over polynomially growing fields, we note that the problem is unlikely to be $Σ_2^p$-complete and is $\co\NP$-hard. We show that when the rank of the matroid is bounded by a constant, linear matroid isomorphism, and matroid isomorphism are both polynomial time many-one equivalent to graph isomorphism. We give a polynomial time Turing reduction from graphic matroid isomorphism problem to the graph isomorphism problem. Using this, we are able to show that graphic matroid isomorphism testing for planar graphs can be done in deterministic polynomial time. We then give a polynomial time many-one reduction from bounded rank matroid isomorphism problem to graphic matroid isomorphism, thus showing that all the above problems are polynomial time equivalent. Further, for linear and graphic matroids, we prove that the automorphism problem is polynomial time equivalent to the corresponding isomorphism problems. In addition, we give a polynomial time membership test algorithm for the automorphism group of a graphic matroid.
△ Less
Submitted 24 November, 2008;
originally announced November 2008.