WEKO3
アイテム
Computing the Invariant Polynomials of Graphs, Networks and Matroids
http://hdl.handle.net/2261/00074079
http://hdl.handle.net/2261/00074079c13ee893-da61-4bfc-a434-82a20c06e93f
名前 / ファイル | ライセンス | アクション |
---|---|---|
Computing the Invariant Polynomials of Graphs_ Networks and Matroids 2000.pdf (525.8 kB)
|
|
Item type | 学術雑誌論文 / Journal Article(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2017-12-14 | |||||
タイトル | ||||||
タイトル | Computing the Invariant Polynomials of Graphs, Networks and Matroids | |||||
言語 | ||||||
言語 | eng | |||||
資源タイプ | ||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
資源タイプ | journal article | |||||
著者 |
IMAI, Hiroshi
× IMAI, Hiroshi |
|||||
著者所属 | ||||||
値 | Department of Information Science, University of Tokyo | |||||
抄録 | ||||||
内容記述タイプ | Abstract | |||||
内容記述 | The invariant polynomials of discrete systems such as graphs, matroids, hyperplane arrangements, and simplicial complexes, have been theoretically investigated actively in recent years. These invariants include the Tutte polynomial of a graph and a matroid, the chromatic polynomial of a graph, the network reliability of a network, the Jones polynomial of a link, the percolation function of a grid, etc. The computational complexity issues of computing these invariants have been studied and most of them are shown to be #P-complete. But, these complexity results do not imply that we cannot compute the invariants of a given instance of moderate size in practice. To meet large demand of computing these invariants in practice, there have been proposed a framework of computing the invariants by using the binary decision diagrams (BDD for short). This provides mildly exponential algorithms which are useful to solve moderate-size practical problems. This paper surveys the BDD-based approach to computing the invariants, together with some computational results showing the usefulness of the framework. | |||||
内容記述 | ||||||
内容記述タイプ | Other | |||||
内容記述 | INVITED SURVEY PAPER | |||||
書誌情報 |
IEICE TRANSACTIONS on Information and Systems 巻 E83-D, 号 3, p. 330-343, 発行日 2000-03-25 |
|||||
権利 | ||||||
権利情報 | copyright©2000 IEICE | |||||
著者版フラグ | ||||||
値 | publisher | |||||
出版者 | ||||||
出版者 | Institute of Electronics, Information and Communication Engineers | |||||
関係URI | ||||||
識別子タイプ | URI | |||||
関連識別子 | https://search.ieice.org/ |