Задача о перемещении дивана

Задача о перемещении дивана была сформулирована канадским математиком австрийского происхождения Мозером в 1966 году.

Источник: Википедия

Связанные понятия

Ме́трика Шва́рцшильда — это единственное в силу теоремы Биркхофа сферически симметричное точное решение уравнений Эйнштейна без космологической константы в пустом пространстве. В частности, эта метрика достаточно точно описывает гравитационное поле уединённой невращающейся и незаряженной чёрной дыры и гравитационное поле снаружи от уединённого сферически симметричного массивного тела. Названа в честь Карла Шварцшильда, который первым её обнаружил в 1916 году.

Контактное число (иногда число Ньютона, в химии соответствует координационному числу) — максимальное количество шаров единичного радиуса, которые могут одновременно касаться одного такого же шара в n-мерном евклидовом пространстве (предполагается, что шары не проникают друг в друга, то есть объём пересечения любых двух шаров равен нулю).

Задача коммивояжёра (англ. Travelling salesman problem, сокращённо TSP) — одна из самых известных задач комбинаторной оптимизации, заключающаяся в поиске самого выгодного маршрута, проходящего через указанные города хотя бы по одному разу с последующим возвратом в исходный город. В условиях задачи указываются критерий выгодности маршрута (кратчайший, самый дешёвый, совокупный критерий и тому подобное) и соответствующие матрицы расстояний, стоимости и тому подобного. Как правило, указывается, что...

Реше́ние Ке́рра — Нью́мена — точное решение уравнений Эйнштейна, описывающее невозмущённую электрически заряженную вращающуюся чёрную дыру без космологического члена. Астрофизическая значимость решения неясна, так как предполагается, что встречающиеся в природе коллапсары не могут быть существенно электрически заряжены.

Комплекс задач о взаимодействии многих тел достаточно обширный и является одним из базовых, далеко не полностью разрешённых, разделов механики. В рамках ньютоновской концепции проблема ветвится на...

Подробнее: Взаимодействие многих тел

Пло́щадь — численная характеристика двумерной (плоской или искривлённой) геометрической фигуры, неформально говоря, показывающая размер этой фигуры. Исторически вычисление площади называлось квадратурой. Фигура, имеющая площадь, называется квадрируемой. Конкретное значение площади для простых фигур однозначно вытекает из предъявляемых к этому понятию практически важных требований (см. ниже). Фигуры с одинаковой площадью называются равновеликими.

Задача трёх тел (в астрономии) — одна из задач небесной механики, состоящая в определении относительного движения трёх тел (материальных точек), взаимодействующих по закону тяготения Ньютона (например, Солнца, Земли и Луны). В отличие от задачи двух тел, в общем случае задача не имеет решения в виде конечных аналитических выражений. Известно лишь несколько точных решений для специальных начальных скоростей и координат объектов.

Математи́ческий ана́лиз (классический математический анализ) — совокупность разделов математики, соответствующих историческому разделу под наименованием «анализ бесконечно малых», объединяет дифференциальное и интегральное исчисления.

Приближение с помощью кривых — это процесс построения кривой или математической функции, которая наилучшим образом приближается к заданным точкам с возможными ограничениями на кривую . Для построения такого приближения может использоваться либо интерполяция , где требуется точное прохождение кривой через точки, либо сглаживание, когда «сглаживающая» функция проходит через точки приближённо. Связанный раздел — регрессионный анализ, который фокусируется, главным образом, на вопросах статистического...

Фо́рмула Кирхго́фа — аналитическое выражение для решения гиперболического уравнения в частных производных (т. н. «волнового уравнения») во всём трёхмерном пространстве. Методом спуска (то есть уменьшением размерности) из него можно получить решения двумерного (Формула Пуассона) и одномерного (Формула Д’Аламбера) уравнения.

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

Метод неделимых — возникшее в конце XVI века наименование совокупности приёмов, предназначенных для вычисления площадей геометрических фигур или объёмов геометрических тел.

Спор о струне, спор о колеблющейся струне, спор о звучащей струне — научная дискуссия, развернувшаяся в XVIII веке между крупнейшими учёными того времени вокруг изучения колебаний струны. В спор оказались вовлечены Д’Аламбер, Эйлер, Д. Бернулли, Лагранж. Дискуссия касалась определения понятия функции и оказала решающее влияние на множество разделов математики: теорию дифференциальных уравнений в частных производных, математический анализ и теорию функций вещественного переменного, теорию тригонометрических...

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

Обнаружение столкновений (англ. Collision detection) — вычислительная проблема обнаружения пересечений между собой двух или больше объектов. Тема чаще всего связана с её использованием в физических движках, компьютерной анимации и робототехнике. В дополнение к определению, столкнулись ли два объекта, системы обнаружения столкновений могут вычислить время воздействия и сообщить о коллекторе контакта (набор пересечения точек). Ответ на столкновение (что происходит, когда столкновение обнаружено) зависит...

Дифра́кция Френе́ля — дифракционная картина, которая наблюдается на небольшом расстоянии от препятствия, по условиям, когда основной вклад в интерференционную картину дают границы экрана.

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

Алгоритм Гилберта — Джонсона — Кёрти (англ. Gilbert — Johnson — Keerthi algorithm, сокращённо GJK) — алгоритм для определения минимального расстояния между двумя выпуклыми множествами (объектами). В отличие от многих других алгоритмов нахождения расстояния, GJK не требует, чтобы геометрические данные были сохранены в каком-либо специфическом формате. Вместо этого алгоритм GJK полностью полагается на носитель функции и итерационным методом (с помощью итераций) генерирует ближайшие симплексы для корректного...

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

Оператор Ротуэлла, в дисциплине компьютерного зрения — оператор для обнаружения границ, представленный Чарлзом Ротуэллом (англ. C. A. Rothwell) на Симпозиуме IEEE по компьютерному зрению в 1995 году.

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

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

Если дано топологическое пространство и группа действий на нём, образы отдельной точки под действием группы действий образуют орбиты действий. Фундаментальная область — это подмножество пространства, которое содержит в точности по одной точке из каждой орбиты. Она даёт геометрическую реализацию абстрактного множества представителей орбит.

Подробнее: Фундаментальная область

В комбинаторной оптимизации под линейной задачей о назначениях на узкие места (linear bottleneck assignment problem, LBAP) понимается задача, похожая на задачу о назначениях.

Подробнее: Линейная задача о назначениях в узких местах

Уравне́ние движе́ния (уравнения движения) — уравнение или система уравнений, задающие закон эволюции механической или динамической системы (например, поля) во времени и пространстве.

Задача Вебера обобщает поиск геометрической медианы, для которой цены перевозок полагаются равными для всех точек потребления, и задачу нахождения точки Ферма, геометрической медианы трёх точек. По этой причине задачу иногда называют задачей Ферма – Вебера, хотя то же самое имя используется и для задачи нахождения невзвешенной геометрической медианы. Задача Вебера, в свою очередь, обобщается задачей притяжения – отталкивания, которая позволяет отрицательные цены, так что для некоторых точек большее...

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

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

Задача Нелсона — Эрдёша — Хадвигера — задача комбинаторной геометрии, первоначально поставленная как задача о раскраске или хроматическом числе евклидова пространства.

Задача Штейнера о минимальном дереве состоит в поиске кратчайшей сети, соединяющей заданный конечный набор точек плоскости.

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

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

Векторная схема разделения секрета, или схема Блэкли (англ. Blakley's scheme), — схема разделения секрета между сторонами, основанная на использовании точек многомерного пространства. Предложена Джорджем Блэкли в 1979 году. Схема Блэкли позволяет создать (t, n)-пороговое разделение секрета для любых t, n.

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

Алгоритм Брезенхе́ма (англ. Bresenham's line algorithm) — это алгоритм, определяющий, какие точки двумерного растра нужно закрасить, чтобы получить близкое приближение прямой линии между двумя заданными точками. Это один из старейших алгоритмов в машинной графике — он был разработан Джеком Элтоном Брезенхэмом (англ. Jack Elton Bresenham) в компании IBM в 1962 году. Алгоритм широко используется, в частности, для рисования линий на экране компьютера. Существует обобщение алгоритма Брезенхэма для построения...

В математике константой Чигера (также числом Чигера или изопериметрическим числом) графа называется числовая характеристика графа, отражающая, есть ли у графа «узкое место» или нет. Константа Чигера как способ измерения наличия «узкого места» представляет интерес во многих областях, например, для создания сильно связанных компьютерных сетей, для тасования карт и в топологии малых размерностей (в частности, при изучении гиперболических 3-мерных многообразий). Названа в честь математика Джефа Чигера...

Суммирующая функция делителей в теории чисел — функция, являющаяся суммой функции делителей.

В математическом анализе и информатике кривая Мортона, Z-последовательность,Z-порядок, кривая Лебега, порядок Мортона или код Мортона — это функция, которая отображает многомерные данные в одномерные, сохраняя локальность точек данных. Функция была введена в 1966 Гаем Макдональдом Мортоном. Z-значение точки в многомерном пространстве легко вычисляется чередованием двоичных цифр его координатных значений. Когда данные запоминаются в этом порядке, могут быть использованы любые одномерные структуры...

Подробнее: Кривая Мортона

В прикладной статистике метод наименьших полных квадратов (МНПК, TLS — англ. Total Least Squares) — это вид регрессии с ошибками в переменных, техника моделирования данных с помощью метода наименьших квадратов, в которой принимаются во внимание ошибки как в зависимых, так и в независимых переменных. Метод является обобщением регрессии Деминга и ортогональной регрессии и может быть применён как к линейным, так и нелинейным моделям.

Задача о разорении игрока — задача из области теории вероятностей. Подробно рассматривалась российским математиком А. Н. Ширяевым в монографии «Вероятность».

Алгоритм Левенберга — Марквардта — метод оптимизации, направленный на решение задач о наименьших квадратах. Является альтернативой методу Ньютона. Может рассматриваться как комбинация последнего с методом градиентного спуска или как метод доверительных областей. Алгоритм был сформулирован независимо Левенбергом (1944) и Марквардтом (1963).

Вселе́нная Фри́дмана (метрика Фридмана — Леметра — Робертсона — Уокера) — одна из космологических моделей, удовлетворяющих полевым уравнениям общей теории относительности (ОТО), первая из нестационарных моделей Вселенной. Получена Александром Фридманом в 1922. Модель Фридмана описывает однородную изотропную в общем случае нестационарную Вселенную с веществом, обладающую положительной, нулевой или отрицательной постоянной кривизной. Эта работа учёного стала первым основным теоретическим развитием...

Парадокс береговой линии — противоречивое наблюдение в географических науках, связанное с невозможностью точно определить длину линии побережья из-за её фракталоподобных свойств. Первое задокументированное описание данного феномена было сделано Льюисом Ричардсоном; впоследствии оно было расширено Бенуа Мандельбротом.

Теорема Сарда — одна из теорем математического анализа, имеющих важные приложения в теории катастроф и теории динамических систем.Названа в честь американского математика Артура Сарда.

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

Специа́льная тео́рия относи́тельности (СТО; также называемая ча́стная тео́рия относи́тельности) — теория, описывающая движение, законы механики и пространственно-временные отношения при произвольных скоростях движения, меньших скорости света в вакууме, в том числе близких к скорости света (в рамках специальной теории относительности классическая механика Ньютона является приближением низких скоростей). Фактически СТО описывает геометрию четырёхмерного пространства-времени и базируется на плоском...

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

Алгоритм Кэтмелла — Кларка — это техника, используемая в компьютерной графике для создания гладких поверхностей путём моделирования подразделения поверхности. Алгоритм разработали Эдвин Кэтмелл и Джеймс Кларк в 1978 как обобщение бикубических однородных B-сплайновых поверхностей для произвольной топологии. В 2005 году Эдвин Кэтмелл получил премию Американской академии за технические достижения вместе с Тони Дероузом и Джосом Стэмом за их разработки в области подразделения поверхностей.

В математике методы проверки на простоту с помощью эллиптических кривых (англ. - Elliptic Curve Primality Proving, сокр. ЕСРР) являются одними из самых быстрых и наиболее широко используемых методов проверки на простоту . Эту идею выдвинули Шафи Гольдвассер и Джо Килиан в 1986 году; она была превращена в алгоритм А.О.Л. Аткином в том же году. Впоследствии алгоритм был несколько раз изменён и улучшен, в особенности Аткином и François Morain в 1993. Концепция использования факторизации с помощью эллиптических...

Подробнее: Тест простоты с использованием эллиптических кривых

Теория среднего поля или теория самосогласованного поля — подход к изучению поведения больших и сложных стохастических систем в физике и теории вероятностей через исследование простых моделей. Такие модели рассматривают многочисленные малые компоненты, которые взаимодействуют между собой. Влияние других индивидуальных компонент на заданный объект аппроксимируется усредненным эффектом, благодаря чему задача многих тел сводится к одночастичной задаче.

а б в г д е ё ж з и й к л м н о п р с т у ф х ц ч ш щ э ю я