結果

問題 No.2456 Stamp Art
ユーザー pitPpitP
提出日時 2023-09-02 14:20:27
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 4,323 ms / 5,000 ms
コード長 4,189 bytes
コンパイル時間 4,725 ms
コンパイル使用メモリ 272,724 KB
実行使用メモリ 85,760 KB
最終ジャッジ日時 2024-06-11 20:59:48
合計ジャッジ時間 53,854 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 2 ms
5,376 KB
testcase_02 AC 2 ms
5,376 KB
testcase_03 AC 2,421 ms
85,632 KB
testcase_04 AC 2 ms
5,376 KB
testcase_05 AC 3 ms
5,376 KB
testcase_06 AC 4,098 ms
85,632 KB
testcase_07 AC 2,552 ms
85,760 KB
testcase_08 AC 1,342 ms
85,760 KB
testcase_09 AC 3,070 ms
85,632 KB
testcase_10 AC 3,960 ms
85,504 KB
testcase_11 AC 2,940 ms
85,632 KB
testcase_12 AC 2,065 ms
85,760 KB
testcase_13 AC 4,323 ms
85,760 KB
testcase_14 AC 3,687 ms
85,504 KB
testcase_15 AC 2,173 ms
85,760 KB
testcase_16 AC 1,634 ms
46,480 KB
testcase_17 AC 3 ms
5,376 KB
testcase_18 AC 3 ms
5,376 KB
testcase_19 AC 1,520 ms
58,112 KB
testcase_20 AC 3,544 ms
85,504 KB
testcase_21 AC 3,217 ms
78,208 KB
testcase_22 AC 3,722 ms
85,632 KB
testcase_23 AC 92 ms
11,360 KB
testcase_24 AC 262 ms
11,296 KB
testcase_25 AC 2 ms
5,376 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
#include <atcoder/all>
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<vector<int>> Graph;
typedef pair<int, int> pii;
typedef pair<ll, ll> pll;
#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<class T> inline bool chmax(T& a, T b) { if (a < b) { a = b; return 1; } return 0; }
template<class T> 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<int> di = {1,0,-1,0};
vector<int> dj = {0,1,0,-1};

#ifdef LOCAL
#  include <debug_print.hpp>
#  define debug(...) debug_print::multi_print(#__VA_ARGS__, __VA_ARGS__)
#else
#  define debug(...) (static_cast<void>(0))
#endif

struct cumulative_sum_2d{
    int H,W;
    vector<vector<ll>> val;
    vector<vector<ll>> 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<ll>(W,0ll));
        wa.assign(H+1,vector<ll>(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;i++){
            for(int j=0;j<W;j++){
                wa[i+1][j+1] = wa[i][j+1] + wa[i+1][j] - wa[i][j] + val[i][j];
            }
        }
    }
    // [i1, i2) x [j1, j2)
    ll query(int i1,int j1, int i2, int j2){
        return wa[i2][j2] - wa[i2][j1] - wa[i1][j2] + wa[i1][j1];
    }
};

template<typename T>
struct BIT2D{
    int H, W;
    vector<vector<T>> bit;
    BIT2D(int _H, int _W) : H(_H), W(_W){
        bit.resize(H, vector<T>(W, 0));
    }
    //
    void add(int i, int j, T v){
        assert(0 <= i && i < H && 0 <= j && j < W);
        int a = i + 1;
        while(a <= H){
            int b = j + 1;
            while(b <= W){
                bit[a - 1][b - 1] += v;
                b += b & -b;
            }
            a += a & -a;
        }
    }
    //
    T _sum(int i, int j){
        T s = 0;
        int a = i;
        while(a > 0){
            int b = j;
            while(b > 0){
                s += bit[a - 1][b - 1];
                b -= b & -b;
            }
            a -= a & -a;
        }
        return s;
    }
    //[i1, i2) x [j1, j2)
    T sum(int i1, int j1, int i2, int j2){
        return _sum(i2, j2) - _sum(i2, j1) - _sum(i1, j2) + _sum(i1, j1);
    }
};

int H,W;
char S[2020][2020];
int wa[2020][2020];

bool is_ok(int k){
    cumulative_sum_2d acc(H, W);
    rep(i,H)rep(j,W)if(S[i][j]=='#')acc.add(i,j,1);
    acc.build();
    debug(acc.wa);
    BIT2D<int> BIT(H, W);
    rep(i,H-k+1)rep(j,W-k+1){
        debug(i,j,acc.query(i,j,i+k,j+k));
        if(acc.query(i,j,i+k,j+k) == (k * k)) BIT.add(i,j,1);
    }
    rep(i,H)rep(j,W){
        int wa = BIT.sum(max(i - k + 1, 0), max(j - k + 1, 0), i + 1, j + 1);
        if (S[i][j]=='.'){
            if (wa > 0) return false;
        }
        else{
            if (wa == 0) return false;
        }
    }
    return true;
}

int main(){
    cin.tie(0);
    ios_base::sync_with_stdio(false);
    cin >> H >> W;
    rep(i,H)rep(j,W) cin >> S[i][j];
    int ok = 0, ng = H + 1;
    while(abs(ok - ng) > 1){
        int k = (ok + ng) / 2;
        if (is_ok(k)) ok = k;
        else ng = k;
    }
    cout << ok << endl;
}
0