Журналы
Email: Пароль: Войти Регистрация
E-mail: mrosario.gonzalez@uam.es

Профессор, доктор, отделение математики, Автономный университет Мадрида.

Статьи автора:

Мы изучаем решение судоку и обобщенного судоку, используя технику базисов Грёбнера. Пусть x1, ... , x81 переменные, связанные с 81 квадратами, которые образует головоломку судоку и линейно упорядочены сначала по строкам, затем по столбцам. Решение судоку есть набор чисел (a1, ..., a81), где ai число в квадрате, ассоциированном с переменной xi. Пусть также S − судоку с предварительно заполненными данными {ci}i ∈ L для L ⊂ {1, ..., 81}. Вся необходимая информация для решения такого судоку содержится в алгебраическом множестве mathbb V (I+<{xi − ci}i ∈ L>). Мы используем технику базисов Грёбнера для поиска такого решения и приводим соответсвующий код в системе компьютерной алгебры SAGE для программы, решающей эту задачу. С. 5-21.

We study the resolution of sudokus and generalized sudokus using Groebner basis. Let x1, ..., x81 the 81 squares which form the sudoku, arranged from left to right and from top to bottom. Its solution will be (a1, ..., a81), where ai is the number in the square associated to the variable xi. Let S be a sudoku with preassigned data {ci}i ∈ L, for L ⊂ {1, ..., 81}. All the necessary information to solve the sudoku is contained in the algebraic set mathbb V (I+<{xi − ci}i ∈ L>). We shall use Groebner basis to find a solution and give a SAGE code for that purpose.

Ключевые слова: судоку, обобщённое судоку, базис Грёбнера, алгебраическое многообразие.
Keywords: Sudoku, generalized sudoku, Gröbner base, algebraic manifold.
Для пополнения баланса выберите страну, оператора и отправьте СМС с кодом на указанный номер. Отправив одну смс, вы получаете доступ к одной статье.
Закрыть