Questions tagged «topological-graph-theory»

1
MSO可明确表示的次要封闭属性
下面,MSO表示具有顶点集和边集量化的图的单子二阶逻辑。 令FF\mathcal{F}为图的次要封闭族。从罗伯逊和西摩的图未成年人理论可以得出,的特征是禁止未成年人的有限列表。换句话说,对于每个图,当且仅当将所有图排除为未成年人时,我们属于。FF\mathcal{F}H1,H2,...,HkH1,H2,...,HkH_1,H_2,...,H_kGGGGGGFF\mathcal{F}GGGHiHiH_i 由于这个事实,我们有一个MSO公式,当且仅当图才是真。例如,平面图的特征在于不存在的图和,因此很容易明确地写出表征平面图的MSO公式。φFφF\varphi_{\mathcal{F}}GGGG∈FG∈FG\in \mathcal{F}K3,3K3,3K_{3,3}K5K5K_5 问题在于,对于许多不错的未成年人闭合图属性,禁止未成年人的列表是未知的。因此,尽管我们知道存在描述图族的MSO公式,但我们可能不知道该公式是什么。 另一方面,可能的情况是,人们可以为给定的属性想出一个明确的公式,而无需使用图次要定理。我的问题与这种可能性有关。 问题1:是否有未成年人的闭合图族,以使禁止未成年人的集合未知,但是一些表征该 MSO公式是已知的?FF\mathcal{F}φφ\varphi 问题2: 是否已知一些明确的MSO公式可以表征以下某些属性?φφ\varphi 属1(图形可嵌入圆环中) (请参见下面的EDIT) 固定属k (请参见下面的EDIT)k>1k>1k>1 某些固定 k外平面k>1k>1k> 1 我希望在此问题上有任何参考或想法。请随时考虑其他次要封闭属性,上面给出的列表仅用于说明。 Obs:明确地说,我不一定意味着很小。给出一个明确的参数或算法足以显示如何构造表征给定属性的公式就足够了。同样,在这个问题的背景下,如果有人给出了构造该家庭的显式算法,我认为这是一个禁止的未成年人家庭。 编辑:我找到了Adler,Kreutzer,Grohe的一篇论文,该论文根据k-1属的特征图来构造一个表征属的图的公式。因此,本文回答了问题2的前两个问题。另一方面,它却没有回答问题1,因为确实存在一种算法,它为每个k构造了表征k属图的禁止未成年人家族(请参阅第4.2节)。因此,这个家庭在问题的意义上是“知名的”。kkk

3
集合论,序数论,无限组合论和一般拓扑在计算机科学中的应用?
我是一位对集合论,序数论,无限组合论和一般拓扑感兴趣的数学家。 这些学科在计算机科学中是否有任何应用?我看了一下,发现了(当然)有限图论,有限拓扑,低维拓扑,几何拓扑等许多应用。 但是,我正在寻找这些主题的无限对象的应用,即无限树(例如Aronszajn树),无限拓扑等。 有任何想法吗? 谢谢!!


1
查找图的对偶
根据Gross和Tucker的《拓扑图论》一书,给定一个图在表面上的细胞嵌入(通过“表面”,我的意思是一个带有手柄的球体,而在以下指的是正好为的球体。可以通过将嵌入原始图的面视为顶点并为两个面之间添加一条边来定义对偶多重图,以使对应图面在原始图中具有相同的每一侧。n≥0n≥0n\geq 0SnSnS_nnnn 这是我的问题。给定一个图,我需要找到另一个图这样就存在一个表面并且在上存在的蜂窝嵌入,使得是嵌入的对偶。我知道有很多可能的图形;我只需要为每个图找到一个。GGGG′G′G'SSSGGGSSSG′G′G'GGGG′G′G'GGG 我有几个问题。我的当前策略是(1)确定属的,(2)发现的一个嵌入上,和(3)找到的双重该嵌入的。所有这些步骤都具有已知算法(尽管(1)是NP-Hard)。我想知道是否有找到绕过属类计算的的方法,因为这是该方法的瓶颈,这是我的第一个问题。我的第二个问题是:如果我知道是规则的,那可以简化类的计算吗?我的第三个问题是要求提供任何可以帮助我解决此问题的参考资料。nnnGGGGGGSnSnS_nG′G′G'GGG

By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.