Chinese 圖同態 Cited by user HTinC23 on 06 Feb 2022 同態是若干種圖着色概念的推廣,適用於表達一類重要的約束滿足問題,如排程、問題。同態可以複合,為全體圖組成的類賦予豐富的代數結構:其上的预序关系、分配格結構、範疇結構(分為無向圖範疇與有向圖範疇兩種)。欲尋找任意兩圖間的同態,而無額外條件,則現時所知的高得不切實際,但對於某些特定類別的圖,已知有多項式時間算法。此類問題易解與否,兩者的分野,是…
English Boolean satisfiability problem Cited by user Caleb Stanford on 31 Dec 2021 In logic and computer science, the Boolean satisfiability problem (sometimes called propositional satisfiability problem and abbreviated SATISFIABILITY, SAT or B-SAT) is…
English SAT solver Cited by user Caleb Stanford on 31 Dec 2021 In computer science and formal methods, a SAT solver is a computer program which aims to solve the Boolean satisfiability problem.