最近(2022/07/26)准备一些高校的夏令营,圣软微面了我三道位运算,深感自己功力不足。
在看 sat/smt examples 这书时,更感到自己的渺小。
德·布鲁因(de Bruijn)有向图和德·布鲁因序列-知乎