本文涉及知识点

割点 图论知识汇总
C++BFS算法

LeetCode2556. 二进制矩阵中翻转最多一次使路径不连通

给你一个下标从 0 开始的 m x n 二进制 矩阵 grid 。你可以从一个格子 (row, col) 移动到格子 (row + 1, col) 或者 (row, col + 1) ，前提是前往的格子值为 1 。如果从 (0, 0) 到 (m - 1, n - 1) 没有任何路径，我们称该矩阵是 不连通 的。
你可以翻转 最多一个 格子的值（也可以不翻转）。你 不能翻转 格子 (0, 0) 和 (m - 1, n - 1) 。
如果可以使矩阵不连通，请你返回 true ，否则返回 false 。
注意 ，翻转一个格子的值，可以使它的值从 0 变 1 ，或从 1 变 0 。
示例 1：

输入：grid = [[1,1,1],[1,0,0],[1,1,1]]
输出：true
解释：按照上图所示我们翻转蓝色格子里的值，翻转后从 (0, 0) 到 (2, 2) 没有路径。
示例 2：

输入：grid = [[1,1,1],[1,0,1],[1,1,1]]
输出：false
解释：无法翻转至多一个格子，使 (0, 0) 到 (2, 2) 没有路径。
m == grid.length
n == grid[i].length
1 <= m, n <= 1000
1 <= m * n <= 10⁵
grid[0][0] == grid[m - 1][n - 1] == 1

割点

如果有封装类，直接使用割点更简单。

BFS

vector<unorder_set>> leve[i] 记录i步可以到达的坐标,i$\in$[0,m-1+n-1]
如果leve.size()小于等于2，只经过起点和终点，所以一定能够连通。
否则 返回 cout(leve.begin()+1,leve.end()-1,1) > 0 。
由于只能向右或下走，所以不会有环。只需要处理，同一步的重复。

错误

必须排除无法到达终点的点。
图中的数字表示多少步到达此格。绿色数字表示能到达终点，蓝色数字表示无法到达终点。叉叉表示grid[r][c]为0而无法进入。
canVis记录各点能否到达终点，不能到达终点的点忽略。

代码

核心代码

class Solution {
public:
	bool isPossibleToCutPath(vector<vector<int>>& grid) {
		const int R = grid.size();
		const int C = grid[0].size();
		vector<vector<bool>> canVis(R, vector<bool>(C));
		canVis.back().back() = true;
		for (int r = R - 1; r >= 0; r--) {
			for (int c = C - 1; c >= 0; c--) {
				if ((r + 1 < R) && canVis[r + 1][c]&& grid[r + 1][c]) {
					canVis[r][c] = true ;
				}
				if ((c + 1 < C) && canVis[r][c + 1]&& grid[r][c + 1]) {
					canVis[r][c] = true;
				}
			}
		}

		const int m = R - 1 + C - 1;
		vector<set<pair<int, int>>> leves(m + 1);
		leves[0].emplace(0, 0);
		for (int i = 0; i < m; i++) {
			for (auto [r, c] : leves[i]) {
				if ((r + 1 < R) && grid[r + 1][c] && canVis[r + 1][c]) {
					leves[i + 1].emplace(r + 1, c);
				}
				if ((c + 1 < C) && grid[r][c + 1] && canVis[r][c + 1]) {
					leves[i + 1].emplace(r , c + 1);
				}
			}
		}
		if (leves.back().empty()) { return true; }
		for (int i = 1; i < m; i++) {
			if (1 == leves[i].size()) { return true; }
		}
		return false;
	}
};

单元测试

template<class T1, class T2>
void AssertEx(const T1& t1, const T2& t2)
{
	Assert::AreEqual(t1, t2);
}
void AssertEx( double t1,  double t2)
{
	auto str = std::to_wstring(t1) + std::wstring(1,32) + std::to_wstring(t2);
	Assert::IsTrue(abs(t1 - t2) < 1e-5,str.c_str() );
}

template<class T>
void AssertEx(const vector<T>& v1, const vector<T>& v2)
{
	Assert::AreEqual(v1.size(), v2.size());
	for (int i = 0; i < v1.size(); i++)
	{
		Assert::AreEqual(v1[i], v2[i]);
	}
}

template<class T>
void AssertV2(vector<vector<T>> vv1, vector<vector<T>> vv2)
{
	sort(vv1.begin(), vv1.end());
	sort(vv2.begin(), vv2.end());
	Assert::AreEqual(vv1.size(), vv2.size());
	for (int i = 0; i < vv1.size(); i++)
	{
		AssertEx(vv1[i], vv2[i]);
	}
}

namespace UnitTest
{
	vector<vector<int>> grid;
	TEST_CLASS(UnitTest)
	{
	public:
		TEST_METHOD(TestMethod00)
		{
			grid = { {1,1,1},{1,0,0},{1,1,1} };
			auto res = Solution().isPossibleToCutPath(grid);
			AssertEx(true, res);
		}
		TEST_METHOD(TestMethod01)
		{
			grid = { {1,1,1},{1,0,1},{1,1,1} };
			auto res = Solution().isPossibleToCutPath(grid);
			AssertEx(false, res);
		}
		TEST_METHOD(TestMethod02)
		{
			grid = { {1,1,1},{1,0,0},{1,1,1},{1,1,1} };
			auto res = Solution().isPossibleToCutPath(grid);
			AssertEx(true, res);
		}
	};
}