An extremal problem on potentially $K_{m}-C_{4}$-graphic sequences
序列$S$是潜在的$K_{m}-C_{4}$ -图形的,如果它有一个实现包含一个$K_{m}-C_{4}$作为子图。令$σ(K_{m}-C_{4}, n)$表示最小度和使得每个具有$σ(S)\geq σ(K_{m}-C_{4}, n)$的$n$项图序列$S$是潜在$K_{m}-C_{4}$ -图的。本文证明了$σ(K_{m}-C_{4}, n)\geq (2m-6)n-(m-3)(m-2)+2,$对$n \geq m \geq 4.$成立。我们猜想等式对$n \geq m \geq 4.$成立。我们证明了这个猜想对$m=5$成立。
2006-07-07 math.CO
An extremal problem on potentially $K_{m}-P_{k}$-graphic sequences
序列$S$是潜在的$K_{m}-P_{k}$图形的,如果它有一个实现包含一个$K_{m}-P_{k}$作为子图。令$σ(K_{m}-P_{k}, n)$表示最小度和,使得每个具有$σ(S)\geq σ(K_{m}-P_{k}, n)$的$n$项图形序列$S$潜在地是$K_{m}-P_{k}$图形的。本文证明了$σ(K_{m}-P_{k}, n)\geq (2m-6)n-(m-3)(m-2)+2,$对$n \geq m \geq k+1\geq 4.$的等价性。我们猜想等式对$n \geq m \geq k+1\geq 4.$成立。我们证明了这个猜想对$m=k+1=5$和$m=k+2=5$成立。
2006-07-07 math.CO
An extremal problem on potentially $K_{p,1,1}$-graphic sequences
序列$S$是潜在$K_{p,1,1}$图形的,如果它有一个实现包含一个$K_{p,1,1}$作为子图,其中$K_{p,1,1}$是一个完全的3部图,其分区大小为$p,1,1$。令$σ(K_{p,1,1}, n)$表示使得每个具有$σ(S)\geq σ(K_{p,1,1}, n)$的$n$项图形序列$S$潜在地是$K_{p,1,1}$图形的最小度和。本文证明了$σ(K_{p,1,1}, n)\geq 2[((p+1)(n-1)+2)/2]$对于$n \geq p+2.$我们猜想等式对于$n \geq 2p+4.$成立我们证明了这个猜想对于$p=3$成立.
2006-07-07 math.CO
An efficient algorithm to test forcibly-biconnectedness of graphical degree sequences
给出了一个判定给定图的度序列是否是强制双连通的算法,并证明了算法的正确性。该算法的最坏情况下的运行时间复杂度是指数,但仍然比以前的基本算法在\cite{Wang2018}。我们通过实验评估表明,该算法是有效的平均。我们还采用Ruskey等人的经典算法来枚举长度为$n$的无零图度序列和Barnes和Savage的经典算法来枚举偶数$n$的图划分,并将我们的测试算法与他们的算法相结合,得到了关于给定长度为$n$的强制双连通图度序列和给定偶数$n$的强制双连通图划分的一些计数结果.在此基础上,我们得到了如下结果:当$n$较大时,(1)长度为$n$的强制双连通图度序列在所有长度为$n$的无零图度序列中所占的比例在0和1之间渐近为常数;(二)偶数$n$的强制双连接图形分区在$n$的所有强制连接图形分区中的比例为渐近0
2018-05-03 math.CO
An extremal problem on potentially $K_{p_{1},p_{2},...,p_{t}}$-graphic sequences
一个序列$S$是潜在$K_{p_{1},p_{2},...,p_{t}}$图形的,如果它有一个实现包含一个$K_{p_{1},p_{2},...,p_{t}}$作为一个子图,其中$K_{p_{1},p_{2},...,p_{t}}$是一个完全的t-部图,分区大小为$p_{1},p_{2},...,p_{t} (p_{1}\geq p_{2}\geq ...\geq p_{t} \geq 1)$。令$σ(K_{p_{1},p_{2},...,p_{t}}, n)$表示使得每个具有$σ(S)\geq σ(K_{p_{1},p_{2},...,p_{t}}, n)$的$n$项图形序列$S$潜在地是$K_{p_{1},p_{2},...,p_{t}}$图形的最小度和。本文证明了对于$n \geq p_{1}+p_{2}+...+p_{t}, i=2,3,...,t.$的$σ(K_{p_{1},p_{2},...,p_{t}}, n)\geq 2[((2p_{1}+2p_{2}+...+2p_{t}-p_{1}-p_{2}-...-p_{i}-2)n -(p_{1}+p_{2}+...+p_{t}-p_{i})(p_{i}+p_{i+1}+...+p_{t}-1)+2)/2]$
2004-08-24 math.CO
A simple Havel-Hakimi type algorithm to realize graphical degree sequences of directed graphs
判定给定的有限正整数序列是否能作为单图的度序列出现的最简单方法之一是Havel和Hakimi的贪婪算法。本文将他们的方法推广到有向图。研究了几种简单的禁止边集的情形。最后,证明了一个结果,这是有用的设计MCMC算法来寻找指定的有向度序列的随机实现。
2010-01-21 math.CO
Sufficient Conditions for Graphicality of Bidegree Sequences
有各种各样的现有条件的程度序列是图形。当一个度序列满足这些条件中的任何一个时,存在一个实现该序列的图。我们制定了几个新的充分的graphicality标准,依赖于在序列中的元素的数量,对应于在一个相关联的图中的节点的数量,和序列的平均度。这些条件是用有向图的二度序列来表示的,比经典的涉及多个不等式的图性充要条件更容易应用。它们也比最近的图性条件更灵活,因为它们暗示了那些条件不涵盖的某些度序列的图性。我们的结果的形式将允许他们很容易地用于生成图与特定的度序列的应用程序。
2016-10-21 cs.DM math.CO
An efficient algorithm to test forcibly-connectedness of graphical degree sequences
给出了一个判定图的度序列是否强连通的算法,并证明了算法的正确性。我们还概述了算法的扩展,以测试是否一个给定的图形度序列是强制$k$连接或不为每个固定的$k\ge 2$。我们通过实验评估表明,该算法是有效的平均,虽然它的最坏情况下的运行时间可能是指数。将我们的测试算法与Ruskey等人的经典算法相结合,我们还采用Ruskey等人的经典算法来枚举长度为$n$的无零图度序列和Barnes和Savage的经典算法来枚举偶数$n$的图划分,得到了关于给定长度为$n$的强连通图度序列和给定偶数$n$的强连通图划分的一些计数结果.在此基础上,我们得到了如下结果:当$n$较大时,(1)长度为$n$的几乎所有无零图度序列都是强制连通的;(2)偶数$n$的几乎所有图划分都是强制连通的.
2018-03-02 cs.DS math.CO
An Improved Algorithm for Counting Graphical Degree Sequences
我们提出了一个改进的版本,以前的有效算法,计算的数量$D(n)$的零自由图形度序列的长度$n$。改进的一个主要成分在于更有效地计算Barnes和Savage的函数$P(N,k,l,s)$。我们进一步表明,该算法可以很容易地适应计算$D(i)$值的所有$i\le n$在一个单一的运行。理论分析表明,新算法计算所有的$D(i)$值的$i\le n$是一个常数倍,比以前的算法计算一个单一的$D(n)$。实验评估表明,改进常数约为10。我们还进行了模拟,以估计$D(n)$的渐近顺序,通过从固定长度$n$的$E(n)$整数分区的集合中生成均匀的随机样本,其中偶数和和最大部分小于$n$,并计算它们是图形度序列的比例。已知的数值结果的$D(n)$ $n\le 290$连同已知的界限的$D(n)$和模拟结果,使我们能够作出明智的猜测其未知的渐近阶。改进算法的技术可以应用于计算其他类似的函数,这些函数计算$n$阶的各类图的图的度序列的数目,并且都涉及函数$P(N,k,l,s)$。
2018-06-26 math.CO
An Extremal Problem On Potentially $K_{r+1}-H$-graphic Sequences
令$K_k$、$C_k$、$T_k$和$P_{k}$分别表示$k$顶点上的完全图、$k$顶点上的圈、$k+1$顶点上的树和$k+1$顶点上的路。设$K_{m}-H$是从$K_{m}$通过去除图$H$的边集$E(H)$而获得的图($H$是$K_{m}$的子图)。序列$S$是潜在的$K_{m}-H$ -图形的,如果它有一个实现包含一个$K_{m}-H$作为子图。令$σ(K_{m}-H, n)$表示最小度和使得每个具有$σ(S)\geq σ(K_{m}-H, n)$的$n$项图序列$S$是潜在$K_{m}-H$ -图的。在本文中,我们确定$n\geq 4r+10, r\geq 3, r+1 \geq k \geq 4$的$σ(K_{r+1}-H, n)$的值,其中$H$是$k$顶点上的一个图,它包含一个4顶点的树,但不包含一个3顶点的圈。我们还确定了$n\geq 4r+8, r\geq 3$的$σ(K_{r+1}-P_2, n)$值。在$k$顶点上有许多图包含4个顶点的树但不包含3个顶点的圈(例如$k$顶点上的圈、$k$顶点上的树和$k$顶点上的完全2部图等)。
2009-11-17 math.CO
Degree Sequences and the Existence of $k$-Factors
我们考虑了度序列$π$是强制$k$ -因子图的充分条件.我们注意到,以前的工作程度和因素主要集中在寻找条件的程度序列是潜在的$k$ -因素图形。我们首先给出了一个定理,$π$是强制1-因子图形,更一般地说,强制图形与不足至多$β\ge0$。这些定理在强度上等同于Chvátal的著名的哈密顿定理,即,哈密顿性的最佳单调度条件然后,我们给出了一个同样强的定理,$π$是强制2-因子图形。不幸的是,在从$k=1$到$k=2$的过程中,必须检查的非冗余条件的数量显著增加,并且我们推测,对于$k$ -因子的最佳单调定理中的非冗余条件的数量将在$k$中超多项式地增加。这表明希望找到一个定理$π$强制$k$ -因子图形的算法复杂性增长更慢。在最后一节中,我们提出了这样一个定理的任何$k\ge2$,基于Tutte的著名的因子定理。虽然这个定理是不是最好的单调,我们表明,它仍然是紧在一个精确的方式,并给出例子说明这种紧密性。
2011-03-08 math.CO
On triangular biregular degree sequences
本文研究了三角图与度序列问题,猜想所有项均大于等于4的图度序列都有三角实现,并对一类双正则图度序列证明了该猜想。
2023-03-31 math.CO
An Efficient Algorithm to Generate all Labeled Triangle-free Graphs with a given Graphical Degree Sequence
Georgia Southern University(佐治亚南方大学)
本文提出了一种高效算法,用于生成具有特定图度序列的无三角形标号图,并通过剪枝技术提高效率。
2026-01-22 cs.CC math.CO
Some Remarks on Graphical Sequences for Graphs and Bipartite Graphs
对于有限正整数序列$\underbar{\em d}$,我们考虑以$\underbar{\em d}$作为顶点度列表的图,以及以$\underbar{\em d}$作为顶点度列表的二部图.特别地,我们把Alon,Ben-Shimon和Krivelevich关于二部图的一个结果与Zverovich和Zverovich关于图的一个结果联系起来,并给出了Zverovich和Zverovich的一个结果的改进.我们证明了顶点度序列为$(\underbar{\em d},\underbar{\em d}\,)$的二部图与顶点度序列为约简度序列为$\underbar{\em d}$的圈图一一对应,其中顶点的约简度定义为与顶点关联的边的个数,圈数只计一次.我们还给出了带圈图的两个Erdens-Gallai型定理。
2013-03-08 math.CO
Constructing, sampling and counting graphical realizations of restricted degree sequences
随着当前网络理论(特别是与社会和生物网络有关的网络理论)的兴起,人们对给定度序列的实现重新产生了兴趣。在本文中,我们提出了一个本质上新的度序列问题:我们希望找到一个给定的度序列的图形实现标记的顶点,某些可能的边缘是{ \em禁止}。然后,我们要对所有这些可能的实现进行统一和有效的采样。(This问题可以被认为是Tutte的$f$因子问题的一个特例,然而它具有有利的采样速度。)我们完全解决了这个{ \em限制度序列}(或简称RDS)问题,如果禁止边形成一个二部图,它由一个(不一定是最大的)1-因子和一个(可能是空的)星的并集组成.然后,我们展示了如何可以采样的空间的所有实现这些RDS均匀和有效的度序列描述了一个{ \em半正则}二部图。作为特例,我们的结果包含了Kannan,Tetali和Vempala关于抽样正则二部图的著名结果和Greenhill关于抽样正则有向图的最近结果(因此也提供了它们的新证明).上面描述的RDS问题是自约的,因此我们的{ \em完全多项式几乎均匀采样器}(a.k.a. FPAUS)还提供了一个{ \em完全多项式随机化近似方案}(也称为FPRAS)用于所有实现的近似计数。
2013-12-02 math.CO
Graphical sequences and plane trees
University of Oxford(牛津大学);University of Groningen(格罗宁根大学);University of Warwick(华威大学)
该研究通过随机游走轨迹与平面树的生物连接,推导出图序列数量的渐进行为,并补充了Stanley关于有序图序列与准森林关系的结论。
2025-01-15 math.CO math.PR
On the swap-distances of different realizations of a graphical degree sequence
其中第一个图论问题得到了严重的关注(已经在50年代的上个世纪)是决定是否一个给定的整数序列是等于度序列的一个单图(或它是{ \em图形}为短)。解决此问题的一种方法是Havel和Hakimi的贪婪算法,该算法基于{ \em swap}操作。另一个密切相关的问题是找到一个交换操作序列,将一个图形实现转换为相同度序列的另一个图形实现。后一个问题得到了特别的重视,在连接的快速混合马尔可夫链的方法,统一采样的所有可能的实现一个给定的度序列。(This成为大型社交网络研究的一个有趣的问题。)早先,对于两个实现之间的这种交换序列的最短可能长度,只有粗略的上界。本文给出了简单无向度序列和有向度序列的任意两种实现的{ \em交换距离}的公式(Gallai型恒等式)。这些身份大大提高了已知的交换距离的上界。
2013-02-20 cs.DM math.CO
Degree sequences of triangular multigraphs
本文研究三角多重图的度序列问题,将Egan和Nikolayevsky关于三角简单图的猜想推广到多重图情形,并证明了每一项至少为4的可图序列均可实现为三角多重图的度序列。
2023-10-31 math.CO
On potentially $K_6-C_5$ graphic sequences
对于给定的图$H$,如果存在包含$H$作为子图的$π$的实现,则称图序列$π=(d_1,d_2,...,d_n)$是潜在$H$ -图的.本文刻画了潜在$K_6-C_5$ -可图序列.
2009-07-08 math.CO
On Potentially $(K_5-C_4)$-graphic Sequences
本文刻画了潜在$(K_5-C_4)$ -可图序列,其中$K_5-C_4$是由$K_5$去掉4圈$C_4$的4条边得到的图.这一特征蕴涵了赖[6]的一个定理。
2006-12-31 math.CO
On Potentially 3-regular graph graphic Sequences
对于给定的图$H$,如果存在包含$H$作为子图的$π$的实现,则称图序列$π=(d_1,d_2,...,d_n)$是潜在$H$ -图的.本文刻画了潜在$H$ -可图序列,其中$H$表示6个顶点的3-正则图.换句话说,我们刻画了潜在的$K_{3,3}$和$K_6-C_6$ -图序列,其中$K_{r,r}$是一个$r\times r$完全二部图.这些特征之一暗示了尹[25]的定理。
2010-02-06 math.CO
The log concavity of two graphical sequences
本文证明了任意图的大笛卡尔幂关于固定顶点的价序列及距离正则图的价序列均具有对数凹性,改进了已有结果,并推导出强正则图、二权码、完全正则码及Q-多项式结合方案重数序列的相关结论。
2025-01-20 cs.CR math.CO
A Characterization On Potentially $K_6-C_4$-graphic Sequences
对于给定的图$H$,如果存在包含$H$作为子图的$π$的实现,则称图序列$π=(d_1,d_2,...,d_n)$是潜在$H$ -图的.设$K_m-H$是从$K_m$通过去除边集$E(H)$而获得的图,其中$H$是$K_m$的子图。本文刻画了潜在$K_6-C_4$ -可图序列.这一特征蕴涵了Hu和Lai [7]的一个定理。
2009-01-10 math.CO
On Potentially K_5-E_3-graphic Sequences
设$K_m-H$是通过去除$H$的边集$E(H)$而从$K_m$获得的图,其中$H$是$K_m$的子图。本文刻画了潜在的$K_5-P_3$,$K_5-A_3$,$K_5-K_3$和$K_5-K_{1,3}$ -可图序列,其中$A_3$是$P_2\cup K_2$ .此外,我们还刻画了潜在的$K_5-2K_2$ -图序列,其中$pK_2$是由$p$边组成的匹配。
2007-09-17 math.CO
A Characterization On Potentially $K_{2,5}$-graphic Sequences
对于给定的图$H$,如果存在包含$H$作为子图的$π$的实现,则称图序列$π=(d_1,d_2,...,d_n)$是潜在$H$ -图的.设$K_m-H$是从$K_m$通过去除边集$E(H)$而获得的图,其中$H$是$K_m$的子图。本文刻画了潜在$K_{2,5}$ -可图序列.这一特征意味着Yin等人[26]的定理的特殊情况。
2009-07-10 math.CO
On Potentially $(K_5-H)$-graphic Sequences
设$K_m-H$是通过去除$H$的边集$E(H)$而从$K_m$获得的图,其中$H$是$K_m$的子图。本文刻画了潜在的$K_5-P_4$和$K_5-Y_4$ -可图序列,其中$Y_4$是一棵5点3叶树.
2007-02-07 math.CO
Common neighbours in planar graphs
本文研究平面图中不同顶点共同邻居数量的分类问题,提出了一种完整分类方法,解决了平面图 $n$-度序列问题。
2025-11-24 math.CO
On the approximate shape of degree sequences that are not potentially $H$-graphic
一个非负整数序列$π$是{ \it graphic},如果它是某个图$G$的度序列。在这种情况下,我们说$G$是$π$的一个\textit{realization},我们写为$π=π(G)$。一个图形序列$π$是{ \it potentially $H$ -graphic},如果存在一个包含$H$作为子图的$π$的实现。给定非增图形序列$π_1=(d_1,\ldots,d_n)$和$π_2 = (s_1,\ldots,s_n)$,如果$d_i \geq s_i$对所有$i$,$1 \leq i \leq n$都是最优的,我们称$π_1$ {\it优化} $π_2$。1970年,Erdens证明了对任何无$K_{r+1}$的图$H$,存在$r$ -部图$G$使得$π(G)$优化$π(H)$ .在2005年,Pikhurko和Taraz推广了这个概念,并证明了对于任何具有色数$r+1$的图$F$,$F$ -free图的度序列在适当的意义下几乎被$r$ -partite图的度序列优。在本文中,我们给出了类似的结果度序列,不是潜在的PDMATHAMR-图形。具体地,存在图形序列$π^*(H)$,使得如果$π$是不是潜在$H$图形的图形序列,则$π$接近于被$π^*(H)$优化。类似的角色所扮演的完全多部图在传统的极值设置,序列$π^*(H)$渐近地给出了最大可能的总和图形序列$π$是不是潜…
2013-03-22 math.CO
Asymptotic joint distribution of the extremities of a random Young diagram and enumeration of graphical partitions
$n$的整数划分是正整数的递减序列,其总和为$[n]$。早在$1979$麦克唐纳提出了一个问题的极限值的概率,两个分区选择均匀随机,并相互独立,是可比的优势秩序。在$1982$中,Wilf证明了均匀随机划分是简单图的大小有序度序列,其概率为极限概率$0$ .在$1997$中,我们证明了在这两种看似无关的情况下极限概率确实为零,但我们的方法留下了收敛速度的问题。本文的主要结果是:每个概率至多为$e^{-0.11\log n/\log\log n}$。一个关键要素的论点是一个局部极限定理,收敛速度,$[n^{1/4-\varepsilon}]$最高的列和$[n^{1/4-\varepsilon}]$最长的行的杨氏图表示的随机分区的联合分布。
2018-03-10 math.CO
A Pósa-type condition of potentially $_3C_\ell$-graphic sequences
一个非负整数的非增序列$π=(d_1,\ldots,d_n)$称为可图的,如果它可由$n$顶点上的简单图$G$实现。一个图形序列$π=(d_1,\ldots,d_n)$被称为潜在$_3C_\ell$ -图形的,如果存在一个包含每个长度$r$,$3\le r\le \ell$的循环的$π$的实现。众所周知,如果图$G$在$\ell$顶点上的非增度序列$(d_1,\ldots,d_\ell)$满足Pósa条件,即对每个具有$1\le i<\frac{\ell}{2}$的$i$都有$d_{\ell+1-i}\ge i+1$,则$G$是泛圈的或二部的.本文得到了潜在$_3C_\ell$ -可图序列的一个Pósa-型条件,即证明了:如果$\ell\ge 5$是整数,$n\ge \ell$和$π=(d_1,\ldots,d_n)$是一个具有$d_{\ell+1-i}\ge i+1$的可图序列,对每个具有$1\le i<\frac{\ell}{2}$的$i$,则$π$是潜在$_3C_\ell$ -可图的.该结果改进了由于Yin等人[Appl. Math. Comput.,353(2019)88 - 94],并渐近地回答了Li等人[Adv. Math.,33(2004)273- 283]。作为应用,该结果还完全地隐含了$\ell\ge 5$和$n\ge \ell$的值$σ(C_\ell,n)$,改…
2019-12-01 math.CO
On the Sum Neccesary to Ensure that a Degree Sequence is Potentially H-Graphic
一列非负整数π=(d_1,d_2,.,d_n)是图的,如果存在度序列为π的(简单)图G.在这种情况下,G被称为实现或π的实现。文献中的度序列结果通常分为两类:强制问题,其中图序列的所有实现必须具有给定的性质,以及潜在问题,其中π的至少一个实现必须具有给定的性质。给定一个图H,如果π的某个实现包含H作为子图,则π是潜在H-图的。1991年,Erdés,Jacobson和Lehel提出了如下问题:确定最小整数σ(H,n)使得任意n项的和至少为σ(H,n)的图序列是潜在H-可图的。由于π的项之和是π的任何实现中的边数的两倍,因此Erdens-Jacobson-Lehel问题可以被视为(强制)图兰问题的潜在度序列松弛,其中人们希望确定不包含H副本的图中的最大边数。虽然σ(H,n)的精确值已经在一些特定的图类(包括团、圈、完全偶图等)中得到了确定,但对于任意H的参数却知之甚少。在本文中,我们对所有的H渐近地确定了σ(H,n),从而给出了Erdens-Jacobson-Lehel问题的Erdens-Stone-Simonovitz型定理.
2015-11-03 math.CO
A Graphical Approach to Finding the Frobenius Number, Genus and Hilbert Series of a Numerical Semigroup
本文提出了一种新的、直观的方法来研究数值半群和Frobenius问题。该方法是基于建立一个所谓的约简图,其节点通常对应于单演半群,其边缘可以有多个输入和输出。如果这样的构造是可能的,那么确定所研究的半群是否对称,或者找到它的Apéry集和Hilbert级数的显式形式,可以简化为简单的计算,并由我们在arXiv上提供的MAPLE程序辅助。这种方法适用于文献中考虑的许多情况,包括由算术和等比数列生成的半群,复合序列,$a^n, a^n + a, \ldots, a^n + a^{n-1}$形式的级数,三角形和四面体数,某些Fibonacci三元组等。在更详细地解释了一般方法之后,本文研究了可以用作约简图的构建块的边的类型,以及用于修改或组合有效归约图的一系列操作。最后,我们利用这些技巧解决了7类新的数值半群的Frobenius问题。
2018-09-03 math.CO
Chvátal-type results for degree sequence Ramsey numbers
一个非负整数序列$π=(d_1,d_2,...,d_n)$是可图的,如果存在一个阶为$n$的(简单)图$G$,其度序列为$π$ .在这种情况下,$G$被称为实现$π$或者是$π$的实现。给定一个图$H$,一个图序列$π$可能是$H$ -graphic的,如果存在$π$的某种实现,它包含$H$作为一个子图。在本文中,我们考虑一个度序列类似于经典的图Ramsey数。对于图$H_1$和$H_2$,潜在拉姆齐数$r_{pot}(H_1,H_2)$是最小整数$N$,使得对于任何$N$项图形序列$π$,要么$π$潜在地是$H_1$ -图形的,要么互补序列$\overlineπ=(N-1-d_N,\dots, N-1-d_1)$潜在地是$H_2$ -图形的。我们证明,如果$s\ge 2$是一个整数和$T_t$是一棵树的顺序$t> 7(s-2)$,那么$$r_{pot}(K_s, T_t) = t+s-2.$$这个结果,这是最好的可能达到的界限$t$,是一个度序列模拟的经典1977年结果Chvátal图拉姆齐数的树与集团。为了得到这个定理,我们证明了一个尖锐的条件,确保任意图包与森林,这是可能是独立的利益。
2015-10-16 math.CO
Where do power laws come from?
什么样的图的度序列分布在“标度”下是不变的?这些图总是幂律图吗?我们的答案是一个令人惊讶的“是”的稀疏图,如果我们忽略孤立的顶点,或更一般地说,度小于一个固定常数$k$的顶点。得到了随机诱导子图的度序列的一个集中结果。超图(或集系统)的情况下,也检查。
2007-02-15 math.CO
Optimization in graphical small cancellation theory
该研究聚焦图小消去理论,简化Osajda的概率方法,在构造含扩张图族的Gromov怪物群时显著减少生成元数量,推进相关群构造的优化。
2023-06-16 math.CO math.GR
Making multigraphs simple by a sequence of double edge swaps
我们证明了任何具有图的度序列的有圈重图都可以通过双边交换的有限序列转化为单图,其中每个交换至少涉及一个圈或重边。我们的结果回答了Janson的一个随机图论问题,丰富了双边交换可达性的文献,并将其应用于马尔可夫链Monte Carlo抽样中.
2022-07-23 math.CO math.PR
Predicting neural network dynamics via graphical analysis
神经科学中的神经网络模型允许人们研究神经元之间的连接如何塑造大脑中神经回路的活动。在本章中,我们将研究组合拓扑-线性网络(CTLN),以了解由有向图编码的连通性模式如何塑造相应网络的涌现非线性动力学。这些动态的重要方面是由网络的稳定和不稳定的不动点控制的,我们展示了如何通过基于图形的规则来确定这些不动点。我们还提出了一个算法,从底层有向图预测神经激活序列,并检查网络的吸引子集上的图形对称性的效果。
2018-04-04 math.CO q-bio.NC
Parameter Estimation for Undirected Graphical Models with Hard Constraints
具有参数$λ>0$的图$G$上的核心模型是$G$的所有独立集合的集合上的概率度量,其向每个独立集合$I$分配与$λ^{|I|}$成比例的概率。在本文中,我们考虑的问题,估计参数$λ$给定一个单一的样本从硬核模型上的图$G$。为了绕过最大似然方法的计算困难,我们使用最大伪似然(MPL)估计,这对于硬核模型有一个令人惊讶的简单的封闭形式的表达。我们证明了对于任何图序列$\{G_N\}_{N\geq 1}$,其中$G_N$是一个图上的$N$顶点,MPL估计$λ$是$\sqrt N$ -一致的,只要图序列具有一致有界的平均度。然后,我们推导出充分的条件下,MPL估计的活动参数是$\sqrt N$ -一致的给定一个单一的样本从一般的$H$ -着色模型,其中相邻的颜色之间的限制编码的约束图$H$。我们验证了模型的充分条件,其中至少有一个无约束的颜色,只要图序列具有一致有界的平均度。这适用于许多$H$着色的例子,如Widom-Rowlinson和多状态硬核模型。另一方面,对于$q$着色模型,它属于这一类之外,我们表明,一致的估计可能是不可能的,即使是有界平均度的图。然而,当$\{G_N\}_{N\geq 1}$具有有界平均双邻域时,我们证明了在$q$ -着色模型中MPL估计是$\sqrt N$ -相容的.硬约束的存在,而不是软约束,导致新的挑战,我们的证明需要应用的方法,可交换的对以及组合参数,…
2021-06-24 math.CO math.PR math.ST
Learning the Graphical Nature of Symmetries
构建含131406个凯莱图的数据集研究有限群属性,给出新枚举贡献和经验规律。比较经典模型、MLP与图神经网络预测群属性,发现工程化图统计信息丰富,GNN能直接从图中恢复大量结构信号。
2026-07-15 cs.LG math.CO math.GR