что значит не теряя общности

ru.knowledgr.com

Без потери общности (часто сокращенно WOLOG, WLOG или w.l. g.; реже заявляется как без какой-либо потери общности или без потери общности) является часто используемым выражением в cs. Термин используется для указания на то, что приведенное ниже утверждение выбрано арбитрически, сужая предпосылку к конкретному случаю, но не влияет на достоверность доказательства в целом. Другие случаи в достаточной степени аналогичны представленному, что их подтверждение следует по существу той же логике. В результате, после того как будет представлено доказательство для конкретного случая, его тривиально адаптировать для доказательства заключения во всех других случаях.

Во многих сценариях использование «без потери общности» становится возможным благодаря наличию симметрии. Например, если известно, что некоторое свойство P (x, y) вещественных чисел является symm c в x и y, а именно, что P (x, y) эквивалентно P (y, x), то в доказательстве того, что P (x, y) сохраняется для каждого x и y, можно предположить, «без потери общности», что x y. нет потери обобщенности в этой ассе, так как один раз x y доказано

Пример

Здесь обратите внимание, что вышеприведенный аргумент работает, потому что точная такая же аргументация может быть применена, если была сделана альтернативная оценка, а именно, что первый объект является синим. В результате в данном случае действует использование «без потери общности».

Источник

без ограничения общности

Смотреть что такое «без ограничения общности» в других словарях:

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

CBC-MAC — В криптографии, CBC MAC является технологией построения аутенфикационного кода сообщения из блочного шифра. Сообщение шифруется при помощи некоторого блочного алгоритма шифрования в режиме CBC, для создания цепочки блоков с правилом каждый… … Википедия

ХАОС ДИНАМИЧЕСКИЙ — (хаос детерминированный) нерегулярное, апериодическое изменение состояния (движение) динамич. системы, обладающее осн. свойствами случайного процесса. Исследования свойств нелинейных динамич. систем показали, что для мн. таких систем характерно… … Физическая энциклопедия

ГОМОТОПИЧЕСКИЙ ТИП — класс гомотопически эквивалентных топологич. пространств. Отображения и наз. взаимно обратными гомотопическими эквивалентностями, если и Если выполнено только первое из этих соотношений, то gназ. гомотопически мономорфным отображением, а f… … Математическая энциклопедия

ДИОФАНТОВЫ УРАВНЕНИЯ — алгебраич. уравнения или системы алгебраич. уравнений с рациональными коэффициентами, решения к рых отыскиваются в целых или рациональных числах. Обычно предполагается, что Д. у. имеют число неизвестных, превосходящее число уравнений, в связи с… … Математическая энциклопедия

Источник

без потери общности

Смотреть что такое «без потери общности» в других словарях:

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

ЛОКАЛИЗАЦИЯ — в коммутативной алгебре переход от коммутативного кольца Ак частных кольцу A[S 1], где S нек рое подмножество А. Кольцо A[S 1]можно определить как решение задачи об универсальном отображении Ав кольцо, при к ром все элементы множества S… … Математическая энциклопедия

Уравнение Ланжевена — Статистическая физика … Википедия

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

Интерференция света — Интерференция света опыт Юнга Интерференция света перераспределение интенсивности света в результате наложения (суперпозиции) нескольких когерентных световых волн. Это явление сопровождается чередующимися в пространстве ма … Википедия

Стационарная теория возмущений в квантовой механике — Стационарная теория возмущений в квантовой механике теория возмущений где гамильтониан не зависит от времени. Теория построена Шрёдингером в 1926 году. Теория применима для достаточно слабых возмущений: при этом параметр должен быть… … Википедия

Источник

не нарушая общности

Смотреть что такое «не нарушая общности» в других словарях:

КИБЕРНЕТИКА — наука об управлении, связи и переработке информации (буквально искусство управления рулем ). Первым, кто употребил этот термин для управления в общем смысле, был, по видимому, древнегреческий философ Платон. А. М. Ампер (А. М. Ampere, 1834)… … Математическая энциклопедия

ШАУДЕРА МЕТОД — метод решения краевых задач для линейных равномерно эллиптических уравнений 2 го порядка, в основе к рого лежат априорные оценки и метод продолжения по параметру. Ш. м. решения Дирихле задачи для линейного равномерно эллиптического уравнения… … Математическая энциклопедия

Метод Лагранжа приведения квадратичной формы к каноническому виду — У этого термина существуют и другие значения, см. Метод Лагранжа. Метод Лагранжа метод приведения квадратичной формы к каноническому виду, указанный в 1759 году Лагранжем. Описание Данный метод состоит в последовательном выделении в квадратичной… … Википедия

Физика — 1) Ф. и ее задачи. 2) Методы Ф. 3) Гипотезы и теории. 4) Роль механики и математики в Ф. 5) Основные гипотезы Ф.; вещество и его строение. 6) Кинетическая теория вещества. 7) Действие на расстоянии. 8) Эфир. 9) Энергия. 10) Механические картины,… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

ТЕЙЯР ДЕ ШАРДЕН — (Teilhard de Chardin) (Chardin) Мари Жозеф Пьер (1881 1955) фр. биолог, палеоантрополог, мыслитель гуманист. Принадлежал к ордену иезуитов. Участвовал в Первой мировой войне. В 1920 получил докторскую степень в Парижском католическом ун те. В… … Философская энциклопедия

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

ГОТЫ — [готоны, гутоны; лат. Gothi, Gotones; греч. Γότθοi], восточногерм. племена, по языку родственные сев. германцам; в V в. создали неск. гос в на бывш. территории Зап. Римской империи, в к рых офиц. вероисповеданием было христианство арианского… … Православная энциклопедия

Ляпунов — I Ляпунов Александр Михайлович [25.5(6.6).1857, Ярославль, 3.11.1918, Одесса], русский математик и механик, академик Петербургской АН (1901; член корреспондент 1900). Ученик П. Л. Чебышева. В 1880 окончил Петербургский университет. С 1885 … Большая советская энциклопедия

Источник

без ограничения общности

1 без ограничения общности

2 без ограничения общности

3 без ограничения общности

4 без ограничения общности

5 без ограничения общности

6 Без ограничения общности

7 без потери общности

8 без потери общности

9 без потери общности

См. также в других словарях:

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

CBC-MAC — В криптографии, CBC MAC является технологией построения аутенфикационного кода сообщения из блочного шифра. Сообщение шифруется при помощи некоторого блочного алгоритма шифрования в режиме CBC, для создания цепочки блоков с правилом каждый… … Википедия

ХАОС ДИНАМИЧЕСКИЙ — (хаос детерминированный) нерегулярное, апериодическое изменение состояния (движение) динамич. системы, обладающее осн. свойствами случайного процесса. Исследования свойств нелинейных динамич. систем показали, что для мн. таких систем характерно… … Физическая энциклопедия

ГОМОТОПИЧЕСКИЙ ТИП — класс гомотопически эквивалентных топологич. пространств. Отображения и наз. взаимно обратными гомотопическими эквивалентностями, если и Если выполнено только первое из этих соотношений, то gназ. гомотопически мономорфным отображением, а f… … Математическая энциклопедия

ДИОФАНТОВЫ УРАВНЕНИЯ — алгебраич. уравнения или системы алгебраич. уравнений с рациональными коэффициентами, решения к рых отыскиваются в целых или рациональных числах. Обычно предполагается, что Д. у. имеют число неизвестных, превосходящее число уравнений, в связи с… … Математическая энциклопедия

Источник