[USACO2.4] 两只塔姆沃斯牛 The Tamworth Two--记忆化题解

题目复述：

链接跳转：[USACO2.4] 两只塔姆沃斯牛 The Tamworth Two - 洛谷

# [USACO2.4] 两只塔姆沃斯牛 The Tamworth Two

## 题目描述

两只牛逃跑到了森林里。Farmer John 开始用他的专家技术追捕这两头牛。你的任务是模拟他们的行为（牛和 John）。

追击在 $10 \times 10$ 的平面网格内进行。一个格子可以是：一个障碍物，两头牛（它们总在一起），或者 Farmer John。两头牛和 Farmer John 可以在同一个格子内（当他们相遇时），但是他们都不能进入有障碍的格子。

一个格子可以是：
- `.` 空地；
- `*` 障碍物；
- `C` 两头牛；
- `F` Farmer John。

这里有一个地图的例子：

```plain
*...*.....
......*...
...*...*..
..........
...*.F....
*.....*...
...*......
..C......*
...*.*....
.*.*......
```

牛在地图里以固定的方式游荡。每分钟，它们可以向前移动或是转弯。如果前方无障碍（地图边沿也是障碍），它们会按照原来的方向前进一步。否则它们会用这一分钟顺时针转 90 度。 同时，它们不会离开地图。

Farmer John 深知牛的移动方法，他也这么移动。

每次（每分钟）Farmer John 和两头牛的移动是同时的。如果他们在移动的时候穿过对方，但是没有在同一格相遇，我们不认为他们相遇了。当他们在某分钟末在某格子相遇，那么追捕结束。

读入十行表示地图。每行都只包含 10 个字符，表示的含义和上面所说的相同。保证地图中只有一个 `F` 和一个 `C`。`F` 和 `C` 一开始不会处于同一个格子中。

计算 Farmer John 需要多少分钟来抓住他的牛，假设牛和 Farmer John 一开始的行动方向都是正北（即上）。 如果 John 和牛永远不会相遇，输出 0。

## 输入格式

输入共十行，每行 10 个字符，表示如上文描述的地图。

## 输出格式

输出一个数字，表示 John 需要多少时间才能抓住牛们。如果 John 无法抓住牛，则输出 0。

## 样例 #1

### 样例输入 #1

```
*...*.....
......*...
...*...*..
..........
...*.F....
*.....*...
...*......
..C......*
...*.*....
.*.*......
```

### 样例输出 #1

```
49
```

## 提示

翻译来自NOCOW

USACO 2.4

记忆化代码：

#include <bits/stdc++.h>
using namespace std;
#define N 100010
#define ll long long
char grass[10][10];
void move(int &dir, int &i, int &j, char c)
{
    if (dir == 1 && i > 0 && grass[i - 1][j] != '*')
    {
        grass[i - 1][j] = c;
        grass[i][j] = '.';
        i--;
    }
    else if (dir == 2 && j + 1 < 10 && grass[i][j + 1] != '*')
    {
        grass[i][j + 1] = c;
        grass[i][j] = '.';
        j++;
    }
    else if (dir == 3 && i + 1 < 10 && grass[i + 1][j] != '*')
    {
        grass[i + 1][j] = c;
        grass[i][j] = '.';
        i++;
    }
    else if (dir == 0 && j > 0 && grass[i][j - 1] != '*')
    {
        grass[i][j - 1] = c;
        grass[i][j] = '.';
        j--;
    }
    else
    {
        dir = (dir + 1) % 4;
    }
}
int main()
{
    ll res = 0;
    int fi, fj, ci, cj;
    int dir_f = 1, dir_c = 1;
    unordered_map<long long, int> memo;
    for (int i = 0; i < 10; ++i)
    {
        for (int j = 0; j < 10; ++j)
        {
            cin >> grass[i][j];
            if (grass[i][j] == 'F')
            {
                fi = i;
                fj = j;
            }
            else if (grass[i][j] == 'C')
            {
                ci = i;
                cj = j;
            }
        }
    }
    memo[fi << 16 | fj << 12 | dir_f << 10 | ci << 6 | cj << 2 | dir_c]++;
    while (!(fi == ci && fj == cj))
    {
        move(dir_f, fi, fj, 'F');
        move(dir_c, ci, cj, 'C');
        if ((++memo[fi << 16 | fj << 12 | dir_f << 10 | ci << 6 | cj << 2 | dir_c]) == 2)
        {
            cout << "0";
            return 0;
        }
        res++;
    }
    cout << res;
    return 0;
}

思路解释：

这道题的移动逻辑很简单，所以难度也就是黄题，主要难点在于怎么判断输出0的情况， 我看了一下别人AC的代码，有人直接判断res>10000的时候就输出0，这样也算是一种解法，不过我当时想到的更多是前几天做的记忆化搜索用的办法；

首先思考一下什么时候会循环？是不是当你发现这个人和这个牛在重复运动，具体一点来说就是，他们在某一时刻t1拥有和之前的时刻t2相同的坐标和方向，这样就导致一个无穷无尽的循环，所以我想到了可以将人和牛的坐标以及方向这六个变量组成一个longlong类型的数字，因为坐标最多为10，化成二进制最多占4位，而方向如果用0123来表示，最多也就占2位，这样人和牛的六个变量加起来最多也就占20位，用longlong绰绰有余，所以每次移动后我就用哈希表将这个状态记录下来，什么时候发现这个状态又来了一次，我就直接输出0，因为这时候就出现了循环~