被計算機界所關注的，能夠解決實際問題的數學難題往往有一個特點，那就是證明很難，但驗證卻不難，當然這也需要時間。
研討會開了大概三個小時，大家一致認為解題思路跟過程應該是沒有什么問題，得知韓文清正在研究類似的項目，便委托這位計算機領域的教授來進行驗證。
韓教授也不負所托，花了三天的時間確認了結果，這篇論文的確是正確的。
當然，這只是學校內部的驗證，確定正確的最終結果...
被計算機界所關注的，能夠解決實際問題的數學難題往往有一個特點，那就是證明很難，但驗證卻不難，當然這也需要時間。
研討會開了大概三個小時，大家一致認為解題思路跟過程應該是沒有什么問題，得知韓文清正在研究類似的項目，便委托這位計算機領域的教授來進行驗證。
韓教授也不負所托，花了三天的時間確認了結果，這篇論文的確是正確的。
當然，這只是學校內部的驗證，確定正確的最終結果...