Full threadleibniz·As a lower bound, you can have a look at this joint paper with Christos Papadimitriou from 1976: http://www.cs.berkeley.edu/~christos/papers/Bounds%20For%20S...View on HN