Amb: Difference between revisions

Here, we interpret the specification such that <code>ambassert</code> picks an arbitrary valid example. In other words, it discards all unnecessary ambiguity (it arbitrarily picks a "single future" from among the valid "potential futures").

Since this task specifies an <b>O(n^m)</b> complexity problem, we'll also assume that the user knows to limit its use to small examples.