【conjunction_normal_form】什么意思_英语conjunction_normal_form的翻译_音标_读音_用法_例句_在线翻译

conjunction normal form

[数] 合取范式

...词:粗糙集; 分辨函数; 合取范式; 析取范式 [gap=1113]Key words:rough sets; discernibility function; conjunction normal form; disjunction normal form ...

基于28个网页-相关网页

能够规约为合取范式

...检验、等价性检查、自动测试向量生成等,都可以等价为布尔可满足不足来解决,这些不足能够规约为合取范式(Conjunction Normal Form, CNF)格式的布尔公式,找出该布尔公式的一个可满足解的相关技术被称为可满足性求解(satisfiabilit...

基于4个网页-相关网页

短语

数学

·2,447,543篇论文数据，部分数据来源于NoteExpress

The satisfiability of conjunction normal form (abbreviate sat problem) is a typical NP-complete problem.

合取范式可满足性问题(简称SAT问题)是一个NP完全问题。

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

合取范式可满足性问题(简称SAT问题)是一个NP完全问题。

youdao

更多双语例句

应用推荐

$firstVoiceSent

- 来自原声例句