充足可能性問題
phase transitions in random instances of the Boolean satisfiability problem,