Журнал Компьютерра - Журнал «Компьютерра» №47-48 от 20 декабря 2005 года

Здесь есть возможность читать онлайн «Журнал Компьютерра - Журнал «Компьютерра» №47-48 от 20 декабря 2005 года» весь текст электронной книги совершенно бесплатно (целиком полную версию без сокращений). В некоторых случаях можно слушать аудио, скачать через торрент в формате fb2 и присутствует краткое содержание. Жанр: Прочая околокомпьтерная литература, на русском языке. Описание произведения, (предисловие) а так же отзывы посетителей доступны на портале библиотеки ЛибКат.

Журнал «Компьютерра» №47-48 от 20 декабря 2005 года: краткое содержание, описание и аннотация

Предлагаем к чтению аннотацию, описание, краткое содержание или предисловие (зависит от того, что написал сам автор книги «Журнал «Компьютерра» №47-48 от 20 декабря 2005 года»). Если вы не нашли необходимую информацию о книге — напишите в комментариях, мы постараемся отыскать её.

Журнал «Компьютерра» №47-48 от 20 декабря 2005 года — читать онлайн бесплатно полную книгу (весь текст) целиком

Ниже представлен текст книги, разбитый по страницам. Система сохранения места последней прочитанной страницы, позволяет с удобством читать онлайн бесплатно книгу «Журнал «Компьютерра» №47-48 от 20 декабря 2005 года», без необходимости каждый раз заново искать на чём Вы остановились. Поставьте закладку, и сможете в любой момент перейти на страницу, на которой закончили чтение.

Тёмная тема
Сбросить

Интервал:

Закладка:

Сделать
Суть
Итак в чем же суть проблемы о которой мы сегодня рассказываем Рассмотрим - фото 79

Итак, в чем же суть проблемы, о которой мы сегодня рассказываем? Рассмотрим кривую, заданную полиномиальным уравнением с двумя переменными. Одна из важнейших характеристик такой кривой - ее род (genus). Дать здесь классическое определение рода кривой будет трудно, но мы приблизимся к нему с другой стороны. Начнем с поверхностей. Наверное, каждый в детстве читал о топологах, которые не могут отличить кружку от бублика - ведь обе поверхности топологически эквивалентны тору. Так вот, у поверхностей тоже есть род; род бублика, например, равен единице. А вообще род поверхности (если быть точным, род «ориентируемой поверхности») - это количество замкнутых кривых, по которым ее можно разрезать так, чтобы она не распалась на отдельные части. Можете сами попробовать: сферу или плоскость так разрезать нельзя, у них род 0, тор (он же бублик[]) можно разрезать один раз, хоть вдоль, хоть поперек, но после этого останется либо цилиндр, либо кусок плоскости, и второго разреза уже не получится. Все ориентируемые поверхности похожи на сферу с ручками (термин из алгебраической геометрии): сколько у сферы ручек, столько и разрезов можно сделать.

Теперь представьте, что уравнение, которое нас интересует, нужно решать в комплексных числах. Тогда множество его решений - это двухмерная поверхность. Ее род в данном случае и называется родом кривой.

Итак, род представляет собой целое неотрицательное число; кривые рода 1 - это и есть эллиптические кривые, которые сейчас находят применение в криптографии. О них и идет речь в гипотезе Берча-Свиннертон-Дайера. Кстати, если ограничиться вещественными числами, эллиптические кривые определяются совсем просто: это кривые, заданные одним из уравнений Вейерштрасса y

Как уже упоминалось гипотеза касается множества рациональных решений данного - фото 80

Как уже упоминалось, гипотеза касается множества рациональных решений данного уравнения. Берч и Свиннертон-Дайер рассматривали функцию L, вычисляемую через количество рациональных решений по модулю простого числа p (в вещественном случае - количество решений уравнения y2 #8801; x3 + ax +b по модулю p). Функция эта строится аналогично дзета-функции Римана, о которой мы уже рассказывали, и свойства имеет соответствующие: L, если рассмотреть ее как функцию комплексного переменного, сходится на полуплоскости, но при этом аналитически продолжается и на другую половину. Вычислить значения L и ее аналитического продолжения для каждой конкретной кривой не очень просто, но вполне возможно; в частности, это можно сделать автоматически, на компьютере.

Гипотеза Берча-Свиннертон-Дайера утверждает, что количество и структура множества рациональных решений эллиптической кривой тесно связаны с поведением L-функции в единице[Если быть точным, то по этой гипотезе ранг группы рациональных решений есть степень первого ненулевого члена разложения L в ряд Тейлора в единице; иными словами, L(z) около единицы похожа на (z-1)r, где r - ранг.]. В частности, количество рациональных точек бесконечно тогда и только тогда, когда L(1)=0.

Благодаря работам отечественного математика Виктора Александровича Колывагина - фото 81

Благодаря работам отечественного математика Виктора Александровича Колывагина, а также доказательству теоремы Ферма Эндрю Уайлсом это утверждение уже доказано в одну сторону: если L(1) #8800; 0, то количество рациональных точек конечно. Доказательство в другую сторону - предмет долгих и безуспешных поисков. Кроме того, открыт путь для обобщений гипотезы - в частности, к изучению рациональных точек не только кривых, но и поверхностей более высокой размерности (то есть уравнений с бульшим количеством переменных). Например, Леонард Эйлер еще в 1769 году выдвинул гипотезу, что уравнение x4 + y4 + z4 = t4 не имеет ненулевых решений. Эту гипотезу, как и похожую на нее гипотезу Ферма, долгое время не могли доказать, но результат в данном случае оказался иным: в 1988 году обнаружился контрпример (точнее, бесконечно много контрпримеров). Вот минимальный из них (проверить легко - но представьте, как трудно было бы его найти без развитой теории): 2682440 4 + 15365639 4 + 18796760 4 = 20615673 4

Приложения

Алгебраическая геометрия - наука, приложения которой, как правило, отнюдь не очевидны. Математикам, чтобы годами биться над интересной задачей, приложения и вовсе не нужны: да, великая теорема Ферма имеет некоторый криптографический смысл, но попытки ее доказательства привели к созданию и развитию нескольких важных разделов современной математики задолго до того, как криптография оформилась как математическая дисциплина.

Читать дальше
Тёмная тема
Сбросить

Интервал:

Закладка:

Сделать

Похожие книги на «Журнал «Компьютерра» №47-48 от 20 декабря 2005 года»

Представляем Вашему вниманию похожие книги на «Журнал «Компьютерра» №47-48 от 20 декабря 2005 года» списком для выбора. Мы отобрали схожую по названию и смыслу литературу в надежде предоставить читателям больше вариантов отыскать новые, интересные, ещё непрочитанные произведения.


Отзывы о книге «Журнал «Компьютерра» №47-48 от 20 декабря 2005 года»

Обсуждение, отзывы о книге «Журнал «Компьютерра» №47-48 от 20 декабря 2005 года» и просто собственные мнения читателей. Оставьте ваши комментарии, напишите, что Вы думаете о произведении, его смысле или главных героях. Укажите что конкретно понравилось, а что нет, и почему Вы так считаете.

x