Shigeki IWATA


Horn Functions with a Single Two-Negated Term
Naoki KAWAMURA Shigeki IWATA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2005/11/01
Vol. E88-A  No. 11  pp. 3264-3266
Type of Manuscript:  LETTER
Category: General Fundamentals and Boundaries
Keyword: 
Boolean functionHorn functionprime implicantP-complete
 Summary | Full Text:PDF(64.4KB)

FOREWORD
Shigeki IWATA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2003/02/01
Vol. E86-D  No. 2  pp. 157-158
Type of Manuscript:  FOREWORD
Category: 
Keyword: 
 Summary | Full Text:PDF(237.2KB)

FOREWORD
Shigeki IWATA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2002/02/01
Vol. E85-D  No. 2  pp. 311-311
Type of Manuscript:  FOREWORD
Category: 
Keyword: 
 Summary | Full Text:PDF(38.1KB)

Minimum Number of Comparators in (6,6)-Merging Network
Koichi YAMAZAKI Hibiki MIZUNO Kazuhisa MASUDA Shigeki IWATA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2000/02/25
Vol. E83-D  No. 2  pp. 137-141
Type of Manuscript:  PAPER
Category: Theory/Models of Computation
Keyword: 
merging networkcomparatorlower bound
 Summary | Full Text:PDF(768.2KB)

Some Two-Person Game is Complete for ACk Under Many-One NC1 Reducibility
Shigeki IWATA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1994/09/25
Vol. E77-D  No. 9  pp. 1022-1026
Type of Manuscript:  PAPER
Category: Automata, Languages and Theory of Computing
Keyword: 
automatonlanguage and theory of computingalgorithm and computational complexity
 Summary | Full Text:PDF(386.5KB)

Exhaustive Computation to Derive the Lower Bound for Sorting 13 Items
Shusaku SAWATO Takumi KASAI Shigeki IWATA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1994/09/25
Vol. E77-D  No. 9  pp. 1027-1031
Type of Manuscript:  PAPER
Category: Algorithm and Computational Complexity
Keyword: 
algorithm and computational complexity
 Summary | Full Text:PDF(442.8KB)

Some EXPTIME Complete Problems on Context-Free Languages
Takumi KASAI Shigeki IWATA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1993/03/25
Vol. E76-D  No. 3  pp. 329-335
Type of Manuscript:  PAPER
Category: Algorithm and Computational Complexity
Keyword: 
computational complexityEXPTIME completecontext-free languagepebble game problem
 Summary | Full Text:PDF(564.3KB)

Generalized Hi-Q is NP-Complete
Ryuhei UEHARA Shigeki IWATA 
Publication:   IEICE TRANSACTIONS (1976-1990)
Publication Date: 1990/02/25
Vol. E73-E  No. 2  pp. 270-273
Type of Manuscript:  PAPER
Category: Algorithm and Computational Complexity
Keyword: 
 Summary | Full Text:PDF(278.5KB)

Graph Theoretic Problems Complete for Nondeterministic Log-Space
Yoshiaki FUKAZAWA Shigeki IWATA 
Publication:   IEICE TRANSACTIONS (1976-1990)
Publication Date: 1983/02/25
Vol. E66-E  No. 2  pp. 102-107
Type of Manuscript:  PAPER
Category: Computational Complexity
Keyword: 
 Summary | Full Text:PDF(466.4KB)