×

半代数集的交叉模式。 (英语) Zbl 1099.14048号

({mathbb R}^d)中的实半代数集被描述为多项式等式和不等式的有限布尔组合。如果在某些表示中等式和不等式的个数最多为(k),并且表示中出现的每个多项式的次数最多为(k\),则这样一个集合的描述复杂性最多为\(k)。
作者证明了对于({mathbb R}^d)中的(n)半代数集的每一族(mathcal F),都存在一个正常数(epsilon),该常数取决于(mathcalF)元素的最大描述复杂度,以及至少具有(epsilen)子集的两个子族({mathcal F}_1,{mathcalF}_2\元素,这样,\({mathcal F}_1)的每个元素都与\({mathcal F{_2)的所有元素相交,或者\({mathcal F}_1。此外,当交关系被任何其他半代数关系取代时,作者证明了这一结果。
这个结果的证明使用了一个标准的线性化过程,将(mathcal F)的元素转换为高维空间的向量,参见P.K.阿加瓦尔J.马图塞克【离散计算几何11,393–418(1994;Zbl 0806.68106号)]和的配分定理姚明姚明[摘自:第17届ACM计算机理论研讨会论文集,163-168(1983)]。作者还利用Agarwal和Matousek关于半代数集范围搜索的结果给出了第二个证明。
主要结果的一个有用推论是存在一个常数(δ),它只取决于元素的最大描述复杂度,使得(δ)有一个子集(δ)和元素,使得每对元素相互交叉或({mathcal F}'\)的元素成对不相交。
这些结果被应用于离散几何和拉姆齐理论中的几个问题。

理学硕士:

第14页 半代数集与相关空间
5月10日 拉姆齐理论
55平方米 代数拓扑中的不动点和重合
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 阿加瓦尔,P.K。;Sharir,M.,《排列及其应用》(Sack,J.-R.;Urrutia,J.,《计算几何手册》(2000),爱思唯尔科学:爱思唯尔科学北荷兰,阿姆斯特丹),49-119·Zbl 0948.52011号
[2] 阿加瓦尔,P.K。;Erickson,J.,《几何范围搜索及其亲属》,(Chazelle,B.;Goodman,J.E.;Pollack,R.,《离散和计算几何进展》(1998),AMS出版社:AMS Press Providence,RI),1-56·兹比尔0916.68031
[3] 阿加瓦尔,P.K。;Matoušek,J.,用半代数集进行范围搜索,离散计算。地理。,11, 393-418 (1994) ·Zbl 0806.68106号
[4] Alon,N.,Ramsey图不能用实多项式定义,J.图论,14651-661(1990)·Zbl 0743.05025号
[5] Alon,N。;卡查尔斯基,M。;Scheinerman,E.R.,并非所有图都是段T图,《欧洲联合杂志》,第11期,第7-13页(1990年)·Zbl 0802.05075号
[6] Alon,N。;帕奇,J。;Solymosi,J.,带禁止子图的Ramsey型定理,组合数学,21155-170(2001)·Zbl 0989.05124号
[7] Aronov,B。;Erdős,P。;戈达德,W。;Kleitman,D.J。;克鲁格曼,M。;帕奇,J。;舒尔曼,L.J.,《杂交家族》,Combinatorica,第14期,第127-134页(1994年)·Zbl 0804.52010
[8] L.Babai,《公开问题》,摘自:《1976年匈牙利科什特里会议记录》,第2卷,荷兰北部,阿姆斯特丹,1978年,第1189页。;L.Babai,《公开问题》,摘自:《匈牙利科什特里会议记录》,1976年,第2卷,荷兰北部,阿姆斯特丹,1978年,第1189页。
[9] 巴苏,S。;波拉克,R。;Roy,M.-F.,《实代数几何中的算法》(2003),施普林格:施普林格柏林·Zbl 1031.14028号
[10] 德伯格,M。;van Kreveld,M。;奥维马斯,M。;Schwarzkopf,O.,《计算几何算法和应用》(2000),施普林格:施普林格-海德堡出版社·Zbl 0939.68134号
[11] Bochnak,J。;Coste,M。;罗伊,M.-F.,《实代数几何》(1998),《施普林格:施普林格柏林》(译自1987年的法语原文)·Zbl 0633.14016号
[12] B.Chazelle,H.Edelsbrunner,L.Guibas,M.Sharir,实半代数变体的单指数分层方案及其应用,《第16届自动机、语言和程序设计国际学术讨论会论文集》,1989年,第179-193页(另见Theoret.Comput.Sci.84(1991)77-105)。;B.Chazelle,H.Edelsbrunner,L.Guibas,M.Sharir,真实半代数变种的单指数分层方案及其应用,第16届国际自动化学术会议论文集,语言与编程,1989年,第179-193页(也收录于《理论计算科学》84(1991)77-105)·Zbl 0702.68064号
[13] Chazelle,B。;Edelsbrunner,H。;吉巴斯,L.J。;谢里尔,M。;Stolfi,J.,《空间组合学和算法中的线》,《算法》,第5428-447页(1996年)·Zbl 0846.68098号
[14] 科内尔·D·G。;Perl,Y。;Stewart,L.K.,齿状图的线性识别算法,SIAM J.Compute。,14, 926-934 (1985) ·Zbl 0575.68065号
[15] 克拉克森,K.L。;Shor,P.W.,随机抽样在计算几何中的应用,II,离散计算。地理。,4387-421(1989年)·兹比尔0681.68060
[16] 埃利希·G。;偶数,S。;Tarjan,R.E.,平面内曲线的相交图,J.Combinat。理论,21,8-20(1976)·Zbl 0348.05113号
[17] Erdős,P.,关于图论的一些评论,布尔。阿默尔。数学。《社会学杂志》,53,292-294(1947)·Zbl 0032.19203号
[18] Erdős,P。;Hajnal,A.,Ramsey型定理,离散应用。数学。,25, 37-52 (1989) ·Zbl 0715.05052号
[19] Erdős,P。;Hajnal,A。;Pach,J.,二部图的Ramsey型定理,地理组合学,10,64-68(2000)·Zbl 0978.05052号
[20] Erdős,P。;Szekeres,G.,《几何中的组合问题》,复合数学。,2, 463-470 (1935) ·Zbl 0012.27010号
[21] Gyárfás,A.,《关于Erdős和Hajnal问题的思考》,(Graham,R.L.;Nešetřil,J.,《Paul ErdŹsAlgorithms and Combinatics的数学》14,第二卷(1997),施普林格:施普林格-海德堡),93-98·Zbl 0863.05047号
[22] 哈珀,L.H.,图上的最优数和等周问题,J.组合理论,1385-394(1966)·Zbl 0158.20802号
[23] V.Koltun,四维垂直分解的几乎紧上限,第42届IEEE计算机科学基础年会论文集,2001年,第56-65页。;V.Koltun,《四维垂直分解的几乎紧上限》,第42届IEEE计算机科学基础年会论文集,2001年,第56-65页。
[24] Matoušek,J.,使用Borsuk-Ulam定理关于组合数学和几何中拓扑方法的讲座(2003),Springer:Springer-Heidelberg·Zbl 1016.05001号
[25] 帕奇,J。;波拉克,R。;Welzl,E.,空间中直线和线段的编织模式,算法,9561-571(1993)·Zbl 0788.68146号
[26] P.Pudlak,V.Rödl,伪随机集与Ramsey图的显式构造,Quderni di Matematica,那不勒斯大学,即将出版。;P.Pudlak,V.Rödl,伪随机集和Ramsey图的显式构造,Quderni di Matematica,那不勒斯大学,即将出版·兹比尔1074.05088
[27] 帕奇,J。;Solymosi,J.,片段的交叉模式,J.组合理论,Ser。A、 96、316-325(2001)·Zbl 0989.05031号
[28] 帕奇,J。;Tardos,G.,切割玻璃,离散计算。地理。,24, 481-495 (2000) ·Zbl 0956.68146号
[29] Sharir,M.,《克拉克森-肖尔技术回顾与扩展》,《组合问题》。计算。,12, 191-201 (2003) ·兹比尔1031.60011
[30] Schechtman,G.,集中结果和应用,(Banach空间几何手册,第2卷(2003年),北荷兰:北荷兰阿姆斯特丹),1603-1634·Zbl 1057.46011号
[31] 谢里尔,M。;Agarwal,P.K.,Davenport-Schinzel序列及其几何应用(1995),剑桥大学出版社:剑桥大学出版社,纽约·Zbl 0834.68113号
[32] A.C.Yao,F.F.Yao,《(d)的一般方法》;A.C.Yao,F.F.Yao,关于(d)的一般方法
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。