Что такое вычисление: от абака до Тьюринга и что значит «вычислимо»
С первых принципов: что такое вычисление как механическое преобразование символов по правилам, откуда взялась машина Тьюринга, почему все разумные модели вычислений …
30 материалов в этой теме.
С первых принципов: что такое вычисление как механическое преобразование символов по правилам, откуда взялась машина Тьюринга, почему все разумные модели вычислений …
Алгоритм как точный рецепт, а сложность как язык, на котором мы говорим о его цене: почему считают не секунды, а рост числа операций, что на самом деле значит O(n log n) …
Делимость, модульная арифметика, решёта, тесты простоты и факторизация, китайская теорема об остатках, дискретный логарифм и NTT — как чистая математика превратилась в …
Что значит «эффективно вычислимо»: классы P, NP, co-NP, L, NL, PSPACE, сведения по Карпу, теорема Кука–Левина, теоремы иерархии, барьеры доказательств — и практический …
Строгая математика стратегического взаимодействия: нормальная форма, доминирование, равновесие Нэша и теорема о его существовании, минимакс и LP-двойственность, …
От строгого определения графа до теорем Эйлера, Куратовского, Кёнига и Кирхгофа — с интуицией, ручными разборами и работающим Python-кодом.
Обзорная статья трека: что такое структура данных как инженерный выбор, по каким осям структуры различаются, как выбирать под конкретный профиль нагрузки — и как устроен …
Как перестать сравнивать строки наивно: префикс-функция и KMP, Z-функция, автомат Ахо–Корасика для множества образцов, полиномиальное хеширование и его атаки — с кодом, …
Полный разбор сортировок: почему нижняя граница O(n log n) неизбежна для сравнений, как устроены merge/quick/heap, что на самом деле делает Timsort внутри list.sort(), …
Как из простых локальных правил и общей памяти рождается глобальный поиск: муравьиные алгоритмы (ACO) для комбинаторных задач и PSO для непрерывных, с рабочим кодом, …
Как устроена рекурсия на уровне кадров стека, почему она эквивалентна математической индукции, как проектировать алгоритмы разделяй-и-властвуй и считать их …
Почему подбрасывание монетки делает алгоритмы проще и быстрее: Las Vegas против Monte Carlo, индикаторы и линейность матожидания, границы Маркова, Чебышёва и Чернова, …
По этому запросу ничего не найдено.