The Stable Matching Problem is Wes Chao’s favourite algorithm.

Consider two populations, \(A\) and \(B\), who want to form paired relationships between a person \(A\) and \(B\). \(A_i\) has a list of their ranked order matches (I want to be paired with \(B_1\) most, \(B_4\) second, etc.), and so does \(B_i\) (I want to be paired with \(A_4\) most \(A_9\) second, etc.)

We want to discover a stable matching, where pairs are most unwilling to move. We can solve it using the stable matching algorithm.

see signal temporal logic