星与梳的对偶定理 IV：不可支配星

在一系列四篇论文中，我们确定了在互补意义上与星或梳的存在相对偶的结构。在本系列第一篇中，我们确定了与任意星或梳互补的结构。星与梳可以组合，既有正向也有负向。在本系列第二和第三篇中，我们给出了除一种组合外所有可能组合的对偶定理。在系列的这第四篇也是最后一篇论文中，我们通过给出缺失部分——不可支配星——的对偶定理，完成了寻找星、梳及其组合互补结构的问题的解答。我们的对偶定理用端点紧化子图、树分解和区分缠结的分离集来表述。