24小时热门版块排行榜    

查看: 600  |  回复: 6
当前主题已经存档。
【有奖交流】积极回复本帖子,参与交流,就有机会分得作者 风云箭 的 5 个金币
当前只显示满足指定条件的回帖,点击这里查看本话题的所有回帖

风云箭

铜虫 (小有名气)

[交流] 关于数独的一个问题

大家一定或多或少的做过标准的9*9数独吧,在保证唯一解的情况下,给出的最少初始已知数字是17个吗?
    (已知在4*4的情况下,相应的答案是4个)
回复此楼
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

风云箭

铜虫 (小有名气)

是的啊,17个数已经有人给出了几万个互不等价的题目了,目前还没有少于17个的,可不可以用数理逻辑的知识来做,把它表示成合取范式的方程组???
4楼2010-02-07 14:10:08
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

风云箭

铜虫 (小有名气)

有人已经表示成表达式了,就是不知道进一步该怎么做?
6楼2010-02-07 22:01:48
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 风云箭 的主题更新
普通表情 高级回复(可上传附件)
信息提示
请填处理意见