[情報] AIG format 中的 M >= I + L + A
請注意一下在 AIG format 中：
M (max #vars) >= I(#PIs) + L(#Latches) + A(#AIGs)
為何會大於呢?
比方說：
aag 5 2 0 1 1 // header
2 // PI #0 (var ID = 1)
8 // PI #1 (var ID = 4)
6 // output
6 2 8 // AND gate (var ID = 3) := PI#0 & PI#1
其中 5 > 2 + 0 + 1
也就是說，possible variable IDs 可為 1 ~ 5 (Note: 0 號 always := const 0)
而 PIs 不一定都是從 var ID 1, 2,... 開始，
比方說上面的 PI #1 的 var ID 就 = 4.
另外就是可以有一些 var ID 沒有被用到，
像是上面那個例子的 var ID 2 跟 5.
(Remember: M 的意思是 "max number of vars")
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 1.160.26.194
推
12/19 01:10, , 1F
12/19 01:10, 1F
→
12/19 01:11, , 2F
12/19 01:11, 2F
→
12/19 01:11, , 3F
12/19 01:11, 3F
推
12/19 01:15, , 4F
12/19 01:15, 4F
推
12/19 01:16, , 5F
12/19 01:16, 5F
→
12/19 01:19, , 6F
12/19 01:19, 6F
→
12/19 01:20, , 7F
12/19 01:20, 7F
→
12/19 01:21, , 8F
12/19 01:21, 8F
→
12/19 01:22, , 9F
12/19 01:22, 9F
→
12/19 01:23, , 10F
12/19 01:23, 10F
→
12/19 01:24, , 11F
12/19 01:24, 11F
→
12/19 01:24, , 12F
12/19 01:24, 12F
→
12/19 01:25, , 13F
12/19 01:25, 13F
→
12/19 01:36, , 14F
12/19 01:36, 14F
推
12/19 01:43, , 15F
12/19 01:43, 15F
→
12/19 01:44, , 16F
12/19 01:44, 16F