| IEICE Technical Committee Submission System Conference Paper's Information |
Online Proceedings [Sign in] Tech. Rep. Archives |
| Go Top Page | Go Previous | [Japanese] / [English] |
| Paper Abstract and Keywords | ||
| Presentation | 2013-07-18 14:55 [Invited Talk] Graphillion: Software Library for Very Large Sets of Graphs Takeru Inoue (JST ERATO)  IN2013-43 |
|
| Abstract | (in Japanese) | (See Japanese page) |
| (in English) | Several graph libraries have been developed in the past few decades, but they were designed to work with a few graphs even though the number of subgraphs exponentially increases with graph size. In this paper, we develop Graphillion, a software library for very large sets of graphs. Graphillion is not established on a traditional representation of graphs. Instead, a graph set is simply regarded as a ``set of edge sets'' ignoring vertices, which allows us to employ powerful tools of a ``family of sets'' (a set of sets) and permits large graph sets to be handled efficiently. We also utilize advanced graph enumeration algorithms, which enables the simple family tools to understand the graph structure. Graphillion is implemented as a Python library to encourage easy development of its applications, without introducing significant performance overhead. In experiments, we consider two case studies, a puzzle solver and a power network optimizer, in which several operations and heavy optimization have to be done over very large sets of constrained graphs (i.e., cycles or forests with complicated conditions). The results show that Graphillion allows us to manage an astronomical number of graphs with very low development effort. Graphillion is available online at http://graphillion.org/ . |
|
| Keyword | (in Japanese) | (See Japanese page) |
| (in English) | graph / set / software library / Python / family algebra / frontier-based search / zero-suppressed binary decision diagrams / | |
| Reference Info. | IEICE Tech. Rep., vol. 113, no. 140, IN2013-43, pp. 43-47, July 2013. | |
| Paper # | IN2013-43 | |
| Date of Issue | 2013-07-11 (IN) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| Copyright and reproduction |
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| Download PDF | IN2013-43 |
|
| Conference Information | |
| Committee | IN NV |
| Conference Date | 2013-07-18 - 2013-07-19 |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | Hokkaido Univ. Faculty of Eng. Academic Lounge 3 |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | Cloud Networking, SDN, OpenFlow, Virtual Private Network (VPN), Overlay Network/P2P, Network configuration, etc. |
| Paper Information | |
| Registration To | IN |
| Conference Code | 2013-07-IN-NV |
| Language | Japanese |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Graphillion: Software Library for Very Large Sets of Graphs |
| Sub Title (in English) | |
| Keyword(1) | graph |
| Keyword(2) | set |
| Keyword(3) | software library |
| Keyword(4) | Python |
| Keyword(5) | family algebra |
| Keyword(6) | frontier-based search |
| Keyword(7) | zero-suppressed binary decision diagrams |
| Keyword(8) | |
| 1st Author's Name | Takeru Inoue |
| 1st Author's Affiliation | Japan Science and Technology Agency (JST ERATO) |
| 2nd Author's Name | |
| 2nd Author's Affiliation | () |
| 3rd Author's Name | |
| 3rd Author's Affiliation | () |
| 4th Author's Name | |
| 4th Author's Affiliation | () |
| 5th Author's Name | |
| 5th Author's Affiliation | () |
| 6th Author's Name | |
| 6th Author's Affiliation | () |
| 7th Author's Name | |
| 7th Author's Affiliation | () |
| 8th Author's Name | |
| 8th Author's Affiliation | () |
| 9th Author's Name | |
| 9th Author's Affiliation | () |
| 10th Author's Name | |
| 10th Author's Affiliation | () |
| 11th Author's Name | |
| 11th Author's Affiliation | () |
| 12th Author's Name | |
| 12th Author's Affiliation | () |
| 13th Author's Name | |
| 13th Author's Affiliation | () |
| 14th Author's Name | |
| 14th Author's Affiliation | () |
| 15th Author's Name | |
| 15th Author's Affiliation | () |
| 16th Author's Name | |
| 16th Author's Affiliation | () |
| 17th Author's Name | |
| 17th Author's Affiliation | () |
| 18th Author's Name | |
| 18th Author's Affiliation | () |
| Speaker | Author-1 |
| Date Time | 2013-07-18 14:55:00 |
| Presentation Time | 45 minutes |
| Registration for | IN |
| Paper # | IN2013-43 |
| Volume (vol) | vol.113 |
| Number (no) | no.140 |
| Page | pp.43-47 |
| #Pages | 5 |
| Date of Issue | 2013-07-11 (IN) |
[Return to Top Page]