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