ACM Transactions on

Computation Theory (TOCT)

Latest Articles

Constant-Error Pseudorandomness Proofs from Hardness Require Majority

Research in the 1980s and 1990s showed how to construct a pseudorandom generator from a function that is hard to compute on more than 99% of the... (more)

On Minrank and Forbidden Subgraphs

The minrank over a field F of a graph G on the vertex set { 1,2,… ,n} is the minimum possible rank of a matrix M ∈ Fn × n such that Mi, i ≠ 0 for every i, and Mi, j =0 for every distinct non-adjacent vertices i and j in G. For an integer n, a graph H, and a field F, let g(n,H, F) denote the maximum possible... (more)

Bounded Independence versus Symmetric Tests

For a test T ⊆ {0, 1}n, define k*(T) to be the maximum k such that there exists a k-wise uniform distribution over {0, 1}n whose support is a subset of T. For Ht = {x ∈ {0, 1}n : | ∑ixi − n/2| ≤ t}, we prove k*(Ht) = Θ (t2/n + 1). For Sm, c... (more)

Representations of Monotone Boolean Functions by Linear Programs

We introduce the notion of monotone linear programming circuits (MLP circuits), a model of computation for partial Boolean functions. Using this... (more)

Approximating Pairwise Correlations in the Ising Model

In the Ising model, we consider the problem of estimating the covariance of the spins at two specified vertices. In the ferromagnetic case, it is easy... (more)

Tolerant Junta Testing and the Connection to Submodular Optimization and Function Isomorphism

A function f:{ −1,1}n → { −1,1} is a k-junta if it depends on at most k of its variables. We consider the... (more)


Editor-in-Chief Call for Nominations


The term of the current Editor-in-Chief (EiC) of the ACM Transactions on Computation Theory (ToCT) is coming to an end, and the ACM Publications Board has set up a nominating committee to assist the Board in selecting the next EiC.

Nominations, including self-nominations, are invited for a three-year term as ToCT EiC, beginning on January 1, 2020. The EiC appointment may be renewed at most one time. This is an entirely voluntary position, but ACM will provide appropriate administrative support.



About TOCT

The ACM Transactions on Computation Theory (TOCT) is a peer-reviewed journal that explores the mathematical nature of computation and it's theoretical limitations (with an emphasis on computational complexity, foundations of cryptography and other computation-based topics in theoretical computer science).

read more
Forthcoming Articles

New Resolution-based QBF Calculi and Their Proof Complexity

New Insights on the (Non-)Hardness of Circuit Minimization and Related Problems

PPSZ for k >= 5: More Is Better

Optimal Sparsification for Some Binary CSPs Using Low-Degree Polynomials

All ACM Journals | See Full Journal Index

Search TOCT
enter search term and/or author name