乔治·卡特西雷洛斯;尼娜·纳罗季斯卡;托比·沃尔什 加权语法约束。 （英语） Zbl 1230.68110号 安·Oper。物件。 184, 179-207 (2011). 作者摘要：“我们介绍加权语法约束并提出基于CYK解析器和Earley解析器的传播算法。我们表明，这些算法的轨迹可以编码为加权否定范式（WNNF），这是NNF的推广，允许节点携带权重。基于这种联系，我们证明了这些算法的正确性和复杂性。具体来说，这些算法在加权语法时间约束（O（n^{3}））。此外，我们建议WNNF约束可以分解为一组原始算术约束，而不会阻碍传播。”审核人：斯蒂芬·德姆佩（弗莱堡） 引用于1文件 MSC公司： 65年第68季度 算法和问题复杂性分析 第68季度第42季度 语法和重写系统 关键词：约束编程;全局约束;无上下文文法;否定范式 软件：彗星 PDF格式BibTeX公司 XML格式引用 \文本{G.Katsirelos}等人，Ann.Oper。第184、179--207号决议（2011年；Zbl 1230.68110） 全文： DOI程序 参考文献： [1] A.Bertoni、M.Goldwurm和；Santini，M.（2000）。模糊描述的组合结构的随机生成和近似计数。在STACS 2000中，第17届计算机科学理论方面年度研讨会：第1770卷（第567-580页）。柏林：斯普林格·Zbl 0962.68126号 [2] Cote，M.C.、Bernard，G.、Claude-Guy，Q.和；Louis-Martin，R.（2007）。轮班调度问题整数规划建模的形式化语言。在TR中。 [3] 达尔文，A.，&；Marquis，P.（2002）。知识汇编图。《人工智能研究杂志》，17，229-264·Zbl 1045.68131号 [4] Demassey，S.、Pesant，G.和；卢梭，L.M.（2005）。用于员工时间表的基于约束编程的列生成。在第二届国际会议上，CPAIOR 2005：第3524/2005卷，捷克共和国布拉格（第140-154页）·Zbl 1133.90359号 [5] Demassey，S.、Pesant，G.和；卢梭，L.M.（2006）。基于成本规则的混合柱生成方法。约束，11（4），315–333·Zbl 1117.90066号 ·doi:10.1007/s10601-006-9003-7 [6] Earley，J.（1970年）。一种高效的无上下文解析算法。ACM通信，13（2），94–102·Zbl 0185.43401号 ·数字对象标识代码：10.1145/362007.362035 [7] Eén，n.和；Sörensson，N.（2006）。将伪布尔约束转化为sat。可满足性、布尔建模和计算杂志2，1–26·Zbl 1116.68083号 [8] Fargier，H.和；Marquis，P.（2007）。关于值否定范式公式。M.M.Veloso（编辑），《第20届国际人工智能联合会议论文集》（IJCAI07），印度海得拉巴（第360-365页）。 [9] Gore，V.、Jerrum，M.、Kannan，S.、Sweedyk，Z.和；Mahaney，S.（1997）。从无上下文语言中抽取单词的准多项式时间算法。信息与计算，134（1），59–74·Zbl 0879.68065号 ·doi:10.1006/inco.1997.2621 [10] 霍普克罗夫特，J.E；Ullman，J.D.（1990年）。介绍自动机理论、语言和计算。波士顿：Addison-Wesley，Longman·Zbl 0847.68065号 [11] Jung，J.C.（2008）。基于溶液计数的值排序。新葡京大学博士论文。 [12] Kadioglu，S.和；Sellmann，M.（2008）。有效的无上下文语法约束。摘自：第23届全国人工智能会议记录（第310-316页）。 [13] Katsirelos，G.、Narodytska，N.和；Walsh，T.（2008年）。加权cfg约束。《组合优化问题约束编程中人工智能和操作规则技术的集成》，第五届国际会议，CPAIOR 2008年：第5015卷，法国巴黎（第323–327页）。柏林：斯普林格·兹比尔1142.68515 [14] Katsirelos，G.、Maneth，S.、Narodytska，N.和；Walsh，T.（2009）。受限的全局语法约束。第15届约束规划原理与实践国际会议论文集，CP 2009：第5732卷，葡萄牙里斯本（第501-508页）。柏林：斯普林格·Zbl 1241.68102号 [15] Métiver，J.P.、Boizumault，P.和；Loudni，S.（2009）。使用软全局约束解决护士排班问题。《第15届约束规划原理与实践国际会议论文集》，CP 2009：第5732卷，葡萄牙里斯本（第73-87页）。柏林：斯普林格。 [16] Ney，H.（1991）。连续语音识别中上下文无关文法的动态编程解析。IEEE信号处理汇刊，39（2），336–340·Zbl 0712.68065号 ·数字对象标识代码：10.1109/78.80816 [17] 奥斯索夫斯基，J；Baier，C.（2006）。使用加权和规范化决策图进行符号推理。摘自：第12届符号计算与机械化推理集成研讨会论文集：第151卷（第39-56页）·Zbl 1273.68420号 [18] Pesant，G.（2004）。有限变量序列的正则语言成员约束。M.Wallace（Ed.），第十届约束规划原理与实践国际会议论文集（CP’04）：第3258卷（第482-495页）。柏林：斯普林格·兹比尔1152.68573 [19] 昆珀，C.G.，&；Louis-Martin，R.（2007）。多活动轮班调度问题的大邻域搜索方法。在TR中·Zbl 1187.90141号 [20] 昆珀，C.G.，&；Walsh，T.（2006）。全局语法约束。F.Benhamou（Ed.），第12届约束编程原理与实践国际会议论文集：第4204卷（第751-755页）。柏林：斯普林格·兹比尔1160.68560 [21] 昆珀，C.G.，&；Walsh，T.（2007）。分解全局语法约束。第13届约束规划原理与实践国际会议论文集，CP 2007·Zbl 1145.68529号 [22] Sellmann，M.（2006）。语法约束理论。第12届约束规划原理与实践国际会议论文集（CP06）：第4204卷（第530-544页）。柏林：斯普林格·Zbl 1160.68564号 [23] Van Hentenryck，P.和；Michel，L.（2005）。基于约束的本地搜索。剑桥：麻省理工学院出版社·Zbl 1153.90582号 [24] van Hoeve，W.J.（2009）。软全局约束，约束编程原理和实践教程。2007年CP第15届国际会议。 [25] Walsh，T.（2000）。卫星与csp。R.Dechter（Ed.），约束规划的原理和实践–CP 2000，第六届国际会议，新加坡：1894卷（第441-456页）。柏林：斯普林格·Zbl 1044.68808号 [26] 扎纳里尼，A；Pesant，G.（2007）。约束中心搜索启发式的解计数算法。C.Bessiere（Ed.），约束编程的原理和实践–CP 2007，第13届国际会议：第4741卷，美国罗得岛州普罗维登斯。柏林：斯普林格·Zbl 1145.68536号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。