Точное заключение

Treewidth

Мера структурной сложности графа, определяющая эффективность точного вывода, определяемая как максимальный размер клик минус один в оптимальном древовидном разложении.

← Назад