What's up in

algorithm

<p>Just five days after posting a retraction, László Babai announced that he had fixed the error in his landmark graph isomorphism algorithm.</p>
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.

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

Complexity Theory Problem Strikes Back

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

<p>The computer scientist Cynthia Dwork takes abstract concepts like privacy and fairness and adapts them into machine code for the algorithmic age.</p>
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.

<p>When divvying something up, there&#8217;s more than one way to define what&#8217;s fair.</p>
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.

<p>Computer scientists have come up with a bounded algorithm that can fairly divide a cake among any number of people.</p>
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.

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

Hacker-Proof Code Confirmed

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

<p>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.</p>
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.

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

Searching for the Algorithms Underlying Life

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

<p>Computer scientists are abuzz over a fast new algorithm for solving one of the central problems in the field.</p>
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.