ログイン 新規登録
言語:

WEKO3

  • トップ
  • ランキング


インデックスリンク

インデックスツリー

  • RootNode

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

  1. 研究報告
  2. システムとLSIの設計技術(SLDM)
  3. 1995
  4. 24(1994-SLDM-074)

枝刈り機能付きBDDパッケージとその応用

https://ipsj.ixsq.nii.ac.jp/records/27931
https://ipsj.ixsq.nii.ac.jp/records/27931
a3794ef2-644c-4628-9951-605c9ce06dce
名前 / ファイル ライセンス アクション
IPSJ-SLDM94074001.pdf IPSJ-SLDM94074001.pdf (1.0 MB)
Copyright (c) 1995 by the Information Processing Society of Japan
オープンアクセス
Item type SIG Technical Reports(1)
公開日 1995-03-08
タイトル
タイトル 枝刈り機能付きBDDパッケージとその応用
タイトル
言語 en
タイトル BDD Package with Pruning and its Application
言語
言語 jpn
資源タイプ
資源タイプ識別子 http://purl.org/coar/resource_type/c_18gh
資源タイプ technical report
著者所属
広島市立大学 情報科学部 情報工学科
著者所属(英)
en
Dept. of Computer Engineering, Faculty of Information Sciences, Hiroshima City University
著者名 越智, 裕之

× 越智, 裕之

越智, 裕之

Search repository
著者名(英) Hiroyuki, Ochi

× Hiroyuki, Ochi

en Hiroyuki, Ochi

Search repository
論文抄録
内容記述タイプ Other
内容記述 近年、二分決定グラフ()を用いて集合を操作する手法を用いてこれまで解けなかった組合せ最適化問題を解くアルゴリズムが種々提案されつつある。しかしながら与えられた問題の規模が大きくなればグラフのサイズが大きくなり過ぎて取り扱うことができなくなる傾向があり、BDDの応用の障害となっている。本稿ではBDDを生成するAPPLY操作そのものに枝刈り(uni)の機能を組み込んだAPPRUNE操作を提案する。本稿では?閾値関数を評価関数とする枝刈り機能を持つAPPRUNE操作を例にとってそのアルゴリズムを考え、さらにこれを実装したパッケージを用いた一般化リードマラー論理式の最小化の実験を行なった。
論文抄録(英)
内容記述タイプ Other
内容記述 Recently, various algorithms for solving combinatorial optimization problems using BDD-based set manipulation technique are proposed. The ability of such algorithms, however, are limited by the size of BDDs which grow larger for the size of the problems. In this paper, an extension of APPLY operation, named APPRUNE operation, is proposed, which performs APPLY operation (BDD construction) and pruning simultaneously. An algorithm for APPRUNE operation which performs pruning with respect to a threshold function is considered as a prototype, and experimental results for solving exact minimization problem for generalized Reed-Muller expression will be shown.
書誌レコードID
収録物識別子タイプ NCID
収録物識別子 AA11451459
書誌情報 情報処理学会研究報告システムLSI設計技術(SLDM)

巻 1995, 号 24(1994-SLDM-074), p. 1-8, 発行日 1995-03-08
Notice
SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
出版者
言語 ja
出版者 情報処理学会
戻る
0
views
See details
Views

Versions

Ver.1 2025-01-22 18:17:27.892253
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

越智, 裕之, 1995: 情報処理学会, 1–8 p.

Loading...

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3