什么是WPF风格的谜题 - 推理及计算 我爱数学网-数学爱好者的家园-中国专业化的数学论坛之一

我爱数学网-数学爱好者的家园-中国专业化的数学论坛之一

查看: 685|回复: 2

[智力谜题] 什么是WPF风格的谜题

[复制链接]

44

主题

186

帖子

678

积分

版主

Rank: 7Rank: 7Rank: 7

积分
678
发表于 2014-10-15 23:26:17 | 显示全部楼层 |阅读模式
本帖最后由 小草 于 2014-10-15 23:31 编辑

文章来源:http://blog.sina.com.cn/s/blog_a44b5c1d01016prx.html           作者:righthand


什么是WPF风格的谜题

      关于WPF风格(或者说WPC风格,考虑到数独也是谜题的一个子集,个人认为称为WPF风格更好)的谜题,其实并没有一个明确的定义或者范围。
      在WPF的网站上,它是这么说的:All puzzles presented at a WPC/WSC  are cultural - and language-neutral. For instance, puzzles based on logic, visual puzzles, puzzles with numbers. If words are used, it will be puzzles like fill-ins or word searches, where one does not need to know the meaning of the words. 意思是WPC/WSC中出现的谜题是与语言和文化无关的,比如,基于逻辑、视觉、数字等的谜题。如果谜题中用到了词语,这些词应该是用在类似于填写或者搜索等不需要知道词的意思的地方。这里除了提到语言和文化无关,并没有对谜题进行其它限制。
      在WPF网站有一个谜题百科网站的链接,在这个由前世界谜题冠军黄伟华创建和管理的网站中有这么一段话:A constraint satisfaction puzzle, also sometimes called a WPC-style puzzle, is a pencil-and-paper puzzle that can generally be solved by logic alone, without the need of external cultural knowledge. 意思是:约束满足谜题,有时也称为WPC风格的谜题,是一种通常只需要使用逻辑推理而不需要其它文化背景知识就可以解答的纸笔谜题。
      这句话可能是目前相对最准确的WPF风格谜题的定义了,它有两个要素,一个是“约束满足谜题”,这是个充满术语味道的名词,后面再说;另一个是只需要逻辑推理的纸笔谜题,这一点至少是正确地将Crossword这类的需要大量语言和文化知识才能解答的谜题排除在外了。但这点也有例外,那就是WPC实际上除了纸笔谜题,还至少有两类谜题,一类是mechanical puzzles,也就是需要道具的谜题,一类是screen puzzles,也就是幻灯片谜题。
      另外,是否一定需要“逻辑”也是有争议的。虽然大部分时候没错,但有时WPF风格的谜题也不一定有严格的逻辑支撑。最典型的例子就是数连(NumberLink),这一谜题类型历史悠久,在WPC中也时常出现,但要为它找出一个“逻辑”解其实相当困难,通常它更多依赖于解题者的直觉。另外,像Word search这类的谜题,更多考察的是解题者的观察力而与逻辑无关。
      约束满足谜题看起来是一个不错的词,至少它对应的计算机术语:“约束满足问题”有着严格的定义和大量的研究论文。而且确实多数WPF风格的谜题都可以归结为某种约束满足问题,甚至不少计算机论文都对各类谜题进行了讨论。约束满足问题的定义如下:由一个变量集合和一个约束集合组成。问题的一个状态是由对一些或全部变量的一个赋值定义的完全赋值:每个变量都参与的赋值。问题的解是满足所有约束的完全赋值,或更进一步,使目标函数最大化。以标准数独为例,其对应的约束满足问题的变量集合就是没有提示数的所有格子,而约束集合就是1.每个格子中填入的数字为1-9;2.每行数字不重复;3.每列数字不重复;4.每宫数字不重复。
      但WPF风格的谜题在实践中还有更多的限制条件。最重要的就是:必须有唯一解。虽然在各种定义中并没有提到,但在实际执行的时候这一条显然已经是共识。如果在WPC/WSC中出现了非唯一解的题,裁判委员会会将此题作废,所有参赛选手都得到分数或都不得分。对于谜题是否一定要有唯一解,也有一个特例,就是所谓Optimization优化类谜题,这类谜题是没有标准答案的,最后的得分要根据所有符合约束条件的答案的对比情况来得出。这种题型在欧洲比较受欢迎,德国有例行的谜题优化赛,塞尔维亚也有每年一度的谜题优化公开赛,WPC是否出现过优化类谜题,目前我还不了解。不过,优化类谜题实质上是让解题者在给定的约束下制作一道WPF风格的谜题,虽然题目本身没有唯一解,但根据题目做出来的谜题还是要遵循“唯一解”这一原则的。
      还有一个限制就是谜题的可重复性。这里说的可重复性是指在同样的约束规则之下,可以制作很多的谜题。有一个显著的反例就是很多人小时候都做过的不抬笔画4条线过9个点,这本身是一道数学谜题,但它不具备可重复性,你没办法再给出很多其它的不抬笔画N条线过M点的题。不具备可重复性的题目,在解题的时候就很可能变成记忆力的较量,而不是解题能力的较量了。因此,它不能成为WPF风格的谜题。
      我们常见的另一个游戏算24算不算WPF风格的谜题呢?我认为也不算。首先,很多算24的题目都不具备唯一性,比如无解或者多解,如果考虑到加法和乘法的交换律,多解的情况会非常多。其次,算24的重复性也不够。按扑克牌52张算,抽出4张的组合共1820种,据说其中458种组合无解,多解的我没有数据,相信也不少,因此,有唯一解的算24题目非常有限,加上它一道题目不过是4个数,非常容易记忆,不足以成为可重复命题的谜题类型。



我可以不聪明,但不可以不努力。
回复

使用道具 举报

4

主题

182

帖子

660

积分

小学四年级

Rank: 3

积分
660
发表于 2014-11-15 16:05:23 | 显示全部楼层
What's this?
回复

使用道具 举报

44

主题

186

帖子

678

积分

版主

Rank: 7Rank: 7Rank: 7

积分
678
 楼主| 发表于 2014-11-15 21:21:04 | 显示全部楼层

This is a puzzle.  
我可以不聪明,但不可以不努力。
回复

使用道具 举报

您需要登录后才可以回帖 登录 | 会员注册

本版积分规则

Powered by Discuz! X3.2

© 2001-2013 Comsenz Inc

关于我们 | 网站地图 | 我爱数学网 ( 沪ICP备16005585号-3  

GMT+8, 2020-5-31 18:24 征信网

快速回复 返回顶部 返回列表