Cho hai tập hợp M và W của 12 người đàn ông và phụ nữ n tương ứng. Việc ổn định
vấn đề hôn nhân (SMP) là vấn đề của việc tìm kiếm một cách để sắp xếp cuộc hôn nhân
cho những người đàn ông và phụ nữ trong M và W, nơi nó được giả định rằng tất cả những người đàn ông và
phụ nữ trong M và W đã bày tỏ sở thích lẫn nhau (mỗi người phải nói như thế nào
, ông cảm thấy về mỗi người phụ nữ và ngược lại) Việc kết hôn phải được ổn định trong
ý nghĩa rằng, nếu ví dụ A là kết hôn với B, sau đó tất cả những người mà A thích
B phải được kết hôn với một người nào đó mà họ thích A. Về hình thức, một giải pháp cho
các SMP là một-một trong những thư S: M + W như rằng có tồn tại không có cặp
(m, w) EM x W như vậy mà m thích w để S (m) và w thích m để s- '(w).
đang được dịch, vui lòng đợi..
