内容简介：A Sentient program to solve Snake Egg puzzles. The puzzle is explained inThe example puzzle from the YouTube video is in the
Snake Egg puzzle
A Sentient program to solve Snake Egg puzzles. The puzzle is explained in this YouTube video .
Sentient is a programming language I wrote a few years ago to solve difficult combinatorial problems. This seemed like a fun and unusual problem so I thought I'd try using Sentient to solve it. It was definitely a challenge and required thinking hard about some tricky constraints but it works!
The example puzzle from the YouTube video is in the example/
directory. You
can solve this puzzle with Sentient by providing assignments that specify the
head/tail positions of the snake and the two numbers given to you for this
puzzle. Here's how you'd do that:
sentient --run snake-egg.json --machine lingeling --assign-file example/assignments.json \
| ruby pretty_print.rb
This produces the following output after about two minutes:
9 9 █ █ █ 7 █ █ █ █ 9 9 9 9 █ 7 █ 5 5 █ █ █ █ 9 █ 7 █ █ 5 █ 2 2 █ 9 █ 7 7 █ 5 █ █ █ █ 9 █ 7 █ █ 5 █ █ 8 8 █ █ 7 █ 4 █ █ █ █ 8 █ 1 █ █ 4 █ 6 3 █ 8 █ █ █ 4 4 █ 6 3 █ 8 8 8 8 █ █ █ 6 3 █ █ █ █ █ █ 6 6 6
Alternatively, you can create your own assignments to solve different puzzles or
run Sentient with no assignments at all to generate finished puzzles! Check out
the comments in the snake-egg.snt
file for a general overview of how the
constraints are specified.
There's also a search_minimal.rb
script that takes, as input, a finished
puzzle and tries to find the minimal sets of numbers that produce it as a unique
solution. This is very time consuming - it iteratively solves the puzzle over
and over.
Gallery
Here are some finished puzzles generated by Sentient:
1) Smiley Face 2) TWO! 3) THREE! 4) Squirrel
█ █ █ 2 █ █ █ █ █ █ █ █ █ █ 1 █ █ █ 4 4 █ █ █ █ █ █ █ █ █ 8 █ █ █ 8 8 █ █ █ █ 1
█ 9 █ 2 █ 5 5 5 5 █ █ 2 2 █ █ 7 7 █ 4 4 █ 9 9 9 9 9 9 9 █ 8 █ 6 █ 8 8 █ 5 5 █ █
█ 9 █ █ █ 5 █ █ █ █ █ █ █ 9 █ █ 7 █ █ █ █ █ █ 9 9 █ █ █ █ 8 █ 6 █ 8 █ █ 5 5 5 █
█ 9 9 9 9 █ █ 8 8 8 9 9 █ 9 9 █ 7 7 7 █ 6 6 █ █ █ 8 8 8 8 8 █ 6 █ 8 █ 9 █ █ █ █
█ █ █ █ 9 █ 8 8 8 8 9 9 9 9 █ █ 7 █ █ █ 6 6 6 6 █ █ █ █ █ █ █ 6 █ 8 █ 9 █ 3 3 3
7 7 7 █ 9 █ 8 █ █ █ █ █ █ █ █ 8 █ █ 5 5 █ █ █ █ 7 7 7 7 7 █ █ 6 █ 8 █ 9 █ █ █ █
7 7 7 █ 9 █ █ █ 1 █ █ 8 8 8 8 8 █ 5 5 5 █ 2 2 █ █ 7 █ █ 7 █ █ 6 █ █ █ 9 9 9 9 █
█ █ 7 █ █ 6 6 6 █ █ █ 8 █ █ █ 8 █ █ █ █ █ █ █ 5 █ █ █ 1 █ █ █ █ 4 4 4 █ █ █ 9 9
3 █ █ 6 6 6 █ █ █ 4 █ █ █ 6 █ █ 3 3 3 █ 4 4 █ 5 5 5 5 █ █ 3 2 █ 4 █ █ █ 7 █ █ █
3 3 █ █ █ █ █ 4 4 4 6 6 6 6 6 █ █ █ █ █ 4 4 █ █ █ █ █ █ 3 3 2 █ █ █ 7 7 7 7 7 7
5) FIVE! 6) Raised Hands 7) Poodle 8) Doberman
6 6 6 6 █ █ █ █ █ █ 2 █ █ █ 1 █ █ █ 3 3 █ █ █ █ 6 6 █ █ █ █ 6 6 6 6 6 █ 4 █ █ █
6 6 █ █ █ 4 4 4 4 █ 2 █ 5 █ █ 4 4 █ █ 3 █ 7 7 █ 6 6 █ 3 3 █ █ █ █ 6 █ █ 4 █ 3 █
█ █ █ 7 7 █ █ █ █ █ █ █ 5 5 █ █ 4 4 █ █ █ 7 7 █ 6 █ █ 3 █ █ █ 1 █ █ █ 4 4 █ 3 █
█ 7 7 7 7 █ 5 5 5 5 █ 8 █ 5 5 █ █ █ 7 █ █ 7 7 █ 6 █ 8 █ █ 9 █ █ 9 9 9 █ █ █ 3 █
█ █ █ █ 7 █ █ █ █ 5 █ 8 █ █ █ 9 9 █ 7 █ █ █ 7 █ █ █ 8 █ 9 9 2 █ 9 █ █ █ 7 7 █ █
3 3 3 █ █ 9 9 9 █ █ █ 8 8 8 █ 9 █ █ 7 █ 1 █ █ 8 8 8 8 █ 9 9 2 █ 9 █ 8 8 █ 7 █ 5
█ █ █ 1 █ █ █ 9 9 █ █ █ █ 8 █ 9 █ 7 7 █ █ 4 █ 8 █ █ 8 █ █ 9 █ █ 9 █ 8 █ █ 7 █ 5
█ 8 █ █ 2 2 █ 9 9 █ 6 6 █ 8 █ 9 █ █ 7 █ █ 4 █ █ 5 █ █ 2 █ 9 █ 9 9 █ 8 █ 7 7 █ 5
█ 8 8 █ █ █ █ 9 9 █ 6 6 █ 8 █ 9 9 █ 7 █ █ 4 4 █ 5 5 █ 2 █ 9 █ 9 █ █ 8 █ █ 7 █ 5
█ █ 8 8 8 8 8 █ █ █ 6 6 █ █ █ 9 9 █ █ █ █ █ █ █ 5 5 █ █ █ 9 █ █ █ 8 8 8 █ █ █ 5
9) Angry Face 10) Confused Face 11) MechWarrior 12) Tall Boots
7 7 █ █ █ 3 3 █ █ █ █ █ █ 4 4 4 █ █ █ █ 3 3 3 █ █ █ 4 █ █ █ 6 6 █ █ █ 1 █ █ █ █
7 7 █ 9 █ █ 3 █ 2 █ █ 9 █ 4 █ █ █ 6 6 █ █ █ █ █ 7 █ 4 █ 6 █ 6 6 █ 8 █ █ █ 4 4 █
7 7 █ 9 9 █ █ █ 2 █ █ 9 █ █ █ 6 6 6 6 █ █ 7 7 7 7 █ 4 █ 6 █ 6 6 █ 8 8 8 8 █ 4 █
7 █ █ 9 9 9 9 9 █ █ █ 9 9 9 9 █ █ █ █ █ █ █ █ 7 7 █ 4 █ 6 █ █ █ █ 8 █ 8 █ █ 4 █
█ █ 8 █ █ █ 9 █ █ 4 █ █ █ █ 9 █ 8 8 8 8 8 8 █ █ █ 9 █ █ 6 █ █ 7 7 █ █ 8 █ 9 █ █
█ 8 8 █ 6 █ █ █ 4 4 7 7 7 █ 9 █ 8 8 8 8 8 8 8 8 █ 9 █ 6 6 █ █ 7 7 █ 5 █ █ 9 █ 2
█ 8 █ █ 6 6 6 6 █ 4 7 7 7 █ 9 █ █ █ █ █ 8 8 █ █ █ 9 █ █ █ 5 █ █ 7 █ 5 █ 9 9 █ 2
█ 8 8 8 █ █ █ 6 █ █ █ █ 7 █ █ 5 5 5 5 █ █ █ █ 9 9 9 9 9 █ 5 3 █ 7 █ 5 █ 9 9 █ █
█ 8 █ █ █ 5 █ █ 1 █ 3 █ █ 2 2 █ █ █ 5 █ █ 2 2 █ █ █ 9 █ █ 5 3 █ 7 █ 5 █ 9 9 9 █
█ █ █ 5 5 5 5 █ █ █ 3 3 █ █ █ █ 1 █ █ █ █ █ █ █ 1 █ █ █ 5 5 3 █ █ █ 5 █ █ █ █ █
13) Octopus 14) Werewolf 15) Antennae 16) Steam Train
█ █ █ 4 █ █ █ █ █ 9 █ █ █ 8 █ █ █ 5 5 5 █ █ █ 3 █ █ █ █ 6 6 7 7 █ █ █ 1 █ █ █ █
█ 4 4 4 █ 6 6 6 █ 9 █ 9 █ 8 8 8 █ █ 5 5 █ 9 █ 3 █ 4 4 █ 6 6 7 7 █ 9 █ █ █ 2 2 █
█ █ █ █ █ 6 █ 6 █ 9 █ 9 █ 8 █ 8 8 █ █ █ █ 9 █ 3 █ █ 4 █ 6 6 7 7 █ 9 9 9 9 █ █ █
7 7 7 7 7 █ █ 6 █ 9 █ 9 █ 8 █ █ █ 7 7 █ █ 9 █ █ 2 █ 4 █ █ █ 7 █ █ 9 9 █ █ █ 8 8
█ █ █ █ 7 █ 8 █ █ 9 █ 9 █ █ 6 6 █ 7 █ █ █ 9 9 █ 2 █ █ 5 5 █ █ █ 9 9 █ █ 8 8 8 8
█ 3 3 █ 7 █ 8 █ 9 9 █ 9 9 █ 6 6 █ 7 █ 1 █ █ 9 █ █ 8 █ █ 5 █ █ 6 █ █ █ 8 8 █ █ █
█ █ 3 █ █ █ 8 █ 9 9 █ 9 9 █ 6 6 █ 7 █ █ 7 █ 9 9 █ 8 8 █ 5 █ █ 6 █ 4 4 █ █ █ 5 █
5 █ █ 8 8 8 8 █ █ █ █ █ 9 █ █ █ █ 7 7 █ 7 █ █ 9 █ █ 8 █ 5 █ █ 6 █ 4 █ █ 5 5 5 █
5 5 █ 8 █ █ █ 2 2 █ 3 █ █ 4 4 4 4 █ █ █ 7 7 █ █ 8 8 8 8 █ █ █ 6 █ 4 █ 3 █ █ 5 █
5 5 █ █ █ 1 █ █ █ █ 3 3 █ █ █ █ █ █ 2 2 7 7 7 █ █ █ █ █ █ 1 6 6 █ █ █ 3 3 █ █ █
17) Rabbit 18) Kissing 19) Hang Glider
1 █ █ █ █ █ 7 7 █ █ 3 █ █ █ █ 1 █ █ █ █ 5 5 5 █ █ █ █ █ █ █
█ █ 3 3 3 █ █ 7 7 █ 3 █ 7 7 7 █ █ 9 9 █ 5 5 █ █ 9 9 9 9 9 █
█ 8 █ █ █ 4 █ █ 7 █ 3 █ 7 7 █ █ 9 9 9 █ █ █ █ 9 9 █ █ █ █ █
█ 8 █ 2 █ 4 4 █ 7 █ █ █ 7 7 █ 2 █ █ 9 █ █ 6 6 █ 9 █ 8 8 8 8
█ 8 █ 2 █ 4 █ █ 7 █ █ 5 █ █ █ 2 █ 9 9 █ █ █ 6 █ 9 █ █ 8 8 8
█ 8 █ █ 9 █ █ 5 █ █ █ 5 █ 6 6 █ █ 9 █ █ 3 █ 6 █ █ 1 █ █ █ 8
█ 8 8 █ 9 █ 5 5 █ 6 █ 5 █ 6 █ █ 4 █ █ 8 3 █ 6 6 █ █ 7 7 █ █
█ 8 8 █ 9 █ 5 █ █ 6 █ 5 █ 6 █ 4 4 █ 8 8 3 █ █ █ 4 █ 7 7 7 █
█ █ █ █ 9 █ 5 █ 6 6 █ 5 █ 6 █ 4 █ █ 8 8 █ 2 2 █ 4 █ █ 7 7 █
9 9 9 9 9 █ █ █ 6 6 █ █ █ 6 █ █ █ 8 8 8 █ █ █ █ 4 4 █ █ █ █
以上所述就是小编给大家介绍的《A Snake Egg Puzzle Solver》，希望对大家有所帮助，如果大家有任何疑问请给我留言，小编会及时回复大家的。在此也非常感谢大家对 码农网 的支持！
猜你喜欢:
本站部分资源来源于网络，本站转载出于传递更多信息之目的，版权归原作者或者来源机构所有，如转载稿涉及版权问题，请联系我们。
文明之光（第二册）
吴军 / 人民邮电出版社 / 2014-6 / 59.00元
【《文明之光》系列荣获由中宣部、中国图书评论学会和中央电视台联合推选的2014“中国好书”奖】 吴军博士从对人类文明产生了重大影响却在过去被忽略的历史故事里，选择了有意思的几十个片段特写，以人文和科技、经济结合的视角，有机地展现了一幅人类文明发展的宏大画卷。 《文明之光 》系列大致按照从地球诞生到近现代的顺序讲述了人类文明进程的各个阶段，每个章节相对独立，全景式地展现了人类文明发展历程......一起来看看 《文明之光（第二册）》 这本书的介绍吧!
JS 压缩/解压工具
在线压缩/解压 JS 代码
MD5 加密
MD5 加密工具