Теория чисел (пилотный поток) 2023/24

Материал из Wiki - Факультет компьютерных наук
Перейти к: навигация, поиск

О курсе

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

Полезные ссылки

Дополнительные главы теории чисел (курс в 4-м модуле 2022-2023 у.г.)

Преподаватели и учебные ассистенты

Группа БПМИ231 БПМИ232 БПМИ233 БПМИ234
Лектор А.В. Устинов
Семинарист А.В. Устинов А. Калмынин Ф. Ожегов
Ассистент Окунев Данила Рябов Олег Войко Андрей Грецкая Вера
Ассистент лектора Агаев Мурад

Правила выставления оценок

В домашнем задании каждая задача оценивается в 10 баллов. Баллы за задачи суммируются и линейно шкалируются на 10-балльную шкалу без округления. Итоговая оценка за ДЗ получается усреднением оценок по всем ДЗ (без округления). Округление происходит только в конце при вычислении итоговой оценки за курс.

Правила сдачи заданий

Всё должно быть написано аккуратно и понятно.

ПРОСРОЧКА: У Вас есть возможность дважды отправить домашнее задание после истечения срока сдачи в течение 24 часов. Однако этот шанс не может быть использован для сдачи последнего домашнего задания.

Лекции

Конспект лекций прошлого года.

Лекция 1 (12.01.2024) Основная теорема арифметики. Определение кольца. Сложность алгоритмов. Алгоритм Евклида. Расширенный алгоритм Евклида. Решение уравнения Уравнение ax+by=1 с помощью цепных дробей. [A]

Лекция 2 (19.01.2024) Оценка числа шагов в алгоритме Евклида. Оценка сложности алгоритма Евклида. Общий вид решения уравнения ax+by=c. Мультипликативные функции. Свёртка Дирихле. Формула обращения Мёбиуса. Функция Эйлера. Тождество Гаусса. Формула для функции Эйлера. [AР,Б,ВИМ]

Лекция 3 (25.01.2024, вместо 02.02.2024) Ряды Дирихле. Дзета-функция Римана. Ряды Дирихле для простейших мультипликативных функций. Сравнения и их свойства. Полная и приведённая системы вычетов. Кольцо вычетов. Определение группы. Примеры групп. Группа обратимых элементов кольца вычетов. [Б,ВИМ]

Лекция 4 (26.01.2024) Группа обратимых элементов кольца с единицей. Поле вычетов по простому модулю. Малая теорема Ферма и теорема Эйлера. Псевдопростые числа. Числа Кармайкла. Деление многочленов с остатком. Теорема о числе корней многочлена. Теорема Вильсона.

Лекция 5 (09.02.2024) Тест сильной псевдопростоты. Сильно псевдопростые числа. Китайская теорема об остатках (три доказательства). Изоморфизм групп. Изоморфизм колец. Криптосистема RSA. Электронная подпись RSA.

Лекция 6 (16.02.2024) Подгруппы. Циклические группы. Порядок группы и порядок элемента. Теорема Лагранжа (без доказательства). Первообразные корни (ПК). Критерий ПК. Усиленная теорема Эйлера и её следствие. Теорема о существовании ПК по модулю простого числа.

Лекция 7 (22.02.2024, вместо 23.02.2024) ПК по модулям p^2, p^a, 2p^a. Индексы и их свойства. Задача дискретного логарифмирования. Односторонние функции. Протокол Диффи -- Хеллмана. Вычислительная задача Диффи -- Хеллмана DH. Схема шифрования Эль Гамаля. Задача вскрытия схемы шифрования Эль Гамаля EG. Протокол Мэсси -- Омуры. Полиномиально сводимые и полиномиально эквивалентные функции. Полиномиальная эквивалентность функций DH и EG.

Лекция 8 (29.02.2024) Квадратичные вычеты. Символ Лежандра и его свойства. Квадратичный закон взаимности. Символ Якоби и его свойства.

Лекция 9 (07.03.2024, вместо 08.03.2024) Тест Соловея -- Штрассена. Псевдопростые числа Эйлера. Оценка числа псевдопростых чисел Эйлера. Тест Миллера -- Рабина (тест сильной псевдопростоты). Теорема Рабина (без доказательства). Связь между разными типами псевдопростых чисел (без доказательства). Протоколы привязки к биту. Привязка к биту Гольдвассер -- Микали.

Лекция 10 (15.03.2024)

Семинары

Семинар 1 Семинар 2 Семинар 3 Семинар 4 Семинар 5 Семинар 6 Семинар 7 Семинар 8 Семинар 9

Домашние задания

ДЗ-1 ДЗ-2 ДЗ-3 ДЗ-4 ДЗ-5 ДЗ-6 ДЗ-7 ДЗ-8

Контрольная работа

Контрольная работа 2 марта (суббота) в 11:10, длительность - 1:30.

Распределение по аудиториям

R401 - БПМИ231, БПМИ234

R404 - БПМИ232, БПМИ233

Модельный вариант

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

Ссылка для тех, кто будет онлайн сдавать.

Правила контрольной работы

1. Допускается использование листа формата А4 для записей, однако писать разрешается только на одной его стороне.

2. Разрешается принести с собой калькулятор.

3. Можно от руки написать на планшете и затем распечатать.


Коллоквиум

Экзамен

Оценка

В течение года установлены следующие формы контроля:

  • один письменный экзамен (ЭК), в сессию после модуля;
  • одна письменная контрольная работа (KР), которую планируется провести в середине 3-го модуля;
  • один коллоквиум (KЛ), который планируется провести в конце 3-го модуля;
  • около 10 домашних заданий (ДЗ, где ДЗ --- есть среднее арифметическое оценок всех домашних работ); обычно домашнее задание выдается к каждому семинару.

Накопленная Оценка, НО, вычисляется без округления по следующей формуле: НО = 0.4 * ДЗ + 0.2 * Кр + 0.4 * КЛ. Итоговая Оценка за Курс, ИО, вычисляется по следующей формуле: ИО = Округление(7/10*НО + 3/10*ЭК),

где ДЗ — средняя оценка за все домашние задания, КР — оценка за контрольную работу, ЭК — оценка за экзамен, КЛ — оценка за коллоквиум. Если НО не меньше 8 (без округления), то студент может не сдавать экзамен. В этом случае ИО = Округление(НО). Округление арифметическое.

Ведомость

БПМИ231 БПМИ232 БПМИ233 БПМИ234


Сводная таблица с оценками по ДЗ

БПМИ231 БПМИ232 БПМИ233 БПМИ234

Книги

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

  1. [АР] Айерленд К. Роузен, М. Классическое введение в современную теорию чисел. - М.: Мир, 1998.
  2. [A] Акритас А.Г. Основы компьютерной алгебры с приложениями. 1994
  3. [АУ] Алфутова Н. Б., Устинов А. В. Алгебра и теория чисел. Сборник задач для математических школ. М.: МЦНМО, 2018
  4. [Б] Бухштаб А. А., Теория чисел
  5. [ВИМ] Виноградов И. М., Основы теории чисел.
  6. [НК] Ноден П., Китте К. Алгебраическая алгоритмика
  7. [MOV] Menezes A., Oorschot P. van, Vanstone S. Handbook of Applied Cryptography

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

  1. Василенко, О. Н. Теоретико-числовые методы в криптографии МЦНМО, 2003
  2. [ВЭБ] Винберг Э. Б. Курс алгебры
  3. Герман, О. Н., Нестеренко, Ю. Теоретико-числовые методы в криптографии 2012
  4. Глухов М. М., Круглов И.А., Пичкур А.Б., Черёмушкин А.В. Введение в теоретико-числовые методы криптографии Лань, 2011
  5. Кнут, Д. Е. Искусство программирования для ЭВМ. Том 2: Получисленные алгоритмы "Вильямс" , М., Санкт-Петербург, Киев, 2000
  6. Коблиц Н. Курс теории чисел и криптографии. М.: ТВП, 2001.
  7. Нестеренко Ю. В., Теория чисел
  8. Ященко, В. В. (ред.) Введение в криптографию, МЦНМО, Москва, 1999
  9. Hoffstein, J.; Pipher, J., Silverman, J. H. An introduction to mathematical cryptography Springer, 2008,
Источник — «http://wiki.cs.hse.ru/index.php?title=Теория_чисел_(пилотный_поток)_2023/24&oldid=84073»