小B很狐疑，心想这是什么鬼？
厥后小C也知道了这个要领，从此三个小同伴养成了通过零常识证明去证明给对方看本身知道某道题的解的习惯。固然每次证明所需的时间都很长并且还挺累人的，但每个数独谜题都是本身耗费很长时间才解出来的，才不想把谜底汇报其他人呢。
小A一脸王者之气：“我能证明给你看这题是有解的，并且我知道这个解。”
有一天，小A出了一道很是难的题，小B花了很长时间，就是解不开，于是：
小B抉择挑一行来检讨。接下来，小A把每一行的9张卡片收起来，每行单独放到一个袋子里。总共9行，所有卡片都被收完放在了9个袋子里。小A摇了摇每个袋子，，把内里的卡片顺序打乱，然后把9个袋子递给小B。
小A表明说：“我又不会读心术，我可不知道你事先会凭据行来选，照旧凭据列可能九宫格来选。你之前假如凭据列来选，照样可以或许获得这样的功效。”
小B：“emmm试试吧。”心田OS：别BB了，快点，我还要去看小C吃瘪呢。
小C也看了这场直播，过后小A和小B汇报小C，这次直播作假了。小C很气愤，以为本身的情感觉到了欺骗，而且扬言再也不会相信他们俩了，他们基础对不起那么多粉丝对他们的喜欢。
证明
未完待续……
事实上，只有正确的解，才会获得这样的功效，即有了正确的解，任意行、列、九宫格内的数字才会是1-9不反复的数字。假如小A的解不正确，至少有30%的概率得不到这样的功效。
小B：“行，我等着”。同时，心田OS：等你解出来之后，我就把谜底记下来，再去测试小C。
作假被发明白
小A：“好了，你可以打开袋子了。每个袋子里应该都正好有9张卡片，这9张卡片上的数字别离是1-9。”小B打开袋子一看，还真是这样。小A接着说：“但我能让你检讨这些解，你可以随意挑一行，或一列，可能一个3×3的九宫格区域来检讨我的解。”
理睬
小B生气了：“小A，这个数独题基础无解，你这是耍我，想看我出丑！”
这下小明不得不认可，小A确实知道这道题的解，因为小A不行能命运好到每次都压中小B会选择哪一行、哪一列或哪一块，究竟小A不是他肚子里的蛔虫。小A很失望，这么多次测试做完，他照旧不知道谜底，他只知道每次的分列里，很大概每一行、每一列、每个九宫格确实包括了数字1-9，而且没有反复的数。这很有大概是小A在知道谜底的环境下才气实现的。
随机挑战
验证
小B：“你耍赖，这基础没有证明任何事！我也可以做到，我只要把数字从1到9按任意顺序排成一行不就行了！。”
小A：“我会用‘零常识证明’的要领给你证明我会解这题。也就是说我不会把解给你看，但你却大白我确实有这题的解。”
他们还常常喜欢挑战高难度的，好比这样的：
做这样直播的人许多，奈何才气吸引更多粉丝呢？小A想了一个步伐：他和小B连系直播，每次直播时让小B用零常识证明的要领向寓目直播的粉丝们证明这题有解，而且本身知道这道题的解，但不会等闲汇报粉丝。就这样，越来越多的粉丝进入直播间，想要解出小A出的谜题。不只如此，小A还会把数独挑战的谜题以及证明进程拍下来，发到小我私家频道上。有一天，小A又来找小B一起直播，但他发明本身把记录谜题谜底的条记本落家里了。开播时间顿时到了，归去拿又赶不上。于是，他和小B磋商说：“我们冒充做一个零常识证明。”两人一起商定了等会儿小B该如何“随机地”选择行、列、块，因为小A事先就知道小B会选择什么，他只需要凭据顺序摆好数字就行了。
越来越多的人插手游戏
小A是三个小伴侣中最智慧的，他会本身出题，而且配置一些法则，给别的两个小同伴去解。
本文翻译自Aviv Zohar的博文《The Incredible Machine》。这是小编看过的最接地气、最好领略的“零常识证明”表明。推荐各人必然要看！本文分为两部门，第二部门将于下期小教室宣布。
小A、小B、小C三个小伴侣是学霸，很是喜欢玩数独游戏，并且常常凑一起办理困难，以此证明本身更智慧。
小A拿出81张空缺卡片，在每张卡片上写上1-9中的一个数字，并按9×9的矩阵形式，将卡片分列在桌上。代表答案的卡片，数字面朝下放在桌上；代表谜面的卡片，数字面朝上放在桌上。小A这时说：“小B，你不能偷看这些面朝下的卡片”。小B很失望，还觉得很快就能知道谜底了呢。厥后，小A发明世界上有成千上万的数独喜好者，许多人都通过线上玩。所以他抉择开个抖音直播间，这样他可以在线上宣布他独创的数独挑战，让更多人来解谜题。
小B心田很感动，这就像学霸花很长时间没有解出的附加题，但即将在另一个学霸那看到解题步和谐谜底，能不感动吗。
反复测试
郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。
