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

@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) если на первом элементе ряда всё стало ясно, то нужно сразу вернуть значение из функции

Новые блоги и статьи Все статьи Все блоги /
Дальние перспективы сервера - слоя сети с космологическим дизайном интефейса карты и логики. Hrethgir 07.04.2026 Дальнейшее ближайшее планирование вывело к размышлениям над дальними перспективами. И вот тут может быть даже будут нужны оценки специалистов, так как в дальних перспективах всё может очень сильно. . .	Горе от ума kumehtar 07.04.2026 Эта мне ментальная установка, что вот прямо сейчас, мол, мне для полного счастья не хватает (нужное вписать), и когда я этого достигну - тогда и полный кайф. Одна из самых сильных ловушек на пути. . . .	Использование значений реквизитов справочника в документе, с определенными условиями и правами Maks 07.04.2026 1. Контроль срока действия договора Алгоритм из решения ниже реализован на примере нетипового документа "ЗаявкаНаРаботу", разработанного в конфигурации КА2. Задача: уведомлять пользователя, если. . .	Доступность команды формы по условию Maks 07.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "СписаниеМатериалов", разработанного в конфигурации КА2. Задача: сделать доступной кнопку (команда формы "ЗавершитьСписание") при. . .
Уведомление о неверно выбранном значении справочника Maks 06.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "НарядПутевка", разработанного в конфигурации КА2. Задача: уведомлять пользователя, если в документе выбран неверный склад. . .	Установка Qt Creator для C и C++: ставим среду, CMake и MinGW без фреймворка Qt 8Observer8 05.04.2026 Среду разработки Qt Creator можно установить без фреймворка Qt. Есть отдельный репозиторий для этой среды: https:/ / github. com/ qt-creator/ qt-creator, где можно скачать установщик, на вкладке Releases:. . .	AkelPad-скрипты, структуры, и немного лирики.. testuser2 05.04.2026 Такая программа, как AkelPad существует уже давно, и также давно существуют скрипты под нее. Тем не менее, прога живет, периодически что-то не спеша дополняется, улучшается. Что меня в первую очередь. . .	Отображение реквизитов в документе по условию и контроль их заполнения Maks 04.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "ПланированиеСпецтехники", разработанного в конфигурации КА2. Данный документ берёт данные из другого нетипового документа. . .

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