2011年4月19日
摘要: wstring g=L"自动定理证明";wstring s=L"自动定理证明器";EditDistance editdistance(g,s);//int distancelen=editdistance.CalEditDistance();wcout.imbue(locale("chs")); set<string>words;editdistance.GetDictionary(words);OptimalInfo optimaloperations;int distancelen=editdistance.GetOp 阅读全文
posted @ 2011-04-19 15:33 finallyly 阅读(503) 评论(0) 推荐(1) 编辑
摘要: 阅读全文
posted @ 2011-04-19 09:46 finallyly 阅读(814) 评论(0) 推荐(1) 编辑