JPH04217062A

JPH04217062A - 拘束条件満足型問題解決効率改善方法及び装置

Info

Publication number: JPH04217062A
Application number: JP3012821A
Authority: JP
Inventors: Kadathur S Natarajan; カダトゥール、サブラーマンヤ、ナタラジャン
Original assignee: International Business Machines Corp
Current assignee: International Business Machines Corp
Priority date: 1990-02-26
Filing date: 1991-01-09
Publication date: 1992-08-07
Also published as: EP0444487A3; EP0444487A2

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は一般に拘束条件満足型問
題として知られる種類の問題に対する解決を最適化する
ための、ディジタルコンピュータで行われる方法に関す
る。特に、本発明は、（ａ）バックトラック検索中に生
じる障害パスに関する情報を記録するテーブルを発生し
維持する方法、及び（ｂ）より頻繁に生じる障害パスを
特定の拘束条件満足型問題の将来のインスタンスの解決
中に回避しうるようにそのテーブルを使用する方法、に
関する。

【０００２】

【従来の技術】論理プログラミング及び個別最適化のア
プリケーションはしばしば拘束条件満足型問題としてま
とめられている。拘束条件満足型問題は一般に任意の拘
束条件群を満足することを必要とする。検索手順がその
問題についてのすべての拘束条件を同時に満足させるす
べての問題解決を列挙するために用いられる。

【０００３】バックトラックを伴う縦型検索は一つの問
題に対するすべての解決法を列挙するための検索戦略と
して知られている。

【０００４】縦型検索はトップダウン、レフト・ライト
検索戦略を用いて行えるものである。一例として、ＩＢ
Ｍ　Ｔｅｃｈｎｉｃａｌ　Ｄｉｓｃｌｏｓｕｒｅ　Ｂｕ
ｌｌｅｔｉｎ　の第３０巻第１号、１９８７年６月、ペ
ージ１４６〜１４８にバックトラック検索技術が示され
ている。この文献は一つの検索についての拡張シーケン
スを決定するためのルールを示しており、拡張シーケン
スはアブストラクト　　オブジェクトが一つの検索ツリ
ー内で検査されるシーケンスと定義される。

【０００５】

【課題を解決するための手段】問題インスタンスのシー
ケンスが解決されるときには異なる問題インスタンス用
の検索ツリーはかなりのオーバラップをもつ傾向のある
ことがわかった。しかしながら、一般に用いられるバッ
クトラック検索の様式では一つの問題の一つのインスタ
ンスを解決する際に得られる経験がその問題の他のイン
スタンスの解決についての処理の軽減のためには用いら
れない。かくして従来の技術ではシステマチックな学習
が生じない。バックトラック検索効率を改善するための
試みは一般に一つの問題の夫々のインスタンスをその問
題の前のインスタンスとは無関係に解決することに向け
られている。しかしながらこれらの技術は問題インスタ
ンスの一つのシーケンスについての平均効率を最適にす
ることについては考慮していない。

【０００６】米国特許第４７５２８９０号明細書ではプ
ログラム実行中のパフォーマンスパラメータのシステマ
チックな学習がアダプテイブ検索技術をつくるために用
いられてそのシステムの将来の使用におけるパフォーマ
ンスを改善している。この特許明細書はさらに、平均検
索実行コストを最小にするように種々の検索代替パスの
再配列を行う最良の方法を決定するためにそれら代替パ
スのパフォーマンスヒストリをモニタすることに立脚す
るアダプティブ検索技術を開示している。この特許の問
題とする問題群は、すべての解決法が見出されている拘
束条件満足型問題ではなく唯一の解決法が見出された形
式の問題である。

【０００７】従って、本発明の目的は拘束条件満足型問
題のインスタンスを解決するために用いられるシステム
のパフォーマンスを向上させる方法を提供することであ
る。

【０００８】本発明の他の目的は次の検索中に検査のた
めの検索関連情報を記録するための障害ヒストリテーブ
ルを用いる、バックトラック検索技術を最適化する方法
を提供することである。

【０００９】

【課題を解決するための手段及び作用】上記の問題は本
発明によれば、ディジタルコンピュータで行われる拘束
条件満足型の問題の解決効率を改善する装置及び方法に
より解決されそして他の利点が得られる。この方法は、
バインディングセット属性、ポテンシャルセービング属
性及びアキュムレーテッドセービング属性を含む、夫々
複数の属性フィールドを有する複数のエントリに割当て
られる記憶手段を有するデータ構造をつくるステップを
含んでいる。この方法はさらにツリー構造のバックトラ
ック検索中に識別された障害パスの発生に応じてデータ
構造にエントリをそう入するステップを含む。この方法
はまたこのツリー構造の、くり返し的に障害として識別
されるパスを回避するためにバックトラック検索中にデ
ータ構造のエントリを検査するステップを含む。この検
査ステップは検索ツリーの一つのノードからの順方向の
動きの前に生じる。検索技術は検索ツリーのルートノー
ドから現ノードへの一つのパスに対応する現在のバイン
ディングセットの値が障害ヒストリテーブル内の一つの
エントリのバインディングセット属性内にすでにあるか
どうかを決定する。もしあれば、識別されたエントリに
ついてのアキュムレーテッドセービング属性と関連した
値がそのエントリのポテンシャルセービング属性の値だ
け増加される。この検索は次に現ノードの親ノードにバ
ックトラックして前に識別された障害パスを回避する。もし整合するエントリがないならば、検索は順方向に継
続する。

【００１０】

【実施例】本発明を用いるアプリケーションはディジタ
ルデータプロセッサにより次の一般式を有する拘束条件
満足型問題解をしばしば解決する。

【００１１】　　Ｇ（Ｓ）＝Ｐ１　（Ｓ１　）＆Ｐ２　（Ｓ２　）＆
…ＰＭ　（ＳＭ　）但し、Ｇ（Ｓ）は解決されるべき問
題であり、Ｓ＝｛Ｘ１　，Ｘ２，…ＸＮ　｝はＮ個のア
ーギュメント変数群である。１≦ｉ≦Ｍとすると、Ｐｉ
　（Ｓｉ　）はアーギュメントＳｉ　を有するｉ番目の
副問題である。但し、Ｓｉ　はＳの部分集合である。問
題Ｇに対する解は、（ａ）各副問題Ｐｉ　が解決し、そ
して（ｂ）２個以上の副問題に共通の各アーギュメント
が一定の値に一致して結合される、ようにアーギュメン
トＰ１　，Ｐ２　，…ＰＭ　の夫々に対する定数のバイ
ンディングである。これらバインディングが異なる、す
なわち少くとも１つのアーギュメントがこれら２つのバ
インディングの２つの異なる値に結合されるなら、２つ
の解は異なる。

【００１２】例えば、拘束条件満足型の問題の一つのイ
ンスタンスにおいて、一つにはＳのサブセットのバイン
ディングが与えられ、検索プロシーデュアがＳの残りの
部分についてのすべての一致バインディングを列挙する
ことを要求される。図１に示される形式の検索ツリーが
この検索手順に用いられる。検索ツリー１０はルートノ
ード１２を有する。ツリー１０に沿ったリーフノードへ
の動きを順方向検索、ルートノード１２への動きをバッ
クトラックと呼ぶ。１個以上の子を有するツリーの一つ
のノードは「親ノード」と呼ばれ、これら子の夫々は「
子ノード」と呼ばれる。例えば図１のノードＶｊ　はノ
ードＶｉ　の親ノードであり、ノードＶｉ　はノードＶ
ｋ　の親ノードである。

【００１３】本発明の一つの観点は拘束条件満足問題を
解くために用いられるディジタルデータプロセッサのメ
モリ内にデータ構造を作り維持することに関する。この
データ構造はここでは障害ヒストリテーブル２０と呼ぶ
。障害ヒストリテーブル２０のフォーマットを図２に示
す。障害ヒストリテーブル２０はバックトラック検索中
に生じた障害パスに関する有限の量の情報をレコードす
るために用いられる。本発明の他の観点は、しばしば出
会う障害パスを拘束条件満足問題の将来のインスタンス
の解決中に回避するようにこのテーブル２０を用いる方
法に関する。

【００１４】図３は本発明の実施に適したデータ処理シ
ステム１４の一実施例のブロック図である。システム１
４はメモリ１８に双方向的に接続されたデータ処理ユニ
ット（ＤＰＵ）１６を含む。メモリ１８は障害ヒストリ
テーブル（ＦＨＴ）２０として上述したデータ構造を記
憶する。またメモリ１８は検索ツリー１０を表わすデー
タのような他のデータを記憶しそして本発明の方法の実
行のためのインストラクションを含む、バックトラック
ツリー検索プロシーデュアを実行するための動作可能な
ＤＰＵインストラクションを記憶する。ＤＰＵ１６は時
間ソース（ＴＩＭＥ１６ａ）へのアクセスを有しそして
それを、後述するようにバックトラック検索を実行する
間に読取る。本発明はこのような実施例に限られるもの
ではなく、分布プロセッサそしてまたは分布メモリ型ア
ーキテクチュアを含む多くの異なったデータ処理環境に
使用できるものである。

【００１５】本発明の方法は障害ヒストリテーブル２０
であるデータ構造内にエントリを作りそう入する。テー
ブル２０のエントリ１〜ｎの夫々はバインディングセッ
ト属性、ポテンシャルセービング属性、アキュムレーテ
ッドセービング属性を含む少くとも３個の属性またはコ
ンポーネントを有する。まず障害ヒストリテーブル２０
のすべてのエントリが０にセットされる。図４及び５に
示すように次の方法がテーブル２０へのエントリのそう
入に用いられる。

【００１６】後述するＮクイーン問題（Ｎ−Ｑｕｅｅｎ
ｓ　Ｐｒｏｂｌｅｍ）のような特定の拘束条件満足型問
題の一つのインスタンスがシステム１４に与えられてそ
れにより解決すべきものとする。図１のバックトラック
検索ツリー１０の一つのノード、例えばＶｊ　からの第
１の順方向の動きの前にこのシステムはＴＩＭＥ１６ａ
から得られる現在のシステムクロック時間をスタックロ
ケーションのようなメモリ１８のロケーションにレコー
ドする（ブロック３０）。このレコードされた時間をノ
ードＶｊ　について（タイムフォーワード（Ｖｊ　）と
呼ぶ。夫々のバックトラック動作（ブロック３２）の後
に次のアクションが行われる。

【００１７】検索がノードＶｋ　からノードＶｉ　へと
バックトラックするものとする。ノードＶｉ　から出る
他の代替パスがあるかどうかを決定するためのチエック
がなされる（ブロック３４）。もしあれば、その代替パ
スを順方向にたどる（ブロック３６）。もしなければ次
のステップが行われる。ノードＶｉ　にルートを有する
サブツリーが少くとも一つの解を含んでいれば（ブロッ
ク３８）、この方法はその検索ツリー内のノードＶｉ　
の親ノードへとバックトラックする（ブロック４０）。前述のように図１のノードＶｉ　の親ノードはＶｊ　で
ある。

【００１８】しかしながら問題は、このノードＶｉ　に
ルートをもつサブツリーが解を含まない場合である。本
発明の方法は将来の処理を容易にするためにこの場合を
エクスプロイトする。

【００１９】詳細には、もしノードＶｉ　をルートとす
るサブツリーが解を含まない場合には、現在のクロック
時間（タイムフォワード（Ｖｉ　））がレコードされ（
ブロック４２）そして障害ヒストリテーブル２０の新し
いエントリが、バックトラックを強行するいずれかの検
索状態をレコードするためにつくられる（ブロック４４
）。ブロック４４は図５に示す付加システム４４ａ，４４ｂ
，４４ｃ及び４４ｄを含む。さらに、初期テストが、後
述するようにテーブル２０が一杯であるかどうかを決定
するためになされる（図７）。

【００２０】図５に続き、バインディングセット属性に
ついてテーブル２０に検索ツリー１０のルートノード１
２からノードＶｉ　へのパスに含まれる変数の現在のバ
インディングの値をレコードする。また、ポテンシャル
セービング属性に（タイムバックワード（Ｖｉ　）−（
タイムフォーワード（Ｖｉ　））の値が割当てられる。アキュムレーデッドセービング属性には０値が割当てら
れる。新しいエントリがつくられた後に、今そう入されたエン
トリよりも制限の厳しいバインディングセットを有する
現存するエントリをこのテーブルから除去する。これに
関し、バインディングセットＳｘ　は、変数及びそれら
に関連した結合された他のＳｙ　内の値がそれら変数及
びそれらに関連するＳｘ　内の値のサブセットであれば
他のバインディングセットＳｙ　より制限的と考える。

【００２１】拘束条件満足問題の以降のインスタンスが
解決されるとき障害ヒストリテーブル２０に含まれる情
報が次のように用いられ、維持される。

【００２２】図６はテーブル２０を用いるための更新法
をブロック図として示すものである。一つのノード、例
えばノードＶｉ　からの夫々の順方向の動きの前にこの
検索法は、ルートノード１２からノードＶｉ　へのパス
に対応する現在のバインディングセットの値が障害ヒス
トリテーブル２０内の一つのエントリのバインディング
セット属性内にすでにあるかどうかを決定する（ブロッ
ク５０）。もしすでにあれば、このエントリについての
アキュムレーテッドセービング属性の値をこのエントリ
のポテンシャルセービング属性の値だけ増加する（ブロ
ック５２）。検索は次にバックトラック検索ツリーのノ
ードＶｉ　の親ノードにバックトラックして、本発明に
より前に識別された障害パスを回避する。障害ヒストリ
テーブル２０内に整合するエントリがブロック５０にお
いて見出されない場合には検索は前述のように順方向に
続けられる（ブロック５６）。

【００２３】図７は障害ヒストリテーブル２０について
のオーバフロー処理方を示す。障害ヒストリテーブル２
０がそれへの新エントリのそう入を試みる間に満杯であ
ると決定される（ブロック６０）と、この検索方法は次
のステップを実行する。アキュムレーテッドセービング
属性について最小値を有するエントリを識別するための
検索がテーブル２０に行われる（ブロック６２）。いく
つかのキャンディデートがあればポテンシャルセービン
グ属性について最小値を有するキャンディデートエント
リの一つが選ばれる（ブロック６４）。識別されたテー
ブル２０のエントリのポテンシャルセービング属性の値
がそう入されるべきエントリのポテンシャルセービング
属性値と比較される（ブロック６６）。後者の方が大き
ければテーブル２０内でそれを前者と入れ替える（ブロ
ック６８）。前者が大きければ新しいエントリはテーブ
ル２０にそう入されない。

【００２４】これに関し、テーブル２０についての可能
なエントリの最大数は一般にアプリケーションによるも
のであり、データ処理システム内での検索ツリーの高さ
ないしはメモリ容量により決まる。一つの考えられる値
は、（ｘ）を検索ツリーの高さとし、（ｃ）を定数とす
ると、ｃ（ｘ）である。

【００２５】本発明の障害ヒストリテーブルに障害を記
録することにより得られるパフォーマンスの改善の程度
を次に述べる。プロトタイプの拘束条件満足問題、すな
わちＮクイーン問題に対するすべての解を発生するため
の時間を測定した。要約すると、Ｎクイーン問題はクイ
ーンが他のクイーンをテークしないようにＮ×Ｎチエッ
カーボード上にＮ個のクイーンを配置することに関する
。Ｎ＝６とすると、すべての解を発生するための時間は
１７３ミリ秒となった。２個の長さを越えない障害パス
が障害ヒストリテーブルに記録された、障害ヒストリテ
ーブル内のこの情報により、すべての解を発生するため
の時間は６２ミリ秒となり、２．７９：１に改善された
。Ｎ＝８についてはすべての解を発生するための時間は
６．４８８秒であった。３の長さを越えない障害パスが
障害ヒストリテーブルに記録された。障害ヒストリテー
ブルのこの情報により、全解を発生するための時間は３
．５９秒となり、８０％の改善が得られた。上記の改善
度は障害ヒストリテーブルを用いるのに必要なランタイ
ムオーバーヘッドを考慮している。実際にはパフォーマ
ンス改善の度合は問題の使用を特徴づける統計により決
まる。

【００２６】本発明はさらに上記の障害ヒストリテーブ
ルのいくつかの変更例を与えるものである。特にそう入
法並びに交換法は次に述べるように変更しうる。

【００２７】まず、図４及び５に示すようにそう入法の
いくつかの変更例を述べる。一つの変更例は、検索ツリ
ーのルートノード１２から現ノードへのパスの長さが特
定の定数より小さいときにのみ障害ヒストリテーブルに
エントリのそう入を行うものである。この点に関し、パ
スの長さを検索ツリー１０のルートノード１２から現ノ
ードへの多数のパス「エッジ」と考える。他の変更例は
一つのノードについて決定されたポテンシャルセービン
グの値が所定のしきい値より大であるときにのみテーブ
ルにエントリをそう入するものである。

【００２８】次に、図７の交換法の変形を述べる。一つ
の変形は最も小さいポテンシャルセービング属性値を有
するエントリをテーブル２０から除くものである。いく
つかのキャンディデートがあれば最小のアキュムレーデ
ッドセービング属性値をもつエントリが除去される。他
の変形はポテンシャルセービング及びアキュムレーデッ
ドセービング属性の和が最小となるテーブル内のエント
リを決定することである。この和がそう入を考えるキャ
ンディデートエントリのポテンシャルセービングより小
さければ、そのエントリが前者のエントリに入れ替わる
。

【図面の簡単な説明】

【図１】典型的バックトラック検索ツリーを示す図。

【図２】障害ヒストリテーブルであるデータ構造のフォ
ーマットを示す図。

【図３】本発明を実施するのに適したデータ処理システ
ムの一実施例のブロック図。

【図４】障害ヒストリテーブルにエントリをつくる方法
を示すフローチャート。

【図５】図４のブロック４４の、特に障害ヒストリテー
ブル内に新しいエントリをつくるのに関連したステップ
の詳細図。

【図６】障害ヒストリテーブル内のエントリを更新する
方法を示すフローチャート。

【図７】障害ヒストリテーブルのオーバフロー条件に応
じる方法を示すフローチャート。

【符号の説明】

１０　　検索ツリー１２　　ルートノード１４　　データ処理システム１６　　データ処理ユニット（ＤＰＵ）１８　　メモリ

Claims

【特許請求の範囲】

【請求項１】ディジタルデータプロセッサ手段により実
行されるバックトラックツリー検索技術により行われる
拘束条件満足型問題解決効率改善方法であって、前記デ
ィジタルデータプロセッサ手段のメモリ手段内に、夫々
複数の属性フィールドからなる複数のエントリを記憶す
るためのデータ構造をつくるステップと、検索ツリーの
バックトラック検索中に識別される障害パスの発生に応
じて上記データ構造にエントリをそう入するステップと
、障害パスとして識別された検索ツリーのパスを回避す
るためにバックトラック検索中上記データ構造のエント
リを検査するステップとを有する拘束条件満足型問題解
決効率改善方法。
【請求項２】前記データ構造をつくるステップは障害ヒ
ストリテーブルをつくるステップを含み、夫々のエント
リはバインディングセット属性、ポテンシャルセービン
グ属性及びアキュムレーテッドセービング属性を表わす
データを記憶するための少くとも３個の属性フィールド
を有する請求項１に記載の方法。
【請求項３】前記検索ツリー構造の現ノードからの順方
向の動きを行う前に第１現時点値を記録するステップを
含んでいる請求項２に記載の方法。
【請求項４】障害パスの識別による検索ツリーの現ノー
ドへのバックトラックの発生に応じて、現ノードからの
代替順方向パスがあるかどうかを決定するステップと、
現ノードからの代替順方向パスがないとき、現ノードを
ルートとするサブツリーが少くとも１つの解決を含むか
どうかを決定するステップと、このサブツリーが少くと
も１つの解決を含まないとき、次の現時間値を記録する
ステップと、現ノードへのバックトラックを強行させる
状態に関連したデータを記録するために障害ヒストリテ
ーブルにエントリをそう入するステップとを含んでいる
請求項３に記載の方法。
【請求項５】前記エントリのそう入ステップは、前記関
連するバインディングセット属性についてルートノード
から現ノードへのパスに関連した変数のバインディング
の現在値を記録するステップと、前記関連したポテンシ
ャルセービング属性に、第１現時間値と次の現時間値の
差の値を割当てるステップと、前記関連するアキュムレ
ーテッドセービング属性に０値を割当てるステップとを
含んでいる請求項４に記載の方法。
【請求項６】障害ヒストリテーブルへの他のエントリが
前記障害ヒストリテーブルに最後にそう入されたエント
リのバインディングセットよりも制限の大きいバインデ
ィングセットを有するかどうかを決定するステップと今
そう入されたバインディングセットより制限の大きいバ
インディングセットを有するエントリを障害ヒストリテ
ーブルから除去するステップと、をさらに含んでいる請
求項５記載の方法。
【請求項７】障害ヒストリテーブルのエントリが最後に
障害ヒストリテーブルにそう入されたエントリのバイン
ディングセットより制限の大きいバインディングセット
を有するかどうかを決定するステップは、変数及び他の
バインディングセットＳｙ内のそれらに関連する結合値
が変数及び第１バインディングセットＳｘ内のそれらに
関連する値のサブセットであるときＳｘがＳｙより制限
が大きいとする目安を用いて行われる請求項６に記載の
方法。
【請求項８】前記エントリのそう入ステップはその第１
ステップとして新しくそう入されたエントリにより障害
ヒストリテーブルがオーバフローするかどうかを決定す
るステップを含んでいる請求項２に記載の方法。
【請求項９】新しくそう入されたエントリにより障害ヒ
ストリテーブルがオーバフローする場合に、最小のアキ
ュムレーテッドセービング属性値を有する障害ヒストリ
テーブル内のエントリを識別するステップと、識別され
たエントリのポテンシャルセービング属性の値を障害ヒ
ストリテーブルにそう入されるべきエントリのポテンシ
ャルセービング属性値と比較するステップと、障害ヒス
トリテーブル内の識別されたエントリを、そう入される
べきエントリのポテンシャルセービング属性値が識別さ
れたエントリのポテンシャルセービング属性値より大き
いときにのみ、そう入されるべきエントリで置き換える
ステップとをさらに含んでいる請求項８に記載の方法。
【請求項１０】前記最小のアキュムレーテッドセービン
グ属性値を有する障害ヒストリテーブル内のエントリを
識別するステップが複数のエントリを識別した場合に、
最小のポテンシャルセービング属性値を有するものをキ
ャンディデートエントリとして選択するステップを含ん
でいる請求項９に記載の方法。
【請求項１１】前記検査するステップは、検索ツリーの
現ノードから順方向の動きを行う前に、検索ツリーのル
ートノードから現ノードへのパスに対応する現バインデ
ィングセットの値が障害ヒストリテーブル内の一つのエ
ントリのバインディングセット属性内にすでにあるかど
うかを決定するステップと、もしすでにあれば、そのエ
ントリについてのアキュムレーテッドセービング属性値
をそのエントリのポテンシャルセービング属性値だけ増
加させるステップと、現ノードを親ノードへバックトラ
ックするステップとを含んでいる請求項２に記載の方法
。
【請求項１２】前記そう入するステップは検索ツリーの
ルートノードから現ノードへのパスの長さが特定の定数
より小さいときにのみ行われる請求項２に記載の方法。
【請求項１３】前記そう入するステップは一つのノード
のポテンシャルセービング属性値が所定のしきい値より
大のときのみ行われる請求項２に記載の方法。
【請求項１４】新しくそう入されたエントリにより障害
ヒストリテーブルがオーバフローする場合に、最小のポ
テンシャルセービング属性値を有するエントリを障害ヒ
ストリテーブルから除去するステップを含んでいる請求
項８に記載の方法。
【請求項１５】複数のキャンディデートエントリがある
場合に最小のアキュムレーテッドセービング属性値を有
するキャンディデートエントリを除去するステップを含
んでいる請求項１４に記載の方法。
【請求項１６】そう入されるべきエントリのそう入によ
り障害ヒストリテーブルがオーバフローするとき、ポテ
ンシャルセービング属性とアキュムレーテッドセービン
グ属性の和が障害ヒストリテーブル内の他のエントリの
それより小さいエントリを障害ヒストリテーブル内に識
別するステップと、そう入されるべきエントリのポテン
シャルセービング属性よりその和が小さいとき、そう入
されるべきエントリで、障害ヒストリテーブル内で識別
されたエントリを置き換えるステップとをさらに含んで
いる請求項８に記載の方法。
【請求項１７】すべての障害ヒストリテーブル属性を０
値に割当てる初期ステップを含んでいる請求項２に記載
の方法。
【請求項１８】バックトラックツリー検索技術による拘
束条件満足問題のインスタンスを解決するための装置で
あって、夫々検索ツリーのノードに関連したバインディ
ングセット属性、ポテンシャルセービング属性及びアキ
ュムレーテッドセービング属性を表わすデータを記憶す
る少くとも３個の属性フィールドからなる複数のエント
リを有するデータ構造をメモリ手段内に記憶するために
このメモリ手段に接続されたデータ処理手段を備え、こ
のデータ処理手段は、第１バックトラック検索手順中に
識別される障害パスの発生に応じてデータ構造にエント
リをそう入する手段を含む第１バックトラックツリー検
索手順を実行するための手段と、前に障害パスとして識
別された検索ツリーのパスを迂回するために次のバック
トラックツリー検索手順中にデータ構造のエントリを検
査する手段とを含んでいる、拘束条件満足型問題解決効
率改善装置。
【請求項１９】検索ツリーの現ノードからの順方向の動
きを実行する前に現時間値を記録するための手段を含ん
でいる請求項１８に記載の装置。
【請求項２０】障害パスの識別による検索ツリーの現ノ
ードへのバックトラックの発生に応じて、現ノードから
の代替順方向パスがあるかどうかを決定し、代替順方向
パスがないとき現ノードにルートをもつサブツリーが少
くとも１つの解を含むかどうかを決定し、サブツリーが
少くとも１つの解を含まないとき次の現時間値を記録し
、現ノードへのバックトラックを強制される状態に関連
したデータを記録するためデータ構造にエントリをそう
入するための手段と、関連するバインディングセット属
性についてルートノードから現ノードへのパスに関連し
た変数のバインディングの現在値を記録するための手段
を含むエントリそう入のための手段と、関連するポテン
シャルセービング属性に第１現時間値と次の現時間値と
の差の値を割当てるための手段と、関連するアキュムレ
ーテッドセービング属性に０値を割当てるための手段と
、を含んでいる請求項１９に記載の装置。