叶卡林娜

管理员™
 浏览名片  观看他们的动态

  • 内容数

    2,032

  • 注册日期

  • 最后上线

文章 发表由 叶卡林娜

  4. 发表于 · 检举文章

    你似乎对这个主题讨论的内容没有理解，BUG是一种结构（你可以理解为独立于数独存在的东西，就像我在强弱关系的帖子了，最开始的说明都是脱离数独本身的）。假如你放在数独里，因为合格的数独题要求唯一解，直接把多解的情况给排除了（即你的例子）。而要证明BUG这个结构不可能产生唯一解，自然需要证明无解或者多解这两种情况，这样才是完整的，2楼只是给了个大概的意思，具体证明可以参考玩家论坛里的（略复杂，我也没仔细读过）。

    BUG Type1、Type2，Bug-Lite是从BUG结构引申出来的技巧（为了避免BUG结构出现），正如Unique rectangle是四格的致命模式引出的解题技巧（为了避免四格致命模式结构出现）。

    对于唯一解的题目，自然不可能变成多解；如果题目本身多解，又怎么使用利用答案是唯一而引出的技巧？（也就是我在unique rectangle注解2里所说的内容）。

    简单的说，BUG结构是一种不可能唯一解的结构，运用到数独里，那就是因为如果写成BUG结构将导致无解。但其证明不是唯一解还需要考虑可能多解的情况（脱离合格的数独题）。

  5. 发表于 · 检举文章

    做了很多BUG+1的题目，除了唯一的正确答案之外，BUG所得到的都是无解，而不会形成双解。请叶卡老师举例说明能形成双解的BUG题目。

    我敢打赌你肯定没仔细看过我的其他帖子。由于其他一些地方的说明不严谨，我曾经特地在unique rectangle的顶楼写了一段注释【直达>>>】。

    这个帖子戈壁滩是问BUG结构的证明，只是结构，在玩家论坛上也有过讨论，比2楼回复的详细的多。结构是独立于题目本身存在的，就像强弱链的帖子里，一开始讲的所有内容都并不针对某道题目，而是基于强弱关系概念本身能够做出的推论。即使应用到题目里，也要看具体的情况运用哪一种关系。就像解释唯一性技巧一样，很多人认为既然是强关系，那就是弱关系，这在同单元内是没错（数独的规则决定的），跨单元就会出现问题。但这种错误的观点若自己看一下原本强弱关系的定义马上就能明白了。至于为什么要这样定义两格（或两数）之间的关系，我想也是基于能够得到结论最少的条件而产生的。随着大家对数独技巧认识的不断深入，可能以后会有更好的解释方式。