New research from the University of Waterloo is making inroads on one of the biggest problems in theoretical computer science. But the way to do it ...