×

序列覆盖数组和线性扩展。 (英语) Zbl 1401.05051号

Kratochvíl,Jan(编辑)等人,《组合算法》。2014年10月15日至17日在美国明尼苏达州德卢斯举行的第25届国际研讨会,IWOCA 2014。修订了选定的论文。查姆:施普林格(ISBN 978-3-319-19314-4/pbk;978-3-316-19315-1/电子书)。计算机科学课堂讲稿8986,274-285(2015)。
摘要:通过排列集覆盖子序列在许多应用中都会出现。给定一组覆盖一组特定子序列的排列,不仅需要知道可以使用的排列的数量,而且需要找到一组大小等于或接近最小值的排列。这些置换构造问题在计算上具有挑战性;对于中间长度的小排列集,几乎没有发现明确的构造,这些排列集大多来自贪婪算法。这里制定了不同的战略。从覆盖所需特定子序列的集合开始,我们确定可以在不丢失所需覆盖范围的情况下在排列中进行的局部更改。通过选择这些局部变化(使用线性扩展),使一个或多个排列对覆盖“不太重要”,该方法尝试使排列冗余,以便可以删除它并减小集合大小。为此开发了一种后优化方法,在序列覆盖阵列上的初步结果表明,该方法的效果令人惊讶。
关于整个系列,请参见[Zbl 1318.68027号].

理学硕士:

05年11月15日 正交数组、拉丁方块、房间方块
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Banbara,M.,Tamura,N.,Inoue,K.:使用关联矩阵通过答案集编程生成事件序列测试用例。摘自:第28届逻辑编程国际会议的技术通信(ICLP 2012),第86-97页(2012)·兹比尔1281.68076
[2] Basavaraju,M。;Chandran,LS;MC Golumbic;马修,R。;Rajendraprasad,D。;Kratsch,D。;Todinca,I.,盒性和分离维度,《计算机科学中的图论概念》,81-92(2014),海德堡:斯普林格·兹比尔1345.05066 ·doi:10.1007/978-3-319-12340-07
[3] Brain,M.(大脑,M.)。;Erdem,E。;井上,K。;Oetsch,J。;Pührer,J。;托姆皮茨,H。;Yilmaz,C.,《使用应答程序进行事件序列测试》,Int.J.Adv.Softw。,5, 3-4, 237-251 (2012)
[4] Brightwell,G。;Winkler,P.,《计算线性扩展》,Order,8,3,225-242(1991)·Zbl 0759.06001号 ·doi:10.1007/BF00383444
[5] 谢,YM;CJ科尔伯恩;霍斯利,D。;周,J.,序列覆盖数组,SIAM J.离散数学。,27, 4, 1844-1861 (2013) ·Zbl 1292.05079号 ·doi:10.1137/120894099
[6] Chor,B。;Sudan,M.,《中间性的几何方法》,SIAM J.离散数学。,11, 4, 511-523 (1998) ·Zbl 0912.68058号 ·doi:10.1137/S0895480195296221
[7] CJ科尔伯恩;Nayeri,P。;Aydinian,H。;Cicalese,F。;德普,C.,《t-限制、信息论、组合数学和搜索理论的随机后优化》,597-608(2013),海德堡:斯普林格·Zbl 1309.05034号 ·doi:10.1007/978-3-642-36899-8_30
[8] Dushnik,B.,关于某种安排,Proc。阿默尔。数学。学会,1788-796(1950)·Zbl 0040.29501号 ·doi:10.1090/S002-9939-1950-0038922-4
[9] Erdem,E.,Inoue,K.,Oetsch,J.,Pührer,J.,Tompits,H.,Yilmaz,C.:答案集编程作为一种新的事件序列测试方法。摘自:第二届系统测试和验证生命周期进展国际会议记录,第25-34页。Xpert发布服务(2011)
[10] 鱼缸,PC;Trotter,WT,超图的维数,J.Combin。B、 56、2、278-295(1992)·Zbl 0723.05085号 ·doi:10.1016/0095-8956(92)90023-Q
[11] Füredi,Z.,超图的置乱置换和熵,随机结构。藻类。,8, 2, 97-104 (1996) ·Zbl 0842.05002号 ·doi:10.1002/(SICI)1098-2418(199603)8:2<97::AID-RSA1>3.0.CO;2-J型
[12] Hazli,M.M.Z.,Zamli,K.Z.,Othman,R.R.:使用蜜蜂算法实现基于序列的交互测试。2012年IEEE计算机与信息学研讨会,第81-85页。IEEE(2012)
[13] Huber,M.,线性扩展的快速完美采样,离散数学。,306, 4, 420-428 (2006) ·Zbl 1090.60064号 ·doi:10.1016/j.disc.2006.01.003
[14] Ishigami,Y.,高维空间中的包含问题,图组合,11,4,327-335(1995)·Zbl 0843.05018号 ·doi:10.1007/BF01787813
[15] Ishigami,Y.,包含每个元素的每个置换的(d)置换的极值问题,离散数学。,159, 1-3, 279-283 (1996) ·Zbl 0860.05001号 ·doi:10.1016/0012-365X(95)00087-D
[16] Karzanov,A。;Khachiyan,L.,关于有序马尔可夫链的电导,order,8,1,7-15(1991)·Zbl 0736.06002号 ·doi:10.1007/BF00385809
[17] Kuhn,DR;希格顿,JM;劳伦斯,JF;RN卡克;Lei,Y.,事件序列测试的组合方法。,CrossTalk:J.Defense Software Eng.,25、4、15-18(2012)
[18] Kuhn,D.R.,Higdon,J.M.,Lawrence,J.F.,Kacker,R.N.,Lei,Y.:事件序列测试的组合方法。摘自:IEEE第五届软件测试、验证和确认国际会议(ICST),第601-609页(2012)
[19] Levenshteĭn,VI,删除和插入度量中的完美代码,Diskret。材料,3,1,3-20(1991)·Zbl 0732.94015号
[20] Margalit,O.:事件序列测试的更好边界。摘自:第二届组合测试国际研讨会(IWCT 2013),第281-284页(2013)
[21] Mathon,R.,Tran Van Trung:定向包装和定向Steiner系统,Des。密码。,18, 1-3, 187-198 (1999) ·Zbl 0959.05020号 ·doi:10.1023/A:1008353723204
[22] Nayeri,P。;CJ科尔伯恩;Konjevod,G.,覆盖阵列的随机后优化,Eur.J.Comb。,34, 91-103 (2013) ·Zbl 1252.05023号 ·doi:10.1016/j.ejc.2012.07.017
[23] Opatrní,J.,总排序问题,SIAM J.计算。,8, 1, 111-114 (1979) ·Zbl 0395.68065号 ·数字对象标识代码:10.1137/0208008
[24] Radhakrishnan,J.,关于置乱置换的注释,随机结构。藻类。,22, 4, 435-439 (2003) ·Zbl 1023.05003号 ·doi:10.1002/rsa.10082
[25] Spencer,J.:简单订单的最小置乱集。数学学报。阿卡德。科学。匈牙利。22, 349-353 (1971/72) ·Zbl 0242.05001
[26] Tarui,J.,关于完全3-置乱置换的最小数目,离散数学。,308, 8, 1350-1354 (2008) ·Zbl 1137.05004号 ·doi:10.1016/j.disc.2007.07.069
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。