complexity guarantees