机构名称：
¥ 4.0
我们引入结构化分解。这些是类别理论数据结构，它们同样从图理论中概括了概念（包括树宽度，分层树宽度，共树宽度和图形分解宽度），地理群体理论（特定的低音低音理论）和动态系统（例如，混合动力学系统）。此外，结构化的分解使我们能够将这些上述组合不变性概括为新的环境中的结构和算法组成的研究，它们在结构和算法的组成性研究中起着Central的作用。例如，在任何类别中，它们都描述了算法上有用的结构组成：作为我们理论的应用，我们证明了用于组成问题的算法元理论。从具体的术语中，当在图表的猫效中实例化时，该元理论会产生NP- hard问题的组成算法，例如：m aximim b ibartite s ubgraph，m aximim p lanar s ub -
结构化分解
主要关键词
相关文件推荐
