AGC019のAでコケました。

問題としては、

0.25リットルのジュースはQ円、
0.5リットルのジュースはH円、
1リットルのジュースはS円、
2リットルのジュースはD円。

ぴったりNリットルのジュースが欲しい場合、
一番安い組み合わせで買ったらいくらになりますか？（意訳）
ただし、Q、H、S、D、Nはすべて整数とする。

というもの。

解法としては、Nは整数なので、1リットルで一番安いものを計算します。具体的には

LITTER_1 = min(Q * 4, H * 2, S)

こんな感じ。
で、後は、2リットルと1リットルの単価を比較して計算する、という流れなんですけれども。

その中で、なぜか通らないコードの一部を抜粋したのが、以下です。

<?php

$litter1 = 99999995;
$litter2 = 99999997;
$question = 999999999;

// 1リッターが2つの方が高くつく場合
if ($litter1 * 2 > $litter2) {
    // 問題が偶数の場合
    if ($question % 2 == 0) {
        printf("%d\n", $question / 2 * $litter2);
    } else {
        printf("%d\n", floor($question / 2) * $litter2 + $litter1);
    }
} else {
    printf("%d\n", $question * $litter1);
}

正解は 49999998499999998 なんですが……

実行してみると、なんか 6 ずれてるんです。

なんでだろう、と思って、細かく見てみて、唖然。

$step1 = floor($question / 2);
printf("[1]%d\n", $step1);
printf("[2]%s\n", gettype($step1));
$step2 = $step1 * $litter2;
printf("[3]%d\n", $step2);
printf("%d\n", floor($question / 2) * $litter2 + $litter1);

999999999 を 2 で割って、床関数で切り捨てて、 499999999 を得ています。[1]
これはOK。
そこに 99999997 を掛けて…… [3]を見ると、明らかにおかしい。499999999 × 99999997 で最後にこんなに 0 が並ぶことは、ありえない。

[1]の時点での変数の型を調べてみると、doubleになってます。[2]

この時点で、何かちょっとおかしい。床関数を使って切り捨てている。整数を得ているはずなのに、なぜ double なのか。
マニュアルを見ると、
value をこえない最大の整数の値を (float 型で) 返します。
と書いてあります。
なぜfloat型なのか。
これは、 float の範囲が int よりも広いためです。
……？？？
ちょっと何を言ってるのか分かりませんが、浮動小数点の形で返されているせいで、正しい数を得ることができていません。

(int)でキャストしても良いですが、とりあえず整数型で返す関数を定義します。

function ifloor($value) {
    return intval($value);
}

こうすることによって、正しい値を得ることができました。

結論

floorやceilを使うときは、いちいちintにキャストした方が良いよ。

いやぁ、こんな罠が潜んでいるとは……

PHPのfloor()という罠

結論