数值约束满足问题加速方法.pdfVIP

数值约束满足问题的加速方法

莱巴赫，奥利维尔・洛姆

南特矿业学校‑拉尚特里

4,阿尔弗雷德・卡斯街‑邮箱20722

44307南特塞德克3‑法国

{Yahia.Lebbah,Olivier.Lhomme}@emn.fr

本文介绍了一种新的方法，通过使用外推法加速数值CSP过滤算法的收敛。外推

法在数值分析中用于加速实数序列的收敛。展示如何使用它们来解决数值

CSP问题，从而大幅提高效率。

引言

许多工业和工程问题可以被视为约束满足问题（CSP）。CSP由一组变量定义，

每个变量都有一个可能值的域，并且有一组对这些变量的约束。本文讨论的是约

束为数值关系且域为连续域的CSP（数值CSP）。数值CSP可以用来表达大量问

题，特别是涉及不精确数据或部分定义参数的模型。

一般来说，数值CSP不能用计算机代数系统解决，而且大多数数值算法无法保证

完整性。唯一能够保证完整性——即使使用浮点计算——的数值算法来自区间分

析社区或AI社区（CSP）。

这些约束求解算法通常是一种搜索树探索，在每个节点上应用剪枝（或过滤）技

术。在于找到在高计算成本下实现强剪枝的过滤技术和在低计算成本下实现

较弱剪枝的过滤技术之间的最佳平衡。

所使用的过滤技术可能是适应数值约束满足问题的弧一致性过滤（Davis，1987；

Hyvönen，1992；Lhomme，1993）。

AccelerationmethodsfornumericCSPs

YahiaLEBBAH,OlivierLHOMME

EcoledesMinesdeNantes-LaChantrerie

4,rueAlfredKastler-B.P.20722

44307NantesCedex3-France

{Yahia.Lebbah,Olivier.Lhomme}@emn.fr

ThispaperintroducesanewwayofacceleratingtheconvergenceofnumericCSP

filteringalgorithms,throughtheuseofextrapolationmethods.Extrapolationmethods

areusedinnumericalanalysistoacceleratetheconvergenceofrealnumbersequences.

WewillshowhowtousethemforsolvingnumericCSPs,leadingtodrasticimprovement

inefficiency.

Introduction

Manyindustrialandengineeringproblemscanbeseenasconstraintsatisfaction

problems(cSPs).ACSPisdefinedbyasetofvariab,eachwithanassociateddomain

ofpossiblevaluesandasetofconstraintsonthevariab.ThispaperdealswithcSPs

wheretheconstraintsarenumericrelationsandwherethedomainsarecontinuous

domains(numericCSPs).NumericCSPscanbeusedtoexpressalargenumberof

problems,inparticularphysicalmodelsinvolvingimprecisedataorpartiallydefined

parameters.

Ingeneral,numericCSPscannotbetackledwithcomputeralgebrasystems,andmost

numericalgorithmscannotguaranteecompleteness.Theonlynumericalgorithmsthat

cangua