CiNii Researchの本公開について

Controlling the Diversive and Specific Exploration in Solving Disjunctive Linear Constraint Satisfaction Problem

この論文をさがす

抄録

type:Journal Article

A constrained optimization problem or a constraint satisfaction problem in which the constraint is a conjunction of disjunctions of linear inequalities is widely used in many fields, e.g. spatial layout and path planning of robots and vehicles. These problems are called DLP or DLCSP, respectively. In this paper we propose a neural network for the DLCSP. For a DLP/DLCSP, when a disjunct is chosen for each disjunction, the whole constraint becomes a conjunctive constraint, i.e. a linear programming (LP) or linear constraint satisfaction problem (LCSP), respectively. Hence algorithms for LP/LCSP can work as an underlying algorithm for the DLP/DLCSP. Because the computational intractability called combinatorial explosion is caused by the existence of disjunctions, the most important is how to cope with the disjunctions when the number of them is large. To do this we propose a mechanism of balancing diversive and specific explorations of the state space. We have already proposed a neural network called LPPH for the satisfiability problem (SAT). The LPPH does not trap by any point which is not a solution of the SAT, and when it comes near a solution, it converges to the solution. The proposed neural network LPPH-DLCSP inherits these properties from the LPPH. In this paper we also provide experimental results which show the effectiveness of the proposed mechanism of balancing diversive and specific explorations.

収録刊行物

被引用文献 (0)

もっと見る

参考文献 (0)

もっと見る

関連論文

もっと見る

関連研究データ

もっと見る

関連図書・雑誌

もっと見る

関連博士論文

もっと見る

関連プロジェクト

もっと見る

関連その他成果物

もっと見る

詳細情報

ページトップへ