Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
10.1145/3618260acmconferencesBook PagePublication PagesstocConference Proceedingsconference-collections
STOC 2024: Proceedings of the 56th Annual ACM Symposium on Theory of Computing
ACM2024 Proceeding
Publisher:
  • Association for Computing Machinery
  • New York
  • NY
  • United States
Conference:
STOC '24: 56th Annual ACM Symposium on Theory of Computing Vancouver BC Canada June 24 - 28, 2024
ISBN:
979-8-4007-0383-6
Published:
11 June 2024
Sponsors:

Reflects downloads up to 01 Sep 2024Bibliometrics
Skip Abstract Section
Abstract

The papers in this volume were presented at the 56th Annual ACM Symposium on Theory of Computing (STOC 2024), sponsored by the ACM Special Interest Group on Algorithms and Computation Theory (SIGACT). The conference was held in Vancouver, Canada, June 24--28, 2024, with the papers being presented as live talks.

SESSION: 4C
research-article
Open Access
Hardness of Range Avoidance and Remote Point for Restricted Circuits via Cryptography

A recent line of research has introduced a systematic approach to exploring the complexity of explicit construction problems through the use of meta-problems, namely, the range avoidance problem (abbrev. Avoid) and the remote point problem (abbrev. ). ...

research-article
Open Access
Communication Lower Bounds for Collision Problems via Density Increment Arguments

Collision problems are important problems in complexity theory and cryptography with diverse applications. Previous fruitful works have mainly focused on query models. Driven by various applications, several works by Bauer, Farshim and Mazaheri (CRYPTO ...

research-article
Open Access
Lower Bounds for Regular Resolution over Parities

The proof system resolution over parities (Res(⊕)) operates with disjunctions of linear equations (linear clauses) over GF(2); it extends the resolution proof system by incorporating linear algebra over GF(2). Over the years, several exponential lower ...

research-article
Open Access
XOR Lemmas for Communication via Marginal Information

We define the marginal information of a communication protocol, and use it to prove XOR lemmas for communication complexity. We show that if every C-bit protocol has bounded advantage for computing a Boolean function f, then every Ω(Cn)-bit protocol ...

research-article
Open Access
Beating Brute Force for Compression Problems

A compression problem is defined with respect to an efficient encoding function f; given a string x, our task is to find the shortest y such that f(y) = x. The obvious brute-force algorithm for solving this compression task on n-bit strings runs in time ...

Contributors
  • Simon Fraser University
  • Simon Fraser University
  • Carnegie Mellon University

Index Terms

  1. Proceedings of the 56th Annual ACM Symposium on Theory of Computing

    Recommendations

    Acceptance Rates

    Overall Acceptance Rate 1,469 of 4,586 submissions, 32%
    YearSubmittedAcceptedRate
    STOC '153479327%
    STOC '143199129%
    STOC '1336010028%
    STOC '113048428%
    STOC '083258025%
    STOC '032708030%
    STOC '022879132%
    STOC '012308336%
    STOC '001828547%
    STOC '981697544%
    STOC '972117536%
    STOC '962017437%
    STOC '891965629%
    STOC '881925328%
    STOC '871655030%
    STOC '801254738%
    STOC '791113733%
    STOC '781203832%
    STOC '77873136%
    STOC '76833036%
    STOC '75873136%
    STOC '74953537%
    STOC '71502346%
    STOC '70702739%
    Overall4,5861,46932%