Problem:
Problem G: スプリング・タイル

ある朝、あなたが目覚めると、そこはバネだらけの迷宮の中だった。

なぜ自分がこんな見知らぬ場所にいるのかはわからない。この場でじっと助けを待つという選択肢も
あるにはあるが、こういった迷宮の中に長居していると、いつかは必ず突風が吹いてきて吹き飛ばさ
れてしまうことを、あなたは経験上知っていた。しかし、突風が吹いてくるまでの時間は判断のしよ
うがない。そこであなたは、迷宮から脱出するまでに必要な移動回数の期待値が最小になるように行
動するのが最善の戦略だと考えた。

足元に落ちていた正体不明の巻物を拾ってためしに読んでみたところ、偶然にも迷宮の全体マップを
知覚することができた。さらに、たまたま持っていた草を飲むことで、すべてのワナの位置も知るこ
とができた。どうやらこの迷宮には、危険なモンスターやバネ以外のワナは存在しないらしい。

この迷宮は、いくつかの種類のタイルが長方形に並んだ形をしており、たとえば以下のようにあらわ
される。

########
#..##g.#
#*#.*#.#
#......#
#*s#*.*#
########

「.」：床。この上なら自由に歩き回ることができる。

「#」：壁。あなたは壁の中に入ることはできない。

「s」：あなたの最初の位置。このタイルの下は床になっている。

「g」：階段。このタイルの上に乗れば、迷宮を脱出したことになる。

「*」：バネ。このタイルの上に乗ると、いずれかの床の上（階段、バネのタイルは除く）にランダムに飛ばされる。それぞれの床に飛ばされる確率はすべて等しい。

タイルの種類は、この５つのいずれかである。

あなたは、現在乗っているタイルから隣り合ったタイルへ、上下左右いずれかの方向に１マスずつ移
動することができる。ただし、ナナメに移動することはできない。

迷宮のマップが与えられたとき、最善の戦略をとった場合に迷宮から脱出するまでに必要な移動回数
の期待値を求めよ。バネで飛ばされるのは移動回数には含めない。

Input

W H

c11 c12 ... c1w

c21 c22 ... c2w

::    :

ch1 ch2 ... ccw

入力の１行目には、整数W（3 ≤ W ≤ 500）と整数H（3 ≤ H ≤ 500）が、この順に空白区切りで書かれている。整数W は迷宮の横幅を、整数H は迷宮の縦幅をあらわす。

続くH 行には、迷宮のマップをあらわすW 個の文字が書かれている（空白区切りではない）。この部分の形式は、先に挙げた例のとおりである。なお、データ中に「s」と「g」は、それぞれちょうど１回ずつ出現する。また、迷宮の周囲１マスは、必ず壁で囲まれている。

なお、与えられる迷宮では、どのように移動し、バネでどのように飛ばされたとしても、「バネで飛
ばされる床を任意に設定できたとしても脱出不可能な状態」に陥ることはないと仮定してよい。

Output

最善の戦略をとったときに、脱出までにかかる移動回数の期待値を出力せよ。出力は誤差を含んでい
てもよいが、真の値との相対誤差が10-9 未満でなければならない。

Sample Input 1

8 6
########
#..##g.#
#*#.*#.#
#......#
#*s#*.*#
########

Sample Output 1

5.857142857143

Sample Input 2

21 11
#####################
#*#*.*.*.*.*.*.*.*#*#
#*#...............#*#
#*#.#.#.#.#.#.#.#.#*#
##.#.#.#.#.#.#.#.#.##
#...................#
##.#.#.#.#.#.#.#.#.##
#s#.#.#.#.#.#.#.#.#g#
#...................#
#...................#
#####################

Sample Output 2

20.000000000000

Sample Input 3

9 8
#########
#...#*.*#
#.*.#...#
#...#*.*#
#########
#.s....g#
#.*#.*..#
#########

Sample Output 3

5.000000000000

Solution in C++11 (judge verdict: Wrong Answer)

#include <bits/stdc++.h>

using namespace std;

namespace {

    typedef double real;
    typedef long long ll;

    template<class T> ostream& operator<<(ostream& os, const vector<T>& vs) {
        if (vs.empty()) return os << "[]";
        os << "[" << vs[0];
        for (int i = 1; i < vs.size(); i++) os << " " << vs[i];
        return os << "]";
    }
    template<class T> istream& operator>>(istream& is, vector<T>& vs) {
        for (auto it = vs.begin(); it != vs.end(); it++) is >> *it;
        return is;
    }

    int W, H;
    vector<string> F;
    void input() {
        cin >> W >> H;
        F.clear(); F.resize(H);
        cin >> F;
    }

    const int INF = INT_MAX / 8;
    const int dy[] = {0, -1, 0, 1};
    const int dx[] = {-1, 0, 1, 0};

    vector< vector<int> > C; // from the stairs
    vector< vector<int> > S; // from the nearest spring;

    void bfs(int sy, int sx, vector< vector<int> >& M) {
        assert(M.size() == H && M[0].size() == W);
        queue< pair<int, int> > Q;
        Q.push(make_pair(sy, sx));
        M[sy][sx] = 0;
        while (not Q.empty()) {
            auto cur = Q.front(); Q.pop();
            int cy = cur.first, cx = cur.second;
            for (int i = 0; i < 4; i++) {
                int ny = cy + dy[i],
                    nx = cx + dx[i];
                if (ny < 0 || ny >= H) continue;
                if (nx < 0 || nx >= W) continue;
                if (F[ny][nx] == '#') continue;
                if (F[ny][nx] == '*') continue;
                int ncost = M[cy][cx] + 1;
                if (M[ny][nx] > ncost) {
                    M[ny][nx] = ncost;
                    Q.push(make_pair(ny, nx));
                }
            }
        }
    }

    int N;
    int X, Y;
    void init() {
        N = 0;
        C = vector< vector<int> >(H, vector<int>(W, INF));
        S = vector< vector<int> >(H, vector<int>(W, INF));
        for (int i = 0; i < H; i++) {
            for (int j = 0; j < W; j++) {
                if (F[i][j] == 'g') {
                    bfs(i, j, C);
                } else if (F[i][j] == '*') {
                    bfs(i, j, S);
                } else if (F[i][j] == 's' || F[i][j] == '.') {
                    if (F[i][j] == 's') {
                        Y = i;
                        X = j;
                    }
                    N++;
                } else {
                    assert(F[i][j] == '#');
                }
            }
        }
    }

    real f(real x) {
        real ret = 0;
        for (int i = 0; i < H; i++) {
            for (int j = 0; j < W; j++) {
                if (F[i][j] == '.' || F[i][j] == 's') {
                    ret += min(real(S[i][j]) + x, real(C[i][j]));
                }
            }
        }
        return ret / N;
    }

    real g(real x) {
        return x - f(x);
    }

    void solve() {
        init();
        real lb = 0, ub = 1e5;
        for (int i = 0; i < 1000; i++) {
            real mid = (lb + ub) / 2;
            (g(mid) < 0 ? lb : ub) = mid;
        }
        real x = lb;
        cout << fixed << setprecision(12) << min(real(C[Y][X]), S[Y][X] + x) << endl;
    }
}

int main() {
    input(); solve();
    return 0;
}