Reduce a quantifier bug
Difficulty: Easy
Repair the buggy starter to meet this contract: Return whether every required integer appears in values. Duplicate requirements do not require extra copies; empty requirements are satisfied.
Test-design prompt
Create a mixed case with one present and one absent requirement.
Before editing, identify a minimal failing input and predict the result. After repairing, rerun the regression cases and explain why the old implementation failed.
Examples
[1], [1, 2]false[], []true[1], [1, 1]trueConstraints
Inputs are JSON-compatible. Unless a tighter bound is stated, lists have at most 200 elements, strings at most 1000 characters, and integers are within -1000000..1000000. Do not mutate inputs. Use only the browser runner; no file or network access. Preserve the required function signature.
Review lesson: Build a minimal reproductionA little nudge
Reveal one hint at a time. Give yourself a moment to try it.
Worked solution
Try your own approach first, then compare the reasoning.
Complexity
Ready when you are
Write your solution, then run it against the practice tests.
Press Esc, then Tab to leave the editor. Code runs in an isolated browser workspace. Tests support learning, not verified grading.