\(\mathcal{Description}\)

  Link.

  在一個 \(n\times m\) 的網格圖中，每個格子上是空白 . 或沙子 #，四聯通的沙子會連成一個整體。令此時所有沙子塊同時開始勻速下落，下落時不同的沙子塊不會再連成整體，求最終狀態。

  \(nm\le10^6\)。

\(\mathcal{Solution}\)

  雖然切了但考點掌握得並不熟練。

  考慮一列上的兩堆沙子，上方一堆所在的塊必然會被下方一堆所在的塊托住，若從模擬入手，就是“先讓後者下落，再讓前者下落”。不過在下落過程中，沙塊之間互相的限制關係頻繁改變，很難直接維護。

  定量分析“托住”的含義。設上塊的最終下落高度為 \(f_u\)

  如果像我一樣對差分約束不敏感，可以嘗試這種思考模式：限制複雜 —— 限制關係是一般圖 —— 轉化為特殊圖？（生成樹？縮點？圓方樹？……）使用一般圖上非 NPC 問題的演算法？（最短路？2-SAT？差分約束？……）—— 發現限制可以表示為差分約束。

  最後，這個差分約束沒有負權，所以 \(\mathcal O(nm\log nm)\) 跑 Dijkstra 即可。

\(\mathcal{Code}\)

/*~Rainybunny~*/

#include <bits/stdc++.h>

#define rep( i, l, r ) for ( int i = l, rep##i = r; i <= rep##i; ++i )
#define per( i, r, l ) for ( int i = r, per##i = l; i >= per##i; --i )

typedef std::pair<int, int> PII;
#define fi first
#define se second

inline void chkmin( int& u, const int v ) { v < u && ( u = v ); }

const int MAXNM = 1e6;
int n, m, cnt, **idx, lasf[MAXNM + 5], lash[MAXNM + 5];
char** grid;
int ecnt, head[MAXNM + 5], dis[MAXNM + 5];
struct Edge { int to, val, nxt; } graph[MAXNM * 2 + 5];

inline void link( const int s, const int t, const int w ) {
    // printf( "%d %d %d\n", s, t, w );
    graph[++ecnt] = { t, w, head[s] }, head[s] = ecnt;
}

struct DSU {
    int fa[MAXNM + 5], siz[MAXNM + 5];
    inline void init( const int s ) { rep ( i, 1, s ) siz[fa[i] = i] = 1; }
    inline int find( const int x ) {
        return x == fa[x] ? x : fa[x] = find( fa[x] );
    }
    inline bool unite( int x, int y ) {
        if ( ( x = find( x ) ) == ( y = find( y ) ) ) return false;
        if ( siz[x] < siz[y] ) x ^= y ^= x ^= y;
        return siz[fa[y] = x] += siz[y], true;
    }
} dsu;

inline void dijkstra() {
    static std::priority_queue<PII, std::vector<PII>, std::greater<PII> > heap;
    rep ( i, 0, cnt ) dis[i] = 0x3f3f3f3f;
    heap.push( { dis[0] = 0, 0 } );
    while ( !heap.empty() ) {
        PII p( heap.top() ); heap.pop();
        if ( dis[p.se] != p.fi ) continue;
        for ( int i = head[p.se], v; i; i = graph[i].nxt ) {
            if ( dis[v = graph[i].to] > p.fi + graph[i].val ) {
                heap.push( { dis[v] = p.fi + graph[i].val, v } );
            }
        }
    }
}

int main() {
    // freopen( "tpt.in", "r", stdin );
    // freopen( "tpt.out", "w", stdout );

    scanf( "%d %d", &n, &m );
    grid = new char*[n + 5], idx = new int*[n + 5];
    rep ( i, 1, n ) {
        grid[i] = new char[m + 5], idx[i] = new int[m + 5];
        scanf( "%s", grid[i] + 1 );
        rep ( j, 1, m ) idx[i][j] = grid[i][j] == '#' ? ++cnt : 0;
    }

    dsu.init( cnt );
    rep ( i, 1, n ) rep ( j, 1, m ) if ( grid[i][j] == '#' ) {
        if ( i > 1 && grid[i - 1][j] == '#' ) {
            dsu.unite( idx[i][j], idx[i - 1][j] );
        }
        if ( j > 1 && grid[i][j - 1] == '#' ) {
            dsu.unite( idx[i][j], idx[i][j - 1] );
        }
    }
    rep ( i, 1, n ) rep ( j, 1, m ) if ( grid[i][j] == '#' ) {
        idx[i][j] = dsu.find( idx[i][j] ), grid[i][j] = '.';
        // fprintf( stderr, "(%d,%d) in %d\n", i, j, idx[i][j] );
    }

    rep ( i, 1, m ) lash[i] = n + 1;
    per ( i, n, 1 ) rep ( j, 1, m ) if ( idx[i][j] ) {
        link( lasf[j], idx[i][j], lash[j] - i - 1 );
        lasf[j] = idx[i][j], lash[j] = i;
    }

    dijkstra();
    // rep ( i, 0, cnt ) fprintf( stderr, "%d\n", dis[i] );

    rep ( i, 1, n ) rep ( j, 1, m ) if ( idx[i][j] ) {
        grid[i + dis[idx[i][j]]][j] = '#';
    }
    rep ( i, 1, n ) puts( grid[i] + 1 );
    return 0;
}