New research from the University of Waterloo is making inroads on one of the biggest problems in theoretical computer science ...