Aspects of algorithms and complexity door Bart Tromp