×

兹马思-数学第一资源

传播莱克斯,找到代替用虚线串。(英语) Zbl 06982381
van Hoeve,Willem Jan(编辑),《约束编程、人工智能和运筹学的集成》。第15届国际会议,2018年6月26日至29日,荷兰代尔夫特,CPAIOR 2018。诉讼程序。查姆:斯普林格(ISBN 978-3-319-93030-5/pbk;978-3-319-93031-2/电子书)。计算机科学课堂讲稿10848,18-34(2018年)。
摘要:虚线串最近在约束编程中被提出,用来表示在解决字符串上的组合问题时字符串变量的域。这种方法在某些类型的字符串问题上显示了很好的性能,包括字符串相等和连接等约束。但是,有许多字符串约束尚未定义传播子。本文介绍了如何传播字典序(lex),查找和替换虚线字符串。所有这些都是基本的字符串操作:lex是字符串的自然总顺序,而find和replace经常用于字符串操作。我们展示了我们在G形管柱解决方案,使我们能够与最先进的方法竞争。
整个系列请参见[Zbl 1388.68011].
理学硕士:
68吨20 人工智能环境下的问题解决(启发式、搜索策略等)
90C27型 组合优化
PDF格式 BibTeX公司 XML 引用
全文: 内政部