作者:
FRAXIS (喔喔)
2019-10-01 11:04:0014 因為是 undirected graph 所以每條邊 weight 都是 116 (2) 題目已經說了 是 shortest simple path所以有解 無解的是找 shortest path 因為你可以在negative cycle 上一直繞圈25 題目寫的是 instance, SAT 問題很難 因為現在找不到一般性的方法可以有效率的解所有 instance但是不代表所有 instances 都很難解 像是 SAT 的特殊形式2-SAT 就很容易解3-SAT 是 SAT 的特例 但是難度跟 SAT 是一樣的