講演抄録/キーワード |
講演名 |
2022-11-28 13:55
集合対間配線問題に対するSATを用いた配線手法 ○長倉光輝・横屋凛太郎・藤吉邦洋(東京農工大) VLD2022-21 ICD2022-38 DC2022-37 RECONF2022-44 |
抄録 |
(和) |
集合対間配線問題とは,同数のソース端子とシンク端子が与えられ,それらの間を任意の組合せで,1対1接続する単層配線問題であり,端子間の配線長やその差を小さくすることが要求される.集合対間配線問題を解く手法はいくつか提案されており,その中にILPソルバを使って小規模の問題の最適解を求める手法があるが,配線問題と親和性の高いとされているナンバーリンクパズル問題においてはILPを用いた手法よりもSATを用いた手法の方が高速とされている.そこで,本研究では集合対間配線問題をSATで解く手法を提案する.ナンバーリンク問題をSATで解く手法を参考にした定式化と,集合対間配線の特徴を活かして変数が少なく済む定式化を提案し,配線長を制御する制約を追加することで,集合対間配線問題をSATソルバを用いて解く.また,SATを用いた集合対間配線について計算機による実験を行い,提案手法の有効性を示す. |
(英) |
Set-pair routing problem is a single-layer routing problem in which a one-to-one connection is made between equal numbers of source and sink terminals in arbitrary combinations with, requiring reduction wire length between connections and their length differences. In methods for solving set-pair routing problem, a method that represents routing graph as a flow graph and controls the wire length using ILP has been proposed.
Incidentally, it has been reported that the SAT-based method is faster than the ILP-based method for the Numberlink, which is considered to have a high affinity with routing problems. Therefore, we propose a method for solving set-pair routing problem by SAT. We propose a modified formulation for Numberlink, and a formulation uses fewer variables that takes advantage of its special characteristics of set-pair routing problem. Additionally, by adding constraints to control the wire length, we solve set-pair routing problem by SAT solver. Then, experimental results show the effectiveness of the proposed method. |
キーワード |
(和) |
集合対間配線問題 / SAT / / / / / / |
(英) |
Set-Pair Routing Problem / SAT / / / / / / |
文献情報 |
信学技報, vol. 122, no. 283, VLD2022-21, pp. 13-18, 2022年11月. |
資料番号 |
VLD2022-21 |
発行日 |
2022-11-21 (VLD, ICD, DC, RECONF) |
ISSN |
Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
VLD2022-21 ICD2022-38 DC2022-37 RECONF2022-44 |
研究会情報 |
研究会 |
VLD DC RECONF ICD IPSJ-SLDM |
開催期間 |
2022-11-28 - 2022-11-30 |
開催地(和) |
金沢市文化ホール |
開催地(英) |
|
テーマ(和) |
デザインガイア2022 -VLSI設計の新しい大地- |
テーマ(英) |
Design Gaia 2022 -New Field of VLSI Design- |
講演論文情報の詳細 |
申込み研究会 |
VLD |
会議コード |
2022-11-VLD-DC-RECONF-ICD-SLDM |
本文の言語 |
日本語 |
タイトル(和) |
集合対間配線問題に対するSATを用いた配線手法 |
サブタイトル(和) |
|
タイトル(英) |
A Routing Method by SAT for Set-Pair Routing Problem |
サブタイトル(英) |
|
キーワード(1)(和/英) |
集合対間配線問題 / Set-Pair Routing Problem |
キーワード(2)(和/英) |
SAT / SAT |
キーワード(3)(和/英) |
/ |
キーワード(4)(和/英) |
/ |
キーワード(5)(和/英) |
/ |
キーワード(6)(和/英) |
/ |
キーワード(7)(和/英) |
/ |
キーワード(8)(和/英) |
/ |
第1著者 氏名(和/英/ヨミ) |
長倉 光輝 / Koki Nagakura / ナガクラ コウキ |
第1著者 所属(和/英) |
東京農工大学 (略称: 東京農工大)
Tokyo University of Agriculture and Technology (略称: Tokyo Univ of A and T) |
第2著者 氏名(和/英/ヨミ) |
横屋 凛太郎 / Rintaro Yokoya / ヨコヤ リンタロウ |
第2著者 所属(和/英) |
東京農工大学 (略称: 東京農工大)
Tokyo University of Agriculture and Technology (略称: Tokyo Univ of A and T) |
第3著者 氏名(和/英/ヨミ) |
藤吉 邦洋 / Kunihiro Fujiyoshi / フジヨシ クニヒロ |
第3著者 所属(和/英) |
東京農工大学 (略称: 東京農工大)
Tokyo University of Agriculture and Technology (略称: Tokyo Univ of A and T) |
第4著者 氏名(和/英/ヨミ) |
/ / |
第4著者 所属(和/英) |
(略称: )
(略称: ) |
第5著者 氏名(和/英/ヨミ) |
/ / |
第5著者 所属(和/英) |
(略称: )
(略称: ) |
第6著者 氏名(和/英/ヨミ) |
/ / |
第6著者 所属(和/英) |
(略称: )
(略称: ) |
第7著者 氏名(和/英/ヨミ) |
/ / |
第7著者 所属(和/英) |
(略称: )
(略称: ) |
第8著者 氏名(和/英/ヨミ) |
/ / |
第8著者 所属(和/英) |
(略称: )
(略称: ) |
第9著者 氏名(和/英/ヨミ) |
/ / |
第9著者 所属(和/英) |
(略称: )
(略称: ) |
第10著者 氏名(和/英/ヨミ) |
/ / |
第10著者 所属(和/英) |
(略称: )
(略称: ) |
第11著者 氏名(和/英/ヨミ) |
/ / |
第11著者 所属(和/英) |
(略称: )
(略称: ) |
第12著者 氏名(和/英/ヨミ) |
/ / |
第12著者 所属(和/英) |
(略称: )
(略称: ) |
第13著者 氏名(和/英/ヨミ) |
/ / |
第13著者 所属(和/英) |
(略称: )
(略称: ) |
第14著者 氏名(和/英/ヨミ) |
/ / |
第14著者 所属(和/英) |
(略称: )
(略称: ) |
第15著者 氏名(和/英/ヨミ) |
/ / |
第15著者 所属(和/英) |
(略称: )
(略称: ) |
第16著者 氏名(和/英/ヨミ) |
/ / |
第16著者 所属(和/英) |
(略称: )
(略称: ) |
第17著者 氏名(和/英/ヨミ) |
/ / |
第17著者 所属(和/英) |
(略称: )
(略称: ) |
第18著者 氏名(和/英/ヨミ) |
/ / |
第18著者 所属(和/英) |
(略称: )
(略称: ) |
第19著者 氏名(和/英/ヨミ) |
/ / |
第19著者 所属(和/英) |
(略称: )
(略称: ) |
第20著者 氏名(和/英/ヨミ) |
/ / |
第20著者 所属(和/英) |
(略称: )
(略称: ) |
講演者 |
第1著者 |
発表日時 |
2022-11-28 13:55:00 |
発表時間 |
25分 |
申込先研究会 |
VLD |
資料番号 |
VLD2022-21, ICD2022-38, DC2022-37, RECONF2022-44 |
巻番号(vol) |
vol.122 |
号番号(no) |
no.283(VLD), no.284(ICD), no.285(DC), no.286(RECONF) |
ページ範囲 |
pp.13-18 |
ページ数 |
6 |
発行日 |
2022-11-21 (VLD, ICD, DC, RECONF) |
|