Maximum Biclique for Star 1,2,3 -free and Bounded Bimodularwidth Twin-free Bipartite Graphs $\star$
IRIF, Université Paris Cité(IRIF,巴黎西岱大学)
针对三类最大双团问题中后两类为NP完全的现状,提出在无Star123无孪生顶点图与有界双模宽无孪生顶点图中高效求解三类问题的方法,明确了计算及对应分解的时间复杂度。
2025-10-06 cs.DM cs.DS
Almost balanced ordered biclique covering of graphs
National Institute of Technology Calicut(卡利卡特国家技术学院)
研究完全图K_n的最小双团覆盖大小f(n,k),要求每条边被覆盖1到k次且有序计数平衡,对一般k给出了几乎紧的界。
2026-06-11 cs.DM math.CO
A counterexample to the conjecture on Biclique Partition number of Split Graphs and related problems
National Institute of Technology Calicut(印度卡尔卡提国立技术学院)
本文通过构造Split图反例,推翻了biclique分解数与补图最大团数关系的猜想,并探讨了Split图biclique分解的结构性质及二元秩问题。
2026-04-07 cs.DM math.CO
Mixed Integer Programming for Searching Maximum Quasi-Bicliques
National Research University Higher School of Economics(俄罗斯国立高等经济研究大学);Steklov Mathematical Institute of Russian Academy of Sciences(俄罗斯科学院斯捷克洛夫数学研究所)
本文研究了二分图(偶图)中最大拟二分图的问题。偶图中的拟双团是它的“几乎”完全子图。完全性的放松可以有不同的理解;在这里,我们假设子图是$γ$ -拟二分图,如果它缺少一定数量的边来形成二分图,使得它的密度至少是$γ\in (0,1]$。对于一个偶图和一个固定的$γ$,寻找最大拟偶点的问题是寻找偶图的一个顶点子集,使得导出子图是一个拟偶点,并且它的大小是给定图的最大值.提出了几种基于混合规划(MIP)的搜索拟二阶图的模型,并对模型的工作效率进行了测试。另一种模型的启发biclustering制定和测试,该模型同时最大限度地提高准biclique和其密度的大小,使用最小二乘标准类似的三聚\textsc{TriBox}利用。
2020-02-23 cs.AI cs.DM cs.DS
Biclique decompositions from Welzl orders
Université libre de Bruxelles(布鲁塞尔自由大学);Georgia Institute of Technology(佐治亚理工学院);University of Leeds(利兹大学)
研究图边划分为完全二部子图(二部团分解)的问题,利用Welzl序证明低邻域复杂度图存在小尺寸分解,并推广到Zarankiewicz问题、矩阵乘法、量子电路复杂度和最短路径算法。
2026-10-15 cs.DM cs.DS math.CO
Compact Representation of Semilinear and Terrain-like Graphs
研究图的二团覆盖紧凑表示,证明半线性图具有近线性大小二团覆盖,类地形图具有 $O(n\log^3 n)$ 二团划分,并给出单位圆盘图下界。
2025-06-30 cs.CG cs.DM math.CO
On the generalized Helly property of hypergraphs, cliques, and bicliques
一个集合族是$(p,q)$ -相交的,如果$p$或更少的集合的每个非空子族在它的总交中至少有$q$元素.一个集合族具有$(p,q)$ -Helly性质,如果每个非空的$(p,q)$ -相交子族的基数的全交至少为$q$ . $(2,1)$ -Helly属性是通常的Helly属性。一个超图是$(p,q)$ -Helly,如果它的边族具有$(p,q)$ -Helly性质,如果它的每个子超图都具有$(p,q)$ -Helly性质,则它是遗传的$(p,q)$-Helly.一个图是$(p,q)$ -candle-Helly,如果它的最大团族具有$(p,q)$ -Helly性质,如果它的每个诱导子图都是$(p,q)$ -candle-Helly,则它是遗传的$(p,q)$-candle-Helly.类似地定义了$(p,q)$ -双连通-Helly图类和遗传$(p,q)$ -双连通-Helly图类。我们证明了遗传$(p,q)$ -Helly超图的几个特征,其中一个特征是用最小禁止部分超图刻画的.对于每个固定的$q$,我们给出了一个改进的识别$(p,q)$ -Helly超图的时间界,并证明了如果$p$和$q$是固定的,则遗传的$(p,q)$ -Helly超图的识别可以在多项式时间内解决,但如果$p$是输入的一部分,则是co-NP-完全的.此外,我们还将$p$-cohes-Helly图的扩张刻画推广到…
2022-01-29 cs.DM math.CO
Intersection graph of maximal stars
图$G$的一个偶团是$G$的一个导出完全偶子图,使得它的两个部分都不为空。一个星形是$G$的一个二角体,使得一个部分正好有一个顶点。$G$的星图是$G$的极大星的交图。一个图$H$是星临界的,如果它的星图不同于它的任何一个真诱导子图的星图。我们首先提出了一个约束的大小上的星临界前图像的星形图的顶点数的二次函数,然后继续描述这个图形类的克劳斯型表征,我们结合这些结果显示成员资格的识别问题\textsf{NP}。我们还介绍了星图的一些性质。特别是,我们表明,它们是双连通的,每一个边缘属于至少一个三角形,表征的结构的原像必须有,以产生度两个顶点,并绑定的星图的直径相对于其原像的直径。最后,我们证明了一个单调性定理,我们应用该定理列出了至多八个顶点的星图。
2019-11-24 cs.DM math.CO
Algorithmic methods of finite discrete structures. Isomorphism of Nonseparable Graphs
本专著提出以边割谱和边循环谱作为基本数学结构,基于关联矩阵构造图的不变量,证明其独立于顶点和边的编号,并给出判定不可分离图同构的充分必要条件。
2024-06-12 cs.DM math.CO
Optimal and Efficient Partite Decompositions of Hypergraphs
Carnegie Mellon University(卡内基梅隆大学)
本文研究d-均匀超图的完全d-部超图边划分问题,得到顶点所属部集数的更优上界,解决多个长期悬而未决的公开问题,同时给出固定密度图的高效最优二团划分构造及相关算法应用。
2025-11-14 cs.DM cs.DS math.CO
Recovering Nonuniform Planted Partitions via Iterated Projection
在种植划分问题中,随机图的$n$顶点被划分成$k$“簇”,并且相同簇和不同簇中的顶点之间的边分别以恒定概率$p$和$q$被包括(其中$0 \le q < p \le 1$)。我们给出了一个有效的频谱算法,恢复集群的概率很高,提供的任何两个集群的大小是非常接近或分离的$\geq Ω(\sqrt n)$。我们还讨论了一个推广的种植划分算法,其中算法的输入不是一个随机图,而是一个随机实对称矩阵与独立的上对角元素。我们的算法是一个适应以前的算法的统一的情况下,即,当所有簇的大小为$n / k \geq Ω(\sqrt n)$时。原始算法通过迭代投影逐个恢复聚类:它在随机图的邻接矩阵的主$k$维特征空间上构造正交投影算子,用它恢复其中一个聚类,然后删除它并在剩余的顶点上递归。我们在这里表明,一个类似的算法在非均匀的情况下。
2017-08-22 cs.DM cs.DS
A Method to Compute the Sparse Graphs for Traveling Salesman Problem Based on Frequency Quadrilaterals
针对旅行商问题(TSP)的稀疏图问题,设计了一种基于频率四边形的迭代算法,以降低TSP算法的计算时间。在每个计算周期,该算法首先计算输入图G(V,E)中具有包含e的N个频率四边形的边e的平均频率\bar{f}(e)。然后,具有低频率的1/3 |E|边缘被消除,以生成具有较少数目的边缘的输出图。该算法可以迭代多次,并以很高的概率保持原来的最佳哈密顿循环。实验结果表明,该算法计算的稀疏图的O(nlog_2n)的边缘包含原来的最佳哈密尔顿圈的TSP的TSPLIB中的大多数实例。算法的时间复杂度为O(Nn^2)。
2018-01-29 cs.DM
Linear-Time Algorithms for Geometric Graphs with Sublinearly Many Edge Crossings
我们提供了线性时间算法的几何图形与次线性许多交叉。也就是说,我们提供的算法运行在O(n)时间的连接几何图有n个顶点和k个交叉,其中k小于n的迭代对数因子。我们研究的具体问题包括沃罗诺伊图和单源最短路径。我们的算法都运行在线性时间在标准的比较为基础的计算模型,因此,我们不做任何假设的分布或位的边缘权重的复杂性,我们也不利用不寻常的位级操作的内存字。相反,我们的算法是基于一个平面化的方法,“零”的边缘交叉,连同方法扩展平面分离器分解几何图形与次线性许多交叉。顺便说一句,我们的平面化算法也解决了一个开放的计算几何问题的Chazelle三角形的自相交的多边形链具有n段和k交叉在线性时间,当k是次线性n的情况下,通过迭代对数因子。
2009-05-14 cs.CG cs.DM cs.DS
On Euler Paths and the Maximum Degree Growth of Iterated Higher Order Line Graphs
Indian Institute of Technology Kharagpur(印度理工学院卡拉格普尔分校);Max Planck Institute for Informatics(马克斯·普朗克信息学研究所)
研究了高阶线图的欧拉路径存在性及最大度增长,提出了一种高效算法并确定了最大度的渐进行为。
2026-02-10 cs.DM math.CO
Watersheds, waterfalls, on edge or node weighted graphs
Centre de Morphologie Mathématique(数学形态学中心);Mines-ParisTech(巴黎高等矿业学院)
我们提出了一个代数方法的分水岭适应边或节点加权图。从洪泛附加开始,我们引入了洪泛图,其中节点和边的权重可以从另一个推导出来。每个节点加权图或边加权图都可以在洪泛图中变换,这表明使用一个或另一个没有优势,两者都是等价的。然后,我们引入修剪算子提取子图的陡度增加。对于增加的陡度,从不上升的路径的数量变得越来越少。这减少了集水区,在那里集水盆地重叠。最后一个修剪算子称为边缘关联到区域最小值之外的每个节点,并且只有一个边缘。这个新图形的集水盆地不重叠,并形成一个分水岭分区。同样,随着陡度的增加,图中包含的不同分水岭分区的数量变得越来越小。最终,对于自然图像,无限陡度导致唯一解,因为两个绝对相同的无限陡度的非上升路径不太可能连接具有两个不同极小值的节点。它碰巧是给定陡度的非上升路径是给定深度的字典距离函数的测地线。这允许提取的分水岭分区作为骨架的影响区的最小值,这样的字典距离。瀑布层次结构是通过一系列操作获得的。第一种方法是构造一个跨越初始分水岭分区的最小生成森林。将树收缩成一个节点产生一个简化图,该简化图可以被提交给相同的处理。重复该过程,直到只剩下一个区域。所有生成的森林的边的并集构成初始图的最小生成树。
2012-04-12 cs.CV cs.DM