The satisfiability problem of conjunction normal form (abbreviate SAT problem) is an NP_complete problem.

　
英 美
  • 合取范式可滿(mǎn)足性問(wèn)題(簡(jiǎn)稱(chēng)SAT問(wèn)題)是一個(gè)NP完全問(wèn)題。
今日熱詞
目錄 附錄 查詞歷史
国内精品美女A∨在线播放xuan