实验4-约束满意度问题
WojciechWoźniakErmir Pellumbi Yann Le Lorier
任务
1.将问题建模为CSP
通过阅读游戏的约束(对于实现有一些额外的约束):
有五个房子。
英国人住在红房子里。
西班牙人拥有这只狗。
温室里喝咖啡。
乌克兰人喝茶。
温室就在象牙屋的右边。
老金烟民拥有蜗牛。
黄色的房子里抽着烟熏的库尔。
牛奶在中间屋子里喝了。
挪威人住在第一所房子。
抽切斯特菲尔德(Chesterfields)烟的男人住在那只与狐狸在一起的人的房子里。
在饲养马匹的房子旁边的房子里,吸烟者被抽烟。
幸运罢工吸烟者喝橙汁。
日本抽烟议会。
挪威人住在蓝房子旁边。
没有两个人住在同一所房子里
每个人都抽不同的香烟
没有宠物住在同一个房子里
每个人都有不同的饮料
没有房子是相同的颜色
为了获得独特的解决方案,我们假设五个房屋中