人工智能合一算法C

1、人工智能第1次作業(yè)一般合一算法（C+實(shí)現(xiàn)）姓名：佟 學(xué)號(hào)：201224 班級(jí)：12計(jì)本非師 學(xué)院：信息學(xué)院一、 簡(jiǎn)單程序如下#include <iostream>#include <string>#include <vector>using namespace std;int iC=0; /標(biāo)記公式集中括號(hào)匹配數(shù)class Syncretismprivate:struct Transform / 一個(gè)代換(差異集)string t_f1;string t_f2;public:bool Issyn(string f1,string f2, vector<

2、Transform> &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()-1&&f1.at(j1)!=',')j1+;if(j1-i=0) return t;t.t_f1=f1.substr(i,j1-i);int j2=i;while(j2<f2.length()-1&&f2.at(

3、j2)!=',')j2+;if(j2-i=0) return t;t.t_f2=f2.substr(i,j2-i);while(t.t_f1j1-i-1=t.t_f2j2-i-1)t.t_f1.erase(j1-1-i);t.t_f2.erase(j2-i-1);j1-;j2-;return t;bool same(const string f1,const string f2) ; / 判斷兩個(gè)公式是否相同string change(string f,Transform t); /用代換q 對(duì)公式f 進(jìn)行合一代換bool legal(Transform &t); /i

4、nt var(const string s); /s 中每個(gè)()內(nèi)的子串是變量還是常量void show();/最終演示算法;bool Syncretism:Issyn(string f1,string f2,vector<Transform> &lan)while(!same(f1,f2)Transform t=different(f1,f2);bool flag=legal(t);if(!flag)return false;elselan.push_back(t); /將t 加入vector lan 中if(flag)f1=change(f1,lan.back(); /

5、用lan 的最后一個(gè)元素代換f2=change(f2,lan.back();cout<<"變換后:"<<endl;cout<<"f1:"<<f1<<endl;cout<<"f2:"<<f2<<endl<<endl;if(same(f1,f2) break;return true;bool Syncretism:same(const string f1, const string f2)if(pare(f2)=0) return

6、true;else return false;string Syncretism:change(string f,Transform t)int i=f.find(t.t_f2);while(i<f.length()i=f.find(t.t_f2);if(i<f.length()f=f.replace(i,t.t_f2.length(),t.t_f1);return f;bool Syncretism:legal(Transform &t)if(t.t_f1.length()=0|t.t_f2.length=0)return false;else if(var(t.t_f1

7、)=0|var(t.t_f2)=0) return false;else if(var(t.t_f1)=1&&var(t.t_f2)=1&&t.t_pare(t.t_f2)!=0)return false;else if(var(t.t_f1)=2)if(var(t.t_f2)=1)string temp=t.t_f1; /變量常量交換位置t.t_f1=t.t_f2;t.t_f2=temp;elseint i1=var(t.t_f2);i1=iC;iC=0;int i2=var(t.t_f1);i2=iC;if(i1<i2)string temp=t.t_

8、f1; /變量常量交換位置t.t_f1=t.t_f2;t.t_f2=temp;return true;elsereturn true;int Syncretism:var(const string s)if(s.length()=0) return 0; /空if(s.length()=1&&s0>='a'&&s0<='g') return 1; /常量if(s.length()>1)int i=0;while(i<s.length()&&s.at(i)!='(')i+;iC

9、+;string ss=s.substr(i+1,s.length()-i-2); /抽取s 中的匹配的()中的子串return var(ss);else return 2;void Syncretism:show()cout<<"常量:形如a,b,c,d(a-g)等"<<endl<<"變量:形如x,y,z,u 等"<<endl;string f1,f2;cout<<"輸入 F1:"cin>>f1;cout<<"輸入 F2:"cin

10、>>f2;vector <Transform> lan;if(Issyn(f1,f2,lan)if(same(f1,f2) /如果f1,f2 相同則合一為cout<<"合一 = "<<endl;return ;cout<<"合一 = "for(int i=0;i<lan.size()-1;i+)cout<<lani.t_f1<<"/"<<lani.t_f2<<","cout<<lani.t_

11、f1<<"/"<<lani.t_f2<<" "<<endl;elsecout<<"不能進(jìn)行合一"<<endl;int main()Syncretism Sy;Sy.show();return 0;二、演示結(jié)果三、程序的實(shí)現(xiàn)Transform 中的t_f1，t_f2 分別表示差異集中的兩個(gè)字符串。Vector 變量lan 存放合一的集合。函數(shù)功能Issyn() 判斷兩個(gè)公式是否相同。different() 求差異集。change() 用代換對(duì)公式進(jìn)行合一代換。legal() 對(duì)t_f1,t_f2 判斷然后對(duì)換并判斷是否為合一字符串same() 判斷兩個(gè)公式是否相同。var() 字符串每個(gè)()內(nèi)的子串是變量還是常量。show() 最終演示算法函數(shù)。四、具體程序執(zhí)行程序執(zhí)行時(shí)先輸入公式集中的公式然后調(diào)用Issyn 函數(shù)判斷是否能合一如果不能則退出，如果能判斷公式是否