据我们展开的 C² 的领域扩展，任何 C² 句子在其关系受限于表示有向无环图、连通图、树（或有向树）、森林（或有向森林）时仍保持领域可提升，这提供了一个计算组合结构的通用框架。

Aug, 2023

研究图的逻辑和表达能力之间的关系，发现当且仅当图的树深度有限时，一阶逻辑和单调二阶逻辑在图的各类子集上具有相同的表达能力，在仅闭合于诱导子图的类上展示了类似的结果。

Apr, 2012

本文研究图论领域中的计数问题，特别是与最大匹配数和顶点覆盖数等相关的难度问题，并证明了存在 #W [1]-hard 难度的计数问题，包括计数路径的长度问题。

Jul, 2014

本研究将 van den Broeck 等人最近的对第二阶逻辑 FO2 下的对称加权一阶模型计数问题 (WFOMC) 多项式时间可解性证明，扩展到了两个独立方向：格式为 “phi 和∀∃^=1 psi” 的 FO2 句子以及在 FO 的一维均匀片段中构造的语句。同时，我们也鉴定了一阶前缀类的完整分类，以表明 WFOMC 在多项式时间或 Sharp-P_1 完备性之间的区别。

Apr, 2018

介绍一类称为 Graph Motif Parameters 的图参数，介绍如何根据这个框架更快地计算固定大小的子图在大图中的个数，以及针对一类这样的参数进行问题的复杂度二分，其中包括用于颜色保留的子图计数。

May, 2017

本文研究了用同构映射技术对图结构进行分析的方法，并通过引入颜色细化的广义，推广到了超图的结构分析。通过顶点彩色处理将超图和它的关联图中的同构映射联系起来，我们证明了当且仅当任何连通 Berig - 无圈超图 B 上的同构映射在两个超图 G 和 H 中的数量相同时，这种颜色细化的方法无法区分两个超图的结构。

Mar, 2019

本文研究的问题是，在部分边缘方向已知的情况下，如何计算马尔科夫等价类中有向无环图的数量。我们发现，这个问题在一个有趣的实例类中是可固定参数可解的，因为我们建立了一个计数算法，它所需要的时间是该图大小的多项式，其次数不依赖于作为输入提供的附加边的数量。

Jun, 2022

本文提出了一种用于计算标记等价类中 DAG 数量的技术，并显示在有限制图案下，所提出的算法是多项式时间的。此技术可用于均匀采样来枚举等价类中的 DAG，并可用于因果实验设计和估计联合干预的因果效应。

Feb, 2018

本文提出了一种基于有限数据进行稳健因果发现的算法 $k$-PC，通过对两个因果图的条件独立性约束进行比较建立了 $k$-Markov 等价。实验表明，$k$-PC 算法相较于传统 PC 算法，可以在小样本环境中实现更强大的稳健性。

Jan, 2023

通过 #- 超树分解来解决复杂性问题，该方法能够确定可计数问题的易处理类别，并精确刻画有界 #- 超树宽度特性对计数问题可处理性的边界。

Nov, 2023