There is another important corollar

There is another important corollary to the fact that the stable marriage
algorithm always yields a gender-optimal stable matching. It is easy to prove
that a man (woman)-optimal matching is unique for a given set of participant
preferences. Therefore the algorithm’s output does not depend on the order in
which the free men (women) make their proposals. Consequently, we can use any
data structure we might prefer—e.g., a queue or a stack—for representing this set
with no impact on the algorithm’s outcome.

Kết quả (Việt) 2:

Còn có một hệ luận quan trọng đến thực tế rằng cuộc hôn nhân ổn định
thuật toán luôn mang lại một kết hợp ổn định giới tính tối ưu. Nó rất dễ dàng để chứng minh
rằng một người đàn ông (phụ nữ) -optimal hợp là duy nhất cho một tập hợp của người tham gia
ưu đãi. Do vậy đầu ra của thuật toán không phụ thuộc vào thứ tự
mà những người đàn ông miễn phí (phụ nữ) làm cho các đề xuất của họ. Do đó, chúng ta có thể sử dụng bất kỳ
cấu trúc dữ liệu chúng tôi có thể thích-ví dụ, một hàng đợi hoặc một ngăn xếp để biểu diễn tập này
không có tác động vào kết quả của thuật toán.