Department of Computer Science | Institute of Theoretical Computer Science | CADMO
Prof. Emo Welzl and Prof. Bernd Gärtner
Nearly all known algorithms for finding the sink in a unique sink orientation can produce a certificate after some minor modification. Only in dimension four it is not clear whether an algorithm can produce a certificate or a sink in 7 steps or not. The question remains if t(d)=D(d).