Kazuo IWAMA


The Planar Hajós Calculus for Bounded Degree Graphs
Kazuo IWAMA Kazuhisa SETO Suguru TAMAKI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2010/06/01
Vol. E93-A  No. 6  pp. 1000-1007
Type of Manuscript:  Special Section PAPER (Special Section on Discrete Mathematics and Its Applications)
Category: Graphs and Networks
Keyword: 
Hajos calculusplanar graphbounded degree graphcoloringproof system
 Summary | Full Text:PDF(898.7KB)

New Graph Calculi for Planar Non-3-Colorable Graphs
Yoichi HANATANI Takashi HORIYAMA Kazuo IWAMA Suguru TAMAKI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2008/09/01
Vol. E91-A  No. 9  pp. 2301-2307
Type of Manuscript:  Special Section PAPER (Special Section on Discrete Mathematics and Its Applications)
Category: 
Keyword: 
Hajos calculusplanar graphcoloringproof systems
 Summary | Full Text:PDF(289.6KB)

A -Approximation Algorithm for the Stable Marriage Problem
Kazuo IWAMA Shuichi MIYAZAKI Kazuya OKAMOTO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2006/08/01
Vol. E89-D  No. 8  pp. 2380-2387
Type of Manuscript:  INVITED PAPER (Special Section on Invited Papers from New Horizons in Computing)
Category: 
Keyword: 
stable marriage problemincomplete liststiesapproximation algorithmslocal search
 Summary | Full Text:PDF(225.3KB)

Approximated Vertex Cover for Graphs with Perfect Matchings
Tomokazu IMAMURA Kazuo IWAMA Tatsuie TSUKIJI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2006/08/01
Vol. E89-D  No. 8  pp. 2405-2410
Type of Manuscript:  INVITED PAPER (Special Section on Invited Papers from New Horizons in Computing)
Category: 
Keyword: 
approximation algorithmvertex coverperfect matchingMAX-2SAT
 Summary | Full Text:PDF(214.4KB)

Efficient Methods for Determining DNA Probe Orders
Hiro ITO Kazuo IWAMA Takeyuki TAMURA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2006/05/01
Vol. E89-A  No. 5  pp. 1292-1298
Type of Manuscript:  Special Section PAPER (Special Section on Discrete Mathematics and Its Applications)
Category: 
Keyword: 
DNAhybridizationprobefragmentPQ-tree
 Summary | Full Text:PDF(320.7KB)

Quantum Sampling for Balanced Allocations
Kazuo IWAMA Akinori KAWACHI Shigeru YAMASHITA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2005/01/01
Vol. E88-D  No. 1  pp. 39-46
Type of Manuscript:  Special Section PAPER (Special Section on Foundations of Computer Science)
Category: 
Keyword: 
quantum computingload balancingballs-and-bins game
 Summary | Full Text:PDF(207.2KB)

Compact Routing with Stretch Factor of Less Than Three
Kazuo IWAMA Akinori KAWACHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2005/01/01
Vol. E88-D  No. 1  pp. 47-52
Type of Manuscript:  Special Section PAPER (Special Section on Foundations of Computer Science)
Category: 
Keyword: 
distributed algorithmscompact routingstretch factor
 Summary | Full Text:PDF(172.2KB)

Exploiting the Difference in Probability Calculation between Quantum and Probabilistic Computations
Masami AMANO Kazuo IWAMA Raymond H. PUTRA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2004/05/01
Vol. E87-A  No. 5  pp. 1004-1011
Type of Manuscript:  Special Section PAPER (Special Section on Discrete Mathematics and Its Applications)
Category: 
Keyword: 
quantum finite automataquantum computingfinite automata
 Summary | Full Text:PDF(301.6KB)

The Axis-bound CNN Problem
Kouki YONEZAWA Kazuo IWAMA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2004/05/01
Vol. E87-A  No. 5  pp. 1235-1242
Type of Manuscript:  PAPER
Category: Algorithms and Data Structures
Keyword: 
online algorithmsCNN problem
 Summary | Full Text:PDF(368.8KB)

Solving SAT Efficiently with Promises
Kazuo IWAMA Akihiro MATSUURA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2003/02/01
Vol. E86-D  No. 2  pp. 213-218
Type of Manuscript:  Special Section PAPER (Special Issue on Selected Papers from LA Symposium)
Category: Turing Machine, Recursive Functions
Keyword: 
SATCNF formulapromisesolution-densityinclusion-exclusion
 Summary | Full Text:PDF(228.7KB)

Recent Developments in Mesh Routing Algorithms
Kazuo IWAMA Eiji MIYANO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2000/03/25
Vol. E83-D  No. 3  pp. 530-540
Type of Manuscript:  INVITED SURVEY PAPER
Category: Parallel and Distributed Algorithms
Keyword: 
parallel computationmeshespacket routing
 Summary | Full Text:PDF(390.9KB)

Generating Random Benchmark Circuits with Restricted Fan-Ins
Kazuo IWAMA Kensuke HINO Hiroyuki KUROKAWA Sunao SAWADA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1997/10/25
Vol. E80-D  No. 10  pp. 1009-1016
Type of Manuscript:  Special Section PAPER (Special Issue on Synthesis and Verification of Hardware Design)
Category: Logic Design
Keyword: 
logic optimizationbenchmark circuitsrandom benchmarking
 Summary | Full Text:PDF(702.4KB)