Design a Min Stack with O(1) getMin

Start by clarifying the exact contract for Min Stack: input representation, mutation rules, duplicate behavior, and what should happen on invalid or empty input. The core idea is maintaining historical minima through pop operations. Work a tiny example aloud and name the invariant after each step, because that is the proof that the approach stays correct as the input grows.

A dependable implementation plan is to store value with current minimum; update minimum on push; pop matching metadata; define empty-stack behavior. Duplicate minima must be retained. Keep the code aligned with that invariant instead of adding special cases that silently change the contract. Test the smallest input, a normal case, duplicates or ties where relevant, an adversarial boundary, and a case that exercises the failure path. The expected complexity is O(1) time per operation and O(n) space. Explain both time and auxiliary memory, including recursion or helper structures; do not hide sorting, copying, or repeated scans. If the title omits critical constraints, say what you need to know before committing to a more specialized solution.