×

构建矩形平面布置图的变换算法。 (英语) Zbl 1482.05242号

摘要:矩形平面布置图(RFP)是将矩形(mathcal{R})划分为矩形(mathcal{R} _1个,\mathcal{R} _2,\ldot,\mathcal{R} _n(n)\)这样他们就不会四个人同时相遇。矩形平面布置图在超大规模集成电路平面布置和建筑平面布置中得到了应用。让(mathcal{G})表示矩形平面图{RFP}(征求建议书)_{1(n)}和(mathcal{H})是\(mathcal{G})的子图,其中\(n)表示\(text)中的矩形数{RFP}(征求建议书)_{1(n)}\)。众所周知,\(mathcal{G}\)的每个子图都可能不承认RFP,即\(mathcal{G{\)不具有遗传性。因此,本文首先导出了(mathcal{H})允许矩形平面布置的充要条件{RFP}(征求建议书)_{2(n)}\)。此外,如果(mathcal{H})允许RFP,我们提出了一个线性时间变换算法来推导{RFP}_{2(n)}\)来自\(\text{RFP}(征求建议书)_{1(n)}\)。

理学硕士:

05C62号 图形表示(几何和交点表示等)
68瓦35 非数值算法的硬件实现(VLSI算法等)
94C05(二氧化碳) 解析电路理论
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

参考文献:

[1] 科明斯基,K。;Kinnen,E.,平面图的矩形对偶,网络,5145-157(1985)·Zbl 0585.05029号
[2] Bhasker,J。;Sahni,S.,检查平面三角图的矩形对偶存在性的线性时间算法,网络,17307-317(1987)·Zbl 0672.05025号
[3] Rinsma,I.,不存在特定区域和相邻的矩形平面布置图,环境。计划。B、 计划。设计。,14, 163-166 (1987)
[4] Bhasker,J。;Sahni,S.,求平面三角图的矩形对偶的线性算法,算法,3247-278(1988)·Zbl 0635.68074号
[5] 科明斯基,K。;Kinnen,E.,矩形对偶和矩形剖分,IEEE Trans。电路系统。,35, 1401-1416 (1988) ·Zbl 0663.05027号
[6] Rinsma,I.,矩形平面图和正交平面图,具有所需的房间面积和树木邻接,环境。计划。B、 计划。设计。,15, 111-118 (1988)
[7] 赖燕泰;Leinwand,S.M.,通过矩形对偶进行平面布置图设计的算法,IEEE Trans。计算-辅助设计。集成。电路系统。,7, 1278-1289 (1988)
[8] 筑山,S。;丸山,T。;Shinoda,S。;白川方明,I.,最大平面图具有唯一矩形对偶的条件及其在VLSI平面布局中的应用,IEEE国际交响乐团。电路系统。程序。,2, 931-934 (1989)
[9] Tang,H。;Chen,W.-K.,通过初等变换生成平面三角图的矩形对偶,IEEE国际交响乐团。电路系统。程序。,2857-2860 (1990)
[10] 赖,Y.-T。;Leinwand,S.M.,矩形对偶图理论,算法,5467-483(1990)·Zbl 0712.05053号
[11] He,X.,《关于寻找平面三角图的矩形对偶》,SIAM J.Compute。,22, 1218-1226 (1993) ·Zbl 0786.05025号
[12] 是的,K.-H。;Sarrafzadeh,M.,《通过图对偶进行楼层规划:2-凹直线模块》,SIAM J.Compute。,22, 500-526 (1993) ·Zbl 0774.05093号
[13] 是的,Gary K.H。;Sarrafzadeh,M.,通过图对偶实现可剖切平面布置,SIAM J.离散数学。,8, 258-280 (1995) ·Zbl 0826.68099号
[14] 康德,G。;He,X.,4-连通平面图的正则边标号及其在图绘制问题中的应用,Theor。计算。科学。,172, 175-193 (1997) ·Zbl 0903.68137号
[15] Young,F.Y。;Wong,D.F.,带边界约束的平面剖分(ASP-DAC 99亚洲和南太平洋设计自动化会议论文集,第1卷(1999)),17-20
[16] He,X.,《平面图的平面布置图》,SIAM J.Compute。,28, 2150-2167 (1999) ·Zbl 0935.05039号
[17] Recuero,A。;Río,o。;Alvarez,M.,《检查矩形平面图中图形可实现性的启发式方法》,高级工程软件。,31, 223-231 (2000) ·兹比尔0959.68544
[18] Young,F.Y。;Wong博士。;Yang,H.H.,带范围约束的分层平面图,IEEE Trans。计算-辅助设计。集成。电路系统。,19227-278(2000年)
[19] Nakano,S.I.,《用n个房间枚举平面布置图》,(第十二届国际算法与计算机会议,第十二届算法与计算机国际会议,计算机科学讲稿,第2223卷(2001),斯普林格),107-115·Zbl 1077.68737号
[20] 沈振中。;Chu,C.C.N.,切片、镶嵌和一般平面图数量的界限,IEEE Trans。计算-辅助设计。集成。电路系统。,22, 1354-1361 (2003)
[21] Sakanushi,K。;Kajitani,Y。;Mehta,D.P.,《四分之一状态序列平面图表示法》,IEEE Trans。电路系统。一、 芬丹。理论应用。,50, 376-386 (2003) ·Zbl 1368.68271号
[22] Young,E.F.Y。;Chu,C.C.N。;Shen,Z.C.,Twin二进制序列:一般非冲突平面图的非冗余表示,IEEE Trans。计算-辅助设计。集成。电路系统。,22, 457-469 (2003)
[23] X.洪。;董雪芹;黄刚;蔡,Y。;Cheng,Chung-Kuan;Gu,Jun,角块列表表示及其在平面布置图优化中的应用,IEEE Trans。电路系统。二、 快讯,51,228-233(2004)
[24] 医学博士拉赫曼。;西泽基,T。;Ghosh,S.,平面图的矩形绘制,J.算法,50,62-78(2004)·Zbl 1075.68065号
[25] Chiang,Y.T。;林,C.C。;Lu,H.L.,有序生成树及其应用,SIAM J.Compute。,34, 924-945 (2005) ·Zbl 1069.05054号
[26] 埃亚尔·阿克曼;Barequet,G。;Pinter,R.Y.,置换和平面图之间的双射及其应用,离散应用。数学。,1541674-1684(2006年)·Zbl 1096.05002号
[27] Fujimaki,R。;井上,Y。;Takahashi,T.,矩形图纸或平面图数量的渐近估计,IEEE国际交响乐团。电路系统。程序。,856-859 (2009)
[28] 张,H。;Sadasivam,S.,通过邻接保持变换改进图的布图规划,J.Comb。最佳。,22, 726-746 (2011) ·Zbl 1239.05183号
[29] 艾普斯坦,D。;芒福德,E。;斯派克曼,B。;Verbeek,K.,Area-通用和约束矩形布局,SIAM J.Compute。,41, 537-564 (2012) ·Zbl 1251.68287号
[30] Reading,N.,Generic rectangulations,欧洲期刊Comb。,33, 610-623 (2012) ·Zbl 1237.05040号
[31] 他,B.D.,马赛克平面图和巴克斯特排列的简单最优二进制表示,Theor。计算。科学。,532, 40-50 (2014) ·Zbl 1418.05007号
[32] Takahashi,T.,四阶顶点矩形绘图的紧凑代码,J.Inf.Process。,22, 634-637 (2014)
[33] Chang,Y.-J。;Yen,H.-C.,《二维和三维约束平面布置图》,Theor。计算。科学。,607, 320-336 (2015) ·Zbl 1332.68166号
[34] Unutulmaz,A。;杜纳尔,G。;Fernández,F.V.,关于剖切平面图面积的凸公式,《积分》,50,74-80(2015)
[35] Yamanaka,K。;拉赫曼,M.S。;Nakano,S.-I.,《带柱的平面布置图》,组合优化与应用国际会议,33-40(2017),施普林格·Zbl 1431.05012号
[36] Kostanyan,A。;Kurazyan,S.,切片平面图的关键问题,(2017计算机科学和信息技术(CSIT)(2017)),69-73
[37] Wang,X.-Y。;Yang,Y。;Zhang,K.,基于图形转换的自定义和生成平面图,Autom。施工图。,94, 405-416 (2018)
[38] 翁,Y。;陈,Z。;陈,J。;Zhu,W.,一种改进的多目标模拟退火算法用于固定轮廓平面布置,(2018 IEEE自动化、电子和电气工程国际会议(AUTEEE)(2018)),35-39
[39] Shekhawat,K.,列举通用矩形平面图,Autom。施工图。,92, 151-165 (2018)
[40] Rinsma,I.,《平面图的存在定理》(1987),坎特伯雷大学:新西兰坎特伯雷大学基督城分校·Zbl 0628.05019号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。