結果

問題 No.460 裏表ちわーわ
ユーザー しらっ亭しらっ亭
提出日時 2016-12-11 00:54:23
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
RE  
実行時間 -
コード長 3,036 bytes
コンパイル時間 1,866 ms
コンパイル使用メモリ 173,916 KB
実行使用メモリ 10,320 KB
最終ジャッジ日時 2023-08-19 10:55:03
合計ジャッジ時間 6,154 ms
ジャッジサーバーID
（参考情報） 		judge13 / judge14
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 12 ms
4,380 KB
testcase_01 AC 2 ms
4,380 KB
testcase_02 AC 18 ms
4,380 KB
testcase_03 RE -
testcase_04 RE -
testcase_05 TLE -
testcase_06 -- -
testcase_07 -- -
testcase_08 -- -
testcase_09 -- -
testcase_10 -- -
testcase_11 -- -
testcase_12 -- -
testcase_13 -- -
testcase_14 -- -
testcase_15 -- -
testcase_16 -- -
testcase_17 -- -
testcase_18 -- -
testcase_19 -- -
testcase_20 -- -
testcase_21 -- -
testcase_22 -- -
testcase_23 -- -
testcase_24 -- -
testcase_25 -- -
testcase_26 -- -
testcase_27 -- -
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
using namespace std;

#define _p(...) (void)printf(__VA_ARGS__)
#define forr(x,arr) for(auto&& x:arr)
#define _overload3(_1,_2,_3,name,...) name
#define _rep2(i,n) _rep3(i,0,n)
#define _rep3(i,a,b) for(int i=int(a);i<int(b);++i)
#define rep(...) _overload3(__VA_ARGS__,_rep3,_rep2,)(__VA_ARGS__)
#define _rrep2(i,n) _rrep3(i,0,n)
#define _rrep3(i,a,b) for(int i=int(b)-1;i>=int(a);i--)
#define rrep(...) _overload3(__VA_ARGS__,_rrep3,_rrep2,)(__VA_ARGS__)
#define all(x) (x).begin(), (x).end()
#define bit(n) (1LL<<(n))
#define sz(x) ((int)(x).size())
#define fst first
#define snd second
using ll=long long;using pii=pair<int,int>;
using vb=vector<bool>;using vs=vector<string>;
using vi=vector<int>;using vvi=vector<vi>;using vvvi=vector<vvi>;
using vl=vector<ll>;using vvl=vector<vl>;using vvvl=vector<vvl>;
using vd=vector<double>;using vvd=vector<vd>;using vvvd=vector<vvd>;
using vpii=vector<pii>;using vvpii=vector<vpii>;using vvvpii=vector<vvpii>;
template<typename T>T read(){T t;cin>>t;return t;}
template<class T,class U>ostream&operator<<(ostream&o,const pair<T,U>&p){o<<'('<<p.fst<<", "<<p.snd<<')';return o;}

template<typename T> bool inside(T y, T x, T h, T w) { return 0 <= y && y < h && 0 <= x && x < w; };
int DY[8] = {1, 0, -1, 0, 1, 1, -1, -1};
int DX[8] = {0, 1, 0, -1, 1, -1, 1, -1};

void flip(int &x) {
  if (x) x = 0;
  else x = 1;
}

int enc(vi &m) {
  int ret = 0;
  forr(x, m) {
    ret *= 2;
    ret += x;
  }
  return ret;
}

template<class T> bool amin(T &a, const T &b) { if (b < a) { a = b; return 1; } return 0; }

const int inf = 1e9;

int solve() {
  int h = read<int>();
  int w = read<int>();

  vvi M(h, vi(w));
  rep(y, h) rep(x, w) M[y][x] = read<int>();

  vvvi dp(h+1, vvi(bit(w), vi(bit(w), inf)));

  rep(i, bit(w)) {
    vi st(3);
    st[1] = enc(M[0]);
    st[2] = enc(M[1]);
    int y = 0;
    rep(x, w) if (i & bit(x)) {
      st[1] ^= bit(x);
      rep(lo, 8) {
        int dy = DY[lo];
        int dx = DX[lo];
        if (!inside(y+dy, x+dx, h, w)) continue;
        st[1+dy] ^= bit(x+dx);
      }
    }
    amin(dp[0][st[1]][st[2]], __builtin_popcount(i));
  }

  rep(dpy, h) {
    rep(bity0, bit(w)) {
      rep(bity1, bit(w)) {
        int cur = dp[dpy][bity0][bity1];
        int y = dpy+1;
        int bity2 = (y+1 >= h ? 0 : enc(M[y+1]));

        rep(i, bit(w)) {
          vi st(3);
          st[0] = bity0;
          st[1] = bity1;
          st[2] = bity2;
          rep(x, w) if (i & bit(x)) {
            st[1] ^= bit(x);
            rep(lo, 8) {
              int dy = DY[lo];
              int dx = DX[lo];
              if (!inside(y+dy, x+dx, h, w)) continue;
              st[1+dy] ^= bit(x+dx);
            }
          }
          if (st[0] != 0) continue;
          amin(dp[dpy+1][st[1]][st[2]], cur + __builtin_popcount(i));
        }
      }
    }
  }

  if (dp[h][0][0] == inf) return -1;
  return dp[h][0][0];
}

void Main() {
  cout << solve() << endl;
}
int main() { cin.tie(nullptr); ios::sync_with_stdio(false); Main(); return 0; }
0