Partition Median: When to Use It

Start with the idea

A problem is a good match for Partition Median when it asks for median or kth item across two sorted arrays. Here the concrete task is: Return the median of the two sorted arrays. The visible input [1,3] and [2,4] is an example, not a definition of the whole problem. Ask what operations the solution must support and what the input guarantees. It needs ordering, a monotone predicate, or another proved structure that lets one half be discarded; merely containing numbers is not enough. The right choice follows from those guarantees, not from a familiar noun in the prompt.

The decisive invariant is: Binary-search a partition where every left-side value is no larger than every right-side value. Try to say why it applies to the task without quoting the implementation. Which fact becomes known after one update, and which possible answers remain? Binary search maintains an interval that is still capable of containing the answer. State precisely why the discarded half cannot contain it. If that claim cannot be maintained on a legal input, the pattern is wrong or one of its preconditions is missing. A counterexample is more useful than a vague warning: change one property of the sample, trace the first two steps, and identify the exact claim that fails.

Compare costs before committing. The advertised bound is O(log min(n,m)) time · O(1) space; identify the operation responsible for it and the extra memory it needs.