Название: Судоку и хроматические многочлены
Вид работы: реферат
Рубрика: Математика
Размер файла: 75.49 Kb
Скачать файл: referat.me-217742.docx
Краткое описание работы: Области применения латинских квадратов. Использование систем попарно ортогональных латинских квадратов при построении сеточных методов интегрирования в математике. Хроматические многочлены, подсчет решений судоку. Различные симметрии квадратов судоку.
Судоку и хроматические многочлены
ОТДЕЛ ОБРАЗОВАНИЯ ГОМЕЛЬСКОГО ГОРОДСКОГО
ИСПОЛНИТЕЛЬНОГО КОМИТЕТА
Государственное учреждение образования
"Средняя общеобразовательная школа № 22 г. Гомеля"
Конкурсная работа
"Судоку и хроматические многочлены"
Ученика
9Б класса
ГУО СОШ№22 г. Гомеля
Громыко Ильи Алексеевича
Научный руководитель -
Горский Сергей Михайлович,
учитель математики
Государственного учреждения образования
СОШ №22 г. Гомеля
Гомель 2009
Содержание
Введение
1. Хроматические многочлены
2. Подсчет решений судоку
Заключение
Список использованных источников
Приложение
Введение
Первое упоминание о латинских квадратах (в связи с решением карточных задач) относится к 1723 г. Систематическое изучение латинских квадратов началось с работ Эйлера.
В XVIII веке, когда Эйлер ввел понятие греко-латинских (ортогональных) квадратов, они были просто новыми чисто математическими объектами. В дальнейшем латинские и особенно ортогональные латинские квадраты нашли применения в различных областях.
В комбинаторике полные системы ортогональных латинских квадратов соответствуют конечным аффинным и проективным плоскостям. Латинские квадраты используются при построении квадратов Рума (турниров игры в бридж). В конце XIX века Кэли показал, что таблица умножения элементов конечной группы является латинским квадратом. В 30-х годах XX века возникло понятие квазигруппы, в которой таблицей умножения может быть любой латинский квадрат.
Системы попарно ортогональных латинских квадратов используются при построении сеточных методов интегрирования в вычислительной математике.
В 30-х годах XX века Р. Фишер предложил использовать латинские (и ортогональные латинские) квадраты для планирования сельскохозяйственных экспериментов.
Еще одна область применения латинских квадратов - построение кодов, исправляющих ошибки.
Вряд ли Эйлер предполагал, что латинские квадраты будут столь широко применяться, однако его математическая интуиция помогла правильно оценить естественность конструкции и нетривиальность свойств латинских квадратов.
Между головоломкой судоку и латинскими квадратами существует прямая взаимосвязь: завершенная сетка судоку является специальным типом латинского квадрата с дополнительной особенностью - никаких повторяющихся чисел в любом блоке 3х3.
Для каждого, кто пытался, решить задачу судоку, естественно возникают несколько вопросов. Для данной задачи, решение существует? Если решение существует, оно единственное? Если решение не единственное, сколько решений есть? Кроме того, есть систематический путь определения всех решений? Каково минимальное количество данных, с помощью которых можно гарантировать уникальное решение? В большинстве задач - минимум 17. Неизвестно в настоящее время, если задача с 16 данными, дающее единственное решение. Gordon Royle собрал 36 628 задач судоку с 17 числами, имеющие единственное решение.
Мы переформулируем эти вопросы в математическом контексте и попытаемся ответить на них. Более точно, мы интерпретируем судоку как задачу окрашивания вершин в теории графов. Это позволит нам, обобщить вопросы и рассматривать их в более широком смысле.
1. Хроматические многочлены
m-раскраска графа G - отображение f между вершинами G и множеством {1, 2,..., ь}. Такое отображение называется соответствующей раскраской, если f (x) <>f (y) всякий раз, когда x и y смежные в G. Минимальное количество цветов требовавшихся, чтобы правильно окрашивать грани графа G называется хроматическое число G и обозначенное x (G). Не трудно видеть, что судоку является проблемой раскраски графа. На самом деле, мы соединяем граф с сеткой 9 x 9 судоку следующим образом. Граф будет иметь 81 грани с каждой вершиной, соответствующей ячейке в сетке. Две четких грани будут смежными тогда и только тогда соответствующие ячейки в сетке, также в той же строчке, или той же колонне, или той же подсетке.
Мы обозначим этот графа Xn и называем это граф судоку ранга n. Квадрат судоку ранга n будет соответствующей раскраской этого графа, использовавшего n2 цвета. Задача судоку интерпретируется в частичную раскраску, и вопрос является независимо ли от этой частичной раскраски раскраска может быть завершена.
Множество направлений раскраски графа G с m цветами как хорошо известно будет полиномом в со степенью m и будет равняться количеству граней G.
Теорема 1. Пусть G будет конечный граф с v гранями. Пусть, C будет частичная соответствующая раскраска t граней G, использовавших d0 цвета. Пусть pGC (m) быть множеством направлений, завершающим эту раскраску использования m цветами, чтобы получать соответствующую раскраску G. Тогда, pGC (m), полином с целыми коэффициентами и степенью v-t для m>d0.
Данная задача Sudoku (X3, C), имеет уникальное решение тогда и только тогда это число pX3 C (9) = 1. Это будет чрезвычайно интересным, чтобы определяться под которым условия частичная раскраска может быть распространена на уникальную раскраску.
Теорема 2. Пусть, G будет граф с хроматическим числом x (G) и C будет частичная раскраска G, использовавшая только x (G) - 2 цвета. Если частичная раскраска может быть завершена в общую соответствующую раскраску G, тогда есть по крайней мере два пути расширения раскраски.
2. Подсчет решений судоку
Мы кратко рассмотрим вопрос единственности решения для задачи Sudoku. В начале не всегда ясно имеет ли данная задача решение. В этой части, мы получим необходимые условия для того, чтобы быть определить единственное решение.
На рисунке 1. пример задачи судоку, которая имеет точно два решения.
Это наблюдение лидирует в следующее замечания. Если в решении в задачу судоку мы указали бы, что конфигурация на рисунке 3 в том же вертикальном стеке, тогда по крайней мере одно из этих данных должны быть включены как "данный" в начальной задаче, в противном случае, у нас было бы два возможных решения в начальной задаче возникающие просто перестановкой a и b в конфигурации.
Как замечено ранее, если точное число "цветов" использованных в данной задаче судоку - самое большее семь, тогда есть по крайней мере два решения в задачу. Мы отметим, что это было таким поскольку мы могли взаимообмен два неиспользованных цвета и все еще получать правильное решение. Множественность решений может также видна из хроматического многочлена. Если d0 количество использовавшихся цветов, мы видели, что pX3,C (m), полином по m, m> d0. Так как хроматическое число X3 = 9, мы должны иметь pX 3 C (m) = 0 для m = d0,d0 + 1,...,8. Как pX 3C (m), полином с целыми коэффициентами, мы можем записать pX3,C (m) = (m - d0) (m- (d0+ 1)) … (m-8) q (m), для некоторого полинома q (ь) с целыми коэффициентами. При m = 9 получаем pX3,C (9) = (9-d0) Б=q (9) и право сторонняя сторона больше или равна 2 если d0>= 7. Это дает нам установленное необходимое условие для там, чтобы было единственное решение, при условии, что у задачи есть решение.
Заключение
Интересно отметить, что задача судоку чрезвычайно популярна по нескольким причинам. Заслуживает внимания то, что эта задача судоку вызвала несколько проблем математической природы, которые пока нерешены. Мы уже упомянули проблему "минимальной задачи судоку", где мы спрашиваем, если есть задача судоку с 16 или меньшими данными, которые допускают единственное решение.
Мы уже прокомментировали что, если только 7 или меньшее количество цветов использованы, задача не имеет единственного решения.
Эти вопросы предполагают более общий вопрос определения "минимума судоку" для общей задачи ранга n.
Мы уже отмечали различные симметрии квадратов судоку. Например, применяя перестановку к элементам {1,2,..., n2}, мы получим новый квадрат судоку. Таким образом, начиная с одного такого квадрата, мы можем произвести n2 ! новых судоку. Есть также ленточные перестановки их n!, а также перестановки столбцов, которых также n!. Мы можем переставить колонки в пределах полосы, а также столбцы в пределах стека - n! n симметрий. В итоге, это генерирует группу симметрии, которые могут быть рассмотрены как подгруппа Sn4. Будет интересным определить размер и структуру этой подгруппы.
Список использованных источников
1. S. Bammel and J. Rothstein, The number of 9 × 9 Latin squares, Discrete Math.11 (1975), 93-95.
2. C. D. Godsil and B. D. McKay, Asymptotic enumeration of Latin rectangles, J.comb. Theory Ser. B 48 (1990), no.1, 19-44.
3. B. Felgenhauer and A. F. Jarvis, Mathematics of Sudoku I, Mathematical Spectrum 39 (2006), 15-22.
4. E.russell and A. F. Jarvis, Mathematics of Sudoku II, Mathematical Spectrum 39 (2006), 54-58.
5. J. H. Van Lint and R. M. Wilson, A Course in Combinatorics, Cambridge University Press, 1992.
Приложение
Рис. 1
Рис. 2
Рис. 3
Похожие работы
-
Алгебраическое доказательство теоремы Пифагора
Доказательство теоремы Пифагора методами элементарной алгебры: методом решения параметрических уравнений в сочетании с методом замены переменных. Существование бесконечного количества троек пифагоровых чисел и, соответственно, прямоугольных треугольников.
-
Магические квадраты
Муниципальное общеобразовательное бюджетное учреждение гимназия №1 муниципального района Мелеузовский район Республики Башкортостан Исследовательская работа
-
Доказательство великой теоремы Ферма для четных показателей степени
Решение уравнения теоремы Пифагора в целых числах. Доказательство теоремы Ферма в целых положительных числах при четных показателях степени. Применение методов решения параметрических уравнений и замены переменных. Доказательство теоремы Пифагора.
-
Доказательство великой теоремы Ферма
Суть великой теоремы Ферма. Формирование диофантового уравнения. Доказательство вспомогательной теоремы (леммы). Особенности составления параметрического уравнения с параметрами. Решение великой теоремы Ферма в целых положительных (натуральных) числах.
-
Интерполирование и приближение функций
Разделенные разности и аппроксимация функций методом наименьших квадратов. Интерполяционные многочлены Лагранжа и Ньютона. Экспериментальные данные функциональной зависимости. Система уравнений для полинома. Графики аппроксимирующих многочленов.
-
Численные методы 6
ЛЕКЦИЯ №9 МНОГОЧЛЕНЫ ЧЕБЫШЕВА 1. Определение и свойства 2. Интерполяция по Чебышевским узлам 3. Многочлены равномерных приближений 4. Экономизация степенных рядов
-
Магические квадраты
Некоторые выдающиеся математики посвятили свои работы магическим квадратам и полученные ими результаты оказали влияние на развитие групп, структур, латинских квадратов, определителей, разбиений, матриц, сравнений и других разделов математики.
-
Графы Основные понятия
Министерство образования и науки Российской Федерации Курский государственный технический университет Кафедра ПО ВТ и АС Лабораторная работа № 1 Графы. Основные понятия
-
Построение полуполевых плоскостей
Введение Проективная геометрия исторически возникла в рамках линейной перспективы, которую применяли строители еще в древности (их знания были систематизированы Евклидом в его трактате «Оптика»). Затем, уже в эпоху Возрождения, к ней обратились живописцы, пытавшиеся создавать иллюзию пространства, то есть изображать на плоскости объемные предметы так, как их видит глаз человека.
-
Краткое доказательство гипотезы Биля
Гипотеза Биля как неопределенное уравнение, не имеющее решения в целых положительных числах. Использование метода замены переменных. Запись уравнения в соответствии с известной зависимостью для разности квадратов двух чисел. Наличие дробных чисел.