1. 题目背景与核心问题拆解最近在整理蓝桥杯的历年真题发现第十三届国赛Python中高年级组的“小鸟看对方”这道题讨论热度一直不低。很多同学第一次看到题目描述时会觉得这像是一道简单的模拟题但真正动手实现尤其是在比赛那种高压环境下很容易在逻辑细节上栽跟头导致丢分。这道题本质上是一个关于二维平面几何关系判断和条件分支逻辑的综合应用它不涉及特别高深的算法但对编程者的思维严谨性和代码实现能力是一次很好的检验。题目的大意是在一个平面直角坐标系中有两只小鸟分别位于点A(x1, y1)和点B(x2, y2)。每只小鸟都有一个固定的朝向视线方向这个朝向由八个基本方向之一表示分别是N北正y轴方向、S南负y轴方向、E东正x轴方向、W西负x轴方向以及四个斜方向NE东北、NW西北、SE东南、SW西南。问题是判断在给定的位置和朝向下两只小鸟是否能够“看到”对方。这里的“看到”有明确的几何定义从一只小鸟的位置出发沿着它朝向的方向作一条射线如果另一只小鸟恰好在这条射线上包括端点那么就认为这只小鸟能看到对方。需要分别判断A是否能看见B以及B是否能看见A。所以核心问题就转化成了给定两点坐标和一个方向向量判断目标点是否位于从起点出发、沿指定方向延伸的射线上。这听起来像是初中数学但用代码严谨地实现特别是处理好所有边界情况比如坐标相等、方向为斜向时点的共线判断才是本题的难点和价值所在。2. 方向向量的数学建模与共线判断要解决“点是否在射线上”的问题我们首先要将题目中描述的方向转化为计算机能够处理的数学概念——方向向量。2.1 方向到向量的映射八个方向可以非常直观地映射为二维向量N: (0, 1)S: (0, -1)E: (1, 0)W: (-1, 0)NE: (1, 1)NW: (-1, 1)SE: (1, -1)SW: (-1, -1)在代码中我们可以用一个字典来建立这个映射关系这是最清晰易懂的方式dir_vec { N: (0, 1), S: (0, -1), E: (1, 0), W: (-1, 0), NE: (1, 1), NW: (-1, 1), SE: (1, -1), SW: (-1, -1) }2.2 共线判断的原理与陷阱得到了方向向量(dx, dy)后如何判断点B(x2, y2)是否在从点A(x1, y1)出发的射线上呢几何知识告诉我们三点共线这里是A、A向量、B的一个充要条件是向量AB与方向向量平行。在二维坐标系中向量平行共线可以通过叉积为零来判断。设向量AB (x2 - x1, y2 - y1) (delta_x, delta_y)。向量(dx, dy)是方向向量。那么它们平行的条件是delta_x * dy - delta_y * dx 0即delta_x * dy delta_y * dx。这里就是第一个容易踩坑的地方直接进行上述等式判断在理论上是正确的但在编程中我们需要考虑方向。射线是有方向的点B不仅要在直线上还必须在A点指向的方向上。这意味着向量AB必须与方向向量(dx, dy)同向而不是反向。例如A在(0,0)朝东(E)B在(-1,0)。虽然A、B和方向点(1,0)三点共线满足叉积为零但向量AB是(-1,0)与方向向量(1,0)恰好相反所以B并不在A朝向的射线上。因此完整的判断条件有两个共线条件delta_x * dy delta_y * dx同向条件向量AB在方向向量上的投影为正。一个更简单且等价的判断是方向向量(dx, dy)的每个分量与向量AB的对应分量必须同号即同为正、同为负或同时为零。更严谨的写法是检查dx * delta_x 0 and dy * delta_y 0。这里用“”是为了包含起点A本身delta_x和delta_y均为0的情况。注意在比赛环境中输入坐标通常是整数所以用整数运算判断等式是安全的避免了浮点数精度比较的麻烦。这是出题人设计时通常考虑到的。2.3 特殊情况的处理在实现上述逻辑时必须小心处理以下几种特殊情况两点重合即A和B是同一个点。此时delta_x 0, delta_y 0。它显然满足共线条件00也满足同向条件00。所以当两只小鸟在同一位置时无论它们朝向哪里它们都能互相看到。这是一个符合直觉的边界情况。方向向量分量为零当方向是纯正东(E)时dy0。此时共线条件delta_x * 0 delta_y * 1简化为0 delta_y即要求B点必须与A点在同一水平线上y坐标相同。同时同向条件要求dx * delta_x 0即1 * delta_x 0所以要求delta_x 0B在A的右侧。这完全符合“朝东看”的语义。其他纯方向N, S, W同理。斜方向以NE(1,1)为例。共线条件要求delta_x * 1 delta_y * 1即delta_x delta_y。这意味着B点必须在A点的东北方向线上斜率45°。同向条件要求delta_x 0 且 delta_y 0确保B在A的东北方向而不仅仅是那条无限延伸的直线上。3. 代码实现与逐行解析理解了核心判断逻辑后我们就可以动手编写代码了。下面提供一个清晰、健壮且带有详细注释的Python实现方案。def can_see(x1, y1, dir1, x2, y2): 判断位于(x1,y1)朝dir1方向的小鸟是否能看到位于(x2,y2)的小鸟。 参数: x1, y1: 观察者的坐标 dir1: 观察者的朝向字符串如N, NE x2, y2: 被观察者的坐标 返回: bool: 能看到返回True否则返回False # 1. 方向向量映射字典 vec_map { N: (0, 1), S: (0, -1), E: (1, 0), W: (-1, 0), NE: (1, 1), NW: (-1, 1), SE: (1, -1), SW: (-1, -1) } # 获取观察者的方向向量 dx, dy vec_map[dir1] # 计算从观察者指向被观察者的向量 delta_x x2 - x1 delta_y y2 - y1 # 2. 核心判断逻辑 # 条件一共线判断 (叉积为0) # (delta_x * dy) (delta_y * dx) # 条件二同向判断 (点积分量的符号非负) # 要求方向向量与AB向量在各轴上的投影同向或为零 # 注意这里用“and”连接两个条件并且包含了delta_x和delta_y同时为0两点重合的情况 if (delta_x * dy delta_y * dx) and (dx * delta_x 0) and (dy * delta_y 0): return True else: return False def main(): # 模拟题目输入这里假设输入格式为x1 y1 dir1 x2 y2 dir2 # 例如: 0 0 E 2 0 E input_str input().strip().split() x1, y1 int(input_str[0]), int(input_str[1]) dir1 input_str[2] x2, y2 int(input_str[3]), int(input_str[4]) dir2 input_str[5] # 判断A是否能看见B a_see_b can_see(x1, y1, dir1, x2, y2) # 判断B是否能看见A b_see_a can_see(x2, y2, dir2, x1, y1) # 根据题目要求输出结果 # 常见输出格式如果A能看见B输出1否则输出0B同理。中间用空格隔开。 # 例如1 0 表示A能看见BB不能看见A。 result_a 1 if a_see_b else 0 result_b 1 if b_see_a else 0 print(f{result_a} {result_b}) if __name__ __main__: main()3.1 关键代码段解析让我们深入剖析can_see函数中的核心判断语句if (delta_x * dy delta_y * dx) and (dx * delta_x 0) and (dy * delta_y 0):delta_x * dy delta_y * dx这是共线性检查。它来源于二维向量叉积公式(delta_x, delta_y) × (dx, dy) delta_x*dy - delta_y*dx。叉积为零意味着两个向量平行或共线。这是判断点B是否在由点A和方向向量确定的直线上的数学基础。dx * delta_x 0和dy * delta_y 0这是同向性检查。dx * delta_x可以理解为方向向量的x分量与AB向量的x分量的“点积”的一部分实际上就是对应分量相乘。它大于0表示两个向量的x分量方向相同同为正或同为负等于0则可能意味着其中一个分量为0例如垂直或水平方向。0的条件确保了AB向量在x轴和y轴上的投影都与方向向量同向或为零这等价于AB向量与方向向量的夹角为锐角或直角0度从而保证了B点在A点的前方或正侧方对于纯水平/垂直方向而不是后方。两个条件必须同时满足。为什么不能只用点积大于0来判断有的同学可能会想直接用向量点积delta_x*dx delta_y*dy 0来判断同向不更简单吗点积大于0确实表示夹角为锐角。但是点积大于0是共线且同向的必要不充分条件。考虑一个反例方向向量是(1,1)NEAB向量是(2, 1)。它们的点积是211130夹角是锐角。然而计算叉积21 - 11 1 ≠ 0说明它们并不共线B点并不在东北方向的射线上而是在东偏北的某个位置。所以必须同时满足叉积为零共线和点积分量非负同向这两个条件。3.2 输入输出处理与测试用例题目通常要求处理多组输入或单组输入。上面的main函数处理的是单行输入格式如0 0 E 3 0 N。在蓝桥杯的OJ系统中你需要根据具体的题目描述调整输入输出逻辑有时可能需要循环读取直到文件结束。这里提供几个关键的测试用例用于验证你代码的正确性测试输入 (x1 y1 d1 x2 y2 d2)预期输出 (A看B B看A)说明0 0 E 2 0 E1 1同在水平线同向互相看见。0 0 E -1 0 E0 1B在A的西边A朝东看不见BB朝东也看不见A因为A在B的西边。等等B看AB在(-1,0)朝东A在(0,0)在B的东方所以B能看见A。输出是0 1。0 0 NE 2 2 N1 0B在A的东北射线上2,2满足delta_xdelta_y且都为正A能看见B。B朝北A在B的正南方不在B的北向射线上所以B看不见A。1 1 SE 3 -1 SE1 1两点都在东南方向的线上斜率-1且B在A的东南方互相看见。0 0 N 0 0 S1 1关键两点重合无论朝向如何都能互相看见。0 0 E 0 1 E0 0B在A的正北方不满足共线条件delta_x0 ! 11互相看不见。0 0 NE 1 0 NE0 0B在A的正东方。虽然dx, delta_x为正dy为正但delta_y0不满足共线条件11 ! 01互相看不见。B并不在45°射线上。务必用这些用例测试你的代码确保所有边界情况都被正确处理。4. 常见错误分析与思维拓展在解答和教授这道题目的过程中我发现了初学者甚至一些有经验的选手容易陷入的几个思维误区。4.1 误区一使用斜率比较一个非常直观但错误的想法是计算斜率。对于方向NE可能会判断(y2-y1) / (x2-x1) 1且x2x1, y2y1。这存在几个问题除零问题当x2 x1时例如垂直方向N或S除法会导致错误。浮点数精度即使坐标是整数除法也会产生浮点数在计算机中比较是危险的。代码冗余需要为八个方向分别写不同的斜率判断逻辑代码冗长且易错。而使用整数叉积的方法完美规避了所有这些问题用一个统一的逻辑处理所有方向代码简洁且健壮。4.2 误区二忽略“射线”而只考虑“直线”这是最核心的误区。题目要求是“沿着朝向的射线”这意味着判断是有方向的。如果只检查三点共线叉积为零那么对于A(0,0)朝EB(-1,0)这个例子就会错误地判断为A能看见B。必须加上同向性的检查确保目标点在“前方”。4.3 误区三同向判断逻辑不严谨有的实现尝试用以下不严谨的逻辑if dx ! 0: 判断 delta_x/dx 0。这又引入了浮点数。只判断dx * delta_x 0而忽略了dy * delta_y。对于斜方向这可能导致错误。例如方向(1,1)点B(2,0)。dx*delta_x20但dy*delta_y1*00且不满足共线条件。如果只检查了x分量可能会漏掉y分量的约束。使用delta_x * dx 0 or delta_y * dy 0用or连接。这是错误的它会导致条件过松。必须用and连接要求两个分量都满足同向条件。4.4 思维拓展从射线到扇形区域这道题可以作为一个引子思考更复杂的问题。比如如果小鸟的视野不是一个严格的方向而是一个扇形区域例如朝向NE视野角度为90度该如何判断这时问题就从“点是否在射线上”变成了“点是否在扇形内”。我们可以通过以下步骤解决计算向量AB。计算方向向量与向量AB的夹角余弦使用点积公式。判断该夹角是否小于等于视野半角。同时还需要判断距离即向量AB的模长是否在视野范围内。 这就需要用到反三角函数如math.acos和向量模长的计算难度上了一个台阶但核心的向量思维是一致的。5. 竞赛策略与实战心得在蓝桥杯这样的限时竞赛中遇到此类几何判断题目我个人的策略和经验如下1. 先画图再编码。永远不要相信自己的空间想象力尤其是在紧张的时候。在草稿纸上画出坐标系标出A、B两点画出A的朝向射线。用几个典型的测试点正例、反例、边界例手工验证一下你的判断逻辑。这幅图能帮你瞬间理清delta_x,delta_y的正负以及同向条件该如何表达。2. 统一建模避免分支。像本题用方向向量字典和统一的叉积-同向判断公式远比写8个if-elif分支分别处理N、S、E、W...要可靠得多。分支越多越容易遗漏边界情况代码也越难调试。追求代码的简洁性和一致性是竞赛编程中的一个重要原则。3. 整数运算优先。只要题目保证了坐标是整数就尽量使用整数运算叉积、比较来避免浮点数精度带来的噩梦。在整数世界是绝对可靠的在浮点数世界则需要谨慎对待。4. 边界情况测试法。编写完代码后不要只用题目给的样例。要主动构造“刁钻”的测试数据零点/重合点(0,0)和(0,0)。坐标轴上的点(0,5),(-3,0)。方向分量为零的情况朝E时看正上方(0,1)的点朝N时看正右方(1,0)的点。反向点确保你的代码不会把正后方的点误判为可见。大数坐标值很大时整数运算是否会溢出Python的int是任意精度所以不用担心但如果是C/Java就需要留意。5. 函数化封装。将核心判断逻辑can_see封装成一个独立的函数。这有两大好处一是逻辑清晰主程序结构干净二是方便进行单元测试你可以单独对这个函数输入多组参数来验证其正确性而不必每次都运行完整的输入输出流程。这道“小鸟看对方”的题目就像一位沉默的考官它不问你复杂的动态规划状态转移方程也不考你精巧的数据结构它只考察你是否能将一个简单的几何问题用严谨、无歧义的代码表达出来。这种能力恰恰是编程基础中最扎实、也最容易被忽视的部分。