環境はPython3.6.5です。
まずは以下の計算結果を見てください。
gist.github.com
なぜ?
float型において、有効数字が16桁以上の値を表現しようとすると誤差が生じてしまう可能性があるからです。
N//3
のような整数同士の切り捨て除算は内部処理的にint型のまま演算されるので(たぶん)、誤差が発生しないのだと思います。
よって、整数同士の切り捨て除算の場合、//演算子を使ったほうが誤差が発生する可能性が低いので、そちらを使ったほうが良いかもしれません。
調査と解説
以下は、詳しい解説になります。
まず、//演算子とmath.floor()の違いというか、それぞれがどんなことをしているかというのを調査し、整理します。
公式ドキュメントの二項算術演算の説明によれば、/(除算)および//(切り捨て除算)は次のようなことをしています。
/ (除算: division) および // (切り捨て除算: floor division) は、引数同士の商を与えます。数値引数はまず共通の型に変換されます。整数の除算結果は浮動小数点になりますが、整数の切り捨て除算結果は整数になります; この場合、結果は数学的な除算に 'floor' 関数 を適用したものになります。ゼロによる除算を行うと ZeroDivisionError 例外を送出します。
要約すると、次のようになります。
print(6/2)
print(6//2)
「整数の切り捨て除算結果は整数」がミソで、じゃあfloat型の切り捨て除算結果の場合はどうなるかというと、
print(7.0//2)
float型になります。
math.floor()
次はmath.floor()についてですが、公式リファレンスのmath.floor()の説明によると以下のことが書いてあります。
math.floor(x)
x の「床」 (x 以下の最大の整数) を返します。 x が浮動小数点数でなければ、内部的に x._floor_() が実行され、 Integral 値が返されます。
引数 x が浮動小数点数でなければ、Integral値が返されるようです。Integral値についての説明は省くとして(あんまりわからないし)、要約するとint型に変換された値が返ってくると考えます。
ここでも「引数 x が浮動小数点数でなければ」という条件がついています。じゃあ浮動小数点数の場合はどうなるんだよという話ですが、見た目の挙動は触ってみた感じ変わりません(int型に変換されます)。内部的には知らないです。floor()の実装はたぶんここですが、数分ソースを追いかけたあと、眼鏡をクイッして終わりました。
これまでのことをまとめると、処理の流れは次のようになると思います。
b//a
- b が整数ならば、整数が返る
- b がfloat型ならば、float型が返る
floor(x)
- xが整数ならば、整数が返る
- xが浮動小数点数でも、整数が返る
float型の有効数字
Pythonのfloat型はC言語でいうところのdouble型(64bitの倍精度浮動小数点数)1で、その有効数字は約16桁です(Wikipedia調べ)。
よって、有効数字が16桁以上の値を表現しようとすると誤差が生じてしまう可能性があります。これは演算させるさせないは関係ありません。
a = 9999999999999999.
print(a)
print(f"{a:.10f}")
また、f-strings(フォーマット済み文字列リテラル)で出力するとき、float型に変換する処理をおこなうと、同様の理由で誤差が出ることがあるので注意しましょう。
a = 100000000000000000000
b = a//3
print(b)
print(f"{b:.10f}")
print(f"{b:18d}")
結論とまとめ
というわけで、途中の演算で有効数字が16桁以上のfloat型になると、誤差が生じる可能性が出てきます。
floor(N/3)について解説すると、
c = N/3
b = floor(c)
print(b)
N//3について解説すると、
a = N//3
print(a)
ただし、float型の切り捨て除算は誤差が発生します。
N = 1000000000000000000.
a = N//3
print(a)
print(f"{a:.10f}")
以上の理由で、math.floor()演算子より、//演算子を使ったほうが良いと主張します。おわり。
おまけ1
AtCoder Beginner Contest 131: C - Anti-Divisionで、floor()を使うとWAになり、//演算子を使うとACになったのが調査のきっかけです。
"""解説
B以下の整数のうち、CでもDでも割り切れないものの個数をCountBとする
A以下の整数のうち、CでもDでも割り切れないものの個数をCountAとする
求める答えは、CountB - CountA
・CountBの求め方
B以下の整数のうち、Cで割り切れるものの個数はCountB_C = B//C
B以下の整数のうち、Dで割り切れるものの個数はCountB_D = B//D
B以下の整数のうち、CでもDでも割り切れるものの個数はCountB_CD = B//lcm(C,D)
CountB = B - (CountB_C + CountB_D - CountB_CD)
"""
from fractions import gcd
from math import floor
def solve():
A, B, C, D = list(map(int, input().split()))
def lcm(a, b):
""" aとbの最小公倍数を返す """
return a*b // gcd(a, b)
def f(x):
""" 1以上x以下の整数のうち、CでもDでも割り切れないものの個数を返す """
return x - (x//C + x//D - x//lcm(C,D))
ans = f(B) - f(A-1)
print(ans)
if __name__ == "__main__":
solve()
おまけ2
追記2019/09/02
AtCoder Beginner Contest 139: D - ModSumでも似たような注意が必要です。
問題文と解説は省略しますが、要は 1~N-1 までの和を出力する問題です。
def solve():
N = int(input())
"""
i = 1 2 3 4 5 6 7 8
P_i = 2 3 4 5 6 7 8 1
↑これが最大値なのでは?
つまり、
・P_i = i + 1
・P_N = 1
にすると、1 ~ N-1の和が答えになる。
"""
ans = (1+(N-1))*(N-1)//2
print(ans)
if __name__ == "__main__":
solve()