有linear time的算法把任何formula转换为DNF的吗？ - CS版 - 未名存档

本页内容为未名空间相应帖子的节选和存档，一周内的贴子最多显示50字，超过一周显示500字访问原贴

CS版 - 有linear time的算法把任何formula转换为DNF的吗？

相关主题
● possible plagiarism	● MINOS linear programming (转载)
● [转载] 有人明白Max-Plus Linear吗?	● linear programming里面的dual problem一般怎么求啊？
● Absolute equantions in Linear Programming??	● 急问：有什么算法可以解maxmin 或者 minmax优化问题
● [转载] 有什么好的free的software算LP?	● Linear Programming (LP) Solver
● lp_solve 求救！ divide by zero error :-(	● EM跟linear regression有什么区别？
● 求教优化算法迫切等待。多谢	● 算法问题，从一个unsorted list找 kth
● 线性不等式组.	● 女生，30岁转CS合适吗？
● 请问怎么计算两种clustering之间的差异	● 请教一下数学高手

相关话题的讨论汇总
话题: dnf话题: 算法话题: linear

进入CS版参与讨论

1

(共1页)

t******e
发帖数: 1293

1

google了半天，都没有找到算法
但是，有linear time的算法可以把任意的formula转换为CNF的

1

(共1页)

进入CS版参与讨论

相关主题
● 请教一下数学高手	● lp_solve 求救！ divide by zero error :-(
● 请教各位大牛关于CS	● 求教优化算法迫切等待。多谢
● 修课问题：linear programming这门课对提高编程和cs功底有啥帮助？	● 线性不等式组.
● 请教一个问题	● 请问怎么计算两种clustering之间的差异
● possible plagiarism	● MINOS linear programming (转载)
● [转载] 有人明白Max-Plus Linear吗?	● linear programming里面的dual problem一般怎么求啊？
● Absolute equantions in Linear Programming??	● 急问：有什么算法可以解maxmin 或者 minmax优化问题
● [转载] 有什么好的free的software算LP?	● Linear Programming (LP) Solver

相关话题的讨论汇总
话题: dnf话题: 算法话题: linear

未名新帖统计// 7月16日

#	版面	帖数(主题数)
-	全站	4871 (796)
1	Military	3777 (569)
2	Stock	341 (51)
3	Joke	117 (17)
4	History	116 (3)
5	Automobile	100 (9)
6	USANews	55 (9)
7	Midlife	45 (1)
8	Headline	41 (41)
9	Dreamer	33 (13)
10	FleaMarket	32 (20)
11	Living	30 (7)

* 这里只显示发帖超过25的版面，努力灌水吧:-)