May Jun. 2016 Jui.
12 131415161718
Click Seminar

Purpose and Background of the Research

Discrete structures are foundational material for computer science and mathematics. Many problems solved by computers can be decomposed into discrete structures using simple primitive algebraic operations. It is very important how to represent large-scale discrete structural data and to execute their operations efficiently. The project leader has been leading "JST ERATO Minato Discrete Structure Manipulation System Project" for six years. In this project, he has studied discrete structure manipulation systems using Zero-suppressed Binary Decision Diagrams (ZDDs) and their practical applications. As the results of the project, they developed novel techniques for enumerating, compressing and indexing large-scale data based on ZDDs, and they are very effective for real-life problems. Many researchers are now interested in these techniques, and several number of related research projects has been started. This research project focus on the core algorithms of discrete structure manipulation, and we will continue to maintain a firm research community in the center of the other related research projects.

Seminar Information



Next Seminar

Document folders featuring "Combinatorial Explosion!” is now on sale.

(January 13, 2016 08:02 By Yasuda)

Our LINE stickers of "Combinatorial Explosion!" is featured in the JST news.

Recently, we released a sticker for LINE, an application for instant communications. In this month's JST news, the sticker is featured as the "news & topics".
The article page (in Japanese)
(December 2, 2015 23:33 By minato)

(November 20, 2015 15:13 By Yasuda)

Exhibition at "Science Agora" in MIRAIKAN

(November 14, 2015 12:15 By minato)

Publication of our LINE sticker

LINE sticker "Combinatorial Explosion!" has been launched! This sticker set is based on the YouTube video supervised by our ERATO project. This is the first LINE sticker desined by Miraikan.
(October 10, 2015 17:45 By minato)