What's up in

algorithm

Just five days after posting a retraction, László Babai announced that he had fixed the error in his landmark graph isomorphism algorithm.
Abstractions blog

Graph Isomorphism Vanquished — Again

Just five days after posting a retraction, László Babai announced that he had fixed the error in his landmark graph isomorphism algorithm.

The legendary graph isomorphism problem may be harder than a 2015 result seemed to suggest.
Abstractions blog

Complexity Theory Problem Strikes Back

The legendary graph isomorphism problem may be harder than a 2015 result seemed to suggest.

The computer scientist Cynthia Dwork takes abstract concepts like privacy and fairness and adapts them into machine code for the algorithmic age.
Q&A

How to Force Our Machines to Play Fair

The computer scientist Cynthia Dwork takes abstract concepts like privacy and fairness and adapts them into machine code for the algorithmic age.

When divvying something up, there’s more than one way to define what’s fair.
Abstractions blog

All Is Not Fair in Cake-Cutting and Math

When divvying something up, there’s more than one way to define what’s fair.

Computer scientists have come up with a bounded algorithm that can fairly divide a cake among any number of people.
algorithm

How to Cut Cake Fairly and Finally Eat It Too

Computer scientists have come up with a bounded algorithm that can fairly divide a cake among any number of people.

Computer scientists can prove certain programs to be error-free with the same certainty that mathematicians prove theorems.
computer security

Hacker-Proof Code Confirmed

Computer scientists can prove certain programs to be error-free with the same certainty that mathematicians prove theorems.

Recent tests show that quantum computers made by D-Wave systems should solve some problems faster than ordinary computers. Researchers have begun to map out exactly which queries might benefit from these quantum machines.
quantum computing

Computing’s Search for Quantum Questions

Recent tests show that quantum computers made by D-Wave systems should solve some problems faster than ordinary computers. Researchers have begun to map out exactly which queries might benefit from these quantum machines.

The biological world is computational at its core, argues computer scientist Leslie Valiant.
Q&A

Searching for the Algorithms Underlying Life

The biological world is computational at its core, argues computer scientist Leslie Valiant.

Computer scientists are abuzz over a fast new algorithm for solving one of the central problems in the field.
Computer Science

Landmark Algorithm Breaks 30-Year Impasse

Computer scientists are abuzz over a fast new algorithm for solving one of the central problems in the field.