litceysel.ru
добавить свой файл
1
Министерство экономического развития и торговли

Российской Федерации

Государственный университет –

Высшая школа экономики




Факультет БИЗНЕС-ИНФОРМАТИКИ




Программа дисциплины


Современная прикладная алгебра


для направления 010500 – Прикладная математика и информатика подготовки бакалавра


Авторы: Кузнецов С.О. (skuznetsov@hse.ru), Пионтковский Д.И. (piont@mccme.ru)

Рекомендовано секцией УМС Одобрено на заседании
«Прикладная математика кафедры анализа данных и
и информатика» искусственного интеллекта
Председатель Зав. кафедрой

______________ С.О. Кузнецов _______________С.О. Кузнецов

«___» _________200_ г « » декабря 2008 г.
Утверждено УС факультета

бизнес-информатики

Учёный секретарь

___________ В.А.Фомичев

«___» ________200_ г.


Москва



  1. Пояснительная записка

Авторы программы.

Доктор физико-математических наук С.О. Кузнецов, доктор физико-математических наук Д.И. Пионтковский.


Требования к студентам.


Изучение курса «Современная прикладная алгебра» требует предварительных знаний по элементарной теории множеств, булевой алгебре и линейной алгебре в объеме обязательных курсов «Геометрия и алгебра» и «Дискретная математика».


Аннотация.


Дисциплина «Современная прикладная алгебра» предназначена для подготовки бакалавров по направлению 010500.

Первая часть курса посвящена приложениям методов общей алгебры, которые в последние десятилетия широко проникают в многочисленные области технических и гуманитарных исследований. Курс включает начала теории чисел, теории групп и конечных полей, а также их приложения к построению кодов, исправляющих ошибки, и к криптографическим протоколам. Изложение начинается с повторения определений и простейших свойств основных алгебраических структур (знакомых слушателям по курсу «Геометрия и алгебра») и их обобщение на языке универсальной алгебры; в частности, вводится понятие морфизма алгебраических систем. Свойства свойства колец вычетов и конечных групп используются при описании криптографических протоколов, в частности, протокола RSA.



Вторая часть курса включает теорию решеток, которая предоставляет математические основы современных методов поиска зависимостей в данных – импликаций и ассоциативных правил на множествах признаков. Изложение начинается с повторения основных понятий теории отношений и теории графов. Важнейшим разделом современной прикладной теории решеток является анализ формальных понятий, исходным объектом которого служит бинарное отношение на множествах объектов и их свойств (признаков). На основе отношения определяется соответствие Галуа и оператор замыкания. Замкнутые множества объектов (признаков) образуют решетку (понятий), которая, с одной стороны, позволяет наглядно представлять иерархию классов объектов, а с другой – зависимости на признаках, определяемых в терминах импликаций и ассоциативных правил (частичных импликаций).


Учебные задачи курса.


Одной из основных целей курса является знакомство студентов с основными конструкциями абстрактной алгебры, элеменарной терии чисел и теории решеток, используемых в прикладных исследованиях.

В результате изучения курса «Современная прикладная алгебра» студенты

должны:


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

  • иметь представление об основных алгебраических структурах, используемых в перечислительных и алгоритмических задачах, в том числе о конечных группах и полях Галуа;

  • овладеть математическими основами современной прикладной теории решеток, используемой в ряде методов представления и анализа информации.



Тематический план учебной дисциплины




Название темы

Всего часов

В т.ч. лекции

В т.ч. семинары

Самост. работа

1

Основные алгебраические структуры: группы, кольца, поля

30

3

3

24

2

Арифметика колец вычетов и криптография

30

3

3

24

3

Групповые коды и коды Хэмминга

18

3

3

12

4

Поля Галуа и БЧХ коды

26

3

3

20

5

Отношения и их графы

14

2

2


10

6

Решетки и полурешетки, виды решеток

14

2

2

10

7

Решетки замкнутых множеств и формальный анализ понятий (АФП)

30

6

6

18

Итого




162

22

22

118


Литература

По темам 1-4:

Базовые учебники


  1. Биркгоф Г., Барти Т., Современная прикладная алгебра, М., Лань, 2005. – 400 с.

  2. Винберг Э. Б. Курс алгебры. М., Факториал, 1999. – 528 с.


Дополнительные учебники


  1. Аршинов М.Н., Садовский Л.Е. Грани алгебры. М., Факториал пресс, 2008. – 328 с.

  2. Земор Ж., Курс криптографии, М.--Ижевск, НИЦ «Регулярная и хаотическая динамика», 2006.—256 с.

  3. Курош А. Г. Курс высшей алгебры. М., Наука, 1971. – 432 с.



По темам 5-7:


Базовые учебники

ридер, составленный по следующим источникам:


1. Биркгоф Г., Теория решеток. - М.: Наука, 1984. - 568 с.

2. Биркгоф Г., Барти Т., Современная прикладная алгебра, М., Лань, 2005 – 400 с.

3. Гретцер Г., Общая теория решеток. - М.: Мир, 1982. - 452 с.

4. B. Ganter and R. Wille, Formal Concept Analysis: Mathematical

Foundations, Springer, 1999.


Дополнительные учебники


1. B. A. Davey and H. A. Priestley, Introduction to Lattices and Order, Cambridge University Press, 1990.


Содержание программы


Тема 1. Основные алгебраические структуры: группы, кольца, поля


Алгебраические системы. Сигнатуры, тождества, многообразия. Гомоморфизмы и изоморфизмы алгебр. Теорема Биркгофа (с неполным доказательством).


Полугруппа, левый (правый) нейтральный и обратный элементы. Группа, подгруппа. Прмеры групп. Свободная группа. Примеры конечных групп, группы симметрий. Теорема Кэли. Циклическая группа: три определения. Подгруппы циклической группы. Абелевы группы. Прямые суммы групп.


Разбиение группы на смежные классы по подгруппе, теорема Лагранжа. Действия группы на множестве, группы симметрий. Перечисление орбит. Нормальная подгруппа, факторгруппа. Примеры факторгрупп (в абелевом случае).


Кольцо, тело, поле. Кольцо вычетов, кольцо матриц. Кольцо формальных степенных рядов, кольцо многочленов над кольцом. Прямое произведение колец. Примеры гомоморфизмов колец.


Основная литература


1. Биркгоф Г., Барти Т., Современная прикладная алгебра, М., Лань, 2005. (гл. 7)

2. Винберг Э. Б., Курс алгебры. М., Факториал, 1999. (гл. 1, 4)


Дополнительная литература

  1. Курош А. Г. Курс высшей алгебры. М., Наука, 1971. (гл. 2)


2. Аршинов М.Н., Садовский Л.Е. Грани алгебры. М., Факториал пресс, 2008. (гл. 9, 10)


Тема 2. Арифметика колец вычетов и криптография


Делимость натуральных чисел. Евклидовы кольца. Примеры: Z и F[x]. Алгоритм Евклида. Функция Эйлера.


Кольцо вычетов. Поле Z/pZ. Малая терема Ферма и гомоморфизм Фробениуса. Теорема о том, что остатки, взаимно простые с n, образуют мультипликативную подгруппу в Z/nZ. Теорема Эйлера. Китайская теорема об остатках как теорема об изоморфизме кольца вычетов Z/pqZ и прямого произведения колец Z/pZˣZ/pZ.


Сложность вычисления (рекурсивной) функции. Криптография с открытым ключем и односторонние функции. Задача факторизации. Описание системы RSA.


Основная литература


1. Винберг Э. Б., Курс алгебры. М., Факториал, 1999. (гл. 1)


Дополнительная литература


1. Земор Ж., Курс криптографии, М.--Ижевск, НИЦ «Регулярная и хаотическая динамика», 2006. (гл. 1,4)


Тема 3. Групповые коды и коды Хэмминга


Передача информации по каналу с помехами: общая схема. Кодирование и декодирование. Двоичный код со случайными помехами: вероятность обнаружения ошибки. Блочные коды. Обнаружение ошибок (пример: проверка четности). Коды, исправляющие ошибки (пример: троекратное сообщение). Параметры кодов. Расстояние Хэмминга. Границы на параметры кодов, асимптотические оценки. Примеры вычисления вероятности обнаружения ошибок и вероятности передачи правильного сообщения.


Матричное кодирование и декодирование. Линейные и групповые коды. Кодовое расстояние группового кода. Алгоритм декодирования с помощью лидеров. Коды Хэмминга. Построение, алгоритм кодирования и декодирования. Совершенные и оптимальные коды. Доказательство того факта, что код Хэмминга является совершенным.

Основная литература



1. Биркгоф Г., Барти Т., Современная прикладная алгебра, М., Лань, 2005. (гл. 8)


Дополнительная литература


1. Курош А. Г., Курс высшей алгебры. М., Наука, 1971. (гл. 15)


Тема 4. Поля Галуа и БЧХ коды


Идеалы в коммутативных кольцах и факторкольца. Факторкольцо кольца многочленов над полем. Вычисления в факторкольцах евклидовых колец. Полиномиальные коды.


Конечные поля, их характеристика и простое подполе. Мультипликативная группа конечного поля. Расширения полей. Примеры конечных расширений полей рациональных и действительных чисел. Расширения конечных полей. Неприводимые многочлены, их существование в сколь угодно больших степенях. Построение поля Галуа как факторкольца кольца многочленов над простым полем. Вычисления в поле Галуа F(2^k). Минимальный многочлен элемента поля. Круговые многочлены. Примитивные многочлены.


Полиномиальные коды. Кодирование с помощью регистров сдвига. Коды Боуза—Чоудхури—Хоккенгема: алгоритмы кодирования и декодирования. Построение БЧХ кода с кодовым расстоянием, не меньшем данного. Пример: коды Рида—Соломона.


Основная литература


1. Биркгоф Г., Барти Т., Современная прикладная алгебра, М., Лань, 2005. (гл. 11, 12)


Дополнительная литература


1. Курош А. Г., Курс высшей алгебры. М., Наука, 1971. (гл. 5)

2. Аршинов М.Н., Садовский Л.Е. Грани алгебры. М., Факториал пресс, 2008. (гл. 14, 15)


Тема 5. Отношения и их графы

Бинарные отношения. Графы, подграфы, части, циклы, клики, деревья, двудольные графы. Графы бинарных отношений. Свойства бинарных отношений (рефлексивность, симметричность, асимметричность, антисимметричность, транзитивность, связность, ацикличность, полнота) и их теоретико-графовое выражение.

Дополнительное отношение, обратное (дуальное) отношение.

Свойства бинарных отношений: рефлексивность, транзитивность, симметричность, асимметричность, антисиметричность. Иллюстрация свойств на графе отношения.


Важные виды бинарных отношений: эквивалентность, толерантность, частичный порядок, строгий порядок, квазипорядок, линейный порядок, отношение покрытия (доминирования), ориентированный граф порядка, диаграмма (Хассе) частичного порядка.

Частичный порядок как транзитивное замыкание отношения покрытия, квазипорядок, отношение несравнимости, частичный порядок на элементах фактор-множества по отношению эквивалентности в квазипорядке.


Основная литература


1. Биркгоф Г., Барти Т., Современная прикладная алгебра, М., Лань, 2005 – 400 с.

2. Гретцер Г., Общая теория решеток. - М.: Мир, 1982. - 452 с.

3. Ф.Т. Алескеров, Э.Л. Хабина, Д.А. Шварц, Бинарные отношения, графы и коллективные решения, М., ГУ-ВШЭ, 2006.

4. А.А. Зыков, Основы теории графов, М., Наука, 1987.

5. О. Оре, Теория графов, М., Мир, 1965.

6. Ф. Харари, Теория графов, М., Мир, 1973.


Дополнительная литература


1. B. A. Davey and H. A. Priestley, Introduction to Lattices and

Order, Cambridge University Press, 1990.

2. T.S. Blyth, M.F. Janowitz, Residuation Theory, Pergamon Press, 1972.


Тема 6. Решетки и полурешетки, виды решеток.

Инфимум, супремум в частично-упорядоченных множествах, полурешетки, квазирешетки. Полные решетки. Два определения решеток и теорема об их эквивалентности. Диаграммы полурешеток и решеток. Виды решеток (полные, модулярные, матроиды, дистрибутивные, булевы) и их диаграммы. (Порядковые) фильтры и идеалы решеток. Пополнения частичных порядков до решеток (пополнение Дедекинда-Макнила) и дистрибутивных решеток (Теорема Биркгофа). Супремум и инфимум-неразложимые элементы решетки.


Основная литература


1. Биркгоф Г., Теория решеток. - М.: Наука, 1984. - 568 с.

2. Биркгоф Г., Барти Т., Современная прикладная алгебра, М., Лань, 2005 – 400 с.


3. Гретцер Г., Общая теория решеток. - М.: Мир, 1982. - 452 с.

4. B. Ganter and R. Wille, Formal Concept Analysis: Mathematical

Foundations, Springer, 1999.


Дополнительная литература


1. B. A. Davey and H. A. Priestley, Introduction to Lattices and

Order, Cambridge University Press, 1990.

2. T.S. Blyth, M.F. Janowitz, Residuation Theory, Pergamon Press, 1972.


Тема 7. Решетки замкнутых множеств и формальный анализ понятий (ФАП).

Формальный контекст. Соответствие Галуа, основанное на бинарном отношении контекста. Оператор замыкания. Замкнутые множества признаков и объектов.

Формальное понятие, частичный порядок на формальных понятиях, решетка формальных понятий. Моделирование онтологий и таксономий с помощью решеток формальных понятий. Основная теорема ФАП (Р. Вилле): Множество формальных понятий образует решетку, любая полная решетка изоморфна некоторой решетке формальных понятий. Алгоритм ЗО построения множества всех понятий и отношения покрытия решетки понятий. Анализ сложности алгоритма по времени и памяти.

Импликации в контексте, правила Армстронга. Базисы импликаций: прямой базис на нетривиальных минимальных генераторах, минимальный базис на псевдосодержаниях (базис Дюкенна-Гига). Многозначные контексты, шкалирование.

Ассоциативные правила в разработке данных (Data mining), их поддержка (support) и степень уверенность (confidence). Базис ассоциативных правил.


Основная литератрура

1. B. Ganter and R. Wille, Formal Concept Analysis: Mathematical

Foundations, Springer, 1999.

2. B. Ganter, G. Stumme, R. Wille, Eds., Formal Concept Analysis: Foundations and Applications, Lecture Notes in Artificial Intelligence, State-of-the Art Series (2005), vol. 3626, pp. 196-225.

3. U.M. Fayyad, G. Piatetsky-Shapiro, P. Smyth, R. Uthurusamy, Advances in Knowledge Discovery and Data Mining, AAAI Press, 1996.


4. Биркгоф Г., Теория решеток. - М.: Наука, 1984. - 568 с.

5. Биркгоф Г., Барти Т., Современная прикладная алгебра, М., Лань, 2005 – 400 с.

6. Гретцер Г., Общая теория решеток. - М.: Мир, 1982. - 452 с.

7. Кузнецов С.О. Автоматическое обучение на основе анализа

формальных понятий // Автоматика и телемеханика. 2001. - N 10. - с.

3-27.


Дополнительная литература


1. B. A. Davey and H. A. Priestley, Introduction to Lattices and Order, Cambridge University Press, 1990.

2. T.S. Blyth, M.F. Janowitz, Residuation Theory, Pergamon Press, 1972.


Основная литература

1. B. Ganter and R. Wille, Formal Concept Analysis: Mathematical

Foundations, Springer, 1999.


Дополнительная литература


  1. V. Duquenne and J.-L. Guigues, Familles minimales d'implications informatives resultant d'un tableau de donnees binaires, Math. Sci. Humaines, vol. 95, pp. 5-18, 1986.

  2. P. Buitelaar, P. Cimiano, B. Magnini, Eds., Ontology Learning from Text: Methods, Evaluation and Applications, IOS Press, 2005.

  3. B. Ganter, G. Stumme, Creation and Merging Ontology Top-levels, Proc. 13th Int. Conf. on Conceptual Structures, ICCS'06, P. Hitzler, F. Sharfe, Eds., Lecture Notes in Artificial Intelligence, (2006).

  4. N.F. Noy, R. Fergerson, M.Musen, The Knowledge Model of Protégé-2000: Combining Interoperability and Flexibility, Proc. EKAW 2000, LNCS 1937, Springer, Heidelberg 2000, pp.17-32.

  5. M. Luxenburger, Implications partielle dans un contexte, Math. Sci. Hum., 1991.

  6. S.O. Kuznetsov, Machine Learning and Formal Concept Analysis, Proc. 2nd Int. Conf. on Formal Concept Analysis, ICFCA'04, P. Eklund, Ed., Lecture Notes in Artificial Intelligence, vol. 2961 (2004), pp. 287-312.


Формы рубежного контроля и структура итоговой оценки



Формы контроля и структура итоговой оценки.


Текущий контроль - 1 письменная контрольная работа (90 мин).

Промежуточный контроль - зачет в конце первого модуля.

Итоговый контроль – письменный экзамен (120 мин.)

Итоговая оценка складывается из следующих элементов:


  • работа на семинарах - 20%;

  • письменный зачет – 25 %;

  • 1 письменная контрольные работа – 25%;

письменный экзамен – 30 %.


Оценка по 5-балльной системе выставляется по следующим стандартным критериям:

• 0 < И< 3 - неудовлетворительно,

• 4 < И < 5 - удовлетворительно,

• 6 < И < 7- хорошо,

• 8 < И < 10 -отлично.


Вопросы для оценки качества освоения дисциплины


Тема 1.


  1. 1. Постройте инъективный гомоморфизм групп (Z_5, +) -> (C^*, x).

  2. 2. Опишите все подгруппы а) в циклических группах порядков 7, 4 и 12; б) в прямом произведении S_2 x S_3.

  3. 3. Докажите, что в абелевой группе множество ее элементов конечного порядка образует группу.

  4. 4. Докажите, что в абелевой группе множество ее элементов конечного порядка образует группу.

  1. 5. Существует ли бесконечная группа, в которой каждый элемент имеет конечный порядок?

  1. 6. Постройте тело из 4 элементов. Докажите, что все такие тела изоморфны между собой и являются полями.



Тема 2.

1. Найдите наибольший общий делитель многочленов x3+1 и x5+1 над полем Z/3Z.

2. Вычислите значение функции Эйлера φ(2008).

3. В системе RSA при с открытым ключем (187, 7)

а) зашифруйте сообщение 100;


б) расшифруйте сообщение 111.

4. (При решении задачи рекомендуется использовать компьютер) Сообщение, состоящее из 5 букв русского алфавита, зашифровано следующим образом: буквы закодированы числами от 1 до 32 (по порядку в алфавите без Ё) и зашифрованы с помощью RSA. Известен один из параметров открытого ключа: e=3. Найдите недостающий параметр и расшифруйте сообщение:

121-1-376-247-125.


Тема 3.


  1. Сколько ошибок может исправить групповой двоичный код с кодовым расстоянием 5? Сколько ошибок он гарантированно устанавливает?

  2. Какова вероятность ошибочной дешифровки в ситуации из предыдущей задачи, если вероятность единичной ошибки равна 0.01?

3. Постройте оптимальный (2,4) код.

4. Докажите, что элементарные преобразования строк кодирующей матрицы двоичного линейного кода приводят к матрице эквивалентного кода.


Тема 4.


1. Постройте поле порядка 9.

2. Постройте БЧХ код с исправлением двойных ошибок и кодовыми словами длины 15.


Тема 5.

1. Для отношения, заданного следующей таблицей





1

2

3

4

5

6

7

1

x




x

x

x


x

x

2




x

x

x

x

x

x

3







x

x

x

x

x

4










x

x

x

x

5













x







6
















x


7




















x


а) показать, что оно является отношением частичного порядка

б) построить ориентированный граф и диаграмму отношения

2. Показать, что отношение выводимости в логике высказываний является квазипорядком на множестве высказываний и определить соответствующий частичный порядок.


Тема 6.

1. Доказать, что для любых элементов решетки имеет место неравенство


x  (y  z)  (x  y)  (x  z).

2. Показать, что любая полная полурешетка является полной решеткой

3. Привести примеры неполных решеток и проанализировать возможности их пополнения


Тема 7.


Для контекста, представленного таблицей





a

b

с

d

1




x

x

x

2

x




x

x

3


x

x




x

4

x

x







5







x

x


а) построить решетку понятий

б) определить (объяснив ответ), имеют ли место признаковые импликации ac  b, cb  a,

bd  c

в) привести еще как минимум три нетривиальные импликации, выполняющиеся в контексте (импликация A  B называется тривиальной если B  A).

г) построить минимальный базис импликаций (базис Дюкенна-Гига), прямой базис на нетривиальных минимальных генераторах.

д) построить все ассоциативные правила с поддержкой не менее 1/3 и степенью уверенности не менее 1/2


Примеры заданий для зачетной контрольной работы (1-й модуль)


  1. Какое количество ошибок может гарантированно обнаружить двоичный групповой код с минимальным расстоянием 7?

  2. Найдите два такие многочлена p(x) и q(x)над полем F2, что

p(x) (x^2+x+1)+q(x)(x^3+x+1) =1.


  1. Постройте код Хэмминга с параметрами (10, 14), перечислив все кодовые слова.
  2. Докажите, что в если x и y — два элемента некоторой группы, то элементы xy и yx этой группы имеют один и тот же порядок.


  3. Перечислите все абелевы подгруппы группы S4.

  4. Найдите какой-нибудь примитивный элемент в поле Z3[x]/(x^2-1). Каковы могут быть максимальные длины кодовых слов и кодовое расстояние в соответствующем БЧХ коде, построенном на основе данного примитивного элемента?

  5. В системе RSA при с открытым ключем (143, 7)

а) зашифруйте сообщение 99;

б) расшифруйте сообщение 11.

  1. Докажите следующее тождество, связывающее значения функции Эйлера для наименьшего общего кратного и наибольшего общего делителя:

ϕ((m,n)) ϕ([m,n]) = ϕ(m)ϕ(n).


  1. Постройте поле из 8 элементов как факторкольцо кольца многочленов от переменной x над полем из двух элементов и найдите в нем элемент, обратный к (x^2+x+1).

  2. Сколько примитивных элементов насчитывает поле Галуа GF(q)?



Тематика заданий по различным формам текущего контроля (2-й модуль)


1. Построить классификацию бинарных отношений по их свойствам.

  1. Указать соотношение между заданием частичных порядков с помощью графов, диаграмм и таблиц.

  2. Применить основную теорема формального анализа понятий для случая решетки интервалов.

  3. Построить множество понятий и отношение покрытия решетки с помощью алгоритма ЗО в стратегии «снизу-вверх».

  4. Описать параллельный алгоритм построения множества всех понятий на основе алгоритма ЗО.

  5. Как можно использовать алгоритм ЗО для вычисления псевдозамкнутых множеств?

  6. Написать алгоритм вычисления минимальных нетривиальных генераторов.
  7. Описать связь ассоциативных правил с решетками понятий, базисов правил с остовными деревьями диаграммы.



Авторы программы: С.О.Кузнецов, Д. И. Пионтковский