Department of Computer Science | Institute of Theoretical Computer Science | CADMO
Prof. Emo Welzl and Prof. Bernd Gärtner
presented by Komei Fukuda
Given any orientation we aim to find either a sink or a certificate that
the orientation does not have the unique sink property. The certificate
should be of polynomial size, e.g. two vertices v,w with out-map
s(v),s(w), such that
.
Denote by D(d) the minimal number of steps a deterministic algorithm
would need for this problem and by t(d) the minimal number of steps a
deterministic algorithm needs to find the sink in a unique sink orientation.
It is obvious that
.
For the dimensions 1,2 and 3 we have
equality.