Assumption-based Pruning in Conditional

Assumption-based Pruning in Conditional

ID:43704990

大小:718.00 KB

页数:21页

时间:2019-10-13

Assumption-based Pruning in Conditional_第1页
Assumption-based Pruning in Conditional_第2页
Assumption-based Pruning in Conditional_第3页
Assumption-based Pruning in Conditional_第4页
Assumption-based Pruning in Conditional_第5页
资源描述:

《Assumption-based Pruning in Conditional》由会员上传分享,免费在线阅读,更多相关内容在行业资料-天天文库

1、Assumption-basedPruninginConditionalCSPFelixGellerandMichaelVekslerOutlineConditionalCSP(MittalandFalkenhainer)ConditionalCSPsolutionmethodsActivityCSPformulationMAC-basedalgorithmforACSPActivitydisjunctionandimplicationQuestions2DescribesCSPwherenot

2、allvariablesarerequiredtoparticipateinasolution(V,VI,D,CC,CA)ConditionalCSP(MittalandFalkenhainer)TheassignedvariablesareactivevariablesAcompatibilityconstraintisrelevantifallitsvariablesareactiveActivityofavariableisdeterminedbyactivityconstraintGiv

3、enanassignmentofvaluestoAnactivityconstraint:isrelevantifCisrelevantAnactivityconstraintissatisfiedifvisactiveorCisnotsatisfiedInasolutionallrelevantconstraintshavetobesatisfiedMinimalityrequirement3ExistingapproachestosolvingConditionalCSPsReformula

4、tionWorkingdirectlyonConditionalCSPrepresentationMainidea:maintainlistofactivevariablesandcheck/propagateconstraintsaftertheirvariablesbecomeactive[Mittal,Falkenhainer]:Backtracksearchwithconflictsrecording[Gelle,Faltings]:Atfirstdeterminevariableact

5、ivitystatus;forfixedvariableactivitystatusCondCSPturnsintoCSP.[Sabin,Freuder,Wallace],[Gelle,Sabin]:invokeconsistencytechniques(CondFC,CondMAC)directlyonConditionalCSPrepresentationPropagateconstraintsoncetheirvariablesareactiveCondMACprovedtobesuper

6、ioroverCondBTandCondFCThelimitation:constraintpropagationhastowaituntilvariablesbecomeactive4ActivityCSPformulation(V,VI,VA,D,C,A)VariableisactiveifeitheroristrueConstraintisrelevantifallitsvariablesareactiveAnassignmentisasolutionifallrelevantconstr

7、aintsaresatisfiedA-activationconditions: EachvariableisdominatedbysomeExplicitactivityvariablesGivenanassignmentofvaluesto5Earlyconflictdetection:ey=trueD(x)=D(y)={0,…,4}ez=trueD(x)=D(z)={5,…,9}D(y)∩D(z)=Øeyez=falseInformationflowfromconditionalv

8、ariablestounconditionalvariables:ey=trueD(x)=D(y)={0,…,4}ez=trueD(x)=D(z)={5,…,9}eyezD(X)={0…9}AnACSPproblem{true,false}ey{true,false}ez{0,…,4}y{5,…,9}z{0,…,100}x==V6EnablingearlyconstraintpropagationAllowconstraintpropagationtomodifyvariabledoma

当前文档最多预览五页,下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页,下载文档查看全文
温馨提示:
1. 部分包含数学公式或PPT动画的文件,查看预览时可能会显示错乱或异常,文件下载后无此问题,请放心下载。
2. 本文档由用户上传,版权归属用户,天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容,确认文档内容符合您的需求后进行下载,若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误,付费完成后未能成功下载的用户请联系客服处理。