作者BBSealion (海獅)
看板EE_DSnP
標題[問題] Strash 的疑問
時間Sat Dec 25 23:57:35 2010
想請問一下
其實我不是很懂為什麼要寫個hash來做這件事情
一開始讀檔之後
將資料做成graph型態的netlist
之後找到input相同的node，erase其中一個並把剩下的東西接好
大致上一開始要做的是這樣吧
那用hash的意義是？
把做好的graph型態的netlist，再轉存成hash的結構？
那我寫的hash function在做分類的時候
就要把input相同的node分到同一類嗎？
但如果我能做到這樣，就等於用該function可以找到我要合併的兩個node了
那直接合併就好了何必再丟到hash去呢？
又，如果我只是隨便想個"好"（讓資料盡量分散）的hash function
那存成hash之後我又要怎麼搜尋input相同的node呢？
這時候再找會比原本直接找快嗎？
抱歉不太懂這邊的邏輯是什麼orz
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 218.168.233.113
※ 編輯: BBSealion 來自: 218.168.233.113 (12/25 23:59)
1F：推 timrau:hash function頂多把同樣gate input的AIG node hash在一起 12/26 00:10
2F：→ timrau:如果要functionally eq in terms of PI, 得靠SAT而不只hash 12/26 00:10
3F：→ BBSealion:喔喔 抱歉有點發現我用詞不對 我改一下 12/26 00:13
※ 編輯: BBSealion 來自: 218.168.233.113 (12/26 00:14)
4F：→ BBSealion:把functionally eq 改成 input 才是我的問題...XD 12/26 00:14
5F：→ BBSealion:如果我的hash function就能做到判斷是否相同input 12/26 00:15
6F：→ BBSealion:那我就用這個Function 配合 erase不就好了？ 12/26 00:15
7F：→ BBSealion:並不需要再把整個資料搬移成hash的資料結構再做吧 12/26 00:16
8F：推 timrau:"input相同的node分到同一類" 不代表"input不同會分到不同 12/26 00:49
9F：→ timrau:類" 12/26 00:49
10F：推 timrau:"原本直接找"如果是指對graph上的每個node都看一遍的話 12/26 00:52
11F：→ timrau:那當然用hash先分門別類一下會比較快 12/26 00:52