×

一种与区间集有关的代数结构。 (英语) Zbl 07605347号

摘要:F.Wehrung提出了这样一个问题:给定一个集合(Omega)的子集族(mathcal{C}),在什么条件下,在(Omega\)上会存在一个全序,关于这个全序,\(mathcal{C}\)的每个成员都是凸的?¶我们研究由\(\mathcal{C}\)在某些偏运算下生成的\(\mathcal{P}\)的子集的族\(\mathcal{P}\),当\(\mathcal{C}\)具有全序时,保持凸性;如果(mathcal{C}),因此(mathcal{P})是有限的,我们确定了在这些操作下的可能结构,并注意到该结构上存在所需排序的(Omega)的必要条件。由此,我们得到了一个不需要对(mathcal{C})进行有限性假设的准则。¶通过元素集(mathcal{C})在这些操作下生成的集合(mathcal{P})的基数获得界限。¶最后,我们注意到使用文献中的结果回答Wehrung问题的其他方法。参考书目列出了更多相关文献。

MSC公司:

2009年6月 阶、格、有序代数结构
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Balakrishnan,R。;Ranganathan,K.,图论教科书。第二版。Universitext(2012),纽约:施普林格,纽约·Zbl 1254.05001号 ·doi:10.1007/978-1-4614-4529-6
[2] Brandstät,A.,Le,V.B.,Spinrad,J.P.:图形类:一项调查。SIAM离散数学与应用专著,(1999年)。xii+304第MR1686154页·Zbl 0919.05001号
[3] 布轩,B-M;哈比卜,M。;Rao,M.,集族的树表示及其在组合分解中的应用,《欧洲组合杂志》,33,688-711(2012)·Zbl 1239.05130号 ·doi:10.1016/j.ejc.2011.09.032
[4] Chein,M。;哈比卜,M。;Maurer,MC,分词超图,离散数学。,37, 1, 35-50 (1981) ·Zbl 0478.05071号 ·doi:10.1016/0012-365X(81)90138-2
[5] 科恩,P.M.:《普遍代数》,第二版,雷德尔,(1981)。MR0620952型·Zbl 0461.08001号
[6] 埃伦菲赫特,A。;Harju,T。;Rozenberg,G.,《2-结构理论》。图的分解和变换框架(1999),River Edge:World Scientific Publishing Co.,Inc.,River Edge·Zbl 0981.05002号 ·doi:10.142/4197
[7] Fishburn,P.C.:区间顺序和区间图。对偏序集的研究。Wiley-Interscience离散数学系列。(1985). xi+215页,MR0776781·兹伯利0551.06001
[8] Givant,S.,Halmos,P.:布尔代数导论,数学本科生教材。斯普林格,(2009)。xiv+574页MR2466574·Zbl 1168.06001号
[9] Habib,M.:结构组合替换,Théorie et algorithmes。巴黎P.et M.居里大学博士论文(1981年)
[10] Hsu,W.L.:区间图的简单测试。收录于:《计算机科学中的图论概念》(威斯巴登-诺罗德,1992年),《计算机课堂讲稿》。科学。MR1244121,第657卷,第11-16页。柏林施普林格(1993)·Zbl 0789.68110号
[11] 罗森博格,A.L.:区间超图。摘自:《图形和算法》(Boulder,CO,1987),康泰姆出版社。数学。,89,美国。数学。Soc.,Providence,RI.,第27-44页(1989)MR1006474·Zbl 0682.68059号
[12] Wehrung,F.:幺半群的右序与左序,半群论坛。102(3), 885-899 (2021). MR4261323型·Zbl 1508.06009号
[13] 维基百科:间隔图。https://en.wikipedia.org/wiki/Interval_graph#特征化。 (2021)
[14] 堪萨斯州布斯;Lueker,GS,《使用PQ树算法测试连续一属性、区间图和图的平面性》,J.Compute。系统。科学。,13, 335-379 (1976) ·Zbl 0367.68034号 ·doi:10.1016/S0022-0000(76)80045-1
[15] 布萨伊里,A。;伊利·P。;伍德罗,RE,2-结构的基本界,J.库姆。,7, 543-594 (2016) ·Zbl 1350.05131号
[16] Chen,L。;Yesha,Y.,连续一性质的并行识别及其应用,J.Algorithms,12375-392(1991)·Zbl 0726.68034号 ·doi:10.1016/0196-6774(91)90010-V
[17] 库塞尔,B。;Delhommé,C.,可数图的模分解。一元二阶逻辑的定义和构造,理论计算机科学,394,1-38(2008)·Zbl 1136.68041号 ·doi:10.1016/j.tcs.2007.10.046
[18] Dahlhaus,E.:识别区间图和区间超图的改进高效并行算法。收录于:《第三十届夏威夷国际系统科学会议论文集》,美国HI,Wailea,doi:10.1109/HICSS.1997.667212,第1卷,第172-181页(1997)
[19] JA de Loera;Goaoc,X。;穆尼尔,F。;穆斯塔法,新罕布什尔州,卡拉瑟奥多里,赫利,斯珀纳,塔克,特弗伯格,布尔的离散但普遍存在的定理。A.M.S.(N.S.),56,415-511(2019)·兹比尔1460.52010 ·doi:10.1090/bull/1653.MR3974609
[20] Ding,G.,关于区间杂波,离散数学,254,89-102(2002)·Zbl 0995.05105号 ·doi:10.1016/S0012-365X(01)00354-5
[21] Dom,M.,《连续一属性的算法方面》,Bull。欧洲协会。计算。科学。EATCS,98,27-59(2009)·Zbl 1179.05071号
[22] Duchet,P.:经典完美图:介绍,重点介绍三角图和区间图。收录:Berge,C.,Chvátal,V.(编辑)《北荷兰人数学研究》。doi:10.1016/S0304-0208(08)72924-4。MR0778751,第88卷,第67-96页(1984年)·Zbl 0558.05038号
[23] Eswaran,KP,用区间集对集合族的忠实表示,SIAM J.Compute,456-68(1975)·Zbl 0294.68007号 ·数字对象标识代码:10.1137/0204005
[24] 褶皱,S。;Radeleczki,S.,关于区间分解格,讨论数学-一般代数和应用,2495-114(2004)·Zbl 1062.06011号 ·doi:10.7151/dmgaa.1078
[25] 弗雷塞,R.:关系的间隔;ses généralisations;filtre intervallaire et clóture d'une relationship,Orders:描述和角色。(L'Arbresle,1982),313-341,北荷兰人数学。Stud.,99,北荷兰,阿姆斯特丹,(1984)。0779858令吉·Zbl 0574.04001号
[26] Gallai,T.:Transitiv orientbare Graphen,《数学学报》。阿卡德。科学。匈牙利。,18,25-66(1967)F.Maffray,M.Preissmann的英文翻译,J.J.Ramirez-Alfonsin,B.Reed(编辑),完美图形,第25-66页Wiley。(2001)MR0221974·Zbl 0153.26002号
[27] Glover,F.,凸二部图中的最大匹配,海军研究后勤季刊,14313-316(1967)·Zbl 0183.24501号 ·doi:10.1002/nav.3800140304
[28] Golumbic,MC,交集图和表示超图的算法方面,图和组合数学,4307-321(1988)·Zbl 0671.05034号 ·doi:10.1007/BF01864170
[29] Golumbic,MC,算法图理论和完美图,第二版,《离散数学年鉴》,第57卷(2004),阿姆斯特丹:Elsevier Science B.V.,阿姆斯特朗·兹比尔1050.05 002
[30] 哈比卜,M。;R.麦康奈尔。;保罗,C。;Viennot,L.,Lex-BFS和分区细化,在传递定向、区间图识别和连续图测试中的应用,理论计算机科学,23459-84(2000)·Zbl 0945.68189号 ·doi:10.1016/S0304-3975(97)00241-7
[31] Ille,P.,L'ensemble des intervalles d'une multi-relationship binaire et réflexive,Z.数学。Logik Grundlag公司。数学。,37, 227-256 (1991) ·Zbl 0742.04002号 ·doi:10.1002/malq.19910371306
[32] McConnell,R.M.,de Montgolfier,F.:PQ树和模块分解树上的代数运算。在:计算机科学中的图论概念。计算机科学讲稿,第3787节。MR2213890,第421-432页。柏林施普林格出版社(2005)·Zbl 1171.68630号
[33] Moore,JI,区间超图和D-区间超图,离散数学,17,173-179(1977)·Zbl 0357.05073号 ·doi:10.1016/0012-365X(77)90148-0
[34] 纳拉亚纳斯瓦米,NS;R.S.,矩阵具有连续一性质的新特征,离散应用数学,157,3721-3727(2009)·Zbl 1227.05101号 ·doi:10.1016/j.dam.2009.08.001
[35] 奎兰,M。;Tardella,F.,子格和相关凸性的Carathéodory,Helly和Radon数,数学。操作。Res.,42495-516(2017年)·Zbl 1367.52001号 ·doi:10.1287/门.2016.0815
[36] Quilliot,A。;Chao,SX,区间序超图的算法特征及其应用,离散应用数学,51159-170(1994)·Zbl 0810.68105号 ·doi:10.1016/0166-218X(94)90105-8
[37] Spinrad,J.P.:高效图形表示,菲尔德研究所专著,19。美国数学学会,(2003年)。xiii+342页MR1971502·Zbl 1033.05001号
[38] Trotter,WT;Moore,JI,图、偏序集、格和集族的特征问题,离散数学。,16, 361-381 (1976) ·Zbl 0356.06007号 ·doi:10.1016/S0012-365X(76)80011-8
[39] Tucker,A.,连续1性质的结构定理,《组合理论杂志》,B辑,第12期,第153-162页(1972年)·Zbl 0208.52402号 ·doi:10.1016/0095-8956(72)90019-6
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。