二次时间上部分立方体的识别

Recognizing Partial Cubes in Quadratic Time

David Eppstein

备注：: 25 pages, five figures. This version significantly expands previous versions, including a new report on an implementation of the algorithm and experiments with it
发表信息：: Journal of Graph Algorithms and Applications 15(2) 269-293, 2011

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们展示了如何测试一个有n个顶点和m条边的图是否是部分立方体，如果是的话，如何在接近最优的时间界O（n^2）内找到一个图到超立方体的距离保持嵌入，改进了以前的O（nm）时间解决方案。

英文摘要：

We show how to test whether a graph with n vertices and m edges is a partial cube, and if so how to find a distance-preserving embedding of the graph into a hypercube, in the near-optimal time bound O(n^2), improving previous O(nm)-time solutions.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

线性时间中值图的中值及其立方复形

Medians in median graphs and their cube complexes in linear time

图$G$的顶点集$P$的中值是使$G$的所有顶点$x$到$P$的所有顶点的距离之和最小化的$x$的所有顶点的集合。在本文中，我们提出了一个线性时间算法来计算中位数图中的中位数，改进了现有的二次时间算法。我们还提出了一个线性时间算法来计算中位数的$\ell_1$立方体复合体与中位数图。中值图构成了度量图论中研究的主要图类，并且由于它们与CAT（0）立方复形和事件结构域的双射而具有丰富的几何和组合结构。我们的算法是基于多数规则的中位数在中位数图的特征和并行类的边缘（$Θ$ -类或超平面）的快速计算，通过字典广度优先搜索（LexBFS）。为了证明算法的正确性，我们证明了$G$的任意顶点的LexBFS排序满足以下独立兴趣的同路者性质：$G$的任意两个相邻顶点的父节点也是相邻的.利用$Θ$类的快速计算，我们还计算了线性时间内$G$的Wiener指标（总距离）和最优二次时间内的距离矩阵。

2020-07-23cs.DMcs.DSmath.CO

二次时间算法用于最大权重(k,ℓ)-稀疏子图问题

Quadratic-Time Algorithm for the Maximum-Weight $(k, \ell)$-Sparse Subgraph Problem

本文提出一种二次时间算法，用于解决最大权重(k,ℓ)-稀疏子图问题，该算法结合高效数据结构和精细分析，应用于刚性理论中的关键问题。

2025-11-25cs.CGcs.DMcs.DS

再论Ising分拆函数的零点和近似

More on zeros and approximation of the Ising partition function

我们考虑计算分拆函数$\sum_x e^{f(x)}$的问题，其中$f: \{-1, 1\}^n \longrightarrow {\Bbb R}$是布尔立方体$\{-1, 1\}^n$上的二次或三次多项式。在一个二次多项式$f$的情况下，我们表明，分拆函数可以近似在准多项式$n^{O(\ln n - \ln ε)}$时间内的相对误差$0 < ε< 1$，如果Lipschitz常数的非线性部分的$f$相对于布尔立方体上的$\ell^1$度量不超过$1-δ$，对于任何$δ>0$，预先固定。对于三次多项式$f$，我们在更强的条件下得到了同样的结果。我们应用多项式插值的方法，证明了在满足上述条件的实值$f$的邻域中，复值多项式$\tilde{f}$的$\sum_x e^{\tilde{f}(x)} \ne 0$满足上述条件。边界是渐近最优的。零自由区的结果被解释为在相应的伊辛模型中没有李-杨意义上的相变。边界的新特征是它们控制每个顶点的总交互，但不是顶点集的每个单个交互。

2021-05-10cs.DSmath-phmath.CO

求中值图的直径和所有偏心率的次二次时间算法

Subquadratic-time algorithm for the diameter and all eccentricities on median graphs

在稀疏图上，Roditty和Williams [2013]证明了没有$O(n^{2-\varepsilon})$ -时间算法实现小于直径问题的$\frac{3}{2}$的近似因子，除非SETH失败。在这篇文章中，我们解决了一个公开的问题，制定在文献中：我们可以使用中位数图的结构特性，以打破这一全球二次障碍？我们提出了第一个组合算法，在真正的次二次时间内精确计算中值图的所有偏心率。中值图构成了度量图论中研究最多的图族，因为它们的结构代表了许多其他离散和几何概念，例如CAT（0）立方体复形。我们的结果推广了最近的一个结果，指出有界维数为$d$（即最大诱导超立方体的维数）的中值图的所有偏心率都存在一个线性时间算法。$d$的这个先决条件不再是确定次二次时间中所有偏心率的必要条件。我们的算法的执行时间是$O(n^{1.6408}\log^{O(1)} n)$。我们还提供了一些卫星的结果与此相关的一般结果。特别是，仅限于单纯形图，该算法列举了所有的偏心率与准线性运行时间。此外，提出了一种算法来精确计算所有到达中心的时间$O(2^{3d}n\log^{O(1)}n)$。

2023-01-23cs.CCcs.DS