Assertion: algorithm's input | /r/HasProperty | $n$
Facets:
Source sentences:
text: How many inputs are there of size $N$ and how many inputs of size $N$ cause the algorithm to have cost $k$?