#pragma GCC optimize ("O3") #include "bits/stdc++.h" using namespace std; using ll = long long int; #define debugos cout #define debug(v) {printf("L%d %s > ",__LINE__,#v);debugos<<(v)< ",__LINE__,#v);for(auto e:(v)){debugos< ",__LINE__,#m);for(int x=0;x<(w);x++){debugos<<(m)[x]<<" ";}debugos<\n",__LINE__,#m);for(int y=0;y<(h);y++){for(int x=0;x<(w);x++){debugos<<(m)[y][x]<<" ";}debugos<::type>::type cnt=0;(cnt)<(l);++(cnt)) #define rrepeat(cnt,l) for(auto cnt=(l)-1;0<=(cnt);--(cnt)) #define iterate(cnt,b,e) for(auto cnt=(b);(cnt)!=(e);++(cnt)) #define diterate(cnt,b,e) for(auto cnt=(b);(cnt)!=(e);--(cnt)) const ll MD = 1000000007ll; const long double PI = 3.1415926535897932384626433832795L; inline void assert_call(bool assertion, function f) { if (!assertion) { cerr << "assertion fault:" << endl; f(); abort(); } } template inline ostream& operator <<(ostream &o, const pair p) { o << '(' << p.first << ':' << p.second << ')'; return o; } template inline ostream& _ostream_vecprint(ostream& os, const Vec& a) { os << '['; for (const auto& e : a) os << ' ' << e << ' '; os << ']'; return os; } template inline ostream& operator<<(ostream& o, const vector& v) { return _ostream_vecprint(o, v); } template inline ostream& operator<<(ostream& o, const array& v) { return _ostream_vecprint(o, v); } template inline T& maxset(T& to, const T& val) { return to = max(to, val); } template inline T& minset(T& to, const T& val) { return to = min(to, val); } void bye(string s, int code = 0) { cout << s << endl; exit(code); } mt19937_64 randdev(8901016); template inline T rand(T l, T h) { return uniform_int_distribution(l, h)(randdev); } template<> inline double rand(double l, double h) { return uniform_real_distribution(l, h)(randdev); } template<> inline float rand(float l, float h) { return uniform_real_distribution(l, h)(randdev); } #if defined(_WIN32) || defined(_WIN64) #define getchar_unlocked _getchar_nolock #define putchar_unlocked _putchar_nolock #elif defined(__GNUC__) #else #define getchar_unlocked getchar #define putchar_unlocked putchar #endif namespace { #define isvisiblechar(c) (0x21<=(c)&&(c)<=0x7E) class MaiScanner { public: template void input_integer(T& var) noexcept { var = 0; T sign = 1; int cc = getchar_unlocked(); for (; cc < '0' || '9' < cc; cc = getchar_unlocked()) if (cc == '-') sign = -1; for (; '0' <= cc && cc <= '9'; cc = getchar_unlocked()) var = (var << 3) + (var << 1) + cc - '0'; var = var * sign; } inline int c() noexcept { return getchar_unlocked(); } inline MaiScanner& operator>>(int& var) noexcept { input_integer(var); return *this; } inline MaiScanner& operator>>(long long& var) noexcept { input_integer(var); return *this; } inline MaiScanner& operator>>(string& var) { int cc = getchar_unlocked(); for (; !isvisiblechar(cc); cc = getchar_unlocked()); for (; isvisiblechar(cc); cc = getchar_unlocked()) var.push_back(cc); return *this; } template void in(IT begin, IT end) { for (auto it = begin; it != end; ++it) *this >> *it; } }; class MaiPrinter { public: template void output_integer(T var) noexcept { if (var == 0) { putchar_unlocked('0'); return; } if (var < 0) putchar_unlocked('-'), var = -var; char stack[32]; int stack_p = 0; while (var) stack[stack_p++] = '0' + (var % 10), var /= 10; while (stack_p) putchar_unlocked(stack[--stack_p]); } inline MaiPrinter& operator<<(char c) noexcept { putchar_unlocked(c); return *this; } inline MaiPrinter& operator<<(int var) noexcept { output_integer(var); return *this; } inline MaiPrinter& operator<<(long long var) noexcept { output_integer(var); return *this; } inline MaiPrinter& operator<<(char* str_p) noexcept { while (*str_p) putchar_unlocked(*(str_p++)); return *this; } inline MaiPrinter& operator<<(const string& str) { const char* p = str.c_str(); const char* l = p + str.size(); while (p < l) putchar_unlocked(*p++); return *this; } template void join(IT begin, IT end, char sep = ' ') { for (bool b = 0; begin != end; ++begin, b = 1) b ? *this << sep << *begin : *this << *begin; } }; } MaiScanner scanner; MaiPrinter printer; class Graph { public: size_t n; vector> vertex_to; Graph(size_t n = 1) :n(n), vertex_to(n) {} inline size_t size() const { return n; } void resize(size_t _n) { vertex_to.resize(n = _n); } void connect(int from, int to) { vertex_to[(size_t)from].emplace_back(to); vertex_to[(size_t)to].emplace_back(from); } }; template class SparseTable { public: const int size; vector log2; vector data; vector dp; SparseTable(int size) :size(size), log2(size + 1), data(size) { // for fast calculate log2 for (int i = 2; i <= size; ++i) { log2[i] = log2[i >> 1] + 1; } dp.resize(size*(log2[size] + 1)); } inline T& operator[](size_t i) { return data[i]; } inline T operator[](size_t i)const { return data[i]; } void build() { int l, i, f, b; for (i = 0; i < size; i++) { dp[i] = i; } for (l = 1; (1 << l) <= size; l++) { for (i = 0; i + (1 << l) <= size; i++) { f = dp[i + size * (l - 1)]; b = dp[(i + (1 << (l - 1))) + size * (l - 1)]; dp[i + size * l] = (data[f] <= data[b]) ? f : b; // minimum } } } // range [l,r) int getminrangeIdx(int l, int r) const { int lg = log2[r - l]; int i1 = dp[l + size * lg]; int i2 = dp[r - (1 << lg) + size * lg]; return (data[i1] <= data[i2]) ? i1 : i2; // minimum } }; class DGraph { public: size_t n; vector> vertex_to; vector> vertex_from; DGraph(size_t n = 1) :n(n), vertex_to(n), vertex_from(n) {} inline size_t size() const { return n; } void resize(size_t _n) { n = _n; vertex_to.resize(_n); vertex_from.resize(_n); } void connect(int from, int to) { vertex_to[(size_t)from].emplace_back(to); vertex_from[(size_t)to].emplace_back(from); } }; class Unionfind { public: vector data; Unionfind(size_t size) : data(size, -1) { } bool connect(size_t x, size_t y) { x = root(x); y = root(y); if (x != y) { if (data[y] < data[x]) swap(x, y); data[x] += data[y]; data[y] = (int)x; } return x != y; } inline bool same(size_t x, size_t y) { return root(x) == root(y); } inline size_t root(size_t x) { return (size_t)(data[x] < 0 ? x : data[x] = root(data[x])); } inline int size(size_t x) { return -data[root(x)]; } }; class LCATable { vector visited_; vector visited_inv_; SparseTable depth_; public: LCATable(const Graph& g, int root = 0) :visited_(g.n * 2), visited_inv_(g.n), depth_(g.n * 2) { build(g, root); } int _tour_dfs(const Graph& g, int idx, int from = -1, int step = 0, int dep = 0) { depth_[step] = dep; visited_inv_[idx] = step; visited_[step] = idx; for (int to : g.vertex_to[idx]) { if (to == from) continue; step = _tour_dfs(g, to, idx, ++step, dep + 1); depth_[step] = dep; visited_[step] = idx; } return ++step; } inline void build(const Graph& g, int root = 0) { _tour_dfs(g, root); depth_.build(); } inline int operator()(int u, int v) { return visited_inv_[u] <= visited_inv_[v] ? visited_[depth_.getminrangeIdx(visited_inv_[u], visited_inv_[v])] : operator()(v, u); } }; class DGraphF { public: typedef int cap_t; size_t n_; struct Arc { int from, to; // 残量 cap_t left; // 容量 cap_t cap; Arc(int from = 0, int to = 0, cap_t w = 1) :from(from), to(to), left(w), cap(w) {} inline bool operator<(const Arc& a) const { return (left != a.left) ? left < a.left : (left < a.left) | (cap < a.cap) | (from < a.from) | (to < a.to); } inline bool operator==(const Arc& a) const { return (from == a.from) && (to == a.to) && (left == a.left) && (cap == a.cap); } }; vector> vertex_to; vector> vertex_from; vector edges; DGraphF(int n = 1) :n_(n), vertex_to(n), vertex_from(n) { } void connect(int from, int to, cap_t left) { vertex_to[(size_t)from].push_back((int)edges.size()); // toto vertex_from[(size_t)to].push_back((int)edges.size()); // fromfrom edges.emplace_back(from, to, left); } inline size_t size() const { return n_; } }; void dinic(DGraphF &graph, vector& result, int i_source, int i_sink) { assert(i_source != i_sink); result.resize(graph.n_); vector dist(graph.n_); queue q; vector flag(graph.n_); static function _dfs = [&](int u, int i_sink, DGraphF::cap_t mini) { // DAG // TODO: 経路再利用 if (i_sink == u) return mini; if (flag[u]) return (DGraphF::cap_t) - 1; flag[u] = true; DGraphF::cap_t sumw = 0; bool term = true; for (int e : graph.vertex_to[u]) { auto& edge = graph.edges[e]; if (edge.left > 0 && dist[u] > dist[edge.to]) { DGraphF::cap_t w = (mini < 0) ? edge.left : min(edge.left, mini); w = _dfs(edge.to, i_sink, w); if (w == -1) continue; edge.left -= w; result[edge.to] += w; sumw += w; mini -= w; term = false; flag[u] = false; // TODO: 末尾では? if (mini == 0) return sumw; } } for (int e : graph.vertex_from[u]) { auto& edge = graph.edges[e]; if (edge.cap > edge.left && dist[u] > dist[edge.from]) { DGraphF::cap_t w = (mini < 0) ? (edge.cap - edge.left) : min(edge.cap - edge.left, mini); w = _dfs(edge.from, i_sink, w); if (w == -1) continue; edge.left += w; result[edge.to] -= w; sumw += w; mini -= w; term = false; flag[u] = false; if (mini == 0) return sumw; } } return term ? (DGraphF::cap_t)(-1) : sumw; }; for (int distbegin = 0; ; distbegin += (int)graph.n_) { q.emplace(i_sink); // bfsはsinkからsourceへの距離を計算. dist[i_sink] = distbegin + 1; while (!q.empty()) { int v = q.front(); q.pop(); for (int ie : graph.vertex_from[v]) { const auto edge = graph.edges[ie]; if (0 < edge.left && dist[edge.from] <= distbegin) { dist[edge.from] = dist[v] + 1; q.emplace(edge.from); } } for (int ie : graph.vertex_to[v]) { const auto edge = graph.edges[ie]; if (edge.left < edge.cap && dist[edge.to] <= distbegin) { dist[edge.to] = dist[v] + 1; q.emplace(edge.to); } } } fill(flag.begin(), flag.end(), false); if (dist[i_source] <= distbegin) break; else result[i_source] += _dfs(i_source, i_sink, -1); } } // ## 最小流量制限付き最大フロー // + http://snuke.hatenablog.com/entry/2016/07/10/043918 // + http://yukicoder.me/submissions/137248 // + http://yukicoder.me/submissions/143696 // // #### 解説 // 最小流量制限付き最大フローは,普通の最大フローに置き換えることができる. // // 面倒なので,最小流l,最大流hで頂点uから頂点vへ流れる有向辺を(u,v)[l,h]と表記する. // // + s→tな最大最小流量制限付きフローG=(V,E)を考える.最大流量制限付きフローG'を作りたい. // + 新たに頂点S,Tを作る. // + (u,v)[c,c+d]がGに存在するとき,G'に(u,v)[0,d],(u,T)[0,c],(S,v)[0,c]を与える. // + G'に多重辺が出来ることがある. // + S→T,S→t,s→T,s→tの順に最大流を求める.S,Tに隣接する辺に優先して流すため. // + S,Tに隣接する辺が全てemptyになっていれば,条件を満たすフローが存在 // + 流量は(u,v)+(u,T) // // 事前に全体の流量が把握出来るならば, #137248のように,S→s,t→Tの辺を作ってS→Tを流せばよい class FlowMinMax { public: DGraphF graph; const int v_source; // vertex of new source FlowMinMax(int n) :graph(n + 2), v_source(n) {} private: bool _solve_dinic_edge(map, int>& result_edge, int i_source, int i_sink) { vector resflow(graph.size(), 0); dinic(graph, resflow, v_source, v_source + 1); dinic(graph, resflow, v_source, i_sink); dinic(graph, resflow, i_source, v_source + 1); dinic(graph, resflow, i_source, i_sink); for (int e : graph.vertex_from[v_source + 1]) { const DGraphF::Arc& a = graph.edges[e]; if (0 < a.left) return false; } int flow; for (int u = 0; u < graph.size() - 2; u++) { for (int ei : graph.vertex_to[u]) { // TODO:最適化の余地あり(らしい) const DGraphF::Arc& a = graph.edges[ei]; // u -> v if (a.to >= graph.size() - 2) { if (0 < a.left) return false; continue; } const DGraphF::Arc& c = graph.edges[ei + 1]; // S -> v if (a.to != c.to) { flow = a.cap - a.left; } else { if (0 < c.left) return false; flow = c.cap + a.cap - c.left - a.left; } if (0 < flow) result_edge[make_pair(u, a.to)] += flow; } } return true; } public: void connect(int from, int to, int w_min, int w_max) { if (w_max == w_min) { graph.connect(v_source, to, w_min); graph.connect(from, v_source + 1, w_min); } else if (w_min == 0) { graph.connect(from, to, w_max - w_min); } else { graph.connect(from, v_source + 1, w_min); graph.connect(from, to, w_max - w_min); graph.connect(v_source, to, w_min); } } inline bool solve_dinic_edge(map, int>& result_edge, int i_source, int i_sink) { return _solve_dinic_edge(result_edge, i_source, i_sink); } }; // https://yukicoder.me/submissions/172443 int width, height; int m, n; int field[10010]; int commands[30010]; int main() { int i, j, k; int x, y, a, b; cin >> height >> width >> n; cin.ignore(); int nblocks = 0; // X座標にブロックがいくつ積まれているか、を記録する。 // stringを保持する必要はない。 for (y = 0; y < height; y++) { string s; cin >> s; for (x = 0; x < width; x++) { field[x] += s[x] == '#'; } } for (x = 0; x < width; x++) { nblocks += field[x]; } for (i = 0; i < n; i++) { scanf("%d", commands + i); } // A _ B _ C // | | ----> | | ----> [sink] // [source] -> | | | | // | | | | // |_pack |_field // // A : [1,9] (packは[1,9]個のブロックを持つ) // B : [0,3] (packは3x3の容量を持つ) // C : [#,#] (x列には#個のブロックが積み上がっている) FlowMinMax flow(1 + n + width + 1); const int i_source = 0; const int i_sink = 1; for (i = 0; i < n; i++) { // A edge flow.connect(i_source, 2 + i, 1, 9); int left = commands[i]; for (j = 0; j < 3; j++) { // B edge flow.connect(2 + i, 2 + n + left + j, 0, 3); } } for (x = 0; x < width; x++) { // C edge flow.connect(2 + n + x, i_sink, field[x], field[x]); } //for (Flow::Arrow& ar : flow.flow.arrow){ // if (ar.w_max == 0) continue; // printf("%d -> %d\n",ar.from,ar.to); //} map, int> fl; if (!flow.solve_dinic_edge(fl, i_source, i_sink)) { abort(); cout << "warn" << endl; } //debugv(nagare); int hako[3]; for (i = 0; i < n; ++i) { for (j = 0; j < 3; ++j) { hako[j] = fl[make_pair(2 + i, 2 + n + commands[i] + j)]; } for (y = 3; 0 < y; --y) { for (x = 0; x < 3; ++x) { if (y <= hako[x]) { putchar_unlocked('#'); } else { putchar_unlocked('.'); } } putchar_unlocked('\n'); } } return 0; }