Логотип
Юнионпедия
Связь
Доступно в Google Play
Новый! Скачать Юнионпедия на вашем Android™ устройстве!
Свободно
Более быстрый доступ, чем браузер!
 

Доминатор (теория графов)

Индекс Доминатор (теория графов)

Доминатор в теории графов — бинарное отношение на узлах ориентированного графа с выделенным входным узлом, показывающее преимущество при прохождении пути от входного узла: узел d графа доминирует над узлом n (записывается как d\,\mathrm\,n или d \gg n), если любой путь от входного узла графа к n проходит через d. В частности, каждый узел доминирует над самим собой.

9 отношения: SSA, Ориентированный граф, Алгоритм CDCL, Антисимметричное отношение, Транзитивность, Теория графов, Задача выполнимости булевых формул, Граф потока управления, 1959 год.

SSA

SSA (Static single assignment form) — промежуточное представление, используемое компиляторами, в котором каждой переменной значение присваивается лишь единожды.

Новый!!: Доминатор (теория графов) и SSA · Узнать больше »

Ориентированный граф

right Ориентированный граф (кратко орграф) — (мульти) граф, рёбрам которого присвоено направление.

Новый!!: Доминатор (теория графов) и Ориентированный граф · Узнать больше »

Алгоритм CDCL

Алгоритм CDCL (conflict-driven clause learning — «управляемое конфликтами обучение дизъюнктам») — основанный на алгоритме DPLL эффективный решатель (NP-полных) задач выполнимости булевых формул (SAT-решатель).

Новый!!: Доминатор (теория графов) и Алгоритм CDCL · Узнать больше »

Антисимметричное отношение

В математике бинарное отношение R на множестве X называется антисимметричным, если для каждой пары элементов множества a, b выполнение отношений a R b и b R a влечёт a.

Новый!!: Доминатор (теория графов) и Антисимметричное отношение · Узнать больше »

Транзитивность

Транзитивность — свойство бинарного отношения.

Новый!!: Доминатор (теория графов) и Транзитивность · Узнать больше »

Теория графов

Граф с шестью вершинами и семью рёбрами Тео́рия гра́фов — раздел дискретной математики, изучающий свойства графов.

Новый!!: Доминатор (теория графов) и Теория графов · Узнать больше »

Задача выполнимости булевых формул

Зада́ча выполни́мости бу́левых фо́рмул (SAT или ВЫП) — важная для теории вычислительной сложности алгоритмическая задача.

Новый!!: Доминатор (теория графов) и Задача выполнимости булевых формул · Узнать больше »

Граф потока управления

date.

Новый!!: Доминатор (теория графов) и Граф потока управления · Узнать больше »

1959 год

Мануэль Уррутиа, Эрнесто Че Гевара и Камило Сьенфуэгос в январе 1959 года.

Новый!!: Доминатор (теория графов) и 1959 год · Узнать больше »

ИсходящиеВходящий
Привет! Мы на Facebook сейчас! »