鞍点是二维数组中既是所在行最小值又是所在列最大值的元素；需预处理行最小值、列最大值及对应下标，再通过三条件交叉验证（位置匹配且值相等）来准确判定，避免重复值和边界错误。
什么是鞍点，以及为什么不能直接遍历比较
鞍点是指在二维数组中，某个元素既是它所在行的最小值，又是它所在列的最大值。注意：不是“行最大且列最小”，顺序不能反——这是初学者最常记混的点。C++ 没有内置函数找鞍点，必须手动实现逻辑，但关键不在于“怎么写循环”，而在于“怎么避免重复扫描和边界越界”。比如对 int a[5][5]，若用双重循环暴力检查每个位置，每次都要扫整行+整列，时间复杂度会到 O(n³)，实际中完全没必要。
标准做法：预处理行最小值和列最大值
先用两轮单层遍历分别记录每行的最小值及其列下标、每列的最大值及其行下标，再交叉比对。这样总时间是 O(m×n)，空间 O(m+n)。注意几个易错细节：
-
min_in_row[i]要存的是值，min_col_idx[i]才存列下标；别把两者混成一个数组 - 初始化
min_in_row[i]时不能设为 0，得用INT_MAX（#include） - 同一行可能有多个相同最小值，但鞍点只认“该值在本行唯一最小且在本列唯一最大”——所以发现重复最小值时，
min_col_idx[i]应设为 -1 表示无效 - 列最大同理，
max_row_idx[j]遇到重复就置 -1
如何判断 (i, j) 是鞍点的最终条件
只有当以下三个条件同时成立时，a[i][j] 才是鞍点：
-
min_col_idx[i] == j（说明它是第 i 行唯一的最小值，且出现在第 j 列） -
max_row_idx[j] == i（说明它是第 j 列唯一的最大值，且出现在第 i 行） -
a[i][j]确实等于min_in_row[i]和max_in_col[j]（防止因初始化或赋值错误导致逻辑脱节）
漏掉第三个条件会导致在含负数或全零数组中误判——比如 int a[2][2] = {{0,0},{0,0}};，所有 min_col_idx[i] 和 max_row_idx[j] 都是 -1，但若不校验值相等，可能误认为 (0,0) 是鞍点。
完整可运行的最小示例（带注释）
#include <iostream>
#include <climits>
using namespace std;
int main() {
const int m = 3, n = 4;
int a[m][n] = {
{1, 2, 3, 4},
{5, 6, 7, 8},
{9, 10, 11, 12}
};
int min_in_row[m], min_col_idx[m];
int max_in_col[n], max_row_idx[n];
// 初始化
for (int i = 0; i max_in_col[j]) {
max_in_col[j] = a[i][j];
max_row_idx[j] = i;
} else if (a[i][j] == max_in_col[j]) {
max_row_idx[j] = -1;
}
}
}
// 检查鞍点
bool found = false;
for (int i = 0; i
<p>这个逻辑能正确处理重复值、负数、单行/单列等边界情况。真正容易被忽略的是：鞍点不要求全局唯一，但每行每列的“候选位置”必须由唯一极值确定——否则交叉验证就失去意义。</p></climits></iostream>
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
