当前位置：首页 > news >正文

【二分查找】P9698 [GDCPC2023] Path Planning|普及

news 来源：原创 2025/9/14 23:35:10

本文涉及的基础知识点

本博文代码打包下载

C++二分查找

[GDCPC2023] Path Planning

题面翻译

【题目描述】

有一个 $n$ 行 $m$ 列的网格。网格里的每个格子都写着一个整数，其中第 $i$ 行第 $j$ 列的格子里写着整数 $a_{i, j}$ 。从 $0$ 到 $\times m - 1)$ 的每个整数（含两端）在网格里都恰好出现一次。

令 $(i, j)$ 表示位于第 $i$ 行第 $j$ 列的格子。您现在需要从 $(1, 1)$ 出发并前往 $(n, m)$ 。当您位于格子 $(i, j)$ 时，您可以选择走到右方的格子 $(i, j + 1)$ （若 $j < m$ ），也可以选择走到下方的格子 $(i + 1, j)$ （若 $i < n$ ）。

令 $\mathbb{S}$ 表示路径上每个格子里的整数形成的集合，包括 $a_{1, 1}$ 和 $a_{n, m}$ 。令 $\text{mex}(\mathbb{S})$ 表示不属于 $\mathbb{S}$ 的最小非负整数。请找出一条路径以最大化 $\text{mex}(\mathbb{S})$ ，并求出这个最大的值。

【输入格式】

有多组测试数据。第一行输入一个整数 $T$ 表示测试数据组数。对于每组测试数据：

第一行输入两个整数 $n$ 和 $m$ （ $\le n, m \le 10^6$ ， $\le n \times m \le 10^6$ ）表示网格的行数和列数。

对于接下来 $n$ 行，第 $i$ 行输入 $m$ 个整数 $a_{i, 1}, a_{i, 2}, \cdots, a_{i, m}$ （ $\le a_{i, j} < n \times m$ ），其中 $a_{i, j}$ 表示格子 $(i, j)$ 里的整数。从 $0$ 到 $\times m - 1)$ 的每个整数（含两端）在网格里都恰好出现一次。

保证所有数据 $\times m$ 之和不超过 $10^6$ 。

【输出格式】

每组数据输出一行一个整数，表示最大的 $\text{mex}(\mathbb{S})$ 。

【样例解释】

对于第一组样例数据，共有 $3$ 条可能的路径。

第一条路径为 $\to (1, 2) \to (1, 3) \to (2, 3)$ 。 $\mathbb{S} = \{1, 2, 4, 5\}$ 因此 $\text{mex}(\mathbb{S}) = 0$ 。
第二条路径为 $\to (1, 2) \to (2, 2) \to (2, 3)$ 。 $\mathbb{S} = \{1, 2, 0, 5\}$ 因此 $\text{mex}(\mathbb{S}) = 3$ 。
第三条路径为 $\to (2, 1) \to (2, 2) \to (2, 3)$ 。 $\mathbb{S} = \{1, 3, 0, 5\}$ 因此 $\text{mex}(\mathbb{S}) = 2$ 。

因此答案为 $3$ 。

对于第二组样例数据，只有 $1$ 条可能的路径，即 $\to (1, 2) \to (1, 3) \to (1, 4) \to (1, 5)$ 。 $\mathbb{S} = \{1, 3, 0, 4, 2\}$ 因此 $\text{mex}(\mathbb{S}) = 5$ 。

题目描述

There is a grid with $n$ rows and $m$ columns. Each cell of the grid has an integer in it, where $a_{i, j}$ indicates the integer in the cell located at the $i$ -th row and the $j$ -th column. Each integer from $0$ to $\times m - 1)$ (both inclusive) appears exactly once in the grid.

Let $(i, j)$ be the cell located at the $i$ -th row and the $j$ -th column. You now start from $(1, 1)$ and need to reach $(n, m)$ . When you are in cell $(i, j)$ , you can either move to its right cell $(i, j + 1)$ if $j < m$ or move to its bottom cell $(i + 1, j)$ if $i < n$ .

Let $\mathbb{S}$ be the set consisting of integers in each cell on your path, including $a_{1, 1}$ and $a_{n, m}$ . Let $\text{mex}(\mathbb{S})$ be the smallest non-negative integer which does not belong to $\mathbb{S}$ . Find a path to maximize $\text{mex}(\mathbb{S})$ and calculate this maximum possible value.

输入格式

There are multiple test cases. The first line of the input contains an integer $T$ indicating the number of test cases. For each test case:

The first line contains two integers $n$ and $m$ ( $\le n, m \le 10^6$ , $\le n \times m \le 10^6$ ) indicating the number of rows and columns of the grid.

For the following $n$ lines, the $i$ -th line contains $m$ integers $a_{i, 1}, a_{i, 2}, \cdots, a_{i, m}$ ( $\le a_{i, j} < n \times m$ ) where $a_{i, j}$ indicates the integer in cell $(i, j)$ . Each integer from $0$ to $\times m - 1)$ (both inclusive) appears exactly once in the grid.

It’s guaranteed that the sum of $\times m$ of all test cases will not exceed $10^6$ .

输出格式

For each test case output one line containing one integer indicating the maximum possible value of $\text{mex}(\mathbb{S})$ .

样例 #1

样例输入 #1

样例输出 #1

3
5

提示

For the first sample test case there are $3$ possible paths.

The first path is $\to (1, 2) \to (1, 3) \to (2, 3)$ . $\mathbb{S} = \{1, 2, 4, 5\}$ so $\text{mex}(\mathbb{S}) = 0$ .
The second path is $\to (1, 2) \to (2, 2) \to (2, 3)$ . $\mathbb{S} = \{1, 2, 0, 5\}$ so $\text{mex}(\mathbb{S}) = 3$ .
The third path is $\to (2, 1) \to (2, 2) \to (2, 3)$ . $\mathbb{S} = \{1, 3, 0, 5\}$ so $\text{mex}(\mathbb{S}) = 2$ .

So the answer is $3$ .

For the second sample test case there is only $1$ possible path, which is $\to (1, 2) \to (1, 3) \to (1, 4) \to (1, 5)$ . $\mathbb{S} = \{1, 3, 0, 4, 2\}$ so $\text{mex}(\mathbb{S}) = 5$ .

二分查找

Can(x)函数：是否存在某条路径，经过[0…x]所有数字。
将[0…x]的行列号放到v中，按先行后列，升序排序。
v[i]的行列号一定大于等于v[i-1]的行列号，否则返回false。
二分类型：寻找尾端，求最大x，使得Can(x)成立。
参数范围：[0,m+n-2] 整个路径的长度为m+n-1，最多[0,m+n-2]。
返回值：二分返回值+1。

代码

核心代码

#include <iostream>
#include <sstream>
#include <vector>
#include<map>
#include<unordered_map>
#include<set>
#include<unordered_set>
#include<string>
#include<algorithm>
#include<functional>
#include<queue>
#include <stack>
#include<iomanip>
#include<numeric>
#include <math.h>
#include <climits>
#include<assert.h>
#include<cstring>#include <bitset>
using namespace std;template<class T = int>
vector<T> Read(int n,const char* pFormat = "%d") {vector<T> ret(n);for(int i=0;i<n;i++) {scanf(pFormat, &ret[i]);	}return ret;
}template<class T = int>
vector<T> Read( const char* pFormat = "%d") {int n;scanf("%d", &n);vector<T> ret;T d;while (n--) {scanf(pFormat, &d);ret.emplace_back(d);}return ret;
}string ReadChar(int n) {string str;char ch;while (n--) {do{scanf("%c", &ch);} while (('\n' == ch));str += ch;}return str;
}
template<class T1,class T2>
void ReadTo(pair<T1, T2>& pr) {cin >> pr.first >> pr.second;
}template<class INDEX_TYPE>
class CBinarySearch
{
public:CBinarySearch(INDEX_TYPE iMinIndex, INDEX_TYPE iMaxIndex) :m_iMin(iMinIndex), m_iMax(iMaxIndex) {}template<class _Pr>INDEX_TYPE FindFrist(_Pr pr){auto left = m_iMin - 1;auto rightInclue = m_iMax;while (rightInclue - left > 1){const auto mid = left + (rightInclue - left) / 2;if (pr(mid)){rightInclue = mid;}else{left = mid;}}return rightInclue;}template<class _Pr>INDEX_TYPE FindEnd(_Pr pr){INDEX_TYPE leftInclude = m_iMin;INDEX_TYPE right = m_iMax + 1;while (right - leftInclude > 1){const auto mid = leftInclude + (right - leftInclude) / 2;if (pr(mid)){leftInclude = mid;}else{right = mid;}}return leftInclude;}
protected:const INDEX_TYPE m_iMin, m_iMax;
};class Solution {
public:int Ans(vector<vector<int>>& mat) {const int R = mat.size(), C = mat[0].size();const int len = R + C - 1;vector<pair<int, int>> v(len);for (int r = 0; r < R; r++)for (int c = 0; c < C; c++) {if (mat[r][c] < len){v[mat[r][c]] = make_pair(r, c);}}auto Cnt = [&](int x) {vector<pair<int, int>> tmp(v.begin(), v.begin() + x + 1);sort(tmp.begin(), tmp.end());for (int i = 1; i < tmp.size(); i++) {if ((tmp[i].first < tmp[i - 1].first) || (tmp[i].second < tmp[i - 1].second)) { return false; }}return true;};return CBinarySearch<int>(0, len - 1).FindEnd(Cnt) + 1;}
};int main() {
#ifdef _DEBUGfreopen("a.in", "r", stdin);
#endif // DEBUGint T;	cin >> T;for (int i = 0; i < T; i++){int R, C;cin >> R >> C;vector<vector<int>> mat(R);for (int r = 0; r < R; r++) { mat[r] = Read<int>(C); }
#ifdef _DEBUG			//Out(mat, "mat=");#endif	auto res = Solution().Ans(mat);cout << res << std::endl;}return 0;
}

单元测试

vector<vector<int>> mat;TEST_METHOD(TestMethod11){mat = { {1,2,4},{3,0,5} }	;auto res = Solution().Ans(mat);AssertEx(3, res);}TEST_METHOD(TestMethod12){mat = { {1,3,0,4,2} };auto res = Solution().Ans(mat);AssertEx(5, res);}

扩展阅读

我想对大家说的话
工作中遇到的问题，可以按类别查阅鄙人的算法文章，请点击《算法与数据汇总》。
学习算法：按章节学习《喜缺全书算法册》，大量的题目和测试用例，打包下载。重视操作
有效学习：明确的目标及时的反馈拉伸区（难度合适）专注
闻缺陷则喜(喜缺)是一个美好的愿望，早发现问题，早修改问题，给老板节约钱。
子墨子言之：事无终始，无务多业。也就是我们常说的专业的人做专业的事。
如果程序是一条龙，那算法就是他的是睛
失败+反思=成功成功+反思=成功

视频课程

先学简单的课程，请移步CSDN学院，听白银讲师（也就是鄙人）的讲解。
https://edu.csdn.net/course/detail/38771
如何你想快速形成战斗了，为老板分忧，请学习C#入职培训、C++入职培训等课程
https://edu.csdn.net/lecturer/6176

测试环境

操作系统：win7 开发环境： VS2019 C++17
或者操作系统：win10 开发环境： VS2022 C++17
如无特殊说明，本算法用**C++**实现。