» Wechat

点击查看微信稿件原文

 
 
 

点击上方蓝字关注

#Decode

Ingress Beijing

 
 
 

这是假的乐谱！

About 13 Archetypes

这是一个长达 13 周的解谜挑战，北京时间 12 月 10 日凌晨 01:00 起， Niantic 会在其论坛上发布一个谜题，然后让玩家解谜，结果会是一个 Passcode ，兑换后可获得 Media 一个。

Listener

Infomation

一张并不合法的乐谱：Piano 演奏的高音部、Keyboard 演奏的低音部，一共20个音符，虽然是 2/4 拍，但有好几个小节的音长都对不上。

编辑注，吐槽部分详见：《大猩猩的乐谱有多少错误？》

Solution

将所有音符转写成音名后可得：

可见，最低音为 E2，最高音为 A#5，如果不算升降调的影响的话，放在钢琴上一共是 25 个白键，而高声部从 C4 到 A#5 一共是 13 个白键，低声部从 E2 到 C4 也是 13 个白键。

那么按照高声部 C4 = A ~ A5 = M 、低声部 E2 = N ~ C4 = Z 来顺序排列字母的话，上述即可转换为：

按照乐谱中♯为升音、♭为降音的规则，将升音的字母换为字母表后一个字母、降音的字母换为前一个字母，并按照乐谱演奏顺序，将两行合并为一行，即可转换为：

ZAHTETWHARMONYONTHAR

按照 TW=2、ON=1、TH=3 的规则，即可转换为： ZAHTE2HARMONY13AR

兑换获得Media一枚

其实如果所有音符按照实际钢琴🎹上的键位来算的话，黑键和白键加起来一共 43 个键，而 ASCII 从 0到 Z 也是 43 个，这个信息一度误导了我。

另外有两个音符被涂成红色，这个细节也值得注意。前面几题中也出现了最后没有用到的提示信息，也许后面的某道题会要求我们综合前面所有的没有用到的信息来解谜也说不一定。

欢迎关注我们的同步渠道

Telegram – https://t.me/IngressBeijing

Twitter – @ingressbeijing

网站 – https://bjres.net

投稿请发邮件至 tougao@bjres.net

请务必投稿后联系 @AlexRowe 确认稿件到达

Telegram – @alexrowe

QQ – 350259971

戳原文访问网站对历史文章进行搜索。

点击查看微信稿件原文

 
 
 

点击上方蓝字关注

#Decode

Ingress Beijing

 
 
 

这期的东西感觉还是比较有难度的。

About 13 Archetypes

这是一个长达 13 周的解谜挑战，北京时间 12 月 10 日凌晨 01:00 起， Niantic 会在其论坛上发布一个谜题，然后让玩家解谜，结果会是一个 Passcode ，兑换后可获得 Media 一个。

Skeptic

Infomation

原图包括三部分，左边的谜题、中间的数和（Cross Sums, Kakuro, カックロ）和右边类似数和的一堆公式。

标题中提到，这三部分各仅有一处错误。

Solution

Left

左边的谜题的分解后为：

No	Agent	Level	Squad	Start playing	Badge
1	Alice	L7
2		L7	Foot-E
3			Foot-E	2016
4	Alice			2018
5		L16			Founders
6	Bob				Gold Innovator
7a	David			before Eve
7b	Eve			before Claire
8			Bike-1	2014
9	Bob or Eve	L12		2015
10		L9	Bike-3
11	Claire			2016
12a			Bike-?	2016
12b		L13	Bike-?
13		L16	Foot-A
14			Foot-R	2015
15	Bob		Bike-?
16			Foot-A	2013

可发现第3条信息是错误的。故解答为：

Agent	Level	Squad	Start playing	Badge
—	—	—	—	—
Alice	L7	Foot-E	2018
Bob	L13	Bike-1	2014	Gold Innovator
Claire	L9	Bike-3	2016
David	L16	Foot-A	2013	Founders
Eve	L12	Foot-R	2015

则本处谜题的答案为：

E13AR

Right

右边的谜题中，可见 “U=2“、“F=162“、“G=G²“，故 “G=1“ 或 “G=0“，先将前两者代入公示后可以得出：

A=1575

B=62

C=27

D=98

E=32

F=162

G=G^2  0? 1?

H=93

J=2193084

K=7

L=352

M=361-G-352 9? 8?

N=361

O=31

P=22382

Q=98+G 98? 99?

R=3

S=5

T=691

U=2

V=19

按照数和的形式将数字填入图案中：

可以首先发现，当 G=1时，Q=99 和 V=19 的数字可以对得上。另外 J 和 P 的数字与格子对不上，如果按图中J=527182、P=5383 的话，则可以发现P=B×N 的公式是错的。

则本处谜题的答案为 52 71 82 53 83 按照 ASCII 字符转换即为：

4GR5S 

Center

中间的数和谜题中，按照标题的描述，这里应该也有一处错误，所以解开这个数和关键就在于判断哪个是错误的。

根据维基百科[数和]词条中规则描述：

• 方形空格中填入1～9的整数。

• 被斜线分开的方格中，右上角的数字等于其右侧邻接之连续方格中数字之和，左下角的数字等于其下方邻接之连续方格中数字之和。

• 无论是横向还是纵向，连续方格中的数字不能重复。

https://zh.wikipedia.org/wiki/%E6%95%B0%E5%92%8C

严格按照这个规则来做的话，可以得到右上方的 17 是错误的结论。

由于我对数和的玩法并不熟悉，我试了得有10次以上才得到这个结论。

按照每个颜色的数字相加，可得到本处谜题的答案为 19 5 22 19 16 1 3 按照英文字母顺序转换即为：

sevspac 

Summary

将三处谜题的答案按照右、中、左的顺序排列即为 4GR5SSEVSPACE13AR 按照 SEV=7的规则来转换，即为 

4GR5S7SPACE13AR

兑换获得Media一枚

数和的谜题还挺难的，一度让我连续几次解错答案导致了进入了冷却时间。“Passcode circuitry too hot. Wait for cool down to enter another passcode.“ QAQ

欢迎关注我们的同步渠道

Telegram – https://t.me/IngressBeijing

Twitter – @ingressbeijing

网站 – https://bjres.net

投稿请发邮件至 tougao@bjres.net

请务必投稿后联系 @AlexRowe 确认稿件到达

Telegram – @alexrowe

QQ – 350259971

戳原文访问网站对历史文章进行搜索。

点击查看微信稿件原文

 
 
 

点击上方蓝字关注

#IngressBeijing

Ingress Beijing

 
 
 

往常过年的活动都是和 Field Art/Drop Art 之类的，考虑到今年的特殊情况，还是鼓励大家尽量在家宅吧，因此这次的 IngressBeijing 新春活动是一个宅活动！

活动很简单，大家把对 Ingress 今年的祝福发到 Telegram @ingressbeijingbot 即可！

打开 Bot，选择下方的“新春祝福”，然后输入你想说的祝福话。

祝福投稿要求：

• 必须和 Ingress 有关

• 不能带任何个人信息和指向其他人的信息（想告白欢迎投稿2月……）

• 截止日期：1 月 30 日。

我们公布所有留言后，随机选出 10 个参与者发送 Rare Load Card 兑换码一份。

再次祝大家新春快乐！

by @TenkuunoYoake

欢迎关注我们的同步渠道

Telegram – https://t.me/IngressBeijing

Twitter – @ingressbeijing

网站 – https://bjres.net

投稿请发邮件至 tougao@bjres.net

请务必投稿后联系 @AlexRowe 确认稿件到达

Telegram – @alexrowe

QQ – 350259971

戳原文访问网站对历史文章进行搜索。

点击查看微信稿件原文

 
 
 

点击上方蓝字关注

#FieldTest

Ingress Beijing

 
 
 

猩猩昨日表示，根据玩家反馈，更新了 2 月 Perpetua 和 4 月 Lexicon 牌子规则。

本次活动牌将本身分为普通和精英两个版本，玩家完成低保的 6 个指标获得普通牌子，单项进入前 10% 获得精英牌子。

而原定发送的老 The Field Test: Hexathlon 牌子将绝版，作为参与测试玩家的奖励。

要注意的是之所以是即将绝版而不是已经绝版就是今天在 San Francisco 还有最后一场 Field Test （都不知道什么时候加的）。

https://ingress.com/eventdescription/hexathlon/hx-2020-1-sanfranciscocausa

欢迎关注我们的同步渠道

Telegram – https://t.me/IngressBeijing

Twitter – @ingressbeijing

网站 – https://bjres.net

投稿请发邮件至 tougao@bjres.net

请务必投稿后联系 @AlexRowe 确认稿件到达

Telegram – @alexrowe

QQ – 350259971

戳原文访问网站对历史文章进行搜索。

点击查看微信稿件原文

 
 
 

点击上方蓝字关注

#Decode

Ingress Beijing

 
 
 

About 13 Archetypes

这是一个长达 13 周的解谜挑战，北京时间 12 月 10 日凌晨 01:00 起， Niantic 会在其论坛上发布一个谜题，然后让玩家解谜，结果会是一个 Passcode ，兑换后可获得 Media 一个。

Visionary

原图给出了至少四个信息：

16 个单词：

a valued walked unproductive productive zombie decentralisationist abaddon inexpressive unexpressive traditionalists rationalises rationalised  nationalism nationalist hypercholesterolaemia

在背景隐藏的一段话：

To some, you may appear ordinary. They have not witnessed your true potential. To reach into the very fabric of the universe and see a distant time, a distant place, a distant truth. Few wield such power.

左下角疑似 Passcode 格式的东西：

??***?***?***?***?<*>????

右下角的一串字符：

[I02NMAEE60GIMHE]

但这次给出的东西并不一定全部都有用，最终事实也如此。

Solution

我们先来解右下角的字符串，这个字符串一共 15 个字符，按照 7+8 的方式拆成两行，即为

I02NMAE

E60GIMHE

然后从右下角的 “E“ 开始，按照从上往下、从右往左的顺序读，即为

EEHAMMING2006IE

把首两位的 “EE“ 移到最后，即为

HAMMING2006IEEE

通过搜索 IEEE 的汉明奖章（IEEE Richard W. Hamming Medal）后得知， 2006 年的获奖者为弗拉基米尔·莱文斯坦（Влади́мир Ио́сифович Левенште́йн, Vladimir I. Levenshtein）,获奖原因之一是其在1965年提出了「莱文斯坦距离」（Levenshtein distance），由此可得知本次解谜与莱文斯坦距离有关。

关于莱文斯坦距离的计算方式，读者可自行参考[维基百科](https://zh.wikipedia.org/wiki/%E8%90%8A%E6%96%87%E6%96%AF%E5%9D%A6%E8%B7%9D%E9%9B%A2)或其它资料，这里不再赘述。

将原文的 16 个单词按顺序两两计算莱文斯坦距离，可得 15 个数字：

5 2 11 2 7 18 15 12 1 14 4 1 3 1 18

按照字母表顺序转换为英文字母，即为

ebkbgrolandacar

由于原文 16 个单词中，第一个单词为 “a“ ，仅有一个字母，将该字母加入上面得到的串中，可得

aebkbgrolandacar

原文 16 个单词中，有 3 个单词为斜体，故转换相应单词顺序的字母，仍按照字母表顺序转回为数字

a5bkbgroland13ar

即为本次的 Passcode ，兑换获得 Media 。

原本图片中左下角所给出的 Passcode 格式实际上是上一期的格式，坑了不少人。而我则是在把图片中的 16 个单词记录下来的时候直接复制了 Ingress 论坛上别人抄下来单词，结果因为其中有一个单词拼错导致被坑了一下午。

欢迎关注我们的同步渠道

Telegram – https://t.me/IngressBeijing

Twitter – @ingressbeijing

网站 – https://bjres.net

投稿请发邮件至 tougao@bjres.net

请务必投稿后联系 @AlexRowe 确认稿件到达

Telegram – @alexrowe

QQ – 350259971

戳原文访问网站对历史文章进行搜索。

点击查看微信稿件原文

 
 
 

点击上方蓝字关注

#MissionBanner

Ingress Beijing

 
 
 

全民制作人们大家好，我是来自2020的练习时长两年半的个人练习生谢广坤，我喜欢唱、跳、rap和篮球，music！鼠你太美！” 

如上图，欢迎玩家申请（一共 7 张图，欢迎替换）。

打包地址如下：

https://bjres.net/downloads/2020missions.zip

欢迎关注我们的同步渠道

Telegram – https://t.me/IngressBeijing

Twitter – @ingressbeijing

网站 – https://bjres.net

投稿请发邮件至 tougao@bjres.net

请务必投稿后联系 @AlexRowe 确认稿件到达

Telegram – @alexrowe

QQ – 350259971

戳原文访问网站对历史文章进行搜索。

点击查看微信稿件原文

 
 
 

点击上方蓝字关注

#IngressFunFacts

Ingress Beijing

 
 
 

时光荏苒，本人的Portal分析系列已经做到了第三集，之前的《世界上海拔最高的 Portal 在哪里？》和《世界上最孤独的 Portal 在哪里？》各位看官还有印象吗？今天 EJ 继续为您带来倾力巨献——探寻 Portal 网络中 Portal 分布的东西南北四极。

首先，南极和北极是相对好找的，我们先从这里开始。地球上最北的 Portal 是位于加拿大最北部努纳武特地区阿勒特的”Alert Nunavut” (82.501192, -62.353844)。值得一提的是，阿勒特是地球上最北的人类居住地，居住着数十名加拿大的气象研究人员和加拿大空军官兵。

 

而地球上最南端的 Portal 则当然在南极洲，名字叫”South Pole” (-83.679406, 32.830357)，但是看坐标也知道它根本不在南极点，大概偏移了好几百千米吧……

 

“南北是绝对的，东西是相对的”，这是初中地理课的基础知识。所以 Portal 的南北极是有明确的标准，而东西极则需要自己去定标准。如同大部分的标准一样，本人选用国际日界线来作为划分东与西的标准。具体说来，就是在时间意义上，最早迎接新一天的 Portal 被定义成 Portal 东极，最晚告别新一天的 Portal 被定义为 Portal 的西极。

但国际日界线的复杂性是一个巨大的问题。由于各种政治经济因素，实际上的国际日界线并不是沿着 180 度经线从南到北的直线，它是弯曲前进甚至有些奇怪的线。

 

举个例子，像萨摩亚和汤加等太平洋岛国，在政治经济文化上都与 UTC +12 时区的、同属波利尼西亚文化圈的新西兰关系密切。而它们原来都在 180 度经线往东的 UTC -11 时区，国际日界线的存在导致了它们和新西兰的交往非常不便，于是这些岛国都决定将时间拨快一天，在掰弯了国际日界线的同时造出了一个本不应该存在的 UTC +13 时区。

而更往东的另一个群岛之国基里巴斯则更为夸张，原来处在 UTC -10 时区的它们，同样将时间拨快一天，创造出了登峰造极的 UTC +14 时区，也在国际日界线上留下了一个突兀的犄角。基里巴斯也是目前唯一一个使用 UTC +14 作为标准时间的国家，是时间概念上最早迎接新一天的地方。所以 Portal 的世界东极就在基里巴斯。在基里巴斯，有着太平洋上最大的环礁——吉尔伯特群岛。岛上有个叫伦敦的小镇，有 4 个 Portal，其中最东边的”The Church of Jesus Christ of Latter-day Saints” (1.987734, -157.47229)，就是 Porta l的世界东极。

 

至于 Portal 的西极，如果按照时间概念的话，那就应该会是在 UTC -12 时区的 Portal 了（豆知识：UTC -12 和 UTC +12 在时间上完全相同，只是间隔整整一天。因为 UTC -12 是最后告别一天的时区，所以又称为 AoE 时区，”Anywhere on Earth”，意为所有地方都过了这一天。）。这时另一个问题出现了，有的地方原本就属于 UTC -12 时区，可是由于种种原因将时间往前拨快了 1-2 小时。具体地说，就是美国领土阿留申群岛和中途岛，由于要与夏威夷时间看齐，所以强行划归到了 UTC -10 和 -11 时区。所以最后留给 UTC +12 时区的只有两个无人居住，被设为自然保护区的美国无建制领土——贝克岛和豪兰岛。

在豪兰岛上有一个信标用的灯塔，没有灯，所以只能白天才能看见。始建于 1930 年代，在二战中被日本军队炸毁，60 年代美国海岸警卫队又重新修复。在 Ingress 中，这座灯塔有一个 Portal “Lighthouse – Jarvis Island” (0.807269, -176.617703)。这是 UTC -12 时区下的唯一一个 Portal，是 Portal 网络中最后告别一天的 Portal，应为 Portal 的世界西极。值得一提的是，po 名中写的”Jarvis Island”，其实是太平洋上的另外一个小岛，而 po 图又是豪兰岛灯塔的正确图像。

 

☆ 我是分割线 ☆

国内的 Portal 四极就不用那么麻烦地去下定义啦，所以让我们从东极开始。中国的 Portal 东极是位于中俄边境的黑龙江抚远县黑瞎子岛上的“东极宝塔” (48.355263,134.745724)。

中国的 Portal 北极也在黑龙江，具体是位于漠河市乌苏里江边的乌苏里浅滩风景区内的”神如小極“ (53.558208,123.271835)。乌苏里浅滩风景区是真正的中国最北点，所以有个石刻什么的很正常。但是这个石刻上刻的明明是”神州北极“，才不是什么”神如小极“，四个字能看错俩，不得不说，没文化真可怕（

 

中国的 Portal 西极则在遥远的新疆，中国和吉尔吉斯斯坦交界处的伊尔克什坦山口，这里是中国最西端的口岸和通车道路。而中吉边境的 Portal ”77号界碑” (39.697191,73.922294)，就成为了中国最西端的 Portal。

而中国最南端的 Portal 则位于海南的西沙群岛，天知道谁到过那种地方去申 po。在西沙永乐环礁上有一个居住着十几户渔民的小岛，叫做鸭公岛（这名字真实邓里邓气）。鸭公岛的标志石刻”鸭公岛” (16.566298,111.686085)，就是中国最南端的 Portal。

 

☆ 我是分割线 ☆

自从之前两期文章刊出之后，Portal 网络中又多了百来万的 Portal，所以当然地，我们的最高 Portal 和最孤独 Portal 的记录又被刷新了。

现在的全球最高 Portal 已经直接上到了珠穆朗玛峰的封顶……但是很明显，它和它旁边那个都是假 po，它们的实际位置都应该在南坡的尼泊尔境内。而北坡接近峰顶处的“中国梯”和“蘑菇石”两个 Portal，则是由北大的绿军 @Zeneas 在攀登珠峰时申请的，恐怖如斯。

 

而现在的全球最孤独的 Portal 也与中国有关了。在那篇 520 巨献发文之后没多久，位于南极大陆的中国科考站中山站就多了一个 Portal “Atmospheric Physics Building in Zhongshan Station” (-69.371113,76.37034)，它与它最近的 Portal，凯尔盖朗岛的”Notre Dame Du Vent”之间的距离长达 2252.911 km，大幅刷新了原来由”Katolicky kostol”所保持的记录，成为现今 Portal 网络中最孤独的 Portal。天知道又是哪位奇人异士申请了这个神奇的 Portal……

自此，EJ 的 Portal 分析系列就暂告一个段落了（其实是因为找不到可以讲的题材了）。不过，Portal 网络正在迅速发展之中，也许哪一天这个系列又可以找到新的题材重开了呢？（笑）

Happy submitting！

欢迎关注我们的同步渠道

Telegram – https://t.me/IngressBeijing

Twitter – @ingressbeijing

网站 – https://bjres.net

投稿请发邮件至 tougao@bjres.net

请务必投稿后联系 @AlexRowe 确认稿件到达

Telegram – @alexrowe

QQ – 350259971

戳原文访问网站对历史文章进行搜索。

点击查看微信稿件原文

 
 
 

点击上方蓝字关注

#Decode

Ingress Beijing

 
 
 

13 Archetypes: Skeptic 的谜题由三个单独的谜题组成。这三个谜题唯一的共同点就是，它们都有一个错误。

 

第二个谜题是「数迷」，第三个就是个数学的填字游戏（crossword），其实没什么好讲的，我们来好好讲一下第一个谜题。

起因

第一个谜题是一个可以完全用一阶谓词逻辑来描述的问题，也就是使用「断言」「量化」和命题的组合来描述。

上了一年我们学校萩野達也教授的计算理论 + 逻辑课。萩野教授是日本研究第五代计算机时候成长出来的计算机科学家，数学基础异常过硬，和现在天天写 JavaScript、Python 还叫苦不迭的这些 CS 学生完全不在一个级别上。

上了萩野一年课之后，我觉得我翅膀也硬了。既然这玩意可以用一阶谓词逻辑来描述，那么应该可以用 Prolog 来解决。第一个题目因为答案选项里有 E、1、3、A、R，因为 13 Archetypes 所有题目都以 13AR 结束，所以显然根本不用看题就知道答案是 E13AR。但如果仔仔细细做一做的话你会发现，其实 10 分钟也做完了。

但是我不管，我就要用 Prolog 来解决，重现一下上世纪 90 年代人工智能研究的荣耀。

Prolog 是什么？

Prolog 是 Programming in Logic 的缩写。Prolog 程序基于一阶谓词逻辑理论。基本就是描述逻辑，然后让 Prolog 解释器来求解。我这里使用的 Prolog 解释器是 SWI-Prolog。SWI-Prolog 是一个从 1987 年开始开发的自由的 Prolog 解释器。我毕竟也不是 Prolog 语言的专家，对我来说找个开源软件临时用一下就行了。

Prolog 的语法非常简单，几分钟就上手了。Prolog 里大写开头的字母就是变量，其他的就是常量，每个语句必须以句号结尾。第一步是描述事实，比如 Alice 是一个人：

human(alice).

事实可以是一个常量的事实，也可以是多个常量之间的，比如 Alice 喜欢 Bob：

likes(alice, bob).

然后就是推理关系。符号是 :- ，符号后面的如果成立，那么符号前面的也会成立，比如两个人互相喜欢，那么他们就是朋友：

friend(X, Y) :-

    likes(X, Y),

    likes(Y, X).

其中 , 逗号表示「且 (and)」，如果是「或 (or)」那么就是 ; 分号。然后 \+ 表示否，最后还可以用 () 来组合它们，基本上这就是基本逻辑了。

比如冬马喜欢春希，雪菜喜欢冬马和春希，春希没有去音乐会。

human(haruki).

human(touma).

human(setsuna).

likes(touma, haruki).

likes(setsuna, haruki).

likes(setsuna, touma).

friend(X, Y) :-

    human(X),

    human(Y),

    likes(X, Y),

    likes(Y, X).

然后我们用 SWI-Prolog 加载这个程序，来看看他们之间谁是朋友。

❯ swipl white.pl

Welcome to SWI-Prolog (threaded, 64 bits, version 8.0.3)

SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.

Please run ?- license. for legal details.

For online help and background, visit http://www.swi-prolog.org

For built-in help, use ?- help(Topic). or ?- apropos(Word).

?- friend(X, Y).

false.

程序返回了 false. 显然他们三个当不成朋友。

写 Prolog

一开始我花了一个小时，吭哧吭哧就写完了程序。一开始约束条件写得太松散，嵌套太多太复杂，结果跑了好几个小时都没跑出来。

第一次有了喜欢的事情（指数学）。有了能做一辈子的事业（指写代码）。两件快乐事情重合在一起。而这两份快乐，又给我带来更多的快乐。得到的，本该是像梦境一般幸福的时间……但是，为什么，会变成这样呢……

第二天想到了这个问题和一个经典逻辑问题「谁养鱼」是比较类似的，翻了翻正好看到这个问题在 SWI-Prolog 的例子里。学习了一下别人是怎么写的，改了一下程序竟然就秒解了。最后的程序如下：

% 1. Alice is level 7.

% 2. The level 7 agent was in squad Foot-E.

% 3. The agent in squad Foot-E started playing in 2016.

% 4. Alice started playing in 2018.

% 5. The level 16 agent has a founders badge.

% 6. Bob has a gold innovator badge.

% 7. David started playing before Eve, who started playing before Clarie.

% 8. The agent who started playing in 2014 was on squad Bike-1.

% 9. The agent who started playing in 2015 is the recursed level 12 agent.

% 10. The agent in squad Bike-3 was level 9.

% 11. Clarie started playing in 2016.

% 12. The two agents who were on bikes were the agent who started in 2016 and the level 13 agent.

% 13. The level 16 agent was in squad Foot-A.

% 14. The agent who started in 2015 was in squad Foot-R.

% 15. Bob was on a bike.

% 16. The agent who started playing in 2013 was in squad Foot-A.

year(2013). year(2014). year(2015). year(2016). year(2017). year(2018). year(2019).

earlier(A, B) :- year(A), year(B), A @< B.

agents(Ag):-

  % each agent in the list Ag of agent is represented as:

  %      h(Name, Level, Year, Type, Squad)

  length(Ag, 5),

  member(h(alice, 7, _, _, _), Ag), % 1

  member(h(_, 7, _, foot, e), Ag), % 2

  member(h(_, _, 2016, foot, e), Ag), % 3

  member(h(alice, _, 2018, _, _), Ag), % 4

  member(h(_, 16, 2013, _, _), Ag), % 5

  (member(h(bob, _, 2014, _, _), Ag); member(h(bob, _, 2013, _, _), Ag)), % 6

  member(h(david, _, Yd, _, _), Ag), % 7

  member(h(eve, _, Ye, _, _), Ag),

  member(h(clarie, _, Yc, _, _), Ag),

  earlier(Yd, Ye), earlier(Ye, Yc),

  member(h(_, _, 2014, bike, one), Ag), % 8

  member(h(_, 12, 2015, _, _), Ag), % 9

  member(h(_, 9, _, bike, three), Ag), % 10

  member(h(clarie, _, 2016, _, _), Ag), % 11

  member(h(A, _, _, bike, _), Ag), % 12

  member(h(B, _, _, bike, _), Ag),

  \+ A=B,

  ((member(h(A, 13, _, _, _), Ag), member(h(B, _, 2016, _, _), Ag));

  (member(h(B, 13, _, _, _), Ag), member(h(A, _, 2016, _, _), Ag))),

  member(h(_, 16, _, foot, a), Ag), % 13

  member(h(_, _, 2015, foot, r), Ag), % 14

  member(h(bob, _, _, bike, _), Ag), % 15

  member(h(_, _, 2013, foot, a), Ag). % 16

其中几个需要注意的是，一个是加入年份，为了程序能够在有限的整数空间里搜索，设定了条件：

year(2013). year(2014). year(2015). year(2016). year(2017). year(2018). year(2019).

earlier(A, B) :- year(A), year(B), A @< B.

然后 Bob 有 Innovator 牌，光这个条件是不能判断具体是 2013 还是 2014 加入游戏的，所以写了一个或条件：

(member(h(bob, _, 2014, _, _), Ag); member(h(bob, _, 2013, _, _), Ag)), % 6

还有一条就是两个自行车队的一个是 2016 年加入的，另一个是 13 级，这句话转换成谓词逻辑有点绕：

member(h(A, _, _, bike, _), Ag), % 12

member(h(B, _, _, bike, _), Ag),

\+ A=B,

((member(h(A, 13, _, _, _), Ag), member(h(B, _, 2016, _, _), Ag));

(member(h(B, 13, _, _, _), Ag), member(h(A, _, 2016, _, _), Ag))),

跑了一下，当然是 false.。因为其中有一个条件是错误的。于是从第一个条件开始尝试一个个注释掉。

注释到第四个，秒解：

❯ swipl archetype.pl 

Welcome to SWI-Prolog (threaded, 64 bits, version 8.0.3)

SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.

Please run ?- license. for legal details.

For online help and background, visit http://www.swi-prolog.org

For built-in help, use ?- help(Topic). or ?- apropos(Word).

?- agents(Ag).

Ag = [h(alice, 7, 2016, foot, e), h(david, 16, 2013, foot, a), h(bob, 13, 2014, bike, one), h(eve, 12, 2015, foot, r), h(clarie, 9, 2016, bike, three)] .

程序给出的第一组解如下（不唯一）：

名字	级别	加入年份	Squad 类型	Squad 编号
Alice	7	2016	Foot	E
Bob	13	2014	Bike	1
Clarie	9	2016	Bike	3
David	16	2013	Foot	A
Eve	12	2015	Foot	R

答案是 E13AR，完全没有错。

总结

这个例子很好展示了上世纪 90 年代人工智能研究的奥妙。还有就是不要钻牛角尖，几秒钟就解出来的题不要浪费一天去写代码。但我写了一天才写出来只能说明是我菜，这程序运行只花了几毫秒就找到解了还是挺厉害的。数学的发展可能关乎着真正强人工智能的诞生，希望大家多学数学，少写 JavaScript。

欢迎关注我们的同步渠道

Telegram – https://t.me/IngressBeijing

Twitter – @ingressbeijing

网站 – https://bjres.net

投稿请发邮件至 tougao@bjres.net

请务必投稿后联系 @AlexRowe 确认稿件到达

Telegram – @alexrowe

QQ – 350259971

戳原文访问网站对历史文章进行搜索。

点击查看微信稿件原文

 
 
 

点击上方蓝字关注

#IngressFS

Ingress Beijing

 
 
 

续《官方活动：首届 IngressFS 创意大赛开启》之后，猩猩再度开始了一轮新的创意大赛。

这一轮大赛将在 1 月 24 日结束，猩猩将在 2 月 7 日选出获胜作品，并放入今年三月到五月 IFS 活动 Media 中。

作品的基本规则和上次大赛一样：

• 好看！

• 为 Ingress 跨阵营而生

• 代表着探索新地点的欲望

• 激励 Ingress 特工们积极参与

• 传达出神秘、奇迹或是令人惊讶的感觉

• 与当前所在的月份或季节存在联系

我们看看上次获胜的作品都是这样的：

快去上传你的作品吧！

上传表格地址如下：

https://forms.gle/bdmK2CqQN9jpjuWi9

欢迎关注我们的同步渠道

Telegram – https://t.me/IngressBeijing

Twitter – @ingressbeijing

网站 – https://bjres.net

投稿请发邮件至 tougao@bjres.net

请务必投稿后联系 @AlexRowe 确认稿件到达

Telegram – @alexrowe

QQ – 350259971

戳原文访问网站对历史文章进行搜索。

点击查看微信稿件原文

 
 
 

点击上方蓝字关注

#IngressFS

Ingress Beijing

 
 
 

在上个月的一个午后，在德国划水摸鱼的鲁蓝萌新 @NeuronLzy 戳开了他好姬友的聊天窗口，询问起了圣诞节的旅行计划。此时，他还单纯的认为收到的地图是德国的火锅店分布，并不知道自己已经被拖下水卷入到了一场拯救世界到处是坑的计划之中。

1月3日这个月黑风高的早晨，@NeueonLzy 和他的姬友带着对12.9€票价的心痛，踏上了前往法兰克福的火车。

法兰克福总站外景

法兰克福总站内景

在凌冽的东风中裹紧了衣服，往来的人群行色匆匆。车站广袤的钢铁结构下回想着我也听不懂他说的啥的广播。新文艺复兴风格的立面与内部的钢铁工业产生了极大的反差。一杯并不温暖甚至还加了冰的咖啡令人瞬间（苦的）从旅途的困顿中清醒过来。紧接着便抖擞精神，继续向目的地前去。

经过了一个小时的颠簸，我们在一个蔚蓝天空大片乌云群山环抱绿树成荫但也没有人烟的小镇被抛下了火车，又跟随着极不靠谱的导航寻找了 20 分钟公交车站，下了公交车再走过四五条街，终于到达了本次 IFS 的签到 Po。

摄于签到Portal上

在签到 Po 旁边，早有一大群——等等…怎么全是大叔——Agents 在那里欢乐的炸来炸去。他们那温暖的笑容，让我瞬间回想起了遥远的家乡那和蔼的 @Kingmos 大叔。在英德双语混杂着和 POC 打招呼后，我毫无廉耻的收下了对方的卡片，并继续着咕着自己卡片的制作计划。

人差不多到齐以后，便是拍照的时间。鸽子们 Agents 站作好几排，看向快门，然后一哄而散继续欢快的炸来炸去。

离双倍AP窗口还有十分钟的时候，一位德国大叔主动来问我要不要一起做Mosaik。我天真的以为这个Mission也就是在这个小公园里转两圈，于是武断的背着所有补给和一大袋子相机镜头欢快地蹦跶着跟了上去。然而蹦跶了一会感觉好像不太对劲……这离着签到Po也太远了点吧，第二个任务做完之后在Ingress里已经看不到签到Po了，而下一个Po在更遥远的前方。

镇上最高的建筑是教堂（至少看起来像个教堂）

大概算是田园风光

春江水暖鸭先知

在小镇里奔波的特工们

与我们一同的有一位英语极好的英国小哥，这让我与他们的交流轻松了不少。与此同时那个被我拉来的姬友坚持要和他讲德语以“pratice Germen”。

傍晚的小镇

两个多小时的环镇步行游览观光顺带完成 Mosaik 之后，我们终于又回到了签到 Po。此时已是傍晚十分，天边的晚霞宣告着这一天即将结束，而我在一直东奔西跑中，拿到的 AP 还没我在国内的时候晚上绕着大明湖转一圈多。

当地 dalao 十分热情的带领我们进入了旁边的一家小餐馆，在他们的怂恿下我品尝了后来翻导游手册上发现是法兰克福特产的苹果酒和法兰克福肉排（这里没有照片因为我都吃完了才发现忘了拍照）。在欢快的气氛中，POC 颁发了我也没听懂是什么但估计除了 AP 增量最多和蹦跶的最远之外也没什么别的了的奖——而且很显然也没我什么事。

眼看着距离补给 Po 的关闭时间越来越近，其他人却都在神定气闲的吃饭喝酒，我不忍看着唯一一个能坑友军的道具绿毒白白丧失，坐不住偷偷找借口溜了出去。发现补给 Po 已经被先走的蓝军起好八插上了薯条。

酒饱饭足以后，我们再一次被德国要多不靠谱有多不靠谱的交通系统给坑了——手机 App 和站牌上写的车没有来。我们不得不冒着一点也不浪漫的飞雪徒步前往车站，并在凌晨时分回到了学校。

在此特别感谢本次 IFS 的 POC 和（我脸盲记不住的）所有 Agent，也感谢陪着我折腾了一天在 IFS 期间背着相机包还到最后也一头雾水不知道我在干嘛也肯定看不到这篇游记的朋友。

欢迎关注我们的同步渠道

Telegram – https://t.me/IngressBeijing

Twitter – @ingressbeijing

网站 – https://bjres.net

投稿请发邮件至 tougao@bjres.net

请务必投稿后联系 @AlexRowe 确认稿件到达

Telegram – @alexrowe

QQ – 350259971

戳原文访问网站对历史文章进行搜索。