Судоку, функция проверки на валидность

@AntyLINK · Регистрация: 14.08.2012

Студворк — интернет-сервис помощи студентам

Доброго времени суток, Семпаи. Я новичок в программировании и в частности в освоении языка Питон, так что не судите строго. Вопрос нынче такой: в классе судоку пытаюсь написать функцию, которая проверяет цифру подставленную в ячейку на соответствие 3-м правилам заполнения головоломки.
1) нет совпадений в строке
2) нет совпадений в столбце
3) нет совпадений квадрате 3х3 в котором находится ячейка с цифрой

С первыми двумя правилами вроде нет проблем

Python
1
2
3
4
5
6
7
    def IsLegal(self, cell, v):  #cell - координаты пустой ячейки, v - подставляемая в ячейку цифра
        for i in range(self.numberOfColumns):
            if v == self.grid[cell[0]][i]:
                return False
        for j in range(self.numberOfRows):
            if v == self.grid[j][cell[1]]:
                return False

Но хоть убей, в голову не приходит элегантный алгоритм проверки на совпадение в квадрате 3х3. Только громоздкие варианты типа сохранения квадратов 3х3 в отдельные списки, затем нахождение списка к которому принадлежит ячейка, затем проверка на совпадение среди элементов списка. Видел алгоритм на С++, но я его не смог прочесть и понять

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
bool CheckSudoku(BYTE ** pData) // проверка правильности заполнения
{
    CSudokuSet set;
 
    for (int iRow = 0; iRow < 9; iRow++)
    {
        set.Clear();
        for(int iCol = 0; iCol < 9; iCol++)
        {
            if (pData[iRow][iCol] == 0) continue;
            if (! set.Set(pData[iRow][iCol])) return false;
        }
    }
 
    for (int iCol = 0; iCol < 9; iCol++)
    {
        set.Clear();
        for(int iRow = 0; iRow < 9; iRow++)
        {
            if (pData[iRow][iCol] == 0) continue;
            if (! set.Set(pData[iRow][iCol])) return false;
        }
    }
 
    for (int i = 0; i < 3; i++)
        for (int j = 0; j < 3; j++)
        {
            set.Clear();
 
            for (int iCol = 0; iCol < 3; iCol++)
                for(int iRow = 0; iRow < 3; iRow++)
                {
                    if (pData[i*3 + iRow][j*3 + iCol] == 0) continue;
                    if (! set.Set(pData[i*3 + iRow][j*3 + iCol])) return false;
                }
        }
 
    return true;
}

Так что, семпаи, вся надежда только на ваши подсказки.

accept · 24.08.2012, 01:55

должно быть одно поле и координаты каждого квадрата на поле
для установки значения поле получает координаты ячейки и цифру
сначала проверяется ряд на поле, потом колонка на поле
потом определяется квадрат и проверяется

@AntyLINK · 24.08.2012, 12:40 **[ТС]**

Сообщение от accept

должно быть одно поле и координаты каждого квадрата на поле
для установки значения поле получает координаты ячейки и цифру
сначала проверяется ряд на поле, потом колонка на поле
потом определяется квадрат и проверяется

Вроде это ровно тот алгоритм, который я и описал. По крайней мере я не понял в чём разница. А не могли бы вы прочитать код на С++, что я привёл выше. Я не могу понять зачем там аж 4 цикла по 3 итеррации в каждом, как он работает?

accept · 24.08.2012, 13:53

Сообщение от AntyLINK

По крайней мере я не понял в чём разница.

где у тебя координаты квадратов ?

Сообщение от AntyLINK

А не могли бы вы прочитать код на С++, что я привёл выше.

это не весь код, большинство элементов определены где-то выше

для того, чтобы перебрать подмассив, никакие коды не нужны

@Anth · 25.08.2012, 14:46

Python
1
2
3
4
5
6
7
def IsLegal(self, cell, v):  #cell - координаты пустой ячейки, v - подставляемая в ячейку цифра
        for i in range(self.numberOfColumns):
            if v == self.grid[cell[0]][i]:
                return False
        for j in range(self.numberOfRows):
            if v == self.grid[j][cell[1]]:
                return False

Элегантнее в Питон - когда нет for <i> in <range(n)>:

Python
1
2
3
4
5
6
def IsLegal(self, cell, v):  #cell - координаты пустой ячейки, v - подставляемая в ячейку цифра
        first = [x for x in self.numberOfColumns if self.grid[cell[0]][x]==v]
        second = [x for x in self.numberOfRows if self.grid[x][cell[1]]==v]
        if first or second:
                return False
        return True

А насчет третьего условия - сча подумаем про элегантное=)

Добавлено через 59 минут
Вот код для третьей проверки:

Python
1
2
3
4
5
6
7
8
9
10
11
def third(self,cell,v):
  # возвращает True - если цифра есть в блоке
  a = [[0,1,2],[3,4,5],[6,7,8]]
  x = [i for i in xrange(3) if cell[0] in a[i]]
  y = [i for i in xrange(3) if cell[1] in a[i]]
  if not(x and y):
    return None
  g = [True in i for i in [[[v] == grid[j][i] for j in a[y[0]]] for i in a[x[0]]]]
  if True in g:
    return True
  return False

Проверял код - этим:

Python
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
# -*- coding: utf-8 -*-
 
grid = [[[0],[2],[2],  [3],[4],[5],  [6],[7],[8]],
        [[1],[3],[4],  [5],[6],[7],  [8],[9],[0]],
        [[1],[2],[4],  [5],[6],[7],  [8],[9],[0]],
 
        [[1],[2],[3],  [5],[6],[7],  [8],[9],[0]],
        [[1],[2],[3],  [4],[6],[7],  [8],[9],[0]],
        [[1],[2],[3],  [4],[5],[7],  [8],[9],[0]],
        
        [[1],[2],[3],  [4],[5],[6],  [8],[9],[0]],
        [[1],[2],[3],  [4],[5],[6],  [7],[9],[0]],
        [[1],[2],[3],  [4],[5],[6],  [7],[8],[0]]]
 
def third(cell,v):
  global grid
  a = [[0,1,2],[3,4,5],[6,7,8]]
  x = [i for i in xrange(3) if cell[0] in a[i]]
  y = [i for i in xrange(3) if cell[1] in a[i]]
  if not(x and y):
    return None
  g = [True in i for i in [[[v] == grid[j][i] for j in a[y[0]]] for i in a[x[0]]]]
  if True in g:
    return True
  # for i in h:
  #   if True in i:return True
  return False
 
print third([2,3],3)

Поправляйте ежели не так.
ЗЫ писал на коленке =)

accept · 27.08.2012, 02:08

Сообщение от Anth

Python
1
2
3
4
5
6
def IsLegal(self, cell, v):  #cell - координаты пустой ячейки, v - подставляемая в ячейку цифра
        first = [x for x in self.numberOfColumns if self.grid[cell[0]][x]==v]
        second = [x for x in self.numberOfRows if self.grid[x][cell[1]]==v]
        if first or second:
                return False
        return True

1) там ошибка: нет range()
2) если на первом элементе ряда всё стало ясно, то нужно сразу вернуть значение из функции

Новые блоги и статьи Все статьи Все блоги /
Расчёт переходных процессов в цепи постоянного тока igorrr37 16.01.2026 / * Дана цепь постоянного тока с R, L, C, k(ключ), U, E, J. Программа составляет систему уравнений по 1 и 2 законам Кирхгофа, решает её и находит токи на L и напряжения на C в установ. режимах до и. . .	Восстановить юзерскрипты Greasemonkey из бэкапа браузера damix 15.01.2026 Если восстановить из бэкапа профиль Firefox после переустановки винды, то список юзерскриптов в Greasemonkey будет пустым. Но восстановить их можно так. Для этого понадобится консольная утилита. . .	Изучаю kubernetes lagorue 13.01.2026 А пригодятся-ли мне знания kubernetes в России?	Сукцессия микоризы: основная теория в виде двух уравнений. anaschu 11.01.2026 https:/ / rutube. ru/ video/ 7a537f578d808e67a3c6fd818a44a5c4/
WordPad для Windows 11 Jel 10.01.2026 WordPad для Windows 11 — это приложение, которое восстанавливает классический текстовый редактор WordPad в операционной системе Windows 11. После того как Microsoft исключила WordPad из. . .	Classic Notepad for Windows 11 Jel 10.01.2026 Old Classic Notepad for Windows 11 Приложение для Windows 11, позволяющее пользователям вернуть классическую версию текстового редактора «Блокнот» из Windows 10. Программа предоставляет более. . .	Почему дизайн решает? Neotwalker 09.01.2026 В современном мире, где конкуренция за внимание потребителя достигла пика, дизайн становится мощным инструментом для успеха бренда. Это не просто красивый внешний вид продукта или сайта — это. . .	Модель микоризы: классовый агентный подход 3 anaschu 06.01.2026 aa0a7f55b50dd51c5ec569d2d10c54f6/ O1rJuneU_ls https:/ / vkvideo. ru/ video-115721503_456239114

accept 4866 / 3288 / 468 Регистрация: 10.12.2008 Сообщений: 10,570
	24.08.2012, 01:55
	должно быть одно поле и координаты каждого квадрата на поле для установки значения поле получает координаты ячейки и цифру сначала проверяется ряд на поле, потом колонка на поле потом определяется квадрат и проверяется 0