用于识别真圆弧图的认证动态算法

我们提出一种用于识别真圆弧（PCA）图的动态算法，该算法支持顶点（连同其关联边）的插入和删除。该算法的主要特征是，当顶点插入失败时，它输出一个极小非PCA诱导子图。每次操作花费$O(\log n + d)$时间，其中$n$为顶点数，$d$为被修改顶点的度。当不允许删除时，每次插入在$O(d)$时间内处理。该算法还提供两个常数时间操作来查询动态图是否为真Helly（PHCA）或真区间（PIG）图。当动态图不是PHCA（相应地为PIG）时，获得一个极小非PHCA（相应为非PIG）诱导子图。