Assertion: algorithm's time | /r/HasProperty | running
Facets:
Source sentences:
text: It is not currently known if all algorithms can be derandomized without significantly increasing their running time.