論理方程式に対する計数方による解法とその応用に関する研究

逻辑方程计数法求解方法及其应用研究

• 批准号: 01550294
• 负责人: 岩間 一雄
• 金额: $ 0.51万
• 依托单位: Kyoto Sangyo University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for General Scientific Research (C)
• 财政年份: 1989
• 资助国家: 日本
• 起止时间: 1989 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-01550294/
• 关键词: 論理式の充足可能性判定問題; 平均時間複雑さ; NP完全性

本年度の研究目標として、(1)計数法の実用性の検証及びその結果に基づくアルゴリズムの改良、(2)実際的問題への応用の2点をあげた。(1)米国インジアナ大学のPurdom教授が、理論式の充足可能性判定問題を解く代表的な数個のアルゴリズムのランダム入力に対する性能評価を計算機実験によって行い、代表者も米国を訪問し協力した。その結果によれば、計数法は与えられたCNF理論式の各項にリテラルが比較的多く現れるような(かなり大きな)クラスに対しては他のアルゴリズムより圧倒的にすぐれていることが確認された。Iwama's Algorithmとして世界的に浸透しつつある。現在この解析結果に基づき実用性を上げる方向での改良を進めている。他のアルゴリズムと組み合わせて互いの利点を引き出すことが可能であり、上記Purdom教授との協同研究を計画中である。計数法自体の改良の可能性もいくつか指摘されており、特に、計算の早期打切りを可能にする発見的手法の導入が有力視されている。その効果を確かめる為の数学的解析を現在進めておりまもなく結果を公表する予定である。(2)結め将棋を解くプログラムの開発を学生の協力を得て行い、そのような実際的問題で論理方程式を解く必要が生じる場面がどの程度現れるか検討した。プログラム自体は十数手結の問題まで実用的時間で解けるものが完成している。論理方程式を解くことによって解探索の空間を縮小することができるが同時にプログラミングの手間が予想以上に大きいものであることが判明した。ゲ-ム木の総当り的探索に比べどの程度有利であるかの定量的解析を試みている。

The research target of this year の と し て, (1) notation の be use sex の 検 and び そ の results に づ く ア ル ゴ リ ズ ム の improvement, (2) to be the problem of interstate へ の 応 with の 2 を あ げ た. (1) meter イ ン ジ ア の ナ university professor Purdom が, theoretical type の enough possibilities for determining く を solutions represent な several の ア ル ゴ リ ズ ム の ラ ン ダ ム に into force す seaborne る performance evaluation 価 を computer be 験 に よ っ て を い rows, represent も m countries access し together し た. そ の results に よ れ は ば, counting method and え ら れ た CNF theories type の に リ テ ラ ル が comparison く now more れ る よ う な (か な り big き な) ク ラ ス に し seaborne て は he の ア ル ゴ リ ズ ム よ り 圧 down に す ぐ れ て い る こ と が confirm さ れ た. Iwama's Algorithmと て て the に of the world permeates ある. Now, the <s:1> <s:1> analysis result に is based on the づ を practicality を and the げる direction で <s:1> is improved を to めて る る る る. He の ア ル ゴ リ ズ ム と group み close わ せ て mutual い の tartness を lead き out す こ と が may で あ り, written Purdom professor と を の collaborative research projects in で あ る. Counting method of autologous の improvement possibility の も い く つ か blame さ れ て お り に, calculating の early play, and cut り を may に す る 発 see gimmick の import が powerful visual さ れ て い る. そ の unseen fruit を か indeed め る for の mathematics analytic を now into め て お り ま も な く results を male table す る designated で あ る. (2) the knot め will move を solution く プ ロ グ ラ ム の open 発 を students の together を て い, そ の よ う な be interstate く で logical equation を solutions are necessary が raw じ る scene が ど の degree now れ る か beg し 検 た. Youdaoplaceholder0 self-プ ログラム a dozen hands knot <s:1> problem まで practical time used で solution ける プログラム が が complete て て る る. Logical equation を solution く こ と に よ っ て solution space exploration の を narrow す る こ と が で き る が simultaneously に プ ロ グ ラ ミ ン グ の が between hand to think above に big き い も の で あ る こ と が.at し た. ゲ - ム wood の 総 when り explore に than べ ど の degree of favorable で あ る か の quantitative analytical を try み て い る.

项目成果

K.Iwama: "ONF Satisfiability Test by Counting and Polynomial Average Time" SIANJ.Computing. 18. 385-391 (1989)

K.Iwama：“通过计数和多项式平均时间进行 ONF 满意度测试”SIANJ.Computing。

K.Iwama and Y.Kambayashi: "An O(logn)Parallel Connectivity Algorithm on the Mesh of Buses" Proc.IFIP 11th World Computer Congress. 305-310 (1989)

K.Iwama 和 Y.Kambayashi：“总线网格上的 O(logn) 并行连接算法”Proc.IFIP 第 11 届世界计算机大会。

岩間一雄: "極並列アルゴリズム" 情報処理.

Kazuo Iwama：“极其并行算法”信息处理。