Results 1  10
of
11,671
On the power of algebraic branching programs of width two
"... Abstract. We show that there are families of polynomials having small depthtwo arithmetic circuits that cannot be expressed by algebraic branching programs of width two. This clarifies the complexity of the problem of computing the product of a sequence of twobytwo matrices, which arises in sever ..."
Abstract

Cited by 4 (1 self)
 Add to MetaCart
Abstract. We show that there are families of polynomials having small depthtwo arithmetic circuits that cannot be expressed by algebraic branching programs of width two. This clarifies the complexity of the problem of computing the product of a sequence of twobytwo matrices, which arises
Lower bounds for syntactically multilinear algebraic branching programs
 In MFCS
, 2008
"... Abstract. It is shown that any weaklyskew circuit can be converted into a skew circuit with constant factor overhead, while preserving either syntactic or semantic multilinearity. This leads to considering syntactically multilinear algebraic branching programs (ABPs), which are defined by a natur ..."
Abstract

Cited by 8 (2 self)
 Add to MetaCart
Abstract. It is shown that any weaklyskew circuit can be converted into a skew circuit with constant factor overhead, while preserving either syntactic or semantic multilinearity. This leads to considering syntactically multilinear algebraic branching programs (ABPs), which are defined by a
Pseudorandomness for multilinear readonce algebraic branching programs
 in any order. Electronic Colloquium on Computational Complexity (ECCC
"... We give deterministic blackbox polynomial identity testing algorithms for multilinear readonce oblivious algebraic branching programs (ROABPs), in nO(lg 2 n) time.1 Further, our algorithm is oblivious to the order of the variables. This is the first subexponential time algorithm for this model. F ..."
Abstract

Cited by 3 (2 self)
 Add to MetaCart
We give deterministic blackbox polynomial identity testing algorithms for multilinear readonce oblivious algebraic branching programs (ROABPs), in nO(lg 2 n) time.1 Further, our algorithm is oblivious to the order of the variables. This is the first subexponential time algorithm for this model
Polynomial Identity Testing of ReadOnce Oblivious Algebraic Branching Programs
, 2014
"... We study the problem of obtaining efficient, deterministic, blackbox polynomial identity testing algorithms (PIT) for algebraic branching programs (ABPs) that are readonce and oblivious. This class has an efficient, deterministic, whitebox polynomial identity testing algorithm (due to Raz and Shp ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
We study the problem of obtaining efficient, deterministic, blackbox polynomial identity testing algorithms (PIT) for algebraic branching programs (ABPs) that are readonce and oblivious. This class has an efficient, deterministic, whitebox polynomial identity testing algorithm (due to Raz
Deterministic blackbox identity testing piordered algebraic branching programs
 In Proceedings of the 30th International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010
, 2010
"... In this paper we study algebraic branching programs (ABPs) with restrictions on the order and the number of reads of variables in the program. An ABP is given by a layered directed acyclic graph with source s and sink t, whose edges are labeled by variables taken from the set {x1, x2,..., xn} or fie ..."
Abstract

Cited by 4 (1 self)
 Add to MetaCart
In this paper we study algebraic branching programs (ABPs) with restrictions on the order and the number of reads of variables in the program. An ABP is given by a layered directed acyclic graph with source s and sink t, whose edges are labeled by variables taken from the set {x1, x2,..., xn
Quasipolynomialtime Identity Testing of NonCommutative and ReadOnce Oblivious Algebraic Branching Programs
, 2012
"... We study the problem of obtaining efficient, deterministic, blackbox polynomial identity testing algorithms (PIT) for readonce oblivious algebraic branching programs (ABPs). This class has an efficient, deterministic, whitebox polynomial identity testing algorithm (due to Raz and Shpilka [RS05]), ..."
Abstract

Cited by 14 (4 self)
 Add to MetaCart
We study the problem of obtaining efficient, deterministic, blackbox polynomial identity testing algorithms (PIT) for readonce oblivious algebraic branching programs (ABPs). This class has an efficient, deterministic, whitebox polynomial identity testing algorithm (due to Raz and Shpilka [RS05
Algebraic laws for nondeterminism and concurrency
 Journal of the ACM
, 1985
"... Abstract. Since a nondeterministic and concurrent program may, in general, communicate repeatedly with its environment, its meaning cannot be presented naturally as an input/output function (as is often done in the denotational approach to semantics). In this paper, an alternative is put forth. Firs ..."
Abstract

Cited by 608 (13 self)
 Add to MetaCart
Abstract. Since a nondeterministic and concurrent program may, in general, communicate repeatedly with its environment, its meaning cannot be presented naturally as an input/output function (as is often done in the denotational approach to semantics). In this paper, an alternative is put forth
Algebraic Graph Theory
, 2011
"... Algebraic graph theory comprises both the study of algebraic objects arising in connection with graphs, for example, automorphism groups of graphs along with the use of algebraic tools to establish interesting properties of combinatorial objects. One of the oldest themes in the area is the investiga ..."
Abstract

Cited by 892 (13 self)
 Add to MetaCart
Algebraic graph theory comprises both the study of algebraic objects arising in connection with graphs, for example, automorphism groups of graphs along with the use of algebraic tools to establish interesting properties of combinatorial objects. One of the oldest themes in the area
Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic
 In: Kozen, D., Ed., Logics of Programs
, 1982
"... We propose a method of constructing concurrent programs in which the synchronization skeleton of the program ~s automatically synthesized from a highlevel (branching time) Temporal Logic specification. The synchronization skeleton is an abstraction of the actual program where detail irrelevant to ..."
Abstract

Cited by 1020 (56 self)
 Add to MetaCart
We propose a method of constructing concurrent programs in which the synchronization skeleton of the program ~s automatically synthesized from a highlevel (branching time) Temporal Logic specification. The synchronization skeleton is an abstraction of the actual program where detail irrelevant
Results 1  10
of
11,671