图形算法与应用杂志

https://jgaa-v4.cs.brown.edu/index.php/jgaa/issue/feed 图形算法与应用杂志 2024-09-10T16:00:07+00:00 发布编辑器 fabrizio.montecchiani@unipg.it 开放式日志系统 《图形算法与应用杂志》（Journal of Graph Algorithms and Applications）是一本同行评议的科学期刊，致力于发表关于图形算法的分析、设计、实现和应用的高质量研究论文JGAA由杰出的咨询和编辑委员会支持，具有较高的科学标准，并以电子形式分发。此外，JGAA是<a style=“background-color:#ffffff；font-size:0.875rem；”href=“https://dblp.org/db/journals/jgaa/index.html“data-auth=”NotApplicable“data-linkindex=”5“>由DBLP索引；“>。 https://jgaa-v4.cs.brown.edu/index.php/jgaa/article/view/2965 WALCOM 2023专刊：客座编辑前言 2024-08-30T14:00:10+00:00 林春成伯特兰·M·T·林朱塞佩·利奥塔

WALCOM 2023专刊：客座编辑前言

2024-09-10T00:00:00+00:00 版权所有（c）2024 Chun-Cheng Lin，Bertrand M.-T.Lin，Giuseppe Liotta https://jgaa-v4.cs.brown.edu/index.php/jgaa/article/view/2968 最大支撑树边缘引起的穿孔径盘 2024-09-08 T14:05:23+00:00 A.卡里姆·阿布·阿法什帕斯·卡米梅塔尔·马曼

设$p$是平面上的一组点，$T$是$p$的最大权生成树 对于边$（p，q）$，设$D_{pq}$是由$（p、q）$诱导的直径圆盘，即具有线段$\上划线{pqneneneep$作为其直径的圆盘。让$\cal{D} _T（_T）$是$T$的边诱导的直径盘集 在本文中，我们证明一个点足以穿透$\cal中的所有磁盘{D} _T（_T）$. 实际上，我们证明了$P$的最小包围圈的中心包含在$\cal的所有磁盘中{D} _T（_T）$，因此可以在线性时间内计算穿孔点（第页）

2024-09-10T00:00:00+00:00 版权所有（c）2024 A.Karim Abu-Affash，Paz Carmi，Meytal Maman https://jgaa-v4.cs.brown.edu/index.php/jgaa/article/view/2969 基于社区的网络中的图形刻录 2024-09-08 T14:20:29+00:00 根纳罗·科尔达斯科路易斯·加加诺阿黛尔·雷西尼奥

图形烧录是一个确定的离散时间过程，可以用于建模影响或传染在图形中的传播方式。在图形刻录过程中，每个节点开始处于休眠状态，并随着时间的推移变得通知/刻录；当一个节点被烧毁时，它将一直保持烧毁状态，直到进程结束。在每一轮中，可以烧毁网络中的一个新节点（火源）。一旦节点在$t$轮中烧毁，在$t+1$轮中，它的每个休眠邻居都会被烧毁。烧毁所有节点后，进程结束；目标是最小化轮数 我们研究了图形刻录的一种变体，以便对基于社区的网络中的传播过程进行建模。对于特定的信息，当该信息到达至少规定数量的成员时，社区就会感到满意。具体来说，我们考虑了根据图燃烧过程确定满足网络所有社区的最小长度节点序列的问题。 我们从近似的角度研究这个NP-hard问题，显示了一个下界和一个匹配的上界。我们还研究了社区数为常数的情况，并说明了如何使用常数近似因子来解决该问题 此外，我们考虑最大化满意组的数量的问题，给定轮数预算$k$（第页）

2024-09-10T00:00:00+00:00 版权所有（c）2024 Gennaro Cordasco，Luisa Gargano，Adele A.Rescigno https://jgaa-v4.cs.brown.edu/index.php/jgaa/article/view/2970 将平面图拆分为外平面性 2024-09-08 T14:29:17+00:00 马丁·格罗尼曼马丁·诺伦伯格阿纳伊斯·维尔迪厄

顶点分割将顶点替换为两个副本，并将其入射边划分为多个副本。这个问题作为一个图形编辑操作进行了研究，以通过尽可能少的分割（通常是平面性）来获得所需的属性，对于这个问题是NP-hard 在这里，我们研究如何最小化分割次数，以将平面图转换为外平面图。我们通过在将平面图拆分为外平面、找到连通的面覆盖和在其对偶中找到反馈顶点集之间建立直接联系来解决这个问题。我们证明了平面双连通图的NP-完全性，同时证明了极大平面图存在多项式时间算法。此外，我们还给出了某些极大平面图族的上界和下界。最后，我们提供了该问题的SAT公式，并在一个小基准上进行了评估

2024-09-10T00:00:00+00:00 版权所有（c）2024 Martin Gronemann，Martin Nöllenburg，Anaís Villedieu https://jgaa-v4.cs.brown.edu/index.php/jgaa/article/view/2971 大图中诱导子图的证明 2024-09-08 T14:38:53+00:00 乌尔里希梅尔 Hung Tran公司康斯坦蒂诺斯·察卡利迪斯

我们介绍了用于识别二部图、分裂图、阈值图、二部链图和平凡完美图的I/O高效证明算法 当输入图是相应类的成员时，验证算法返回一个表征该类的证书 否则，它返回一个禁止的诱导子图作为非成员身份的证书 在一个具有$n$个顶点和$m$个边的图上，对于分割图、阈值图和平凡完美图，我们的算法在最坏情况下取$\mathcal O（\text{sort}（n+m））$I/O 在相同的复杂度下，二部和二部链图可以以较高的概率被证明 我们提供了分割图和阈值图的实现和实验评估（第页）

2024-09-10T00:00:00+00:00 版权所有（c）2024 Ulrich Meyer，Hung Tran，Konstantinos Tsakalidis https://jgaa-v4.cs.brown.edu/index.php/jgaa/article/view/1972 图中永恒顶点覆盖问题的一些算法结果 2024-09-08 T14:50:29+00:00 考斯塔夫·保罗阿蒂·潘迪

永恒顶点覆盖问题是顶点覆盖问题的一种变体。这是一个两层（攻击者和防御者）游戏，在给定图$G=（V，E）$的情况下，防御者需要在某些顶点分配守卫，以便分配的顶点形成顶点覆盖。攻击者可以一次攻击一条边，防御者需要沿着边移动防护装置，以便至少有一个防护装置穿过被攻击的边，并且新配置仍然是顶点覆盖。如果防守方没有这样的动作，进攻方获胜。如果存在一种策略来保护图形免受无限序列的攻击，则防御者获胜。防御者能够形成获胜策略的最小守卫数称为$G$的永恒顶点覆盖数，用$evc（G）$表示。给定一个图$G$，求永恒顶点覆盖数的问题对于一般图是NP-hard，即使对于二部图也是NP-hard。我们给出了求链图和$P_4$-稀疏图中永恒顶点覆盖数的多项式时间算法。对于弦图的一个重要子类分裂图，我们还给出了求其永恒顶点覆盖数的线性时间算法（第页）

我们引入并研究了（内部）顶点不相交最短路径的重构问题： 给定无权图中固定终端对的两个内部顶点不相交的最短路径元组，我们被要求通过一次交换元组中一条最短路径的单个顶点来确定是否可以将一个元组转换为另一个，以便所有中间结果仍然是内部顶点不相交的最短路径元组 我们还研究了该问题的最短变量，即，如果存在，我们希望最小化这种转换所需的顶点交换步骤数 这些问题概括了研究得很好的最短路径重构问题 在本文中，我们从图类的角度分析了这些问题的复杂性，并给出了一些有趣的对比（第页）