一般合一算法.doc.docVIP

人工智能一般合一算法： 一：简单程序如下： #include #include #include using namespace std; int iC 0; //标记公式集中括号匹配数 class Syncretism private: struct Transform // 一个代换 差异集 string t_f1; string t_f2; ; public: bool Issyn string f1,string f2, vector t ; //是否能合一 Transform different const string f1,const string f2 //求差异集 int i 0; Transform t; while f1.at i f2.at i i++; int j1 i; while j1 f1.length -1f1.at j1 ! , j1++; if j1-i 0 return t; t.t_f1 f1.substr i,j1-i ; int j2 i; while j2 f2.length -1f2.at j2 ! , j2++; if j2-i 0 return t; t.t_f2 f2.substr i,j2-i ; while t.t