結果

問題 No.228 ゆきこちゃんの 15 パズル
コンテスト
ユーザー utouto97
提出日時 2019-08-24 18:05:50
言語 C++11
(gcc 15.2.0 + boost 1.89.0)
コンパイル:
g++-15 -O2 -lm -std=gnu++11 -Wuninitialized -DONLINE_JUDGE -o a.out _filename_
実行:
./a.out
結果
AC  
実行時間 2 ms / 5,000 ms
コード長 1,591 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 1,447 ms
コンパイル使用メモリ 176,296 KB
実行使用メモリ 6,400 KB
最終ジャッジ日時 2026-05-01 23:22:23
合計ジャッジ時間 3,276 ms
ジャッジサーバーID
（参考情報） 		judge1_1 / judge2_1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 17
権限があれば一括ダウンロードができます
コンパイルメッセージ
main.cpp: In function 'void dfs()':
main.cpp:39:3: warning: 'zero' may be used uninitialized [-Wmaybe-uninitialized]
   39 |   if(zero-4 >= 0 and !used[a[zero-4]]){
      |   ^~
main.cpp:36:7: note: 'zero' was declared here
   36 |   int zero;
      |       ^~~~

ソースコード

diff #
raw source code 

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

#define int long long
#define rep(i,l,r) for(int i=(int)(l);i<(int)(r);i++)
#define all(x) (x).begin(),(x).end()
#define sz(x) ((int)x.size())
template<class T>bool chmax(T &a,T b){if(a<b){a=b;return 1;}return 0;}
template<class T>bool chmin(T &a,T b){if(a>b){a=b;return 1;}return 0;}

typedef pair<int, int> pii;
typedef vector<int> vi;
typedef vector<vi> vvi;

const int inf = 1LL<<60;
const int mod = 1e9 + 7;
const double eps = 1e-9;

/*{
  }*/

int a[16], ans[16];
bool used[16];

bool check(int a[]){
  rep(i, 0, 16) if(a[i] != i) return false;
  return true;
}

void dfs(){
  if(check(a)){
    rep(i, 0, 16) ans[i] = a[i];
    return;
  }

  int zero;
  rep(i, 0, 16) if(a[i] == 15) zero = i;

  if(zero-4 >= 0 and !used[a[zero-4]]){
    used[a[zero-4]] = true;
    swap(a[zero], a[zero-4]);
    dfs();
    swap(a[zero], a[zero-4]);
    used[a[zero-4]] = false;
  }
  if(zero+4 < 16 and !used[a[zero+4]]){
    used[a[zero+4]] = true;
    swap(a[zero], a[zero+4]);
    dfs();
    swap(a[zero], a[zero+4]);
    used[a[zero+4]] = false;
  }
  if(zero%4 >= 1 and !used[a[zero-1]]){
    used[a[zero-1]] = true;
    swap(a[zero], a[zero-1]);
    dfs();
    swap(a[zero], a[zero-1]);
    used[a[zero-1]] = false;
  }
  if(zero%4 < 3 and !used[a[zero+1]]){
    used[a[zero+1]] = true;
    swap(a[zero], a[zero+1]);
    dfs();
    swap(a[zero], a[zero+1]);
    used[a[zero+1]] = false;
  }
}

signed main(){
  rep(i, 0, 16){
    cin >> a[i];
    a[i] = (a[i] + 15) %16;
  }

  dfs();
  cout << (check(ans) ? "Yes" : "No") << endl;

  return 0;
}
0