一、目的:在電腦科學中有小部份的領域是使用電腦來產生證明和協助驗證,首先四色問題的證明就是完全
依靠電腦程式的協助來完成並且目前已經確認成功的將高階語言轉換至低階的晶片。
這個問題的計算量與部份的費瑪最後定理相關:
根據上述定理, ,當n>2 時沒有正整數解。
二、問題說明:
給一個正整數N, 寫一個程式計算右式的兩次方程式的解 一
這裡的x,y,z是限制正整數小於等於N,計算truple(x,y,z)的數量且x<y<z,並且它們是互質,
(ie.,它們沒有共同的除算大於1)。並且另外計算0<p<=N的數量,這理的p不屬於任何truple