Communications of the ACM
Refine your search:
How the “Frontier” Became the Slogan of Uncontrolled AI
Artificial intelligence (AI) has been billed as the next frontier of humanity: the newly available expanse whose exploration …
From Computational Complexity
E versus EXP
Why do we have two complexity classes for exponential time, E and EXP?First the definitions:E is the set of problems computable in time \(2^{O(n)}\).EXP is theMIP...
From Computational Complexity
Luca Trevisan (1971-2024)
Complexity theorist Luca Trevisan lost his battle to cancer yesterday in Milan at the age of 52. A terrible loss for our community and our hearts go out to hisTCS4All...
From Computational Complexity
Rethinking Hueristica
I've argued that more and more we seem to live in an Optiland, a computational utopia where through recent developments in optimization and learning we can solve...
From Computational Complexity
Favorite Theorems: Algebraic Circuits
Most of my favorite theorems tell us something new about the world of complexity. But let's not forget the greatest technical challenges in our area: proving separations...
From Computational Complexity
The Godzilla Moment
On the plane earlier this week I got around to watching the Academy Award winning movie Godzilla Minus One, one of the best monster movies I've seen set in Japan...
From Computational Complexity
Double Digit Delights
It started with a post from Fermat's Library. 132 is the sum of all the 2-digit numbers made from its digits. It is the smallest such number. pic.twitter.com/hrByAXbr51...
From Computational Complexity
Peer Review
Daniel Lemire wrote a blog post Peer Review is Not the Gold Standard in Science. I wonder who was claiming it was. There is whole section of an online Responsible...
From Computational Complexity
Jim Simons (1938-2024)
Jim Simons passed away Friday at the age of 86. In short he was a math professor who quit to use math to make money before it was fashionable and used part of his...
From Computational Complexity
Favorite Theorems: Dichotomy
A constraint satisfaction problem has a group of constraints applied to a set of variables and we want to know if there is a setting of the variables that makeA...
From Computational Complexity
Our Obsession with Proofs
Bullinger's post on this blog last week focused on Vijay Vazirani's public obsession of finding a proof for the 1980 Micali-Vazirani matching algorithm. But why...
From Computational Complexity
Is Persistence an Anachronism?
Guest post by Martin BullingerVery recently, Vijay Vazirani's paper A Theory of Alternating Paths and Blossoms, from the Perspective of Minimum Length got accepted...
From Computational Complexity
Favorite Theorems: Quantum Provers
For our next favorite theorem, we look at the surprising power of provers who share entangled bits. If you can prove something to an arbitrarily computable verifier...
From Computational Complexity
Avi wins the Turing Award
The ACM announced that Avi Wigderson, a force in computational complexity and beyond, will receive the 2023 A. M. Turing Award (Quanta article). This is the first...
From Computational Complexity
The Softening of Computing Jobs: Blip or Trend?
Tech companies are performing exceptionally well, driving the S&P 500 to new heights with their soaring stock prices. However, the tech sector, apart from AI, expects...
From Computational Complexity
Can you feel the machine?
In the recent academy award winning movie Oppenheimer, Niels Bohr tests a young Oppenheimer. Bohr: Algebra's like sheet music, the important thing isn't canOppenheimer...
From Computational Complexity
Translation in Context
La Scala in Milan Google translate generally impresses but consider this translation from a short Italian news article. I boldfaced a few items. Not scheduled...
From Computational Complexity
Favorite Theorems: Sensitivity
Our next favorite theorem gave a relatively simple proof of the sensitivity conjecture, a long-standing problem of Boolean functions.Induced subgraphs of hypercubes...
From Computational Complexity
A Quantum State
Illinois' most famous citizen working on a quantum computer The governor of Illinois, JB Pritzker, unveiled his budget last week including $500 million for quantum...
From Computational Complexity
Sumchecks and Snarks
Last summer as I lamented that my research didn't have real world implications, one of the comments mentioned the sumcheck protocol used for zero-knowledge SNARKs...
From Computational Complexity