此算法能在多项式时间里判定任一给定的2CNF公式是否可满足。是算法中的一个重要问题。
此算法能在多项式时间里判定任一给定的2CNF公式是否可满足。是算法中的一个重要问题。...
此算法能在多项式时间里判定任一给定的2CNF公式是否可满足。是算法中的一个重要问题。...
Finite Volume Methods for Hyperbolic Problems。一本关于应用有限体积法求解双曲型微分方程的书,很不错的:)...
一个度曲文件夹中的文章。并且查询打印的百年机器....
B-spline曲線是包含Bezier曲線的通用數學表示法。...
地震勘探纵波双曲时差速度分析程序,可在学校实验室应用。请先编译再运行。自带文件zz1100.segy为演示用。...
波卡舞,n个男宾与n-1个女宾,11对应,没有对应的用一个扫帚代替.舞曲时间一定,有不同小节数,每小节移动不同次,一曲终了,把扫帚的下一对排出.求最后剩下的男宾号码和每次排出的一对的男女编号.一道习题...
C语言程序设计入门学习六步曲: C语言程序设计入门学习六步曲初学者遇到最多的困惑是:上课也能听懂,书上的例题也能看明白,可是到自己动手做编程时,却不知道如何下手。...
本shell脚本可以判定当前文件是否有.txt文件,可以删除指定的.txt文件,判定指定的文件是否在当前目录以及对后缀进行检测,对非.txt文件拒绝删除处理...
在matlab环境下的二维双曲型和抛物型偏微分方程的数值解法...
使用flash ActionScript實作Bezier curves,使用者可任意指定4個座標點去畫出相對應的貝氏曲線...