中文
相关论文

相关论文: An Almost Optimal Rank Bound for Depth-3 Identitie…

200 篇论文

We study the problem of identity testing for depth-3 circuits of top fanin k and degree d. We give a new structure theorem for such identities. A direct application of our theorem improves the known deterministic d^{k^k}-time black-box…

计算复杂性 · 计算机科学 2010-02-09 Nitin Saxena , C. Seshadhri

Let C be a depth-3 circuit with n variables, degree d and top fanin k (called sps(k,d,n) circuits) over base field F. It is a major open problem to design a deterministic polynomial time blackbox algorithm that tests if C is identically…

计算复杂性 · 计算机科学 2015-03-17 Nitin Saxena , C. Seshadhri

We prove a non-linear Edelstein-Kelly theorem for polynomials of constant degree, fully settling a stronger form of Conjecture 30 in Gupta (2014), and generalizing the main result of Peleg and Shpilka (STOC 2021) from quadratic polynomials…

计算复杂性 · 计算机科学 2025-04-28 Abhibhav Garg , Rafael Oliveira , Akash Kumar Sengupta

It is shown that the minimal depth of an optimal prefix circuit (i.e., a zero-deficiency circuit) on $N$ inputs with fanout bounded by $k$ is ${\log_{\alpha_k} N \pm O(1)}$, where $\alpha_k$ is the unique positive root of the polynomial…

数据结构与算法 · 计算机科学 2025-12-30 Igor S. Sergeev

We introduce the polynomial coefficient matrix and identify maximum rank of this matrix under variable substitution as a complexity measure for multivariate polynomials. We use our techniques to prove super-polynomial lower bounds against…

计算复杂性 · 计算机科学 2013-02-15 Mrinal Kumar , Gaurav Maheshwari , Jayalal Sarma M. N

Gurumuhkani et al. (CCC'24) introduced the local enumeration problem $Enum(k, t)$ as follows: for a natural number $k$ and a parameter $t$, given an $n$-variate $k$-CNF with no satisfying assignment with Hamming weight less than $t(n)$,…

计算复杂性 · 计算机科学 2026-02-05 Mohit Gurumukhani , Daniel Kleber , Ramamohan Paturi , Christopher Rosin , Michael Saks , Navid Talebanfard

We study the problem of obtaining efficient, deterministic, black-box polynomial identity testing algorithms for depth-3 set-multilinear circuits (over arbitrary fields). This class of circuits has an efficient, deterministic, white-box…

计算复杂性 · 计算机科学 2012-12-03 Michael A. Forbes , Amir Shpilka

Let $C$ be a depth-3 arithmetic circuit of size at most $s$, computing a polynomial $ f \in \mathbb{F}[x_1,\ldots, x_n] $ (where $\mathbb{F}$ = $\mathbb{Q}$ or $\mathbb{C}$) and the fan-in of the product gates of $C$ is bounded by $d$. We…

计算复杂性 · 计算机科学 2018-05-22 V. Arvind , Abhranil Chatterjee , Rajit Datta , Partha Mukhopadhyay

We give new and efficient black-box reconstruction algorithms for some classes of depth-$3$ arithmetic circuits. As a consequence, we obtain the first efficient algorithm for computing the tensor rank and for finding the optimal tensor…

计算复杂性 · 计算机科学 2021-05-06 Vishwas Bhargava , Shubhangi Saraf , Ilya Volkovich

The best known size lower bounds against unrestricted circuits have remained around $3n$ for several decades. Moreover, the only known technique for proving lower bounds in this model, gate elimination, is inherently limited to proving…

计算复杂性 · 计算机科学 2020-12-09 Alexander Golovnev , Alexander S. Kulikov , R. Ryan Williams

We develop efficient randomized algorithms to solve the black-box reconstruction problem for polynomials over finite fields, computable by depth three arithmetic circuits with alternating addition/multiplication gates, such that output gate…

计算复杂性 · 计算机科学 2021-06-18 Gaurav Sinha

Reconstruction of arithmetic circuits has been heavily studied in the past few years and has connections to proving lower bounds and deterministic identity testing. In this paper we present a polynomial time randomized algorithm for…

数据结构与算法 · 计算机科学 2018-02-28 Gaurav Sinha

We present a single, common tool to strictly subsume all known cases of polynomial time blackbox polynomial identity testing (PIT) that have been hitherto solved using diverse tools and techniques. In particular, we show that polynomial…

计算复杂性 · 计算机科学 2011-11-03 Manindra Agrawal , Chandan Saha , Ramprasad Saptharishi , Nitin Saxena

We give a $n^{O(\log n)}$-time ($n$ is the input size) blackbox polynomial identity testing algorithm for unknown-order read-once oblivious algebraic branching programs (ROABP). The best result known for this class was $n^{O(\log^2 n)}$ due…

计算复杂性 · 计算机科学 2014-07-01 Manindra Agrawal , Rohit Gurjar , Arpita Korwar , Nitin Saxena

Polynomial Identity Testing (PIT) is a fundamental computational problem. The famous depth-$4$ reduction result by Agrawal and Vinay (FOCS 2008) has made PIT for depth-$4$ circuits an enticing pursuit. A restricted depth-4 circuit computing…

计算复杂性 · 计算机科学 2023-04-26 Pranjal Dutta , Prateek Dwivedi , Nitin Saxena

A long-standing open question in the algorithms and complexity literature is whether there exist sorting circuits of size $o(n \log n)$. A recent work by Asharov, Lin, and Shi (SODA'21) showed that if the elements to be sorted have short…

数据结构与算法 · 计算机科学 2021-11-09 Wei-Kai Lin , Elaine Shi

In recent years, there has been a flurry of activity towards proving lower bounds for homogeneous depth-4 arithmetic circuits, which has brought us very close to statements that are known to imply $\textsf{VP} \neq \textsf{VNP}$. It is open…

计算复杂性 · 计算机科学 2018-06-19 Mrinal Kumar , Shubhangi Saraf

We show that over the field of complex numbers, \emph{every} homogeneous polynomial of degree $d$ can be approximated (in the border complexity sense) by a depth-$3$ arithmetic circuit of top fan-in at most $d+1$. This is quite surprising…

计算复杂性 · 计算机科学 2018-04-11 Mrinal Kumar

Koiran showed that if a $n$-variate polynomial of degree $d$ (with $d=n^{O(1)}$) is computed by a circuit of size $s$, then it is also computed by a homogeneous circuit of depth four and of size $2^{O(\sqrt{d}\log(d)\log(s))}$. Using this…

计算复杂性 · 计算机科学 2014-05-19 Sébastien Tavenas

A polynomial identity testing algorithm must determine whether an input polynomial (given for instance by an arithmetic circuit) is identically equal to 0. In this paper, we show that a deterministic black-box identity testing algorithm for…

计算复杂性 · 计算机科学 2010-08-02 Pascal Koiran
‹ 上一页 1 2 3 10 下一页 ›