此算法能在多项式时间里判定任一给定的2CNF公式是否可满足。是算法中的一个重要问题。
此算法能在多项式时间里判定任一给定的2CNF公式是否可满足。是算法中的一个重要问题。...
此算法能在多项式时间里判定任一给定的2CNF公式是否可满足。是算法中的一个重要问题。...
Finite Volume Methods for Hyperbolic Problems。一本关于应用有限体积法求解双曲型微分方程的书,很不错的:)...
一个度曲文件夹中的文章。并且查询打印的百年机器....
B-spline曲線是包含Bezier曲線的通用數學表示法。...
地震勘探纵波双曲时差速度分析程序,可在学校实验室应用。请先编译再运行。自带文件zz1100.segy为演示用。...