About the Completeness of Depth-First Proof-Number Search

被引：0

作者：

Kishimoto, Akihiro ^{[1
]}

Mueller, Martin ^{[2
]}

机构：

[1] Future Univ Hakodate 116 2, Dept Media Architecture, Hakodate, Hokkaido 0418655, Japan

[2] Univ Alberta, Dept Comp Sci, Edmonton, AB T6G 2E8, Canada

来源：

COMPUTERS AND GAMES | 2008年 / 5131卷

基金：

加拿大自然科学与工程研究理事会;

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Depth-first proof-number (df-pn) search is a powerful member of the family of algorithms based on proof and disproof numbers. While df-pn has succeeded in practice, its theoretical properties remain poorly understood. This paper resolves the question of completeness of df-pn: its ability to solve any finite boolean-valued game tree search problem in principle, given unlimited amounts of time and memory. The main results are that df-pn is complete on finite directed acyclic graphs (DAG) but incomplete on finite directed cyclic graphs (DCG).

引用

页码：146 / +

页数：2

共 50 条

[1] A solution to the GHI problem for depth-first proof-number search
Kishimoto, A
Müller, M
INFORMATION SCIENCES, 2005, 175 (04) : 296 - 314
[2] A solution to the GHI problem for depth-first proof-number search
Kishimoto, A
Müller, M
PROCEEDINGS OF THE 7TH JOINT CONFERENCE ON INFORMATION SCIENCES, 2003, : 489 - 492
[3] PARALLEL DOVETAILING AND ITS APPLICATION TO DEPTH-FIRST PROOF-NUMBER SEARCH
Hoki, Kunihito
Kaneko, Tomoyuki
Kishimoto, Akihiro
Ito, Takeshi
ICGA JOURNAL, 2013, 36 (01) : 22 - 36
[4] Dealing with Infinite Loops, Underestimation, and Overestimation of Depth-First Proof-Number Search
Kishimoto, Akihiro
PROCEEDINGS OF THE TWENTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-10), 2010, : 108 - 113
[5] Depth-First Proof-Number Search with Heuristic Edge Cost and Application to Chemical Synthesis Planning
Kishimoto, Akihiro
Buesser, Beat
Chen, Bei
Botea, Adi
ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 32 (NIPS 2019), 2019, 32
[6] PROOF-NUMBER SEARCH
ALLIS, LV
VANDERMEULEN, M
VANDENHERIK, HJ
ARTIFICIAL INTELLIGENCE, 1994, 66 (01) : 91 - 124
[7] Lambda Depth-first Proof Number Search and its Application to Go
Yoshizoe, Kazuki
Kishimoto, Akihiro
Mueller, Martin
20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2007, : 2404 - 2409
[8] A New Proof-Number Calculation Technique for Proof-Number Search
Yoshizoe, Kazuki
COMPUTERS AND GAMES, 2008, 5131 : 135 - 145
[9] Weak Proof-Number Search
Ueda, Toru
Hashimoto, Tsuyoshi
Hashimoto, Junichi
Iida, Hiroyuki
COMPUTERS AND GAMES, 2008, 5131 : 157 - 168
[10] PROOF-NUMBER SEARCH AND TRANSPOSITIONS
SCHIFF, M
ALLIS, LV
UITERWIJK, JWHM
ICCA JOURNAL, 1994, 17 (02): : 63 - 74

← 1 2 3 4 5 →