The SMP can be formalized as the ta

The SMP can be formalized as the task of finding a stable extension of an
argumentation framework AF = (AR, attacks) as follows: It is clear that D
represents a threat to a marriage (A, B) if A prefers D to B. In other words, a
hypothetical marriage of A to D poses an attack to (A, B). But this attack is
eliminated if D is married to someone whom D prefers to A. Let

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

SMP có thể được chính thức hóa như là nhiệm vụ của việc tìm kiếm một phần mở rộng ổn định của một khuôn khổ argumentation AF = (AR, cuộc tấn công) như sau: nó là rõ ràng rằng D đại diện cho một mối đe dọa cho một cuộc hôn nhân (A, B) Nếu A thích D sinh Nói cách khác, một cuộc hôn nhân giả thuyết của A đến D đặt ra một cuộc tấn công để (A, B). Nhưng cuộc tấn công này là loại bỏ nếu D kết hôn với một ai đó mà D thích A. Let

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

Các SMP có thể được thể chế hoá thành các nhiệm vụ tìm kiếm một phần mở rộng bền vững của một
khuôn khổ lập luận AF = (AR, các cuộc tấn công) như sau: Rõ ràng là D
đại diện cho một mối đe dọa cho một cuộc hôn nhân (A, B) nếu A thích D đến B. Nói cách khác, một
cuộc hôn nhân giả của A đến D gây ra một cuộc tấn công vào (A, B). Nhưng cuộc tấn công này được
loại bỏ nếu D là kết hôn với một người nào đó mà D thích A. Hãy