What's up in

algorithms

A blue person made of code walks down a pink road patterned with hexagons
algorithms

Best-Ever Algorithm Found for Huge Streams of Data

October 24, 2017

To efficiently analyze a firehose of data, scientists first have to break big numbers into bits.

Abstractions blog

One-Way Salesman Finds Fast Path Home

October 5, 2017

The real-world version of the famous “traveling salesman problem” finally gets a good-enough solution.

Illustration: boxing gloves
Abstractions blog

Graph Isomorphism Vanquished — Again

January 14, 2017

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

Illustration: boxing glove & graph
Abstractions blog

Complexity Theory Problem Strikes Back

January 5, 2017

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

Q&A

How to Force Our Machines to Play Fair

November 23, 2016

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

Abstractions blog

All Is Not Fair in Cake-Cutting and Math

October 7, 2016

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

algorithms

How to Cut Cake Fairly and Finally Eat It Too

October 6, 2016

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

computer security

Hacker-Proof Code Confirmed

September 20, 2016

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

Quantum bits, or “qubits,” can be in a superposition of both zero and one.
quantum computing

Computing’s Search for Quantum Questions

June 2, 2016

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.