Main menu
Дискретная математика

Дискретная математика (105)

Системы счисления: Математическая основа компьютерной архитектуры

Система счисления — это символический метод записи чисел, представление чисел с помощью письменных знаков (цифр). Хотя в повседневной жизни человечество использует десятичную систему (вероятно, из-за количества пальцев на руках), для дискретной математики и проектирования вычислительной техники эта система оказалась неэффективной. Понимание различных позиционных систем счисления — фундамент для работы с архитектурой ЭВМ и низкоуровневым программированием.

Подробнее

Цепи Маркова: Математическое моделирование случайных процессов

Как математически смоделировать систему, которая меняет свои состояния случайным образом? Как предсказать погоду на завтра, вероятность отказа сервера или следующее слово, которое пользователь наберет на клавиатуре телефона? В дискретной математике и теории вероятностей для решения таких задач используется мощный инструмент прогнозирования — Марковские цепи, названные в честь русского математика Андрея Андреевича Маркова.

Подробнее

Матроиды и жадные алгоритмы: Универсальная оптимизация

Жадные алгоритмы (Greedy algorithms) — это популярный класс алгоритмов оптимизации, которые на каждом шаге принимают локально наилучшее решение, надеясь, что эта последовательность приведет к глобально оптимальному ответу. Увы, жадный подход работает не всегда: в задаче о рюкзаке или поиске кратчайшего пути с отрицательными весами он терпит фиаско. Но как заранее узнать, сработает ли жадный алгоритм для конкретной задачи? Ответ на этот вопрос дает теория матроидов.

Подробнее

Конечные поля Галуа: Алгебраический фундамент криптографии

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

Подробнее

Элементы теории игр: Деревья решений и минимаксный алгоритм

Теория игр — это раздел математики, изучающий оптимальные стратегии в ситуациях конфликта интересов. В то время как экономическая теория игр изучает непрерывные вероятностные модели (равновесие Нэша, дилемма заключенного), в дискретной математике и искусственном интеллекте акцент делается на комбинаторные игры с полной информацией. Шахматы, шашки, крестики-нолики — все эти игры поддаются строгому математическому анализу через построение деревьев решений.

Подробнее

Лемма Бернсайда и теорема Пойа: Комбинаторика симметрий

При решении сложных комбинаторных задач часто возникает проблема симметрии. Например, сколькими способами можно раскрасить грани куба в три цвета? Если использовать обычные формулы размещений, мы посчитаем один и тот же раскрашенный куб несколько раз, просто потому что его можно повернуть в пространстве. Для точного подсчета уникальных конфигураций с учетом симметрий в дискретной математике применяется лемма Бернсайда и ее мощное обобщение — теорема Редфилда-Пойа.

Подробнее

Префиксные коды и алгоритм Хаффмана: Математика сжатия данных

Цифровая вселенная ежеминутно генерирует эксабайты данных. Хранение и передача таких объемов немыслимы без алгоритмов сжатия. Теоретический предел сжатия информации был описан Клодом Шенноном в его концепции информационной энтропии, но именно дискретная математика предоставила практические инструменты для достижения этого предела. Одним из величайших достижений в этой области является Алгоритм Хаффмана, создающий оптимальные префиксные коды.

Подробнее

Сети Петри: Моделирование параллельных и асинхронных процессов

По мере развития компьютерных архитектур многоядерные процессоры и распределенные системы стали стандартом. Однако программирование параллельных систем породило новые, сложнейшие классы ошибок: взаимные блокировки (Deadlocks) и состояния гонки (Race conditions). Для строгого математического моделирования и анализа асинхронных, параллельных и недетерминированных систем в дискретной математике был создан мощный аппарат — Сети Петри, предложенные Карлом Адамом Петри в 1962 году.

Подробнее

Алгоритмы на графах: Поиск в ширину (BFS) и поиск в глубину (DFS)

Любая математическая структура становится полезной для информатики только тогда, когда появляются эффективные методы ее обхода и обработки. Для работы с графами фундаментом служат два канонических алгоритма обхода: поиск в ширину (Breadth-First Search, BFS) и поиск в глубину (Depth-First Search, DFS). Понимание принципов их работы и математической сложности — абсолютный минимум для любого разработчика программного обеспечения.

Подробнее

Раскраска графов: От хроматического числа до теоремы о четырех красках

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

Подробнее
Subscribe to this RSS feed

Соц. сети