OMC086(F)

この問題では解の形式が与えられているのでそれを使って$solver目線$の解説を書いてみます．

まず，ガウス記号に臆せず自明な解(整数解)を求めてみます．
$x^3+7x^2+4x=12$ より， $x=1,-2,-6$ です．
$x=1$ は $[x^3]=[x^2]=[x]=1$ に対応するので，解のうち $x=1$ を含む部分は $1\leq x\lt\sqrt[3]{2}$ となります．(この範囲からほんの少しだけはみ出すと$[x^3],7[x^2],4[x]$はそれぞれ$1,7,4$ずれるか変わらないかなのでこれが再び解となることはないです)
$x=-2$ は $[x^3]=-8,[x^2]=4,[x]=-2$ に対応するので解のうち $x=-2$ を含む部分は $x=-2$ のみとなります．

これで $c=-2,d=1,e=\sqrt[3]{2}$ が求まったのであとは $a,b$ を求めるだけです．
$a\lt b\lt c\lt d\lt e$ と与えられてるので $x\lt-2$ の範囲で探索すればいいです．
ここでちょっとした工夫があるのですが，$[x^2]$を決めると$[x]$が決まり，$[x^3]+7[x^2]+4[x]=12$ から $[x^3]$ も求まるので $[x^2]$ の値で場合分けをするといいです．($x$が整数のときは例外となりますがこの場合は考察済みなので安心です)

表を書いてみます．

$[x^2]$ $[x]$ $[x^3]$
$4\ \ -3\ \ -4$
$5\ \ -3\ \ -11$
$6\ \ -3\ \ -18$
$7\ \ -3\ \ -25$
$8\ \ -3\ \ -32$
...

書くと面倒なので過程は省きますが，上から調べると $3$ 行目でこれをみたす $x$ が存在し，その範囲は $-\sqrt[3]{18}\leq x\lt-\sqrt[3]{17}$ となるので $a=-\sqrt[3]{18},b=-\sqrt[3]{17}$ が求まり答えは $324+289+64+1+4=\bf{682}$ です．