Weizmann Logo
ECCC
Electronic Colloquium on Computational Complexity

Under the auspices of the Computational Complexity Foundation (CCF)

Login | Register | Classic Style



LATEST > REPORTS:
RSS-Feedprevious PreviousNext next

TR26-247 | 11th October 2026
Sankeerth Rao Karingula, Shachar Lovett

A simplified proof of polynomial improvements for 3SUM and APSP

We give a simplified proof of the polynomial improvements for integer 3SUM and all-pairs shortest paths (APSP) established by Alman and Vassilevska Williams, with weaker exponents. The central ingredient is selected-entry matrix multiplication: computing a prescribed set of entries of a product of dense rectangular matrices. Starting from Sch\"onhage's inner/outer-product ... more >>>


TR26-246 | 11th October 2026
Sebastian Ben Daniel

Constant-Probability Witness Isolation Implies NP in P/poly

A pruning procedure maps a Boolean circuit to a circuit on the same variables that accepts only satisfying assignments of the original.
Valiant and Vazirani give a pruning procedure that leaves exactly one satisfying assignment of every satisfiable circuit with probability $\Omega(1/n)$, where $n$ is the number of variables. Dell, ... more >>>


TR26-245 | 10th October 2026
Meghana Bhat, Pranjal Dutta, Devansh Shringi

Demystifying Border Depth-3 Circuits via Differential Equations

Border complexity captures polynomials that can be approximated arbitrarily well by small algebraic circuits, and debordering asks how efficiently such an approximation can be converted into an exact computation. Debordering lies at the heart of the gap between Valiant's determinant versus permanent conjecture and its strengthening by Mulmuley and Sohoni ... more >>>



previous PreviousNext next


ISSN 1433-8092 | Imprint