F＃Square Root on Int

Question

私は整数値の平方根を行う必要があるF＃でプログラムを構築しています。 私はキャストを使用しないでこれを行うことを可能にする機能を何も発見しておらず、見つけましたint -> float。

不要なキャストなしで整数の平方根を作ることができる関数はありますか？

Answer 1

あなただけの整数を受け取り、浮動小数点としての平方根を返し、その後、浮動小数点にint型に変換するためにfloat機能を使用して、sqrtを呼び出すと、移動するための方法で機能する場合：

を

原則として、F＃はこの変換を暗黙的に許可することができますが、コメントの議論のように、整数の平方根がどのようなものであるべきなのか明確ではないため、そうしないと思います。 C＃ではMath.Sqrt(n)と書くことができますが、これはC＃が暗黙的にintからfloatへの変換をプログラム内で許可するためです。

整数を返す整数の場合は平方根が必要な場合は、（コメントで説明したように）それを行う標準的な方法はないので、必要な機能を実装するのはあなた次第です。

Answer 2

intの入力がなぜ制限されているのか理解するのは難しいですが、それが重要であれば、除算&征服アルゴリズムを使用できます。これは、ハードウェア浮動を伴う任意のCPUアーキテクチャでは、sqrt (float n)よりもはるかに遅いです。

let isqrt n = 
    let rec loop b e = 
    let i = (b + e) >>> 1 
    let i2 = i*i 
    if i2 = n then 
     i 
    else 
     let nb, ne = 
     if i2 > n then 
      b, i 
     else 
      i, e 
     if nb = b && ne = e then 
     // Check i - 1 and i + 1 to see if either is a better fit than i 
     let imin = i - 1 
     let imax = i + 1 
     let i2min = imin*imin 
     let i2max = imax*imax 
     let d  = n - i2 |> abs 
     let dmin = n - i2min |> abs 
     let dmax = n - i2max |> abs 
     if d < dmin && d < dmax then 
      i 
     elif dmin < dmax then 
      imin 
     else 
      imax 

     else 
     loop nb ne 
    loop 1 n 

open FsCheck 

let isqrtProperty n = 
    n > 1 ==> fun() -> 
    let r  = isqrt n 
    let rmin = r - 1 
    let rmax = r + 1 

    let r2 = r*r 
    let rmin2 = rmin*rmin 
    let rmax2 = rmax*rmax 

    let d  = n - r2  |> abs 
    let dmin = n - rmin2 |> abs 
    let dmax = n - rmax2 |> abs 

    r >= 0 && d <= dmin && d <= dmax 

[<EntryPoint>] 
let main argv = 
    let config = { Config.Quick with MaxTest = 10000; MaxFail = 100000 } 
    Check.One ("isqrt property", config, isqrtProperty) 
    0