Assertion: algorithm | /r/CapableOf | cost $k$
Facets:
Source sentences:
text: Let $\Pi_N$ be the number of possible inputs of size $N$ and $\Pi_{Nk}$ be the number of inputs of size $N$ that cause the algorithm to have cost $k$, so that $\Pi_N=\sum_k\Pi_{Nk}$.
text: How many inputs are there of size $N$ and how many inputs of size $N$ cause the algorithm to have cost $k$?