// URL : https://yukicoder.me/problems/no/13 #pragma region optimize // #pragma GCC optimize("Ofast") // #pragma GCC optimize("unroll-loops") // #pragma GCC target("sse,sse2,sse3,ssse3,sse4,popcnt,abm,mmx,avx") #pragma endregion #include using namespace std; #pragma region boost multiprecision // #include // #include // using Bint = boost::multiprecision::cpp_int; // using Bfloat32 = boost::multiprecision::number>; // using Bfloat1024 = boost::multiprecision::number>; #pragma endregion // #define int long long // #define endl '\n' #pragma region TEMPLATE // clang-format off /* TYPE */ typedef long long ll; typedef long double ld; typedef pair pii; typedef pair pll; typedef vector vpii; typedef vector vpll; typedef vector vi; typedef vector vl; typedef vector vst; typedef vector vb; typedef vector vld; typedef vector> vvi; template> using prique = priority_queue, Cmp>; template using prique_r = prique>; /* CONSTANT */ #define ln '\n' const int INF = 1 << 30; const ll INFF = 1LL << 60; const string ALPHABET = "ABCDEFGHIJKLMNOPQRSTUVWXYZ"; const int MOD = 1e9 + 7; const int MODD = 998244353; const string alphabet = "abcdefghijklmnopqrstuvwxyz"; const double EPS = 1e-9; const ld PI = 3.14159265358979323846264338327950288; const int dx[] = { 1, 0, -1, 0, 1, -1, -1, 1, 0 }; const int dy[] = { 0, 1, 0, -1, -1, -1, 1, 1, 0 }; /* CONTAINER */ #define PB emplace_back #define ALL(v) (v).begin(), (v).end() #define RALL(v) (v).rbegin(), (v).rend() #define SORT(v) sort(ALL(v)) #define RSORT(v) sort(RALL(v)) #define LESS(x, val) (lower_bound(x.begin(), x.end(), val) - x.begin()) #define LEQ(x, val) (upper_bound(x.begin(), x.end(), val) - x.begin()) #define GREATER(x, val) (int)(x).size() - LEQ((x), (val)) #define GEQ(x, val) (int)(x).size() - LESS((x), (val)) #define UNIQUE(v) sort(ALL(v)); (v).erase(unique(ALL(v)), (v).end()) template vector make_v(size_t a) { return vector(a); } template auto make_v(size_t a, Ts... ts) { return vector(ts...))>(a, make_v(ts...)); } template enable_if_t::value != 0> fill_v(U &u, const V... v) { u = U(v...); } template enable_if_t::value == 0> fill_v(U &u, const V... v) { for (auto &e : u) fill_v(e, v...); } /* LOOP */ #define _overload3(_1, _2, _3, name, ...) name #define _REP(i, n) REPI(i, 0, n) #define REPI(i, a, b) for (ll i = (ll)a; i < (ll)b; ++i) #define REP(...) _overload3(__VA_ARGS__, REPI, _REP,)(__VA_ARGS__) #define _RREP(i, n) RREPI(i, n, 0) #define RREPI(i, a, b) for (ll i = (ll)a; i >= (ll)b; --i) #define RREP(...) _overload3(__VA_ARGS__, RREPI, _RREP,)(__VA_ARGS__) #define EACH(e, v) for (auto& e : v) #define PERM(v) sort(ALL(v)); for (bool c##p = true; c##p; c##p = next_permutation(ALL(v))) /* INPUT */ template void SSS(T& t) { cin >> t; } template void SSS(Head&& head, Tail&&... tail) { cin >> head; SSS(tail...); } #define SS(T, ...) T __VA_ARGS__; SSS(__VA_ARGS__); #define SV(T, v, n) vector v(n); for (auto& i : v) cin >> i; #define SVV(T, v, n, m) vector> v(n, vector(m)); for (auto& r : v) for (auto& i : r) cin >> i; /* OUTPUT */ // Yes / No inline int YES(bool x) { cout << (x ? "YES" : "NO") << endl; return 0; } inline int Yes(bool x) { cout << (x ? "Yes" : "No") << endl; return 0; } inline int yes(bool x) { cout << (x ? "yes" : "no") << endl; return 0; } inline int yES(bool x) { cout << (x ? "yES" : "nO") << endl; return 0; } inline int Yay(bool x) { cout << (x ? "Yay!" : ":(") << endl; return 0; } // PROTOTYPE DECLARATION template ostream &operator<<(ostream &os, const pair &j); template ostream &operator<<(ostream &os, const tuple &t); template::value, decltype(declval().begin(), nullptr)> = nullptr> ostream& operator<<(ostream &os, const C &c); template ostream &operator<<(ostream &os, const stack &j); template ostream &operator<<(ostream &os, const queue &j); template ostream &operator<<(ostream &os, const priority_queue &j); // IMPLEMENTATION template ostream &operator<<(ostream &os, const pair &j) { return os << '{' << j.first << ", " << j.second << '}'; } template enable_if_t PRINT_TUPLE(ostream &os, const tuple &t) {} template enable_if_t PRINT_TUPLE(ostream &os, const tuple &t) { os << get(t); if (num + 1 < sizeof...(T)) os << ", "; PRINT_TUPLE(os, t); } template ostream &operator<<(ostream &os, const tuple &t) { PRINT_TUPLE(os << '{', t); return os << '}'; } template::value, decltype(declval().begin(), nullptr)>> ostream& operator<<(ostream &os, const C &c) { os << '{'; for (auto it = begin(c); it != end(c); it++) { if (begin(c) != it) os << ", "; os << *it; } return os << '}'; } template ostream &operator<<(ostream &os, const stack &j) { deque d; for (auto c = j; !c.empty(); c.pop()) d.push_front(c.top()); return os << d; } template ostream &operator<<(ostream &os, const queue &j) { deque d; for (auto c = j; !c.empty(); c.pop()) d.push_back(c.front()); return os << d; } template ostream &operator<<(ostream &os, const priority_queue &j) { deque d; for (auto c = j; !c.empty(); c.pop()) d.push_front(c.top()); return os << d; } // OUTPUT FUNCTION template int PV(T &v) { int sz = v.size(); for (int i = 0; i < sz; ++i) cout << v[i] << " \n"[i == sz - 1]; return 0; } inline int print() { cout << endl; return 0; } template int print(Head&& head){ cout << head; return print(); } template int print(Head&& head, Tail&&... tail) { cout << head << " "; return print(forward(tail)...); } #ifdef LOCAL inline void dump() { cerr << endl; } template void dump(Head&& head) { cerr << head; dump(); } template void dump(Head&& head, Tail&&... tail) { cerr << head << ", "; dump(forward(tail)...); } #define debug(...) do {cerr << __LINE__ << ":\t" << #__VA_ARGS__ << " = "; dump(__VA_ARGS__); } while (false) #else #define dump(...) #define debug(...) #endif /* OTHER */ #define fi first #define se second #define MP make_pair #define MT make_tuple template inline bool between(T x, A a, B b) { return ((a <= x) && (x < b)); } template inline bool chmax(A &a, const B &b) { if (a < b) { a = b; return true; } return false; } template inline bool chmin(A &a, const B &b) { if (a > b) { a = b; return true; } return false; } inline ll gcd(ll a, ll b) { return b ? gcd(b, a % b) : a; } inline ll lcm(ll a, ll b) { return a / gcd(a, b) * b; } inline ll POW(ll a, ll b) { ll r = 1; do { if (b & 1) r *= a; a *= a; } while (b >>= 1); return r; } struct abracadabra { abracadabra() { cin.tie(nullptr); ios::sync_with_stdio(false); cout << fixed << setprecision(20); cerr << fixed << setprecision(5); }; } ABRACADABRA; // clang-format on #pragma endregion #pragma region graph template /** * @brief グラフテンプレート * @docs docs/graph/template.md */ template struct Edge { int frm, to, idx; T cst; Edge() {} Edge(int f, int t, T c, int i = -1) : frm(f), to(t), idx(i), cst(c) {} operator int() const { return to; } }; template constexpr T GINF = numeric_limits::max() / 10; template struct Graph { int V, E; vector>> mat; vector> wf; Graph() {} Graph(int v) : V(v), E(0), mat(v) {} inline void add_edge(int a, int b, T c = 1, int margin = 0) { a -= margin, b -= margin; mat[a].emplace_back(a, b, c, E++); mat[b].emplace_back(b, a, c, E++); } inline void add_arc(int a, int b, T c = 1, int margin = 0) { a -= margin, b -= margin; mat[a].emplace_back(a, b, c, E++); } inline void input_edges(int M, int margin = 0, bool need_cost = false) { for (int i = 0; i < M; ++i) { int a, b; T c(1); cin >> a >> b; if (need_cost) cin >> c; add_edge(a, b, c, margin); } } inline void input_arcs(int M, int margin = 0, bool need_cost = false) { for (int i = 0; i < M; ++i) { int a, b; T c(1); cin >> a >> b; if (need_cost) cin >> c; add_arc(a, b, c, margin); } } }; #pragma endregion #pragma region graph gridgraph /** * @brief グリッドグラフ * @docs docs/graph/gridgraph.md */ template struct GridGraph : Graph { using Graph::V; using Graph::E; using Graph::mat; const int Gdx[9] = { 1, 0, -1, 0, 1, -1, -1, 1, 0 }; const int Gdy[9] = { 0, 1, 0, -1, -1, -1, 1, 1, 0 }; int H, W; GridGraph() {} GridGraph(int h, int w) : H(h), W(w) { V = h * w; E = 0; mat.resize(V); } inline bool inside(const int h, const int w) const { return h >= 0 and w >= 0 and h < H and w < W; } inline int hash(const int h, const int w, const int margin = 0) const { return (h - margin) * W + (w - margin); } inline void add_edge(int ax, int ay, int bx, int by, T c = 1, int margin = 0) { ax -= margin, ay -= margin, bx -= margin, by -= margin; int a = hash(ax, ay), b = hash(bx, by); mat[a].emplace_back(a, b, c, E++); mat[b].emplace_back(b, a, c, E++); } inline void add_edge(pair ap, pair bp, T c = 1, int margin = 0) { int ax, ay, bx, by; tie(ax, ay) = ap; tie(bx, by) = bp; ax -= margin, ay -= margin, bx -= margin, by -= margin; int a = hash(ax, ay), b = hash(bx, by); mat[a].emplace_back(a, b, c, E++); mat[b].emplace_back(b, a, c, E++); } inline void add_arc(int ax, int ay, int bx, int by, T c = 1, int margin = 0) { ax -= margin, ay -= margin, bx -= margin, by -= margin; int a = hash(ax, ay), b = hash(bx, by); mat[a].emplace_back(a, b, c, E++); } inline void add_arc(pair ap, pair bp, T c = 1, int margin = 0) { int ax, ay, bx, by; tie(ax, ay) = ap; tie(bx, by) = bp; ax -= margin, ay -= margin, bx -= margin, by -= margin; int a = hash(ax, ay), b = hash(bx, by); mat[a].emplace_back(a, b, c, E++); } inline void input_edges(int M, int margin = 0, bool need_cost = false) { for (int i = 0; i < M; ++i) { int ax, ay, bx, by; T c(1); cin >> ax >> ay >> bx >> by; if (need_cost) cin >> c; add_edge(ax, ay, bx, by, c, margin); } } inline void input_arcs(int M, int margin = 0, bool need_cost = false) { for (int i = 0; i < M; ++i) { int ax, ay, bx, by; T c(1); cin >> ax >> ay >> bx >> by; if (need_cost) cin >> c; add_arc(ax, ay, bx, by, c, margin); } } template inline void load_board(const B &board, const C ng, const T cost = 1, const int neighbor = 4) { assert(board.size() == H); if (H > 0) assert(board[0].size() == W); assert(neighbor >= 1 and neighbor <= 9); for (int h = 0; h < H; ++h) { for (int w = 0; w < W; ++w) { if (board[h][w] == ng) continue; for (int i = 0; i < neighbor; ++i) { int nh = h + Gdx[i]; int nw = w + Gdy[i]; if (not inside(nh, nw)) continue; if (board[nh][nw] == ng) continue; add_arc(h, w, nh, nw, cost); } } } } }; #pragma endregion #pragma region graph cycle detection /** * @brief 閉路検出 * @docs docs/graph/other/cycle_detection.md */ template vector cycle_detection(const Graph &g, bool directed = false) { vector cycle, color(g.V, 0); auto dfs = [&](auto &&f, int cur, int prv, int &frm) -> bool { color[cur] = 1; for (auto &nxt : g.mat[cur]) { if (not directed and nxt == prv) continue; if (color[nxt] == 0) { if (f(f, nxt, cur, frm)) { cycle.emplace_back(cur); return frm != cur; } else if (not cycle.empty()) return false; } else if (color[nxt] == 1) { cycle.emplace_back(cur); frm = nxt; return true; } } color[cur] = 2; return false; }; int frm = -1; for (int i = 0; i < g.V; ++i) { if (color[i] == 0) { dfs(dfs, i, -1, frm); if (not cycle.empty()) { reverse(cycle.begin(), cycle.end()); break; } } } return cycle; } #pragma endregion int solve(); signed main() { // int _T; cin >> _T; for (int t = 1; t <= _T; ++t) solve(); } int solve() { int W, H; cin >> W >> H; vector> A(H, vector(W, 0)); for (auto &v : A) for (auto &e : v) cin >> e; GridGraph g(H, W); for (int i = 0; i < H; ++i) { for (int j = 0; j < W; ++j) { for (int k = 0; k < 4; ++k) { int ni = i + dx[k]; int nj = j + dy[k]; if (not g.inside(ni, nj)) continue; if (A[i][j] != A[ni][nj]) continue; g.add_arc(i, j, ni, nj); } } } // TODO: サイズ2の閉路が検出されてしまう... auto cyc = cycle_detection(g, false); if (cyc.empty()) { cout << "impossible" << endl; } else { cout << "possible" << endl; } return 0; }