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-159 | 21st August 2026
Noga Alon, Shay Moran, Shlomo Moran

Sorting from Counterexamples

Consider the following problem of learning an unknown linear order on $n$ items. In each round, the learner guesses a complete ordering of the items and receives either confirmation that the guess is correct or a counterexample:
a pair of items in the wrong order. The goal is to identify ... more >>>


TR26-158 | 22nd August 2026
Gaia Carenini

Random 3-CNF formulas are hard for $k$-DNF resolution up to $k=O(\sqrt{\log n})$

We prove exponential lower bounds for $k$-DNF resolution on random $3$-CNF formulas throughout the range $k=O(\sqrt{\log n})$ at every constant clause density above the elementary first-moment bound for unsatisfiability. For random $3$-CNFs this improves Alekhnovich's range $k=O(\sqrt{\log n/\log\log n})$, and matches the $O(\sqrt{\log n})$ range obtained by Sofronova and Sokolov ... more >>>


TR26-157 | 27th August 2026
Nikolai Chukhin, Alexander Kulikov, Ivan Mihajlin, Alexander Smal

A Tight Cycle-Cover Inequality for Shortest Common Superstring

In the Shortest Common Superstring problem (SCS), one is given a finite set of strings and is asked to find a shortest string containing every input string as a substring. Its best known approximation ratio is $2.466$, whereas the currently strongest upper bound on the approximation guarantee of the maximum-overlap ... more >>>



previous PreviousNext next


ISSN 1433-8092 | Imprint