most citedSeparations in Proof Complexity and TFNP

2 citations · 2 across the 5 of their papers we have counts for

collaborators

6 papers

cs.CC2024

Direct Sums for Parity Decision Trees

Tyler Besselman, Mika Göös, Siyao Guo +2

Direct sum theorems state that the cost of solving instances of a problem is at least times the cost of solving a single instance. We prove the first such results in the…

cs.CC2024

Supercritical Tradeoffs for Monotone Circuits

Mika Göös, Gilbert Maystre, Kilian Risse +1

We exhibit a monotone function computable by a monotone circuit of quasipolynomial size such that any monotone circuit of polynomial depth requires exponential size. This is the fi…

cs.GT2024

The Complexity of Two-Team Polymatrix Games with Independent Adversaries

Alexandros Hollender, Gilbert Maystre, Sai Ganesh Nagarajan

Adversarial multiplayer games are an important object of study in multiagent learning. In particular, polymatrix zero-sum games are a multiplayer setting where Nash equilibria are…

cs.CC2022

Randomised Composition and Small-Bias Minimax

Shalev Ben-David, Eric Blais, Mika Göös +1

We prove two results about randomised query complexity . First, we introduce a "linearised" complexity measure and show that it satisfies an inner-opti…

cs.CC2022★ 2 cited

Separations in Proof Complexity and TFNP

Mika Göös, Alexandros Hollender, Siddhartha Jain +4

It is well-known that Resolution proofs can be efficiently simulated by Sherali-Adams (SA) proofs. We show, however, that any such simulation needs to exploit huge coefficients: Re…

cs.CC2022

Further Collapses in TFNP

Mika Göös, Alexandros Hollender, Siddhartha Jain +4

We show . Here the class consists of all total search problems that reduce to the End-of-Potential-Line problem, which…