The computer has been used for a variety of information processing like optimization/analysis of the industrial process, marketing, and the bioinformatics, etc. For processing the large-scale data that are recently being increased explosively, the importance of not only speeding up of the calculation hardware but also "Algorithm technology", which enable the mathematical condensation and efficient processing of the huge amount of discrete-structured data ( represented data of the logical process that the computer does), has been risen.
In this project, we will deal with two techniques; BDD (Binary Decision Diagram) for manipulating the Boolean functions, and ZDD (Zero-Suppressed BDD: the novel improvement of BDD) for manipulating sets of sparse combinations. We will organize an integrated method of algebraic operations for various types of discrete structures and construct the standard techniques for efficiently processing the large-scale practical problems in various fields, including the system verification/optimization, knowledge discovery, statistical analysis, etc. We will also provide the implementation techniques of our system to both domestic and international researchers as well as to the industrial circles in the utilizable format.
|Date||May 29, 2013 (Wednesday)||
|Site||C304 ERATO Seminar Room, Hokkaido University|
Prof. Minato will give a keynote speech at NII Open House 2013
|Prof. Minato will give a keynote speech : "Power of Enumeration, State-of-the-art Algorithms for Tackling Combinatorial Explosion" at NII Open House 2013 on 14-15 June at NII.|
|(May 15, 2013 10:14 By shirai)|
World new record for counting paths on grid
|For the problem of counting the number of nonintersecting rook paths joining opposite corners of an n X n grid, other researchers in Norway succeeded in solving the case of order 24 in this February. We have, however, just regained the world new record for order 25. The details are here.|
|(April 30, 2013 17:18 By shirai)|
International Workshop ISMVL2013/RM2013
|Our project co-host the Reed-Muller Workshop in Toyama, 24-25 May, that includes the invited talk by Prof. Minato and other state of the art results in this fields.|
|(April 30, 2013 17:26 By shirai)|