Problem:
宇宙人のメッセージ

宇宙人 Mr.X は地球への来星記念として、地球人に向けてのメッセージを残しました。 Mr.X がメッセージを残す場所に選んだのは古代遺跡として有名な"トロンコ遺跡"でした。 ここはいろいろな大きさの碁盤のマス目に、奇抜な石像が無造作に配置されている不思議な場所でした。

Mr.X は、メッセージとして、石像が置かれていない全てのマス目を一度だけ通る、単一の閉曲線を描きました。Mr.X はとても賢く、このような閉曲線を描くことが可能な碁盤であれば必ず閉曲線を描き、メッセージを残しました。しかし、石像の配置によっては、閉曲線を描くことが不可能な碁盤もあり、その場合はメッセージを残しませんでした。 図1の碁盤に描かれている閉曲線は、全ての空いているマス目を一度だけ通っています。Mr.X はこのような閉曲線をメッセージとして残しました。

図1

Mr.X は、図2の碁盤に描かれているような閉曲線は描きませんでした。

図2

後に Mr.X のメッセージは、古代遺跡と見事に調和した宇宙人の美として、地球人に夢とロマンを与える伝説となりました。しかし、長年に渡る風化によってメッセージは消えてしまい、伝説だけが残りました。

碁盤の情報を入力とし、Mr.X がその碁盤上にメッセージを残した場合は Yes と、残さなかった場合は No と出力するプログラムを作成してください。ただし、全てのマスに石像が配置されている場合は、No と出力することとします。

Input

複数のデータセットの並びが入力として与えられます。入力の終わりはゼロふたつの行で示されます。各データセットは以下の形式で与えられます。

W H
c1,1 c1,2 ... c1,W
c2,1 c2,2 ... c2,W

:
cH,1 cH,2 ... cH,W

1 行目に碁盤の横方向に並ぶマス目の数 W, 縦方向に並ぶマス目の数 H (1 ≤ W, H ≤ 7) が与えられる。

続く H 行に碁盤の状態が与えられる。ci,j は碁盤の i 行目の左から j 番目のマス目を表す整数であり、0 のとき何も置かれていないマス目、1 のとき石像が置かれているマス目を表す。

データセットの数は 1000 を超えない。

Output

データセットごとに、Yes または No を１行に出力する。

Sample Input

5 4
0 0 0 0 0
0 1 1 0 0
0 0 1 0 1
1 0 0 0 1
5 4
0 0 0 0 0
0 1 1 0 0
0 0 0 0 1
1 0 0 0 1
0 0

Output for the Sample Input

Yes
No

Solution in C++ (judge verdict: Time Limit Exceeded)

#include<iostream>
#include<vector>
#include<algorithm>
#include<set>
#include<cassert>
using namespace std;
#define REP(i,b,n) for(int i=b;i<n;i++)
#define rep(i,n)   REP(i,0,n)
#define ALL(c)   (c).begin(),(c).end()
#define pb push_back

typedef long long ll;

bool vis[10][10];
char m[10][10];

int dx[]={0,1,0,-1};
int dy[]={1,0,-1,0};



bool isout(int nex,int ney,int r,int c){
  return  nex==-1||ney==-1||nex==c||ney==r;
}

bool isok(int y,int x,int r,int c){
  int all=0,cnt=0;
  rep(i,4){
    int nex=x+dx[i],ney=y+dy[i];
    if (isout(nex,ney,r,c))continue;
    all++;
    if (m[ney][nex] == '1')cnt++;
  }
  if (all-cnt <= 1)return false;
  return true;
}


bool vis2[10][10];
void canvisitall(int r,int c,int y,int x,
		 int &tmp){
  if (vis2[y][x])return;
  //  cout << y <<" "  << x << endl;
  vis2[y][x]=true;
  tmp--;
  rep(i,4){
    int nex=x+dx[i],ney=y+dy[i];
    if (isout(nex,ney,r,c)||
	m[ney][nex] == '1')continue;
    canvisitall(r,c,ney,nex,tmp);
  }
}


ll geta(int r,int c){
  ll ret=0;
  rep(i,r){
    rep(j,c)ret=ret*2+vis[i][j];
  }
  return ret;
}

set<pair<int,ll> > S;

bool search(int r,int c,int y,int x,int cnt,
	    int sy,int sx){
  if (cnt==0){
    return x==sx && y == sy;
  }
  if (vis[y][x])return false;

  int tmp=cnt+1;
  rep(i,r)rep(j,c)vis2[i][j]=vis[i][j];
  vis2[sy][sx]=false;
  canvisitall(r,c,y,x,tmp);
  if ((x!=sx||y!=sy) && tmp != 0){
    //    cout << "out " << y <<" " << x << endl;
    /*
    rep(i,r){
      rep(j,c)cout << vis2[i][j]<<" ";
      cout << endl;
    }
    */
    return false;
  }

  vis[y][x]=true;

  ll tmp2=geta(r,c);
  pair<int,ll> tmp3(x+y*c,tmp2);
  if (S.find(tmp3) != S.end()){
    vis[y][x]=false;
    return false;
  }
  S.insert(tmp3);



  rep(i,4){
    int nex=x+dx[i],ney=y+dy[i];
    if (isout(nex,ney,r,c)||
	m[ney][nex] == '1')continue;
    if (search(r,c,ney,nex,cnt-1,sy,sx))return true;
  }
  vis[y][x]=false;
  return false;
}

main(){
  int r,c;
  while(cin>>c>>r && r){
    S.clear();
    int sx=0,sy=0;
    int cnt=0;
    bool haveans=true;
    rep(i,r){
      rep(j,c){
	cin>>m[i][j];
	if (m[i][j] == '0')sx=j,sy=i,cnt++;
	vis[i][j]=false;
      }
    }

    rep(i,r){
      rep(j,c){
	if (m[i][j]=='0'&&!isok(i,j,r,c))haveans=false;
      }
    }

    if (r==7 && c==7 && cnt == 49)haveans=false;
    /*
    if (cnt == r*c){
      if (r*c%2 == 1)cout <<"No"<<endl;
      else cout <<"Yes" << endl;
      continue;
    }
    */

    if (haveans && search(r,c,sy,sx,cnt,sy,sx))
      cout << "Yes" << endl;
    else cout <<"No" << endl;
  }
  return false;
}