Main menu

B-деревья: Математика файловых систем и баз данных

При изучении структур данных студенты первым делом знакомятся с бинарными деревьями поиска. Они отлично работают, пока все данные помещаются в оперативной памяти компьютера (RAM). Но что происходит, когда нам нужно проиндексировать терабайтную базу данных, хранящуюся на медленном жестком диске? Здесь законы эффективности кардинально меняются. Дискретная математика решает проблему долгих дисковых операций с помощью специализированной структуры — B-дерева.

Подробнее

Случайные графы: Модели Эрдёша-Реньи и законы малых миров

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

Подробнее

Префиксные деревья (Trie): Структуры данных для автокомплита и роутинга

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

Подробнее

Топологическая сортировка ориентированных графов: Планирование зависимостей

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

Подробнее

Теория графов в социальных сетях: Метрики центральности и кластеризация

Современные социальные сети математически представляют собой гигантские графы, где вершины — это пользователи, а ребра — их дружеские или профессиональные связи. Анализ этих структур методами дискретной математики (Social Network Analysis, SNA) позволяет выявлять лидеров мнений, предсказывать тренды распространения информации и рекомендовать новых друзей или товары.

Подробнее

NP-трудные задачи и приближенные алгоритмы: В поисках компромисса

Когда мы сталкиваемся с NP-полными задачами, такими как задача коммивояжера или задача о рюкзаке, надежда на быстрое и абсолютно точное решение на больших данных исчезает. Но бизнес не может ждать годы, пока суперкомпьютер перебирает все варианты. В дискретной математике и проектировании алгоритмов на этот случай существует мощный план "Б" — приближенные алгоритмы и эвристики.

Подробнее

Клеточные автоматы и Игра Жизнь: Возникновение сложного из простого

Могут ли невероятно сложные, непредсказуемые и живые структуры возникать из нескольких примитивных и жестко заданных правил? Дискретная математика отвечает на этот вопрос утвердительно с помощью концепции Клеточных автоматов. Это дискретные динамические системы, состоящие из регулярной сетки ячеек, которые меняют свои состояния шаг за шагом на основе локальных математических законов. Наибольшую славу этому разделу принесла "Игра Жизнь", созданная английским математиком Джоном Конвеем в 1970 году.

Подробнее

Фильтр Блума: Вероятностная математика в высоконагруженных БД

Когда браузер Chrome проверяет, не является ли открываемый вами сайт вредоносным, он сверяется с базой из миллионов плохих URL-адресов. Но выкачивать эту многогигабайтную базу на устройство каждого пользователя невозможно, а делать сетевой запрос к серверу Google при каждом клике — слишком долго. Решение этой проблемы предложил Бертон Блум в 1970 году, создав уникальную вероятностную структуру данных, позволяющую хранить огромные множества в крошечном объеме оперативной памяти.

Подробнее

Китайская теорема об остатках и СОК: Параллельная арифметика

В III веке нашей эры китайский математик Сунь-цзы записал интригующую головоломку: "Имеются вещи, число их неизвестно. Если считать их тройками, остаток 2. Если считать пятерками, остаток 3. Если считать семерками, остаток 2. Сколько всего вещей?". Эта, казалось бы, тривиальная задача привела к созданию математического аппарата, который сегодня используется для ускорения вычислений в цифровой обработке сигналов (DSP) и современной криптографии.

Подробнее

Клики и независимые множества: Границы плотности графов

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

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

Соц. сети