BriefGPT.xyz
Ask
alpha
关键词
implication problem
搜索结果 - 1
命题蕴涵的复杂性
本研究考察了基于一组有限的布尔连结词所建立的命题公式的子句集合 G 是否蕴含某个公式 f 的复杂性,并证明了只有当连结词可由 {false,true} 和 {and,or,xor} 定义时,蕴含问题才能有效求解,此时问题的复杂度为多项式级别
→
PDF
16 years ago
Prev
Next