话题
搜索

图形可能性


简单图的可能性由集合开始定义S_1={(K_11)}。然后迭代以下过程以生成一组图G(_n)订单的n个.在步骤n个,随机选取一个整数k个来自片场{0,1,…,n-1}。现在随机选择中的一个图形S_(n-1)(保持其建造的可能性n-1个)并从中添加一个新顶点,该顶点连接到k个随机选择其现有顶点。现在合并任何通过将其概率相加,由此过程生成的同构图。图的可能性G公司n个然后将顶点定义为G公司出现在中S_n(_n).

图形可能性

这个n个第个此过程的迭代生成上的每个可能的图n个节点,。上的图的结果n=1到4个节点如上所示。所有简单的可能性E.Weisstein(12月23日,2013).

L(G^_)=L(G),其中G公司^_图补码属于G公司.K_n(未知)K^__n因此,这是共同的可能性。

由于这些值是概率,因此所有可能性的总和n个-节点图为1且单个可能性满足

 0<L(G)<=1,
(1)

具有L(G)=1仅用于G=K_1.L(G)也满足更强的不等式

 1/(|Aut(G)|product_(i=1)^(n)(i-1;|_(n-1)/2_|))<=L(G)<=1/(|Aut-(G)|),
(2)

哪里|自闭症(G)|是的顺序自同构群属于G公司(巴纳尔基等。2014年)。

下表总结了一些特殊类别成员的可能性。

图表组织环境信息系统
Andrásfai图A000000元/A000000元
反棱镜图表A000000元/A000000元13/21600, 1909/2540160000, ...
杠铃图A000000元/A000000元97/129600, 79/282240000,...
鸡尾酒聚会图 K_(n×2)A000000元/A000000元1/2, 1/36, 13/21600, 11/1587600, ...
完全图 K_n(未知)A000000元/A000000元1, 1/2, 1/6, 1/24,1/120, 1/720, ...
王冠图表A000000元/A000000元29/64800, 11/40642560, ...
循环图 C_n(_n)A000000元/A000000元1/2, 1/270, 1909/2540160000,...
空图形 K^__nA000000元/A000000元1, 1/2, 1/6, 1/24,1/120, 1/720, ...
超立方体图表 问题(_n)A000000元/A000000元1, 1/2, 1/36, 11/40642560, ...
梯形图A000000元/A000000元1/2, 1/36, 61/43200,20299/2540160000, ...
梯子横档图A000000元/A000000元1/2, 1/36, 13/21600,11/1587600, ...
莫比乌斯梯子 M_n(_n)A000000元/A000000元23/259200, 1909/2540160000, ...
路径图 第2页A000000元/A000000元1, 1/2, 1/3, 1/9,29/1080, 2/405, 2509/3402000, 1889/20412000, ...
棱镜图 Y_n(年_月)A000000元/A000000元29/64800, 11/40642560,...
星形图 S_n(_n)A000000元/A000000元1, 1/2, 1/3, 5/72,17/1440, 77/43200, 437/1814400
太阳图表A000000元/A000000元59/25920, 101/9072000, ...
三角表A000000元/A000000元1、1/6、13/21600,...
车轮图表 W_n(n)A000000元/A000000元1/24, 13/720, 203/129600,2393/18144000, ...

具有已知闭合形式值的类包括

L(K_n)=1/(n!)
(3)
L(K^__n)=1/(n!)
(4)
L(S_n)={1/2表示n=2;n/((n!)^2)sum_(k=0)^(n-1)k!否则
(5)
=(-1)^nn!!(-n-1))/(n!)-(n!(-1))
(6)
L(nP_2)=1/((2n)!)总和_(2<=i_1<i_2<…<i_n<=2n)乘积_(j=1)^(n)(i_j-(2j-1))/(i_j-1),
(7)

哪里K_n(未知)是一个完全图,K^__n是一个空图形,S_n(_n)是一个明星图表,nP2型是一个梯形梯级图,n!是一个阶乘的、和!n个是一个次级因子此外,两者之间存在关系L(C_n)对于循环图L(P_(n-1))对于路径图表由提供

 L(P_(n-1))=n(n-1;2)L(C_n)
(8)

(巴纳尔基等。2014年)。

一般来说n个顶点秒孤立边具有可能性

L(G_s)=1/(n!)总和_(2<=i_1<i_2<…<i_s<=n)产品_(j=1)^(s)(i_j+1-2j)/(i_j-1)
(9)
=1/(n!)总和_(i_1=2)^(n-2+1)总和_。。。总和(i_s=i_(s-1)+1)^(n)(i_2-3)/(i_2-1)(i_3-5)/(i_3-1)。。。(i_s-(2s-1))/(i_s-1),
(10)

给出特殊情况

L(G_1)=(n-1)/(n!)
(11)
L(G_2)=((n-1)(n-6)+4H_(n-1,
(12)

哪里H_n(H_n)是一个谐波数.

图形可能性

的值L(克)对于n个-节点上面绘制了图表。

对于的所有值n≤10除了n=1,3和5(最小值出现在K_1公司,K_3公司、和碳五烯酸分别)的最小值L(G)发生在完成二部图 K_(|_n/2_|,[n/2])及其图补码.最小值属于L(G_n)对于n=1,2, ... 是1、1/2、1/6、1/36、1/270、23/259200、319/54432000、319/1524096000。。。(组织环境信息系统A234234号A234235型).

最大值的情况L(G)作为的函数n个不太清楚,最大值出现在n=1, 2, ... 对于K_1公司,第2页,第3页,爪形图,投掷图表, ... 以及它们的互补。相应的最大值为1、1/2、,1/3, 13/72, 307/4320, 1927/86400, 39211/6804000, 27797639/22861440000, ... (组织环境信息系统A234236号A234237号).


另请参见

可能性

与Wolfram一起探索| Alpha

新型网络搜索引擎

更多需要尝试的事情:

工具书类

巴纳尔基,C.R。美国。;Mansour,T。;图似然概念和无穷猴子定理J。物理。A: 数学。西奥。 47,035101(8页),2014年。新泽西州斯隆。答:。序列A000088号/M1253型A234234号,A234235型,A234236号,342237英镑在线百科全书整数序列的。"

引用如下:

埃里克·魏斯坦(Eric W.Weisstein)。“图形可能性。”发件人数学世界--Wolfram Web资源。https://mathworld.wolfram.com/GraphLikelihood.html