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