모두가 만족하는 최적의 짝을 찾는 수학적 마법

안정적인 결혼 문제란 서로 선호하는 순서가 다른 두 집단을 짝지을 때, 서로 몰래 바람을 피울 이유가 없는 최선의 상태를 찾는 알고리즘입니다.

이 문제는 단순히 짝을 짓는 것을 넘어, 서로가 상대방보다 더 나은 파트너를 원해 기존 관계를 깰 유인이 없는 완벽한 균형점을 찾는 것이 핵심입니다. 놀랍게도 집단의 크기가 같기만 하다면 누구나 안정적인 짝을 찾을 수 있다는 수학적 해법이 존재합니다. 병원과 인턴의 배정, 대학 입시 등 현실의 복잡한 매칭 문제에 이 알고리즘이 실제로 쓰이고 있습니다. 공정한 시스템을 설계하는 데 있어 수학이 얼마나 큰 힘을 발휘하는지 보여주는 아주 흥미로운 사례입니다.