{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,3,7]]，“日期时间”：“2024-03-07T15:51:27Z”，“时间戳”：1709826687540}，“引用-计数”：0，“发布者”：“AI Access Foundation”，“内容域”：{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[”jair“]，“摘要“：”边界传播是一种重要的人工智能技术，用于约束编程工具处理数值约束。它通常嵌入在搜索过程中（\u0094分支和修剪\u0044），并用于搜索树的每个节点，以缩小搜索空间，因此它的速度至关重要。该过程调用约束传播器直到达到公共不动点，但已知的算法具有伪多项式最坏情况的时间复杂性：当变量的数值范围较小时，它们确实很快，但当这些范围较大时，它们存在众所周知的速度慢得令人望而却步的问题。因此，一个重要的问题是，是否存在计算一组约束的共界一致不动点的强多项式算法。这篇论文回答了这个问题。特别地，我们证明了这种不动点计算实际上是NP-完全的，即使仅限于二进制线性约束<\/jats:p>“，”DOI“：”10.1613\/jair.3248“，”type“：”journal-article“，”created“：{”date-parts“：[[2018,7,17]]，”date-time“：”2018-07-17T10:39:11Z“，”timestamp“：1531823951000}，”page“：“657-676”，“source”：“Crossref”，“is-referenced-by-count”：6，“title”：[“整数绑定传播的复杂性”]，“前缀”：“10.1613”，“卷：“40”，“作者”：[{“给定”：“L”，“家族”：“波尔多“，”sequence“：”first“，”affiliation“：[]}，”{“given”：”G.“，”family“：”Katsirelos“，”serquence“:”additional“，”filiationation“：[]}，，”given“：”N.“，“family”：”Narodytska“，”序列“：”additionated“，”feliational“：”M.Y.行“：{“日期部分”：[[2011,3,28]]}，”container-title“：[“Journal of Artificial Intelligence Research”]，“original-title”：[]，“link”：[{“URL”：“https:\/\/jair.org\/index.php\/jair \/article\/download\/10698\/25562”，“content-type”：“application\/pdf”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“https:\/\/\/jair.org\/index.pphp\/jair\/article \/dowwnload\/10688\/25563英寸content-type“：”application\/postscript“，”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“https:\/\/jair.org\/index.php\/jair \/article\/download\/10698\/25562”，“content-types”：“unspecified”，“content-version”：“vor”，“intended-plication”：“similarity-checking”}]，“deposted”：{“date-parts”：[2019,10,19]]，“date-time”：“”2019-10-19T18:24:11Z“，”timestamp“：1571509451000}，”score“：1，”resource“：{”primary”：{“URL”：“https:\/\/jair.org\/index.php\/jair \/article\/view\/10698”}}，“subtitle”：[]，“shorttitle”：[]，“issued”:{“date-parts”：[2011年3月28日]]}，《references-count》：0，“URL”:“http://\/dx.doi.org\/10.1613 \/jair.3248“，”关系“：{}，”ISSN“：[”1076-9757“]，”ISSN-type“：[{”value“：”1076-9757“，”type“：”electronic“}]，”subject“：[]，”published“：{”date-parts“：[[2011,3,28]]}}