和暦から西暦へ(1)

最近考えている問題。いろいろなところで出題されていましたが、なかなか難しいのです。
たとえば、今年は平成17年であるし、西暦2005年であるので、
「17と＋−×÷（）だけで2005を作るには最低いくつの17が必要か」
という問題になる。さかのぼっていけば、16-2004,15-2003,...という問題になる。
いろいろ考えていけばいくつか解は見つかるが、最小であることを調べるためにはどうするか。

結局私は、しらみつぶしで調べるプログラムを書いてみた。