สมมติว่าเราต้องการใส่ 1, 2, 3, 4, 5, 6, 7, 8 ลงในวงกลมแปดวงในรูปที่กำหนด ด้วยวิธีนี้ไม่มีตัวเลขใดอยู่ติดกับตัวเลขที่อยู่ติดกันในลำดับ
ดังนั้นหากอินพุตเป็นแบบ
| 0 | - 1 | - 1 | 0 |
| - 1 | - 1 | - 1 | - 1 |
| 0 | - 1 | - 1 | 0 |
แล้วผลลัพธ์ที่ได้จะเป็น

เพื่อแก้ปัญหานี้ เราจะทำตามขั้นตอนเหล่านี้ -
- N :=3, M :=4
- ไม่พิจารณา :=-1
- กำหนดฟังก์ชัน present_in_grid() จะใช้ grid[N][M], num,
- สำหรับการเริ่มต้น i :=0 เมื่อ i
- สำหรับการเริ่มต้น j :=0 เมื่อ j
- ถ้า grid[i, j] เหมือนกับ num แล้ว −
- คืนค่าจริง
- สำหรับการเริ่มต้น j :=0 เมื่อ j
- ถ้า present_in_grid(grid, num) หรือ |num - grid[row, col + 1]| <=1 หรือ |num - grid[row + 1, col]| <=1 หรือ |num - grid[row + 1, col - 1]| <=1 หรือ |num - grid[row + 1, col + 1]| <=1 จากนั้น −
- คืนค่าเท็จ
- ถ้า present_in_grid(grid, num) หรือ |num - grid[row, col - 1]| <=1 หรือ |num - grid[row + 1, col]| <=1 หรือ |num - grid[row + 1, col + 1]| <=1 หรือ |num - grid[row + 1, col - 1]| <=1 จากนั้น −
- คืนค่าเท็จ
- if present_in_grid(grid, num) หรือ |num - grid[row - 1, col + 1]| <=1 หรือ |num - grid[row, col + 1]| <=1 หรือ |num - grid[row + 1, col + 1]| <=1 จากนั้น −
- คืนค่าเท็จ
- ถ้า present_in_grid(grid, num) หรือ |num - grid[row - 1, col - 1]| <=1 หรือ |num - grid[row, col - 1]| <=1 หรือ |num - grid[row + 1, col - 1]| <=1 จากนั้น −
- คืนค่าเท็จ
- ถ้า present_in_grid(grid, num) หรือ |num - grid[row - 1, col - 1]| <=1 หรือ |num - grid[row - 1, col]| <=1 หรือ |num - grid[row - 1, col + 1]| <=1 หรือ |num - grid[row, col + 1]| <=1 จากนั้น −
- คืนค่าเท็จ
- ถ้า present_in_grid(grid, num) หรือ |num - grid[row, col - 1]| <=1 หรือ |num - grid[row - 1, col]| <=1 หรือ |num - grid[row - 1, col + 1]| <=1 หรือ |num - grid[row - 1, col - 1]| <=1 จากนั้น −
- คืนค่าเท็จ
- ถ้า present_in_grid(grid, num) หรือ |num - grid[row, col - 1]| <=1 หรือ |num - grid[row - 1, col]| <=1 หรือ |num - grid[row - 1, col + 1]| <=1 หรือ |num - grid[row, col + 1]| <=1 หรือ |num - grid[row + 1, col + 1]| <=1 หรือ |num - grid[row + 1, col]| <=1 จากนั้น −
- คืนค่าเท็จ
- ถ้า present_in_grid(grid, num) หรือ |num - grid[row, col - 1]| <=1 หรือ |num - grid[row - 1, col]| <=1 หรือ |num - grid[row + 1, col - 1]| <=1 หรือ |num - grid[row, col + 1]| <=1 หรือ |num - grid[row - 1, col - 1]| <=1 หรือ |num - grid[row + 1, col]| 1 จากนั้น −
- คืนค่าเท็จ
- สำหรับการเริ่มต้นแถว :=0 เมื่อแถว
- สำหรับการเริ่มต้น col :=0 เมื่อ col
- ถ้า grid[row, col] เหมือนกับ NOTCONSIDERED แล้ว −
- คืนค่าจริง
- สำหรับการเริ่มต้น col :=0 เมื่อ col
- คืนค่าจริง
- if isSafe(grid, row, col, num) แล้ว −
- grid[row, col] :=num
- ถ้า Solve(grid) เป็นจริง −
- คืนค่าจริง
- grid[row, col] :=ไม่ได้รับการพิจารณา
ตัวอย่าง
ให้เราดูการใช้งานต่อไปนี้เพื่อความเข้าใจที่ดีขึ้น -
#include <cmath>
#include <iostream>
#define N 3
#define M 4
#define NOTCONSIDERED -1
using namespace std;
bool present_in_grid(int grid[N][M], int num) {
for (int i = 0; i < N; i++) {
for (int j = 0; j < M; j++)
if (grid[i][j] == num)
return true;
}
return false;
}
bool isSafe(int grid[N][M], int row, int col, int num) {
if (row == 0 && col == 1) {
if (present_in_grid(grid, num) || (abs(num - grid[row][col + 1]) <= 1) || (abs(num - grid[row + 1][col]) <= 1) || (abs(num - grid[row + 1][col - 1]) <= 1) || (abs(num - grid[row + 1][col + 1]) <= 1))
return false;
}
else if (row == 0 && col == 2) {
if (present_in_grid(grid, num) || (abs(num - grid[row][col - 1]) <= 1) || (abs(num - grid[row + 1][col]) <= 1) || (abs(num - grid[row + 1][col + 1]) <= 1) || (abs(num - grid[row + 1][col - 1]) <= 1))
return false;
}
else if (row == 1 && col == 0) {
if (present_in_grid(grid, num) || (abs(num - grid[row - 1][col + 1]) <= 1) || (abs(num - grid[row][col + 1]) <= 1) || (abs(num - grid[row + 1][col + 1]) <= 1))
return false;
}
else if (row == 1 && col == 3) {
if (present_in_grid(grid, num) || (abs(num - grid[row - 1][col - 1]) <= 1) || (abs(num - grid[row][col - 1]) <= 1) || (abs(num - grid[row + 1][col - 1]) <= 1))
return false;
}
else if (row == 2 && col == 1) {
if (present_in_grid(grid, num) || (abs(num - grid[row - 1][col - 1]) <= 1) || (abs(num - grid[row - 1][col]) <= 1) || (abs(num - grid[row - 1][col + 1]) <= 1) || (abs(num - grid[row][col + 1]) <= 1))
return false;
}
else if (row == 2 && col == 2) {
if (present_in_grid(grid, num) || (abs(num - grid[row][col - 1]) <= 1) || (abs(num - grid[row - 1][col]) <= 1) || (abs(num - grid[row - 1][col + 1]) <= 1) || (abs(num - grid[row - 1][col - 1]) <= 1))
return false;
}
else if (row == 1 && col == 1) {
if (present_in_grid(grid, num) || (abs(num - grid[row][col - 1]) <= 1) || (abs(num - grid[row - 1][col]) <= 1) || (abs(num - grid[row - 1][col + 1]) <= 1) || (abs(num - grid[row][col + 1]) <= 1) || (abs(num - grid[row + 1][col + 1]) <= 1) || (abs(num - grid[row + 1][col]) <= 1))
return false;
}
else if (row == 1 && col == 2) {
if (present_in_grid(grid, num) || (abs(num - grid[row][col - 1]) <= 1) || (abs(num - grid[row - 1][col]) <= 1) || (abs(num - grid[row + 1][col - 1]) <= 1) || (abs(num - grid[row][col + 1]) <= 1) || (abs(num - grid[row - 1][col - 1]) <= 1) || (abs(num - grid[row + 1][col]) <= 1))
return false;
}
return true;
}
bool search_free_location(int grid[N][M], int& row, int& col) {
for (row = 0; row < N; row++)
for (col = 0; col < M; col++) {
if (grid[row][col] == NOTCONSIDERED)
return true;
}
return false;
}
void show_res(int grid[N][M]) {
for (int i = 0; i < N; i++) {
if (i == 0 || i == N - 1)
cout << " ";
for (int j = 0; j < M; j++) {
if (grid[i][j] == 0)
cout << " ";
else
cout << grid[i][j] << " ";
}
cout << endl;
}
}
bool Solve(int grid[N][M]) {
int row, col;
if (!search_free_location(grid, row, col))
return true;
for (int num = 1; num <= 8; num++) {
if (isSafe(grid, row, col, num)) {
grid[row][col] = num;
if (Solve(grid))
return true;
grid[row][col] = NOTCONSIDERED;
}
}
return false;
}
int main(){
int grid[N][M] = { { 0, -1, -1, 0 },
{ -1, -1, -1, -1 },
{ 0, -1, -1, 0 } };
if (Solve(grid))
show_res(grid);
else
cout << "Not possible";
} อินพุต
{ { 0, -1, -1, 0 },
{ -1, -1, -1, -1},
{ 0, -1, -1, 0 }} ผลลัพธ์
3 5 7 1 8 2 4 6