HybirdSat求解器smt

多机器人路径规划算法，可视化界面显示，默认实验数据为实现4个机器人路径规划。希望对于路径规划的学习者有一定帮助。

完整C、C++代码，自己编写，均调试过，成功可用。对于初学数据结构与算法的同学很有帮助。

这个c语言程序实现中缀表达式变为后缀表达式，并且实现其计算-the language program which is made up of expressions into a suffix expression, and its calculation

这是一种新的人工鱼群算法的改进算法，然后利用人工鱼群算法优化神经网络，并且和粒子群算法优化神经网络模型进行了对比，通过对比可知人工鱼群算法优化性能好于粒子群算法

数值计算的程序-numerical calculation procedures

C Code of the ABC algorithm

对数组进行排序.rar 对一组随机数据进行从大到小，或者从小到大的排序。并显示到窗体中。

朴素贝叶斯算法是基于贝叶斯定理与特征条件独立假设的分类方法。对于给定的训练数据集，首先基于特征条 件独立假设学习输入/输出的联合概率分布；然后基于此模型，对给定的输入x，利用贝叶斯定理求出后验概率 最大的输出y。朴素贝叶斯法实现简单，学习与预测的效率都很高，是一种常用的方法。 算法假定训练数据各属性列的值均是离散类型的。若是非离散类型的数据，需要首先进行数据的预处理，将非 离散型的数据离散化。 首先，将原训练元组按类别划分为,其中利用 MapdatasOfClass(ArrayList datas)，d

程序分别用Dijkstar和Floyd两种算法来计算最短距离，从文件读取点的信息，文件格式为起点，到点，距离。程序含有有时间函数，可以对两种算法进行比较，能够得出比较好的结果。

//产生0-1之间均匀分布一个随机数// /////////////////////////////////////////////////////////////// //传入参数:r--双精度实型变量指针,指向的单元存放随机数种子值//// //传出参数:p:产生0-1之间均匀分布一个随机数 -//0-1 have a uniform distribution between random numbers// //////////////////////////////////// ///////////////////////////// imported parameters : r-- double precision real- variable pointer to the storage unit random number seed////// out parameters : p : 0-1 produce a uniform distribution between random numbers