/// <summary>
/// AI 走决定点下当前点之后的影响
/// </summary>
/// <param name="u"></param>
public void AI_think(point u)
{
if (u.x == -1)
{
return;
}
if (gameStat == 1)
{
return;
}
Pane now = (Pane)this.Controls[Map[u.x, u.y]];
Queue <Pane> q = new Queue <Pane>();
q.Clear();
if (now._Has_mine)
{
//this._ShowAll();
gameStat = 1;
Form1._instance.led2.timer.Close();
Form1._instance.led2.t.Abort();
now._Open();
switch (Form1.status)
{
case 20:
MessageBox.Show("You win, AI hit a bomb just now.");
Form1.status = 22;
break;
case 21:
MessageBox.Show("Draw.");
Form1.status = 23;
break;
case 22:
MessageBox.Show("You win.");
break;
}
//MessageBox.Show("Lose");
return;
}
q.Enqueue(now);
vis[now._x, now._y] = 1;
int flag = 1;
for (int i = 0; i < this.row; i++)
{
for (int j = 0; j < this.col; j++)
{
if (vis[i, j] == 0)
{
flag = 0;
}
}
}
if (flag == 1)
{
gameStat = 1;
now._Open();
Form1._instance.led2.timer.Close();
Form1._instance.led2.t.Abort();
switch (Form1.status)
{
case 20:
MessageBox.Show("Defeat.");
Form1.status = 23;
break;
case 21:
MessageBox.Show("Defeat.");
Form1.status = 23;
break;
case 22:
MessageBox.Show("You win.");
break;
}
//MessageBox.Show("win");
return;
}
int cnt = 0;
while (q.Count != 0)
{
Pane fr = q.Dequeue();
if (fr._Around != 0)
{
fr._Open();
point pos = new point();
pos.set_val(fr._x, fr._y);
continue;
}
fr._Open();
for (int i = 0; i < 8; i++)
{
int xx = nx[i] + fr._x;
int yy = ny[i] + fr._y;
if (Canset(xx, yy) && vis[xx, yy] == 0)
{
Pane t = (Pane)this.Controls[Map[xx, yy]];
vis[xx, yy] = 1;
q.Enqueue(t);
}
}
}
for (int i = 0; i < this.row; i++)
{
for (int j = 0; j < this.col; j++)
{
Pane pane = (Pane)this.Controls[Map[i, j]];
if ((pane._Stat == 1) && (pane._Around != 0))
{
point pos = new point();
pos.x = i;
pos.y = j;
mp[cnt++] = pos;
}
}
}
flag = 1;
for (int i = 0; i < this.row; i++)
{
for (int j = 0; j < this.col; j++)
{
if (vis[i, j] == 0)
{
flag = 0;
}
}
}
if (flag == 1)
{
gameStat = 1;
now._Open();
Form1._instance.led2.timer.Close();
Form1._instance.led2.t.Abort();
switch (Form1.status)
{
case 20:
MessageBox.Show("Defeat.");
Form1.status = 23;
break;
case 21:
MessageBox.Show("Defeat.");
Form1.status = 23;
break;
case 22:
MessageBox.Show("You win.");
break;
}
//MessageBox.Show("win");
return;
}
_Think(cnt);
}
/// <summary>
/// AI浅层思考 不需要推理能确定是雷的点
/// </summary>
/// <param name="cnt"></param>
public void _Think(int cnt)
{
for (int i = 0; i < cnt; i++)
{
mp[i].around = _Unopen(mp[i]);
}
for (int i = 0; i < cnt; i++)
{
for (int j = 0; j < cnt; j++)
{
Pane pane1 = (Pane)this.Controls[Map[mp[i].x, mp[i].y]];
Pane pane2 = (Pane)this.Controls[Map[mp[j].x, mp[j].y]];
int ui = mp[i].around;
int uj = mp[j].around;
if (ui == uj)
{
if (pane1._Around < pane2._Around)
{
point t = mp[i]; mp[i] = mp[j]; mp[j] = t;
}
}
if (ui < uj)
{
point t = mp[i]; mp[i] = mp[j]; mp[j] = t;
}
}
}
for (int i = 0; i < this.row; i++)
{
for (int j = 0; j < this.col; j++)
{
if (_is_mine_rate[i, j] == 0 || _is_mine_rate[i, j] == 1)
{
continue;
}
_is_mine_rate[i, j] = -1;
}
}
Queue <point> rec = new Queue <point>();
rec.Clear();
for (int i = 0; i < cnt; i++)
{
for (int j = 0; j < 8; j++)
{
int xx = nx[j] + mp[i].x;
int yy = ny[j] + mp[i].y;
point pos = new point();
pos.x = xx;
pos.y = yy;
if (Canset(xx, yy))
{
Pane pane = (Pane)this.Controls[Map[xx, yy]];
Pane pane2 = (Pane)this.Controls[Map[mp[i].x, mp[i].y]];
if (pane._Stat == 0)
{
double a = (double)((double)pane2._Around - _Possible_mine(pane2)) / ((double)_Unopen(mp[i]));
_is_mine_rate[xx, yy] = (a == 0)?0:this.max(a, (double)(_is_mine_rate[xx, yy]));
if (_is_mine_rate[xx, yy] == 1)
{
_is_mine[xx, yy] = 1;
pane._Mark();
}
else
{
if (_is_mine_rate[xx, yy] == 0 && _vis[xx, yy] == 0)
{
point tmp = new point();
tmp.x = xx;
tmp.y = yy;
rec.Enqueue(tmp);
}
}
}
if (pane._Stat == 2)
{
_is_mine_rate[pane._x, pane._y] = 1;
_is_mine[xx, yy] = 1;
}
}
}
}
for (int i = 0; i < this.row; i++)
{
for (int j = 0; j < this.col; j++)
{
if (_is_mine_rate[i, j] == 0)
{
point tmp = new point();
tmp.x = i;
tmp.y = j;
if (_vis[i, j] == 0)
{
_vis[i, j] = 1;
}
}
// Console.Write(Math.Round(_is_mine_rate[i, j], 3) + " ");
}
// Console.WriteLine();
}
//Console.WriteLine();
if (rec.Count == 0)
{
int flag = 1;
for (int i = 0; i < this.row; i++)
{
for (int j = 0; j < this.col; j++)
{
Pane pane = (Pane)this.Controls[Map[i, j]];
if (vis[i, j] == 0 && pane._Stat != 2)
{
flag = 0;
}
}
}
if (flag == 1)
{
Form1._instance.led2.timer.Close();
Form1._instance.led2.t.Abort();
switch (Form1.status)
{
case 20:
MessageBox.Show("Defeat.");
Form1.status = 23;
break;
case 21:
MessageBox.Show("Defeat.");
Form1.status = 23;
break;
case 22:
MessageBox.Show("You win.");
break;
}
//MessageBox.Show("win");
gameStat = 1;
return;
}
Console.WriteLine("Can't Solve Now!");
return;
}
while (rec.Count != 0)
{
Thread.Sleep(Delay);
point fr = rec.Dequeue();
AI_think(fr);
}
}
/// <summary>
/// AI 接口
/// </summary>
/// <param name="x">电脑一开始点击的位置的横坐标</param>
/// <param name="y">电脑一开始点击的位置的纵坐标</param>
public void AI_Mode(int x, int y)
{
AI_Init();
if (this.FirstClick == 0)
{
this.FirstClick = 1;
Pane pane = (Pane)this.Controls[Map[x, y]];
this.LayMines(pane);
for (int i = 0; i < row; i++)
{
for (int j = 0; j < col; j++)
{
Pane pane2 = (Pane)this.Controls[Map[i, j]];
pane2._Around = this._Count_Round(i, j);
}
}
}
point t = new point();
t.x = x; t.y = y;
AI_think(t);
int u;
while (gameStat != 1)
{
u = _DeepThink_Init();
int stat = AI_DeepThink(u);
Console.WriteLine("stat = " + stat);
int cnt = 0;
for (int i = 0; i < this.row; i++)
{
for (int j = 0; j < this.col; j++)
{
Pane pane = (Pane)this.Controls[Map[i, j]];
if ((pane._Stat == 1) && (pane._Around != 0))
{
point pos = new point();
pos.x = i;
pos.y = j;
mp[cnt++] = pos;
}
}
}
if (stat == 1)
{
_Think(cnt);
}
else
{
int tar = 0;
point pos = new point();
pos.x = -1;
int flg = 0;
Pane[] ran = new Pane[4];
ran[0] = (Pane)this.Controls[Map[0, 0]];
ran[1] = (Pane)this.Controls[Map[0, this.col - 1]];
ran[2] = (Pane)this.Controls[Map[this.row - 1, 0]];
ran[3] = (Pane)this.Controls[Map[this.row - 1, this.col - 1]];
for (int i = 0; i < 4; i++)
{
if (ran[i]._Stat == 0)
{
pos.x = ran[i]._x;
pos.y = ran[i]._y;
flg = 1;
break;
}
}
if (flg == 0)
{
for (int i = 0; i < cnt; i++)
{
for (int k = 0; k < 8; k++)
{
int xx = nx[k] + mp[i].x;
int yy = ny[k] + mp[i].y;
if (Canset(xx, yy))
{
Pane pane = (Pane)this.Controls[Map[xx, yy]];
if (pane._Stat == 0)
{
pos.x = xx;
pos.y = yy;
tar = 1;
break;
}
}
}
if (tar == 1)
{
break;
}
}
}
if (pos.x == -1)
{
for (int i = 0; i < this.row; i++)
{
for (int j = 0; j < this.col; j++)
{
Pane pane = (Pane)this.Controls[Map[i, j]];
if (pane._Stat == 0)
{
pos.x = i;
pos.y = j;
}
}
}
}
AI_think(pos);
}
}
}
public void _Displayround(Pane now)
{
if (gameStat == 1)
{
return;
}
Queue <Pane> q = new Queue <Pane>();
q.Clear();
if (now._Has_mine)
{
Form1._instance.led2.timer.Close();
Form1._instance.led2.t.Abort();
Form1._instance.mineFild1.Enabled = false;
this._ShowAll();
if (Form1.status == 30)
{
Form1.duration = System.Environment.TickCount - Form1.beginTime;
Form1.status = 31;
return;
}
if (Form1.status == 20)
{
Form1.status = 21;
MessageBox.Show("Defeat. You hit a bomb just now.");
t.Abort();
return;
}
MessageBox.Show("Lose.");
return;
}
q.Enqueue(now);
vis[now._x, now._y] = 1;
int flag = 1;
for (int i = 0; i < this.row; i++)
{
for (int j = 0; j < this.col; j++)
{
if (vis[i, j] == 0)
{
flag = 0;
}
}
}
if (flag == 1)
{
Form1._instance.led2.timer.Close();
Form1._instance.led2.t.Abort();
Form1._instance.mineFild1.Enabled = false;
now._Open();
if (Form1.status == 30)
{
Form1.duration = System.Environment.TickCount - Form1.beginTime;
Form1.status = 32;
return;
}
if (Form1.status == 20)
{
t.Abort();
}
MessageBox.Show("Win.");
return;
}
while (q.Count != 0)
{
Pane fr = q.Dequeue();
if (fr._Stat == 2)
{
continue;
}
if (this._Count_Round(fr._x, fr._y) != 0)
{
fr._Open();
continue;
}
fr._Open();
for (int i = 0; i < 8; i++)
{
int xx = nx[i] + fr._x;
int yy = ny[i] + fr._y;
if (Canset(xx, yy) && vis[xx, yy] == 0)
{
Pane t = (Pane)this.Controls[Map[xx, yy]];
vis[xx, yy] = 1;
q.Enqueue(t);
}
}
}
int unopen = 0;
for (int i = 0; i < this.row; i++)
{
for (int j = 0; j < this.col; j++)
{
Pane pane = (Pane)this.Controls[Map[i, j]];
if (pane._Stat == 0)
{
unopen++;
}
}
}
if (pnum == unopen)
{
Form1._instance.led2.timer.Close();
Form1._instance.led2.t.Abort();
Form1._instance.mineFild1.Enabled = false;
gameStat = 1;
if (Form1.status == 30)
{
Form1.duration = System.Environment.TickCount - Form1.beginTime;
Form1.status = 32;
return;
}
if (Form1.status == 20)
{
t.Abort();
}
MessageBox.Show("Win.");
}
}
private void pane_MouseUp(object sender, MouseEventArgs e)
{
Pane pane = (Pane)sender;
switch (e.Button)
{
case MouseButtons.Left:
leftDown = false;
break;
case MouseButtons.Right:
rightDown = false;
break;
}
if (bothDown && (leftDown || rightDown))
{
point p = new point();
p.x = pane._x;
p.y = pane._y;
showaround_pane(p);
AroundReset(pane._x, pane._y);
return;
}
if (bothDown && !(leftDown || rightDown))
{
bothDown = false;
return;
}
if (!pane.ClientRectangle.Contains(e.Location))
{
if (pane._Stat == 0)
{
pane.BackgroundImage = Properties.Resources.grid;
}
return;
}
if (this.FirstClick == 0)
{
marks = 0;
this.LayMines(pane);
this.FirstClick = 1;
for (int i = 0; i < row; i++)
{
for (int j = 0; j < col; j++)
{
Pane pane2 = (Pane)this.Controls[Map[i, j]];
pane2._Around = this._Count_Round(i, j);
}
}
if (Form1.mode == 2)
{
point p = new point();
p.x = Form1.col / 2;
p.y = Form1.row / 2;
t = new Thread(Form1._instance.mineFild2.AI_Start);
t.Start(p);
}
Form1._instance.led1.Set(pnum);
Form1._instance.led2.t = new Thread(Form1._instance.led2.Timekeeping);
Form1._instance.led2.t.Start();
}
if (e.Button == MouseButtons.Right)
{
if (pane._Stat == 2)
{
pane.BackgroundImage = Properties.Resources.grid;
pane._Stat = 0;
marks--;
Form1._instance.led1.Reset();
Form1._instance.led1.Set(pnum - marks);
}
else
{
if (pane._Stat == 0)
{
pane._Stat = 2;
pane.BackgroundImage = Properties.Resources.Image1;
marks++;
Form1._instance.led1.Reset();
Form1._instance.led1.Set(pnum - marks);
}
}
}
else
{
this._Displayround(pane);
}
}
void showaround_pane(point o)
{
Pane pane = (Pane)this.Controls[Map[o.x, o.y]];
if (pane._Stat == 0)
{
return;
}
if (pane._Stat == 2)
{
return;
}
if (pane._Stat == 1)
{
int tot = 0;
for (int i = 0; i < 8; i++)
{
int xx = o.x + nx[i];
int yy = o.y + ny[i];
if (Canset(xx, yy))
{
Pane pane2 = (Pane)this.Controls[Map[xx, yy]];
if (pane2._Stat == 2)
{
tot++;
}
}
}
if (tot != pane._Around)
{
return;
}
for (int i = 0; i < 8; i++)
{
int xx = nx[i] + o.x;
int yy = ny[i] + o.y;
if (Canset(xx, yy))
{
Pane pane2 = (Pane)this.Controls[Map[xx, yy]];
if (pane2._Has_mine && pane2._Stat != 2)
{
gameStat = 1;
Form1._instance.led2.timer.Close();
Form1._instance.led2.t.Abort();
Form1._instance.mineFild1.Enabled = false;
this._ShowAll();
if (Form1.status == 30)
{
Form1.duration = System.Environment.TickCount - Form1.beginTime;
Form1.status = 31;
return;
}
if (Form1.status == 20)
{
Form1.status = 21;
MessageBox.Show("Defeat. You hit a bomb just now.");
t.Abort();
return;
}
MessageBox.Show("Lose.");
return;
}
}
}
for (int i = 0; i < 8; i++)
{
int xx = nx[i] + o.x;
int yy = ny[i] + o.y;
if (Canset(xx, yy))
{
Pane pane2 = (Pane)this.Controls[Map[xx, yy]];
if (pane2._Stat == 0)
{
_Displayround(pane2);
}
}
}
}
}
/// <summary>
/// 当前走法是否存在答案
/// </summary>
/// <param name="n"></param>
/// <param name="k"></param>
/// <param name="u"></param>
/// <param name="M"></param>
/// <param name="pre"></param>
/// <returns></returns>
int AI_Find_Ans(int n, int k, point u, int M, int pre)
{
if (n < k)
{
return(0);
}
int flag = 1;
if (n == 0 || k == 0)
{
M = M ^ (1 << 8);
for (int i = 0; i < 8; i++)
{
if ((M & (1 << i)) != 0)
{
int xx = u.x + nx[dir[i]];
int yy = u.y + ny[dir[i]];
if (Canset(xx, yy))
{
Pane pane = (Pane)this.Controls[Map[xx, yy]];
if (_is_mine[xx, yy] == 1 || pane._Stat != 0)
{
flag = 0;
break;
}
}
else
{
flag = 0;
break;
}
}
}
if (flag == 1)
{
for (int i = 0; i < 8; i++)
{
if ((M & (1 << i)) != 0)
{
int xx = u.x + nx[dir[i]];
int yy = u.y + ny[dir[i]];
if (Canset(xx, yy))
{
Console.Write("posible ans = " + "( " + xx + ", " + yy + ")" + " ");
_is_mine[xx, yy] = 1;
}
}
}
Console.WriteLine();
}
else
{
return(0);
}
int flag2 = 0;
if (_Checkans(u, pre) == 1)
{
flag2 = 1;
for (int i = 0; i < 8; i++)
{
if ((M & (1 << i)) != 0)
{
int xx = u.x + nx[dir[i]];
int yy = u.y + ny[dir[i]];
if (Canset(xx, yy))
{
point pos = new point();
pos.x = xx;
pos.y = yy;
Console.WriteLine(pre + " ans = " + "( " + xx + ", " + yy + ")");
if (pre == 0)
{
allans[ansnum, getpos(pos)] = 1;
}
}
}
}
if (pre == 0)
{
ansnum++;
}
}
for (int i = 0; i < 8; i++)
{
if ((M & (1 << i)) != 0)
{
int xx = u.x + nx[dir[i]];
int yy = u.y + ny[dir[i]];
if (Canset(xx, yy))
{
_is_mine[xx, yy] = 0;
}
}
}
if (pre == 0)
{
Console.WriteLine("------------------------------------------------------");
}
if (flag2 == 0)
{
return(0);
}
return(1);
}
M = M | (1 << (n - 1));
int k1 = AI_Find_Ans(n - 1, k - 1, u, M, pre);
M = M ^ (1 << (n - 1));
int k2 = AI_Find_Ans(n - 1, k, u, M, pre);
return(k1 | k2);
}