#1199239 (C++23) No.3803 Crossword Key Checker

• 問題: No.3803 Crossword Key Checker
• ユーザー: kaede2020
• 提出日時: 2026-11-14 16:31:13
• 言語: C++23 (gcc 15.3.0 + boost 1.92.0 + ACL)
• 結果: WA
• 実行時間: -
• コード長: 4,521 bytes
• コンパイル時間: 4,150 ms
• コンパイル使用メモリ: 361,140 KB
• 実行使用メモリ: 9,920 KB
• 最終ジャッジ日時: 2026-11-14 16:31:20
• 合計ジャッジ時間: 7,296 ms
• ジャッジサーバーID （参考情報）: judge2_0 / judge4_0

ファイルパターン	結果
sample	AC * 3 WA * 1
other	AC * 22 WA * 25

ソースコード

#include <iostream>      // cout, endl, cin
#include <string>        // string, to_string, stoi
#include <vector>        // vector
#include <algorithm>     // min, mai, swap, sort, reverse, lower_bound, upper_bound
#include <utility>       // pair, make_pair
#include <tuple>         // tuple, make_tuple
#include <cstdint>       // int64_t, int*_t
#include <cstdio>        // printf
#include <map>           // map
#include <queue>         // queue, priority_queue
#include <set>           // set
#include <stack>         // stack
#include <deque>         // deque
#include <unordered_map> // unordered_map
#include <unordered_set> // unordered_set
#include <bitset>        // bitset
#include <cctype>        // isupper, islower, isdigit, toupper, tolower
#include <iomanip>       // fiied,setprecision
#include <limits.h>      // INT_MAi
#include <math.h>        // M_PI
#include <random>        // random_device, mt19937, uniform_int_distribution
#include <regex>         // 正規表現
#include <time.h>        // time
#include <fstream>       // ifstream, ofstream
#include <array>         // array
#include <bit>           // bit
#include <chrono>        // chrono
#include <span>          // span
#include <cmath>         // sqrt, sin, cos, tan, asin, acos, atan, atan2
#include <complex>       // 複素数
// #include <bits/stdc++.h>
using namespace std;

#include <atcoder/all>
using namespace atcoder;
//using mint = modint1000000007;
//using mint = modint998244353;

using ll = long long;
using ull = unsigned long long;
using ld = long double; // 80bit 18桁

#define rep(i, n) for (ll i = 0; i < (ll)(n); i++)
const int dx[4] = {-1, 0, 1, 0};
const int dy[4] = {0, 1, 0, -1};
const string DIR = "URDL";
const int dx8[8] = {0, 1, 1, 1, 0, -1, -1, -1};
const int dy8[8] = {1, 1, 0, -1, -1, -1, 0, 1};

// INFに3以上を掛ける、またはint(INF)に1以上を足すとオーバーフローする
// 4611686016279904255 cf: LLONG_MAi=9223372036854775807
const ll INF = (1ll << 62) - (1ll << 31) - 1ll;
using P=pair<ll,ll>;
//-----------------------------------------------------

int main(){
    int h,w;
    cin>>h>>w;
    vector<string>s(h);
    rep(i,h)cin>>s[i];
    vector<pair<int,int>>ans;
    rep(i,h)rep(j,w){
        if(j==0&&s[i][j]=='.'&&j+1<w&&s[i][j+1]=='.'){
            ans.push_back({i,j});
        }
        else if(j>=1&&s[i][j]=='.'&&s[i][j-1]=='#'&&j+1<w&&s[i][j+1]=='.'){
            ans.push_back({i,j});
        }
        else if(i==0&&s[i][j]=='.'&&i+1<h&&s[i+1][j]=='.'){
            ans.push_back({i,j});
        }
        else if(i>=1&&s[i][j]=='.'&&s[i-1][j]=='#'&&i+1<h&&s[i+1][j]=='.'){
            ans.push_back({i,j});
        }
    }

    int n;
    cin>>n;
    vector<vector<string>>word(n,vector<string>(2));
    rep(i,n){
        rep(j,2){
            cin>>word[i][j];
            cerr<<word[i][j]<<" ";
        }
        cerr<<endl;
    }
    cerr<<ans.size()<<endl;
    vector<string>masu(h);
    rep(i,h)masu[i]=s[i];
    rep(i,ans.size()){
        int x = ans[i].first;
        int y = ans[i].second;
        cerr<<"x="<<x<<" y="<<y<<endl;
        if(word[i][0]!="-"){
            rep(j,word[i][0].size()){
                cerr<<"j="<<j<<" char="<<word[i][0][j]<<" "<<masu[x][y+j]<<endl;
                if(masu[x][y+j]=='.'){
                    masu[x][y+j] = word[i][0][j];
                }else{
                    cout<<"No"<<endl;
                    cerr<<"yoko Conflict at x="<<x<<" y="<<y+j<<endl;
                    return 0;
                }
            }
            if(y+word[i][0].size()+1<w&&s[x][y+word[i][0].size()+1]=='.'&&masu[x][y+word[i][0].size()+1]=='.'){
                cout<<"No"<<endl;
                return 0;
            }
        }
        if(word[i][1]!="-"){
            rep(j,word[i][1].size()){
                if(masu[x+j][y]=='.'||masu[x+j][y]==word[i][1][j]){
                    masu[x+j][y] = word[i][1][j];
                }else{
                    cout<<"No"<<endl;
                    cerr<<"tateConflict at x="<<x+j<<" y="<<y<<endl;
                    return 0;
                }
            }
            if(x+word[i][1].size()+1<h&&s[x+word[i][1].size()+1][y]=='.'&&masu[x+word[i][1].size()+1][y]=='.'){
                cout<<"No"<<endl;
                return 0;
            }
        }
    }
    rep(i,h)rep(j,w){
        cerr<<"i="<<i<<" j="<<j<<" char="<<masu[i][j]<<endl;
        if(masu[i][j]=='.'){
            cout<<"No"<<endl;
            return 0;
        }
    }
    cout<<"Yes"<<endl;
    return 0;
}