| Presentation | 2012-11-26 An Efficient ZDD Construction Method Using Recuresive Specifications Hiroaki IWASHITA, Jun KAWAHARA, Shin-ichi MINATO, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | In recent years, new enumeration methods using zero-suppressed binary decision diagrams (ZDDs) has been attracting attention since Kunuth introduced a very fast algorithm to construct a ZDD representing all paths between two vertices in a graph. Many of the application so far based on this approach compute the final results by filtering out unnecessary cases from the constructed ZDDs. To avoid memory explosion in this computation, we propose a method to get the final ZDDs without constructing any intermediate ZDDs. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | frontier-based search / ZDD / subgraph enumeration / link puzzle / lazy evaluation |
| Paper # | VLD2012-63,DC2012-29 |
| Date of Issue |
| Conference Information | |
| Committee | DC |
|---|---|
| Conference Date | 2012/11/19(1days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | |
| Vice Chair | |
| Secretary | |
| Assistant | |
| Paper Information | |
| Registration To | Dependable Computing (DC) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | An Efficient ZDD Construction Method Using Recuresive Specifications |
| Sub Title (in English) | |
| Keyword(1) | frontier-based search |
| Keyword(2) | ZDD |
| Keyword(3) | subgraph enumeration |
| Keyword(4) | link puzzle |
| Keyword(5) | lazy evaluation |
| 1st Author's Name | Hiroaki IWASHITA |
| 1st Author's Affiliation | ERATO Minato Discrete Structure Manipulation System Project, Japan Science and Technology Agency:Graduate School of Information Science and Technology, Hokkaido University() |
| 2nd Author's Name | Jun KAWAHARA |
| 2nd Author's Affiliation | ERATO Minato Discrete Structure Manipulation System Project, Japan Science and Technology Agency:Graduate School of Information Science and Technology, Hokkaido University |
| 3rd Author's Name | Shin-ichi MINATO |
| 3rd Author's Affiliation | ERATO Minato Discrete Structure Manipulation System Project, Japan Science and Technology Agency:Graduate School of Information Science and Technology, Hokkaido University |
| Date | 2012-11-26 |
| Paper # | VLD2012-63,DC2012-29 |
| Volume (vol) | vol.112 |
| Number (no) | 321 |
| Page | pp.pp.- |
| #Pages | 5 |
| Date of Issue | |