- iOS/Objective-C 元类和类别
- objective-c - -1001 错误,当 NSURLSession 通过 httpproxy 和/etc/hosts
- java - 使用网络类获取 url 地址
- ios - 推送通知中不播放声音
我做了一个算法来检查棋盘是否非法,它检查行、列和扇区中的重复项,它对重复项很有效,但经过几场比赛后我得到了以下棋盘:
没有解决方案(没有 B5 和 A7 的候选项)但没有重复项。我们是否总是需要检查是否没有候选人以及检查重复项?还有什么要检查的吗?
最佳答案
只需检查重复项就可以让您证明明显的非法填充案例。
恐怕你必须尝试解决数独板才能证明部分填充是合法的,即有解决方案。找到一个解决方案就足够了,但可能还有其他解决方案。找到所有解决方案并不难。
对于您提供的情况来说,证明没有解决方案很容易,一步就会导致失败(单元格 A7 的所有可能解决方案都会产生重复),但在一般情况下可能会更复杂,因为它需要多个步骤。
蛮力方法(例如尝试每个空方 block 的所有可能性并递归)具有可怕的复杂性。您可以在 Internet 上找到快捷方式并使用您自己的代码进行研究。
编辑:如有疑问,请尝试暴力破解!数独在一般情况下可能是 NP-Complete,但在实践中它似乎并没有显着发散。我反射(reflection)了上面的初步分析,并决定尝试一下蛮力。我写了一个小程序来解决命令行上给出的数独问题。即使在我的旧 MacBook Air 上,它也能在不到几毫秒的时间内解决我尝试过的所有问题。
再次编辑:我用通用版本更新了代码,该版本使用了更好的算法并且速度快了近 80 倍。
代码如下:
/* Generic Sudoku solver by Charles Gordon */
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#ifndef GEN
#define GEN 3
#endif
#define SIZE (GEN*GEN)
typedef unsigned char u8_t;
typedef unsigned long long llu_t;
static int print_count = 0, print_solutions = 1;
/* utility arrays to dispatch cell number to signature arrays */
static int rowsig[SIZE * SIZE], colsig[SIZE * SIZE], regsig[SIZE * SIZE];
static void sigcell_init() {
for (int i = 0, row = 0; row < SIZE; row++) {
for (int col = 0; col < SIZE; col++, i++) {
rowsig[i] = row;
colsig[i] = SIZE + col;
regsig[i] = SIZE + SIZE + (row / GEN) * GEN + (col / GEN);
}
}
}
static void print_board(const int *board, const char *header) {
printf("%s:\n", header);
for (int i = 0, row = 0; row < SIZE; row++) {
for (int col = 0; col < SIZE; col++, i++)
printf("%*.0d", 2 + (SIZE > 9) + (SIZE > 99), board[i]);
putchar('\n');
}
}
static int validate_board(const int *board, u8_t sigs[3 * SIZE][SIZE]) {
memset(sigs, 0, 3 * SIZE * SIZE * sizeof(sigs[0][0]));
for (int i = 0; i < SIZE * SIZE; i++) {
int val = board[i];
if (val == 0)
continue;
if (val < 0 || val > SIZE)
return 2; /* found invalid value */
val -= 1;
if (sigs[rowsig[i]][val] | sigs[colsig[i]][val] | sigs[regsig[i]][val])
return 1; /* found duplicate */
sigs[rowsig[i]][val] = sigs[colsig[i]][val] = sigs[regsig[i]][val] = 1;
}
return 0; /* board is valid */
}
static llu_t try_board(int *board, u8_t sigs[3 * SIZE][SIZE], int *empty, int emp) {
llu_t count, total = 0;
int n, cell;
u8_t *rowsigp, *colsigp, *regsigp;
if (emp == 0) {
if (print_solutions)
print_board(board, "found a board solution");
return 1;
}
cell = *empty; /* next cell to try and populate */
rowsigp = sigs[rowsig[cell]];
colsigp = sigs[colsig[cell]];
regsigp = sigs[regsig[cell]];
for (n = 0; n < SIZE; n++) {
/* check if value is possible */
if ((rowsigp[n] | colsigp[n] | regsigp[n]) == 0) {
rowsigp[n] = colsigp[n] = regsigp[n] = 1;
board[cell] = n + 1;
if ((count = try_board(board, sigs, empty + 1, emp - 1)) > 0) {
total += count;
if (!print_count)
break;
}
rowsigp[n] = colsigp[n] = regsigp[n] = 0;
board[cell] = 0;
}
}
return total;
}
int main(int argc, char *argv[]) {
int board[SIZE * SIZE]; /* board values: empty=0 */
u8_t sigs[3 * SIZE][SIZE]; /* signatures for row, col and regions */
int empty[SIZE * SIZE]; /* list of empty cells */
int i, n;
llu_t count = 0;
sigcell_init();
/* initialize board */
for (i = 1, n = 0; i < argc; i++) {
if (!strcmp(argv[i], "-a")) {
print_count = 1;
print_solutions = 0;
continue;
}
if (n < SIZE * SIZE)
board[n++] = atoi(argv[i]);
}
while (n < SIZE * SIZE)
board[n++] = 0;
print_board(board, "initial board");
if (validate_board(board, sigs)) {
printf("board is invalid\n");
return 1;
}
/* compute list of empty cells */
for (i = n = 0; i < SIZE * SIZE; i++) {
if (board[i] == 0)
empty[n++] = i;
}
if ((count = try_board(board, sigs, empty, n)) == 0) {
printf("board does not have solutions\n");
return 1;
}
if (print_count) {
printf("total board solutions: %llu\n", count);
}
return 0;
}
传递命令行选项-a
使程序查找所有解决方案并打印找到的总数。正如预期的那样,时间随着空单元格的数量呈指数增长。但只有当董事会还不到半满并且有很多解决方案时,它们才会变得重要。
关于algorithm - 数独板检查算法 - 除了重复之外还有什么要检查的吗?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/30122937/
我需要根据需要动态设置文本区域,但它不想正常工作。 JQuery 会自行检查,但无法检查是否已检查。但是当您在第二个单选框内单击时,始终需要文本区域。我尝试了很多次让它工作,但它仍然有问题。我添加了“
我需要在 Django 中进行 API 调用(某种形式),作为我们所需的自定义身份验证系统的一部分。用户名和密码通过 SSL 发送到特定 URL(对这些参数使用 GET),响应应该是 HTTP 200
我将在我的可移植 C 代码中使用 #warning 来生成编译时警告。但并非所有平台都支持 #warning。有什么方法可以找到该平台是否支持 #warning。 #ifdef warning
我编写了一个函数来检查某个数字是否存在于某个区间内。停止搜索的最佳方法是什么?这个: for (i = a; i <= b; i++) { fi = f(i); if (fi == c) {
我想知道在 c 中是否有一种方法可以检查,例如在 for 函数中,如果变量等于或不等于某些字符,而不必每次都重复进行相等性检查。如果我没记错的话,以这种方式检查相等性是不正确的: if (a == (
我有如下日志功能 void log_error(char * file_name, int line_num, int err_code) { printf("%s:%d:%s\n", fil
使用 ssh-keygen 生成的 key 对在 macOS 上可以有不同的格式。 macOS 可读的标准 PEM ASN.1 对象 SecKey API 带有文本标题的 PEM OpenSSH ke
我正在尝试编写一个 excel if 语句。我不熟悉使用 Excel 具有的所有额外功能。我正在使用一个名为 importXML() 的函数.我正在尝试检查我正在使用的函数是否生成“#VALUE!”错
有没有办法检查是否没有 AIO 写入给定文件?我在我的 Unix 类(class)上制作了一个项目,该项目将是一个上下文无关(基于 UDP)的国际象棋服务器,并且所有数据都必须存储在文件中。应用程序将
我有一个如下所示的函数: public Status execute() { Status status = doSomething(); if (status != Stat
我正在使用 Composer,我不希望 PhpStorm 在 vendor 文件夹上运行任何错误检查或检查,因为它对 vendor/中的某些代码显示误报composer/autoload_static
Chapel 的一个很好的特性是它区分了数组的域和它的分布。检查两个数组是否具有相同的域和分布(通常想要的)的最佳方法是什么? 我能看到的最好的方法是检查 D1==D2和 D1.dist==D2.di
在我的 JavaScript 函数中,我为所有输入、文本区域和选择字段提供实际值作为 initial_value: $('input, textarea, select').each(function
我正在编写一个分解为几个简单函数的 PHP 类。在构造函数中,它调用另一个名为 processFile 的函数。该函数调用 5 个私有(private)函数并进行检查。如果检查失败,它会将消息分配给
这个问题已经有答案了: How to detect if user it trying to open a link in a new tab? (2 个回答) 已关闭 7 年前。 我认为 JavaS
我正在浏览我们的代码库并看到很多这样的测试: declare @row_id int = ... declare @row_attribute string select @row_attribu
我正在声明一个用作比较的函数。我的问题是: 为什么条件充当语句? 为什么第 4 行可以工作,而第 5 行却不行? 我知道这段代码不切实际且未使用,但为什么编译器允许这种语法? 谷歌没有找到答案。但话又
到目前为止,我有一个带有空文本字段的 PHP Kontaktform,并使用以下命令检查了所需的字段: $name = check_input($_POST['name'], "请输入姓名。"); 现
目前,我能想到的合理检查的唯一方法没有臃肿的逻辑: if ( $value > 0 ) { // Okay } else { // Not Okay } 有没有更好的办法? 最佳答案
我正在尝试运行一个脚本,如果 i 存在(意味着存在 i 值,任何值)或其他部分,我希望运行其中的一部分如果i没有值就运行,有人可以启发我吗? 我说的是 for 循环,比如 for (var i=0;
我是一名优秀的程序员,十分优秀!