【摘 要】
：
Dear editor,rnArc consistency(AC)[1]is currently the most popular lo-cal consistency for solving constraint satisfaction problems(CSP).To solve CSPs more efficiently,extensive work[2-4]has been done to find local consistencies that perform better than AC.
【机 构】
：
Key Laboratory for Symbol Computation and Knowledge Engineering of National Education Ministry,Chang
论文部分内容阅读
Dear editor,rnArc consistency(AC)[1]is currently the most popular lo-cal consistency for solving constraint satisfaction problems(CSP).To solve CSPs more efficiently,extensive work[2-4]has been done to find local consistencies that perform better than AC.Efforts have primarily been focused on consisten-cies that are stronger than AC.Even though a stronger con-sistency is able to eliminate more inconsistent values than AC,enforcing a stronger consistency is more expensive.It is never easy to determine the optimal tradeoff between a consistency\'s pruning ability and its propagation cost.In recent years,numerous stronger local consistencies,such as max-restricted path consistency(maxRPC)[2],partition-one-ac(POAC)[3],neighborhood singleton arc consistency(NSAC)and restricted NSAC(RNSAC)[4]have been shown to be competitive with AC.These stronger consistencies have been shown to outperform AC on a number of prob-lems.
其他文献
This paper proposes a sliding-mode disturbance observer(SMDOB)-based tracking controller for a class of nonlinear systems with modeling uncertainties and external disturbances.The SMDOB is con-structed using an extended state observer embedded by a filter
Cyclist trajectory prediction is of great significance for both active collision avoidance and path planning of intelligent vehicles.This paper presents a trajectory prediction method for the motion intention of cyclists in real traffic scenarios.This met
Dear editor,rnThe classical final size relation of the standard susceptible-infected-recovered(SIR)epidemic model is based on homogeneous-mixing population[1,2].Recent results have demonstrated the generality of the classical SIR final size relation[3].Ho
This paper focuses on the bumpless transfer fault detection problem for switched systems under state-dependent switching.The goal is to find an effective constraint on filters and an appropriate switching signal to reduce the bumps of residual signals cau
In this paper,an innovative recursive filtering algorithm(RFA)is proposed for a class of nonlinear systems(NSs)subject to multiplicative noises(MNs)and measurement outliers(MOs).Initially,the MNs are employed to formulate the random influence on the NSs w
Blind quantum computation (BQC) can ensure a client with limited quantum capability safely delegates computing tasks to a remote quantum server.In order to resist attacks from ignoring identity authentication in BQC protocols,it is necessary to guarantee
Dear editor,rnInterest in terms of research on formation control of multiple autonomous underwater vehicles(multi-AUVs)has gained considerable attention in recent years[1-5],owing to its ex-tensive applications in deep sea inspection,ocean sampling and lo
This paper presents a control design approach for optimizing the comfortability of hybrid electric powertrains in acceleration mode.A parallel hybrid electric vehicle powertrain system with two motors and a single turbo-charged engine is considered.In acc
Snoring is caused by the stenosis of the upper respiratory tract,which can lead to the vibration of the palatine uvula.Snoring brings not only harm to the snorer[1]but also sleep deprivation to those around them[2].Furthermore,stud-ies show that loud snor
Dear editor,rnThe stochastic singular system is also called the stochas-tic differential algebraic system,stochastic descriptor sys-tem,generalized stochastic system,and stochastic degen-erate system(e.g.,[1-4]).This type of system is found in numerous fi