Я понимаю «Проблему стабильного брака» (SMP) с ее ограничениями и частично реализую ее в прологе, но мне было интересно, как я могу расширить свое решение, включив в него также «Проблему распределения студенческих проектов» (SPA). Каковы фактические различия между ними? Насколько я понимаю, но я не уверен: в "Проблеме стабильного брака" у меня отношение один к одному между мужчиной и женщиной, но в SPA, поскольку у каждого профессора есть квота, а также у каждого проекта есть квота, поэтому отношение будет многие ко многим? Правильно ли это? И есть ли возможность использовать то же решение SMP в SPA?
Я ценю вашу помощь!