Laboratory of Large-Scale Knowledge Processing
High Performance Algorithms and Applications to Artificial Intelligence and Knowledge Processing
An algorithm is the sequence of computational instructions written in a computer program. In many cases, we can greatly improve computational performance simply by improving the underlying algorithm. Many programs use basic mathematical structures such as sets, logic, proofs, graphs, permutations, combinations and probabilities. We call these discrete structures. Algorithms for discrete structures are a fundamental technique with many applications and tremendous impact, necessary in many aspects of modern society including hardware and software design, fault analysis in massive systems, constraint satisfaction problems, data mining and knowledge discovery, machine learning and automatic classification, bioinformatics and web analysis.
Professor Minato introduced and named ZDDs (Zero-Suppressed Binary Decision Diagrams), an algorithmic technique used with discrete structures. ZDDs compress and index data on discrete structures without modifying the underlying meaning, and provide many efficient operations. ZDDs are now widely-used, and ZDD-based techniques are introduced in-depth in the so-called Bible of algorithms — The Art of Computer Programming (D. E. Knuth, volume 4-1). This is a first for a Japanese researcher, demonstrating the impact ZDDs have had.
This research on ZDDs was introduced to schoolchildren and the general public in an exhibit at Miraikan (National Museum of Emerging Science and Innovation), teaching combinatorial explosion and the importance of algorithms. As part of the exhibit, Prof. Minato supervised the creation of an animation that has been viewed over 1.8 million times on YouTube. It has been used in high school and college classes, and the number of views continues to rise.
Our group working on high performance algorithms for processing discrete structures uses state-of-the-art algorithmic theory and the latest techniques from machine learning, artificial intelligence, data mining, statistics, system optimization, and information security. We seek to have an impact on a wide range of real-world topics, including applications in designing and analyzing eletrical power, communication, transportation, business transactions, disaster prevention, and also big data analysis related to materials and life sciences.