[問題] Strash 的疑問

[BBSealion (海獅)]

想請問一下
其實我不是很懂為什麼要寫個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)
推 timrau:hash function頂多把同樣gate input的AIG node hash在一起
→ timrau:如果要functionally eq in terms of PI, 得靠SAT而不只hash
→ BBSealion:喔喔 抱歉有點發現我用詞不對 我改一下
※ 編輯: BBSealion       來自: 218.168.233.113      (12/26 00:14)
→ BBSealion:把functionally eq 改成 input 才是我的問題...XD
→ BBSealion:如果我的hash function就能做到判斷是否相同input
→ BBSealion:那我就用這個Function 配合 erase不就好了？
→ BBSealion:並不需要再把整個資料搬移成hash的資料結構再做吧
推 timrau:"input相同的node分到同一類" 不代表"input不同會分到不同
→ timrau:類"
推 timrau:"原本直接找"如果是指對graph上的每個node都看一遍的話
→ timrau:那當然用hash先分門別類一下會比較快