Questions tagged «co.combinatorics»

与组合学和离散数学结构有关的问题

5
加性组合运算在算法设计中的应用
我正在阅读Trevisan和Lovett所做的关于TCS中添加剂组合的应用的调查。这些应用中的大多数属于计算复杂性,例如下限。我不知道加法组合运算符是否也在算法设计中找到了应用。 我提出这个问题的动机是:尽管加法组合和复杂性之间的联系似乎很自然,但我很好奇,在设计有效的算法(如果有)时,如何利用加法未发现的代数结构。指向文学的指针将不胜感激。

1
有差异序列置换的有效算法?
这个问题是由这篇文章引起的,您能确定多项式时间内两个置换的总和吗?,以及对排列的计算属性的兴趣。 甲差异测序 置换的π数的1 ,2 ,... Ñ + 1通过找到在排列的每两个相邻的数字之间的差,形成π。换句话说,a i = | π (我+ 1 )- π (我)| 为1个≤ 我≤ Ñ一个1个,一2,… 一个ña1,a2,…ana_1, a_2, \ldots a_nππ\pi1 ,2 ,... Ñ + 11,2,…n+11, 2, \ldots n+1ππ\pi一个一世= | π(我+ 1 )- π(i )|ai=|π(i+1)−π(i)|a_i= |\pi(i+1)-\pi(i)|1个≤ 我≤ Ñ1≤i≤n1 \le i \le n 例如,序列 是置换的差异序列2 3 4 1。同时,序列2 …

1
是否有一本书/调查纸概述了语言类层次结构,闭包属性等
我目前正在进行一些形式语言研究,涉及的语言类别在Regular以上但在Context Free以下。我正在研究诸如反向绑定多计数器计算机,单堆栈计数器计算机,确定性CFL等之类的东西。 我想知道是否有人知道一本概述这些语言特性的好书或调查报告。我正在查看的大多数内容太晦涩或太新,以至于我在Hopcroft-Ullman的书中甚至是1979年版中都没有。 我主要是在寻找另一语言中包含哪些语言类,这些语言的闭包属性以及这些语言的基本问题(F问题)的可判定性。 我将在此参考资料中查找的一些示例: 逆向有界多计数器计算机是否接受所有语言,非逆向有界单计数器计算机是否接受语言? 确定性反转边界的MultiCounter语言是否在左右串联下关闭? 单柜台计算机的通用性是可决定的。 这些只是示例问题,我的日常工作中还有很多其他问题。 首先,我尝试追踪引用Oscar Ibarra的“反转界多计数器机器及其决策问题”的论文,但没有发现太多。

2
在色数和矢量色数之间有间隙的小图?
我正在寻找一个小图其矢量色数比色数,更小的χ v(ģ )&lt; χ (G ^ )。GGGχv(G)&lt;χ(G)χv(G)&lt;χ(G)\chi_v(G)<\chi(G) (具有向量色数q是否有一个赋值X :V → [R d,其中直观地与邻近的顶点相关联的矢量相距很远的要求是。⟨ X (v ),X (瓦特)⟩ ≤ - 1 /(q − 1 )。例如,对于q = 3,三角形的顶点就足够了。GGGqqqx:V→Rdx:V→Rdx\colon V \rightarrow \mathbf R^d⟨x(v),x(w)⟩≤−1/(q−1)⟨x(v),x(w)⟩≤−1/(q−1)\langle x(v), x(w)\rangle \leq -1/(q-1)q=3q=3q=3 的曲线图的矢量色数不大于色数较大:。例子是已知的与图的χ v(g ^ )= 3 χ (G ^ )= Ñ δ。(由Karger,Motwani,Sudan撰写的原始论文[JACM,45:246-265](手稿)提出了广义的Kneser图,最近的论文使用了基于随机单位向量的构造。)χv(G)≤χ(G)χv(G)≤χ(G)\chi_v(G)\leq \chi(G)χv(G)=3χv(G)=3\chi_v(G)=3 χ(G)=nδχ(G)=nδ\chi(G)=n^\delta 我认为有示例图与χ v(ķ )= 4和χ …

2
具有固定数量的变量的整数编程
H. Lenstra在1983年发表的著名论文《具有固定数量的变量的整数编程》指出,具有固定数量的变量的整数程序可以在时间多项式中求解数据长度。 我的解释如下。 通常,整数编程仍然是NP完整的,但是如果我手头上典型的问题大小(例如大约10.000个变量,任意数量的约束)在实践中可行,那么我可以构建一种算法,该算法可以按多项式缩放约束数量,但不能变量和约束的数量。 该结果也适用于二进制编程,因为我可以通过添加适当的约束将任何整数强制为0-1。 我的解释正确吗? 这个结果有实际意义吗?也就是说,有没有可用的实现,或者它已用于CPLEX,Gurobi或Mosek等流行的求解器中? 本文引述如下: 出于我们的目的,此长度可以定义为n·m·log(a + 2),其中a表示A和b的系数的绝对值的最大值。实际上,由于所讨论的问题是NP完全问题,因此不可能存在这样的多项式算法 [...] 推测[5],[10],对于n的任何固定值,都存在一个用于求解整数线性规划问题的多项式算法。在本文中,我们通过展示这种算法来证明这一猜想。可以限制我们的算法运行时间的多项式次数是n的指数函数。

1
图的组合嵌入
在这里:http : //www.planarity.org/Klein_elementary_graph_theory.pdf(在“嵌入”一章中)给出了平面图组合嵌入的定义。(带有面的定义等)尽管可以轻松地用于任何图形,但他们将平面图形定义为具有Euler公式的图形(假设该图形已连接)。几乎可以理解,对于每个平面图,组合嵌入中的面定义类似于拓扑嵌入中的面定义。(假设该图已连接。否则,在组合嵌入中,每个连接的组件将具有无限的面) 问题是:如果对于某些连通图,其组合嵌入满足Euler公式,这是否意味着该图在拓扑意义上是平面的(它具有平面嵌入,即它是平面图)?


1
表示未成年人是次立方图的拓扑未成年人的引文
如果是最大度数为3的图,并且是H的小数,则G是H的拓扑小数。GGGHHHGGGHHH Wikipedia引用了Diestel的“图论”的这一结果。该书的最新版本将其列为Prop 1.7.4。这本书缺少证据或引文。 下落(作为原始证明)是否为人所知? 此外,是否有参考文献证明如果是爪的路径或细分,并且是H的未成年人,则G是H的子图?这里简短地提到了它,但是缺乏参考。GGGHHHGGGHHH

2
边长为k的3D网格(网格或网格)的路径宽度是多少?
几周前我在mathoverflow上问了这个问题,但没有得到答复。 在这里,通过边长为的3D网格,我的意思是图G = (V ,E ),其中V = { 1 ,… ,k } 3且E = { (((a ,b ,c ),(x ,y ,z ))∣ | a − x | + | b − y | + | CķkkG = (V,E)G=(V,E)G=(V,E)V= { 1 ,… ,k }3V={1,…,k}3V= \{1,\ldots,k\}^3,即,将节点放置在1和 k之间的3维整数坐标处,并且一个节点连接到最多6个其他节点,这些节点的一个坐标精确地相差一个。Ë= { (((a ,b ,c ),(x …

1
“外界类”图是否具有恒定的树宽?
让和通过分别表示ģ ķ该组可以嵌入属的表面上的所有图的使得所有顶点都位于外表面上。例如,是外平面图的集合。中图的树宽可以由的某个函数上限?k∈Nk∈Nk\in\mathbb{N}GkGkG_kG 0 G k kkkkG0G0G_0GkGkG_kkkk 另一个方向显然不成立,因为恒定的树宽甚至都不意味着恒定的属:令为的不相交副本的并集。的树宽是常数,但是其属为。 Ñ ķ 3 ,3 ħ Ñ ÑHnHnH_nnnnK3,3K3,3K_{3,3}HnHnH_nnnn

3
将立方图边缘划分为爪和路径
同样是一个边缘分割问题,我的前一个问题引起了我对其复杂性的好奇。 输入:三次曲线图G = (V,E)G=(V,E)G=(V,E) 问题:是否有一个分区成ë 1,ë 2,... ,Ë 小号,使得由每个导出的子图ë 我可以是一个爪(即ķ 1 ,3,经常称为星形)或3 -path (即P 4)?ËEEË1个,E2,… ,EsE1,E2,…,EsE_1, E_2, \ldots, E_sË一世EiE_iķ1 ,3K1,3K_{1,3}333P4P4P_4 我想我有一天看过一篇论文,证明该问题是NP完全的,但现在找不到了,而且我不记得该结果是否适用于三次图。关于一个相关的问题,我知道将二分图边缘分割为爪是NP完全的(请参见Dyer和Frieze)。是否有人对我描述的问题或相关的问题有参考(即,在另一个图类上存在相同的问题,然后我可以尝试将其简化为三次图)?

1
超图的近最佳边缘着色的高效算法
对于大多数人来说,图形着色问题已经足够困难。即便如此,我还是要困难一些,并要问有关超图着色的问题。 题。 有什么有效的算法可以找到k均匀超图的近似最佳边缘着色? 细节 - - 一个k一致的超图是一个其中每个边精确包含k个顶点的超图。简单图的通常情况是k = 2。更准确地说,我对标记的 k统一超图感兴趣,在该图中,两个边实际上可能具有相同的顶点集;但是我会在k正则超图上解决某些问题,其边缘相交处不超过k-1个顶点。 超图的边缘着色是与图的情况相同颜色的边缘不相交的边缘着色。通常,色度指标χ'(H)是所需的最少颜色数。 我想要确定性或随机多项式时间算法的结果。 我正在寻找可以有效找到的值与实际色度指标χ'(H)之间的最著名的近似因数/相加间隙-或就此而言,就参数而言,最有效获得的最佳结果例如最大顶点度Δ(H),超图的大小等。 编辑:由Suresh的约低于超图对偶言论引起,我要指出,这个问题就相当于找到一个问题强顶点着色一的K-正规超图:那就是,每个顶点属于k个不同的边缘,[但边缘现在可能包含不同数量的顶点],并且我们希望为顶点着色,以使任意两个相邻的顶点具有不同的颜色。这种重新制定似乎也没有明显的解决方案。 备注 在图的情况下,Vizing定理不仅保证图G的边色数为Δ(G)或Δ(G)+1,它的标准证明还为找到Δ(G )+1边缘着色。如果我对k = 2的情况感兴趣,那么这个结果对我来说已经足够了;但是,我对k&gt; 2任意感兴趣。 关于超图边着色的边界似乎没有任何众所周知的结果,除非您添加了限制,例如每个边最多相交于t个顶点。但是我不需要χ'(H)本身的界限。只是找到“足够好”边缘着色的算法。[我也不想对我的超图施加任何限制,除了是k均匀的,而且可能限制最大顶点度,例如对于某些f∈ω(1)的Δ(H)≤f(k)。 。] [ 附录。我现在已经在MathOverlow上问了一个有关色数边界(相长或非相乘)的相关问题。]

2
有限结构的一阶理论是否具有有限的量词等级?
令为任何有限结构。它的一阶理论是否限定了量词等级,在某种意义上说存在一个使得所有与有一个与qr(\ varphi')\ leq q和\ varphi'\ equiv \ varphi吗?一种一种\mathfrak{A} Ť:= T高( A)Ť:=ŤH(一种) \mathfrak{T} := \mathfrak{TH}(\mathfrak{A}) q∈ ñq∈ñ q\in\mathbb{N} φ &Element; Ťφ∈Ť \varphi\in\mathfrak{T} q[R (φ)&gt; qq[R(φ)&gt;q qr(\varphi) > q φ′∈ Ťφ′∈Ť \varphi'\in\mathfrak{T} q[R (φ′)≤ qq[R(φ′)≤q qr(\varphi')\leq q φ′&equiv; φφ′≡φ \varphi'\equiv\varphi

1
从给定的符号向量集中计算最低维多面体
给定一组的超平面的判定由法线向量,其细胞类型(或符号矢量)是所有矢量吨∈ { + ,- } 米存在用于其的矢量v ∈ [R d使得⟨ v ,ħ 我 ⟩ ≠ 0和吨我 = 符号(⟨ v ,ħ 我 ⟩ )h1,…,hm∈Rdh1,…,hm∈Rdh_1,\dots,h_m \in \mathbf R^dt∈{+,−}mt∈{+,−}mt\in\{+,-\}^mv∈Rdv∈Rdv\in\mathbf R^d⟨v,hi⟩≠0⟨v,hi⟩≠0\langle v,h_i \rangle \neq 0ti=sign(⟨v,hi⟩)ti=sign(⟨v,hi⟩)t_i = \text{sign}( \langle v,h_i \rangle )拥有一切。这里,⟨ ü ,v ⟩表示内积和符号(X )表示的符号(+或- )的非零实数的X。iii⟨u,v⟩⟨u,v⟩\langle u,v\ranglesign(x)sign(x)\text{sign}(x)+++−−-xxx 问题:逆运算最快的已知算法是什么?给定单元格类型的集合,我们希望在尽可能少的维度上计算一些超平面集合,以便其单元格类型是t 1,... ,t n的超集。t1,…,tnt1,…,tnt_1,\dots,t_nt1,…,tnt1,…,tnt_1,\dots,t_n

4
禁止诱导循环子图定义的图类中的多项式问题
从MO交叉发布。 令为由有限数量的禁止诱导子图定义的图类,所有这些子图都是循环的(至少包含一个循环)。CCC 除了Clique和Clique Coverage之外,对于,是否存在可以在多项式时间内解决的NP硬图问题CCC? 如果我没记错的话,这对于独立集是不可能的(除非P=NPP=ñPP=NP)。 未在graphclasses.org中搜索。 Clique和Clique Covering是多项式的类是C5,C6,X164,X165,sunlet4,无三角形 编辑 阴性IS和统治在本文中。第2页,图Si,j,k小号一世,Ĵ,ķS_{i,j,k}。

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.