Связанные понятия
В математике и информатике Машина Зенона (иногда сокращаемая до ЗМ, также называемая ускоренной машиной Тьюринга) — это гипотетическая компьютерная модель, связанная с машиной Тьюринга, которая способна совершить счётное количество алгоритмических шагов за конечное время. В большинстве моделей вычислений такие машины не рассматриваются.
Подробнее: Машина Зенона
Поиск с возвратом , бэктрекинг (англ. backtracking) — общий метод нахождения решений задачи, в которой требуется полный перебор всех возможных вариантов в некотором множестве М. Как правило позволяет решать задачи, в которых ставятся вопросы типа: «Перечислите все возможные варианты …», «Сколько существует способов …», «Есть ли способ …», «Существует ли объект…» и т. п.
Задача Иосифа Флавия или считалка Джозефуса — известная математическая задача с историческим подтекстом.
Обнаружение столкновений (англ. Collision detection) — вычислительная проблема обнаружения пересечений между собой двух или больше объектов. Тема чаще всего связана с её использованием в физических движках, компьютерной анимации и робототехнике. В дополнение к определению, столкнулись ли два объекта, системы обнаружения столкновений могут вычислить время воздействия и сообщить о коллекторе контакта (набор пересечения точек). Ответ на столкновение (что происходит, когда столкновение обнаружено) зависит...
Реше́ние зада́ч — процесс выполнения действий или мыслительных операций, направленный на достижение цели, заданной в рамках проблемной ситуации — задачи; является составной частью мышления.
Задача о разорении игрока — задача из области теории вероятностей. Подробно рассматривалась российским математиком А. Н. Ширяевым в монографии «Вероятность».
В математике теория момента остановки или марковский момент времени связана с проблемой выбора времени, чтобы принять определённое действие, для того чтобы максимизировать ожидаемое вознаграждение или минимизировать ожидаемые затраты. Проблема момента остановки может быть найдена в области статистики, экономики и финансовой математики (связанные с ценообразованием на американские опционы). Самым ярким примером, относящимся к моменту остановки, является Задача о разборчивой невесте. Проблема момента...
Подробнее: Марковский момент
Парадо́кс Бе́лла — один из известных релятивистских парадоксов специальной теории относительности. В наиболее известном варианте самого Джона Стюарта Белла парадокс возникает при рассмотрении мысленного эксперимента, включающего в себя два ускоряющихся в одном и том же направлении космических корабля и соединяющую их натянутую до предела струну (один корабль летит строго впереди другого, т. е. ускорение направлено вдоль струны). Если корабли начнут синхронно ускоряться, то в сопутствующей кораблям...
Поиск пути (англ. Pathfinding) — термин в информатике и искусственном интеллекте, который означает определение компьютерной программой наилучшего, оптимального маршрута между двумя точками.
Квантовая теория игр является расширением классической теории игр в квантовую область. Она отличается от классической теории тремя основными особенностями...
Парадо́кс близнецо́в — мысленный эксперимент, при помощи которого пытаются «доказать» противоречивость...
Маши́на Тью́ринга (МТ) — абстрактный исполнитель (абстрактная вычислительная машина). Была предложена Аланом Тьюрингом в 1936 году для формализации понятия алгоритма.
Муравьиный алгоритм (алгоритм оптимизации подражанием муравьиной колонии, англ. ant colony optimization, ACO) — один из эффективных полиномиальных алгоритмов для нахождения приближённых решений задачи коммивояжёра, а также решения аналогичных задач поиска маршрутов на графах. Суть подхода заключается в анализе и использовании модели поведения муравьёв, ищущих пути от колонии к источнику питания и представляет собой метаэвристическую оптимизацию. Первая версия алгоритма, предложенная доктором наук...
При́нцип наиме́ньшего де́йствия Га́мильтона (также просто принцип Гамильтона), точнее при́нцип стациона́рности де́йствия — способ получения уравнений движения физической системы при помощи поиска стационарного (часто — экстремального, обычно, в связи со сложившейся традицией определения знака действия, наименьшего) значения специального функционала — действия. Назван в честь Уильяма Гамильтона, использовавшего этот принцип для построения так называемого гамильтонова формализма в классической механике...
Ханойская башня является одной из популярных головоломок XIX века. Даны три стержня, на один из которых нанизаны восемь колец, причём кольца отличаются размером и лежат меньшее на большем. Задача состоит в том, чтобы перенести пирамиду из восьми колец за наименьшее число ходов на другой стержень. За один раз разрешается переносить только одно кольцо, причём нельзя класть большее кольцо на меньшее.
Эвристика нулевого хода направлена на ускорение нахождения предполагаемых точек отсечения при сохранении разумного уровня аккуратности. Идея этой эвристики базируется на том предположении, что наиболее приемлемые ходы в шахматах улучшают позицию того, кто их сделал. Так, если игрок в данной точке может передать очередь хода противнику (сделать нулевой ход, что недопустимо в шахматах) и всё ещё имеет позицию, достаточно сильную для создания отсечения, тогда в данной точке почти наверняка возможно...
Случайность имеет множество применений в области науки, искусства, статистики, криптографии, игр, азартных игр, и других областях. Например, случайное распределение в рандомизированных контролируемых исследованиях помогает ученым проверять гипотезы, а также случайные и псевдослучайные числа находят применение в видео-играх, таких как видеопокер.
Подробнее: Применения случайности
Матема́тика ку́бика Ру́бика — совокупность математических методов для изучения свойств кубика Рубика с абстрактно-математической точки зрения. Эта математика изучает алгоритмы сборки кубика и оценивает их. Основана на теории графов, теории групп, теории вычислимости и комбинаторике.
Квазиклассическое приближение , также известное как метод ВКБ (Вентцеля — Крамерса — Бриллюэна) — самый известный пример квазиклассического вычисления в квантовой механике, в котором волновая функция представлена как показательная функция, квазиклассически расширенная, а затем или амплитуда, или фаза медленно изменяются. Этот метод назван в честь физиков Г. Вентцеля, Х.А. Крамерса и Л. Бриллюэна, которые развили этот метод в 1926 году независимо друг от друга. В 1923 математик Гарольд Джеффри развил...
Комбинаторный взрыв — термин, используемый для описания эффекта резкого («взрывного») роста временной сложности алгоритма при увеличении размера входных данных задачи.
Задача о рюкзаке (или задача о ранце) — NP-полная задача комбинаторной оптимизации. Своё название получила от конечной цели: уложить как можно большее число ценных вещей в рюкзак при условии, что вместимость рюкзака ограничена. С различными вариациями задачи о рюкзаке можно столкнуться в экономике, прикладной математике, криптографии и логистике.
Стрейф (от англ. strafe — «атаковать с бреющего полета», «обстреливать») — в компьютерных играх движение боком, «приставными шагами».
У́стный счёт — математические вычисления, осуществляемые человеком без помощи дополнительных устройств (компьютер, калькулятор, счёты и т. п.) и приспособлений (ручка, карандаш, бумага и т. п.).
Комплекс задач о взаимодействии многих тел достаточно обширный и является одним из базовых, далеко не полностью разрешённых, разделов механики. В рамках ньютоновской концепции проблема ветвится на...
Подробнее: Взаимодействие многих тел
Обучение с ошибками в кольце (англ. Ring learning with errors, RLWE)— это вычислительная задача, которая была сформулирована как вариант более общей задачи обучения с ошибками (с англ. LWE), с целью использовать преимущество дополнительной алгебраической структуры (т.е. кольца многочленов) из теории решеток, что дало возможность повысить и расширить возможности шифрования тех криптографических приложений, которые ранее основывались на LWE. Задача RLWE стала основой новых криптографических алгоритмов...
Прямая (основная) задача динамики — определение координат тела и его скорости в любой момент времени по известным начальным условиям и силам, действующим на тело. Для её решения необходимо знать координаты и скорость тела в некоторый начальный момент времени и силу, действующую на тело в любой последующий момент времени.
Выбор модели — это задача выбора статистической модели из набора моделей-кандидатов по имеющимся данным. В простейшем случае рассматривается существующий набор данных. Однако задача может вовлекать планирование экспериментов, так что сбор данных связан с задачей выбора модели. Если заданы кандидаты в модели с одинаковой силой предсказания или объяснения, наиболее простая модель скорее всего будет лучшим выбором (бритва Оккама).
Математи́ческая моде́ль — математическое представление реальности, один из вариантов модели как системы, исследование которой позволяет получать информацию о некоторой другой системе.
Уравне́ние движе́ния (уравнения движения) — уравнение или система уравнений, задающие закон эволюции механической или динамической системы (например, поля) во времени и пространстве.
Автономные роботы — это роботы, которые совершают поступки или выполняют поставленные задачи с высокой степенью автономии, что особенно необходимо в таких областях, как освоение космоса, ведение домашнего хозяйства (например, уборка), очистка сточных вод и доставка товаров и услуг.
Подробнее: Автономный робот
Самопримени́мость в теории алгоритмов — свойство алгоритма успешно завершаться на данных, представляющих собой формальную запись этого же алгоритма.
Пентамино ́ (от др.-греч. πέντα пять, и домино) — пятиклеточные полимино, то есть плоские фигуры, каждая из которых состоит из пяти одинаковых квадратов, соединённых между собой сторонами («ходом ладьи»). Этим же словом иногда называют головоломку, в которой такие фигуры требуется укладывать в прямоугольник или другие формы.
В теории игр Принцесса и Чудовище — это игра преследования, в которой два игрока играют в некоторой области. Разработана Руфусом Айзексом и опубликована в его книге Дифференциальные игры (1965) в следующем виде: «Монстр ищет принцессу, потраченное на поиск время является ценой игры. Оба находятся в совершенно тёмном помещении (любой формы), но оба знают его границы. Найти принцессу означает, что расстояние между принцессой и монстром оказывается в пределах радиуса захвата, который должен быть относительно...
Задача Бертрана — задача, обратная к задаче двух тел и состоящая в определении силы взаимодействия по известным свойствам траекторий движения.
Проблема вагонетки (англ. Trolley problem) — мысленный эксперимент в этике, впервые сформулированный в 1967 году английским философом Филиппой Фут. Находясь вне рамок стандартных философских вопросов, проблема вагонетки играет большую роль в когнитивистике и нейроэтике.
Компьютерное го — направление искусственного интеллекта по созданию компьютерных программ, играющих в го.
В математике методы проверки на простоту с помощью эллиптических кривых (англ. - Elliptic Curve Primality Proving, сокр. ЕСРР) являются одними из самых быстрых и наиболее широко используемых методов проверки на простоту . Эту идею выдвинули Шафи Гольдвассер и Джо Килиан в 1986 году; она была превращена в алгоритм А.О.Л. Аткином в том же году. Впоследствии алгоритм был несколько раз изменён и улучшен, в особенности Аткином и François Morain в 1993. Концепция использования факторизации с помощью эллиптических...
Подробнее: Тест простоты с использованием эллиптических кривых
Алгоритм Деккера — первое известное корректное решение проблемы взаимного исключения в параллельном программировании. Эдсгер Дейкстра ссылается на голландского математика Т. Деккера как на автора данного алгоритма в своей работе о межпроцессном взаимодействии. Он позволяет двум потокам выполнения совместно использовать неразделяемый ресурс без возникновения конфликтов, используя только общую память для коммуникации.
Метод обратного распространения ошибки (англ. backpropagation) — метод вычисления градиента, который используется при обновлении весов многослойного перцептрона. Впервые метод был описан в 1974 г. А. И. Галушкиным, а также независимо и одновременно Полом Дж. Вербосом. Далее существенно развит в 1986 г. Дэвидом И. Румельхартом, Дж. Е. Хинтоном и Рональдом Дж. Вильямсом и независимо и одновременно С.И. Барцевым и В.А. Охониным (Красноярская группа). Это итеративный градиентный алгоритм, который используется...
Обра́тная связь в киберне́тике — это наличие схемных циклов в неизменяемой части машины, и условных инструкций в её изменяемой части. Обратная связь выделяет особый класс автоматов, которые участвуют в определённом виде научных экспериментов или применяются на практике.
Чи́сленная относи́тельность (англ. numerical relativity) — область общей теории относительности, которая разрабатывает и использует численные методы и алгоритмы для компьютерного моделирования физических процессов в сильных гравитационных полях, когда необходимо численно решать уравнения Эйнштейна. Основные физические системы, для описания которых необходима численная относительность, относятся к релятивистской астрофизике и включают в себя гравитационный коллапс, нейтронные звёзды, чёрные дыры...
Принципами механики называются исходные положения, отражающие столь общие закономерности механических явлений, что из них как следствия можно получить все уравнения, определяющие движение механической системы (или условия её равновесия). В ходе развития механики был установлен ряд таких принципов, каждый из которых может быть положен в основу механики, что объясняется многообразием свойств и закономерностей механических явлений. Эти принципы подразделяют на невариационные и вариационные.
Подробнее: Вариационные принципы
Теорема о четырёх красках — теорема, которая утверждает, что всякую расположенную на сфере карту можно раскрасить не более чем четырьмя разными цветами (красками) так, чтобы любые две области с общим участком границы были раскрашены в разные цвета. При этом области могут быть как односвязными, так и многосвязными (в них могут присутствовать «дырки»), а под общим участком границы понимается часть линии, то есть стыки нескольких областей в одной точке не считаются общей границей для них. Задача раскраски...
Зада́ча о восьми́ фе́рзя́х — широко известная задача по расстановке фигур на шахматной доске. Исходная формулировка: «Расставить на стандартной 64-клеточной шахматной доске 8 ферзей так, чтобы ни один из них не находился под боем другого». Подразумевается, что ферзь бьёт все клетки, расположенные по вертикалям, горизонталям и обеим диагоналям. Обобщение задачи — расставить максимальное количество взаимно не бьющих друг друга ферзей на прямоугольном поле, в частности, квадратном поле, со стороной...
Ква́нтовая запу́танность — квантовомеханическое явление, при котором квантовые состояния двух или большего числа объектов оказываются взаимозависимыми (например, можно получить пару фотонов, находящихся в запутанном состоянии, и тогда если при измерении спина первой частицы спиральность оказывается положительной, то спиральность второй всегда оказывается отрицательной, и наоборот).
Квантовый компьютер — вычислительное устройство, которое использует явления квантовой механики (квантовая суперпозиция, квантовая запутанность) для передачи и обработки данных. Квантовый компьютер (в отличие от обычного) оперирует не битами (способными принимать значение либо 0, либо 1), а кубитами, имеющими значения одновременно и 0, и 1.
История теории вероятностей отмечена многими уникальными особенностями. Прежде всего, в отличие от появившихся примерно в то же время других разделов математики (например, математического анализа или аналитической геометрии), у теории вероятностей по существу не было античных или средневековых предшественников, она целиком — создание Нового времени. Долгое время теория вероятностей считалась чисто опытной наукой и «не совсем математикой», её строгое обоснование было разработано только в 1929 году...
Гонки — игра на клетчатой бумаге для двух и большего числа игроков. Как видно из названия, игра представляет собой имитацию автомобильных гонок, цель — прийти к финишу первым.