Под дизъюнктом я предполагаю, что вы имеете в виду, что любые два треугольника даже не разделяют вершину.
Это будет NP-Hard.
Разделение на треугольники - этоNP-Complete, и может быть сведен к вашей задаче.
Путем построения графика треугольников: каждый треугольник является вершиной, и два треугольника являются смежными, если они совместно используют узел.Вы можете свести ее к самой большой проблеме независимых множеств, которая, вероятно, содержит много литературы по алгоритмам / алгоритмам аппроксимации и т. Д.