可满足性
可满足性（satisfiability）是1993年公布的数学名词。
资源总数
500
可满足性 热门资料
查看全部 500 份 →假设定义堆为满足如下性质的完全三叉树： (1) 空树为堆； (2) 根结点的值不小于所有子树根的值
假设定义堆为满足如下性质的完全三叉树： (1) 空树为堆； (2) 根结点的值不小于所有子树根的值，且所有子树 均为堆。 编写利用上述定义的堆进行排序的算法，并分析推导 算法的时间复杂度。
2014-01-27
30