![](https://img-blog.csdnimg.cn/20201014180756724.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
-派神-
每天进步一点点……
展开
-
利用google or-tools 求解数独难题
数独是一种常见的智力游戏,它的规则是:在一个9×9的方格内填入81个1至9的数字,要求每一行的数字不能出现重复,每一列的数字不能出现重新,同时在9×9的大方格内又划分为9个3×3的小方格要求每个小方格内的数字也不能出现重复。游戏开始时在大方格内已填入若干个数字,要求游戏的参与者填充剩余的数字如下图所示:今天我们用google or-tools的建模语言cp_model来破解以上的数独难题。在建模之前,我们首先要明确数独游戏的规则,我们只需把游戏规则告诉cp_model,至于如何破解则不需要我们操心原创 2020-11-27 11:58:49 · 862 阅读 · 1 评论 -
利用google or-tools 求解逻辑难题:斑马问题
今天我们利用or-tools的cp_model建模语言来求解一个著名的逻辑问题:斑马问题。斑马问题1. 一条街上有五座不同颜色的房子,每座房子住着不同国籍的人,每个人抽不同的烟,喝不同的饮料,养不同的宠物。2. 英国人住在红房子里。3. 西班牙人养狗。4. 住在绿房子里的人喝咖啡。5. 乌克兰人喝茶。6. 绿房子就在乳白色房子的右边。7. 抽流金岁月(烟名)的人养蜗牛。8. 抽薄荷烟的住在黄房子里。9. 住在中间的房子里的人喝牛奶。10. 挪威人住在第一座房子里。11. 抽契斯特原创 2020-11-26 19:25:27 · 3033 阅读 · 6 评论