#include #include using namespace std; using namespace atcoder; istream &operator>>(istream &is, modint &a) { long long v; is >> v; a = v; return is; } ostream &operator<<(ostream &os, const modint &a) { return os << a.val(); } istream &operator>>(istream &is, modint998244353 &a) { long long v; is >> v; a = v; return is; } ostream &operator<<(ostream &os, const modint998244353 &a) { return os << a.val(); } istream &operator>>(istream &is, modint1000000007 &a) { long long v; is >> v; a = v; return is; } ostream &operator<<(ostream &os, const modint1000000007 &a) { return os << a.val(); } typedef long long ll; typedef vector> Graph; typedef pair pii; typedef pair pll; #define FOR(i,l,r) for (int i = l;i < (int)(r); i++) #define rep(i,n) for (int i = 0;i < (int)(n); i++) #define all(x) x.begin(), x.end() #define rall(x) x.rbegin(), x.rend() #define my_sort(x) sort(x.begin(), x.end()) #define my_max(x) *max_element(all(x)) #define my_min(x) *min_element(all(x)) template inline bool chmax(T& a, T b) { if (a < b) { a = b; return 1; } return 0; } template inline bool chmin(T& a, T b) { if (a > b) { a = b; return 1; } return 0; } const int INF = (1<<30) - 1; const ll LINF = (1LL<<62) - 1; const int MOD = 998244353; const int MOD2 = 1e9+7; const double PI = acos(-1); vector di = {1,0,-1,0}; vector dj = {0,1,0,-1}; #ifdef LOCAL # include # define debug(...) debug_print::multi_print(#__VA_ARGS__, __VA_ARGS__) #else # define debug(...) (static_cast(0)) #endif struct cumulative_sum_2d{ int H,W; vector> val; vector> wa; cumulative_sum_2d(int H_input, int W_input){init(H_input,W_input);} void init(int H_input, int W_input){ H = H_input; W = W_input; val.assign(H,vector(W,0ll)); wa.assign(H+1,vector(W+1,0ll)); } void set(int i, int j, ll value){ val[i][j] = value; } void add(int i, int j, ll value){ val[i][j] += value; } void build(){ for(int i=0;i> H >> W; vector S(H); rep(i,H) cin >> S[i]; vector A(2 * H, vector(2 * W)); auto id = [&](int i, int j){ return make_pair(i + j, i - j + W); }; rep(i,H)rep(j,W){ auto [ni, nj] = id(i, j); if(S[i][j]=='#'){ A[ni][nj] = 1; } } debug(A); vector even(H, vector(W)); vector odd(H, vector(W)); rep(i,H)rep(j,W) { even[i][j] = A[2 * i][2 * j + 1]; odd[i][j] = A[2 * i + 1][2 * j]; } debug(even, odd); cumulative_sum_2d e_acc(H, W); cumulative_sum_2d o_acc(H, W); rep(i,H)rep(j,W){ e_acc.add(i,j,even[i][j]); o_acc.add(i,j,odd[i][j]); } e_acc.build(); o_acc.build(); vector e_imos(H + 1, vector(W + 1)); vector o_imos(H + 1, vector(W + 1)); rep(i,H)rep(j,W){ if(even[i][j]){ int ok = 0, ng = 1 << 30; while(abs(ok - ng) > 1){ int mid = (ok + ng) / 2; bool is_ok = true; rep(d,4){ int ni = i + di[d] * mid; int nj = j + dj[d] * mid; if(ni < 0 || ni >= H || nj < 0 || nj >= W){ is_ok = false; continue; } is_ok &= e_acc.query(min(i,ni),min(j,nj),max(i,ni) + 1,max(j,nj) + 1) == mid + 1; } if(is_ok) ok = mid; else ng = mid; } if(ok == 0)continue; debug(ok, i, j); e_imos[i - ok][j]++; e_imos[i - ok][j + 1]--; e_imos[i + ok + 1][j]--; e_imos[i + ok + 1][j + 1]++; e_imos[i][j - ok]++; e_imos[i + 1][j - ok]--; e_imos[i][j + ok + 1]--; e_imos[i + 1][j + ok + 1]++; } if(odd[i][j]){ int ok = 0, ng = 1 << 30; while(abs(ok - ng) > 1){ int mid = (ok + ng) / 2; bool is_ok = true; rep(d,4){ int ni = i + di[d] * mid; int nj = j + dj[d] * mid; if(ni < 0 || ni >= H || nj < 0 || nj >= W){ is_ok = false; continue; } is_ok &= o_acc.query(min(i,ni),min(j,nj),max(i,ni) + 1,max(j,nj) + 1) == mid + 1; } if(is_ok) ok = mid; else ng = mid; } if(ok == 0)continue; debug(ok, i, j); o_imos[i - ok][j]++; o_imos[i - ok][j + 1]--; o_imos[i + ok + 1][j]--; o_imos[i + ok + 1][j + 1]++; o_imos[i][j - ok]++; o_imos[i + 1][j - ok]--; o_imos[i][j + ok + 1]--; o_imos[i + 1][j + ok + 1]++; } } rep(i,H)rep(j,W){ e_imos[i + 1][j] += e_imos[i][j]; o_imos[i + 1][j] += o_imos[i][j]; } rep(i,H)rep(j,W){ e_imos[i][j + 1] += e_imos[i][j]; o_imos[i][j + 1] += o_imos[i][j]; } debug(e_imos, o_imos); bool f = true; rep(i,H)rep(j,W){ if(even[i][j] > 0){ f &= e_imos[i][j] > 0; } if(odd[i][j] > 0){ f &= o_imos[i][j] > 0; } } cout << (f ? "Yes" : "No") << endl; }