1. 题目背景与核心考察点这道名为这里没有三角形的算法题出现在2026年蚂蚁集团春季招聘的开发岗位笔试中属于典型的几何组合数学类编程题。题目给出平面上一组点的坐标要求计算这些点中不构成三角形的点集数量。所谓不构成三角形即点集中所有点共线或点数小于3。从面试官角度分析此题主要考察三个维度几何处理能力需要判断点是否共线涉及向量叉积等计算几何知识算法优化思维暴力解法O(n³)不可行需找到数学规律降低复杂度边界条件处理对空集、单点、两点等特殊情况的考虑2. 数学原理与算法选择2.1 共线判定原理判断三点共线的核心方法是向量叉积法。对于点A(x1,y1)、B(x2,y2)、C(x3,y3)计算向量AB与AC的叉积叉积 (x2-x1)*(y3-y1) - (y2-y1)*(x3-x1)若叉积为0则三点共线。这个原理可推广到多点共线判定——当且仅当所有点两两之间的向量共线时整个点集共线。2.2 组合数学优化直接暴力枚举所有子集显然不可行复杂度O(2^n)。通过观察可得空集、单点集、两点集必然不构成三角形共3种情况对于≥3点的共线点集其所有子集都不构成三角形其他情况至少存在一个三角形因此解题关键在于找出所有共线的最大点集称为共线簇对每个共线簇计算其非空子集数2^m - 1m为点数累加所有共线簇的子集数 空集/单点/两点的情况2.3 算法步骤遍历所有点对生成唯一直线用标准化表示统计每条直线上的点数对点数≥3的直线计算其子集数并累加最后加上C(n,0)C(n,1)C(n,2)3. 关键实现细节3.1 直线标准化表示为避免浮点数精度问题直线不使用ykxb表示而是采用axbyc0的标准化形式系数a,b,c互质a的首个非零系数为正 例如直线2x4y60应表示为x2y30实现时需要计算最大公约数(GCD)进行约分def normalize_line(a, b, c): g math.gcd(math.gcd(abs(a), abs(b)), abs(c)) a // g; b // g; c // g # 确保首个非零系数为正 first_non_zero next((x for x in [a,b,c] if x ! 0), 0) if first_non_zero 0: a, b, c -a, -b, -c return (a, b, c)3.2 共线点统计使用哈希表记录每条直线上的点数MapLine, Integer lineCounts new HashMap(); for (int i 0; i n; i) { for (int j i 1; j n; j) { Line line getLine(points[i], points[j]); lineCounts.put(line, lineCounts.getOrDefault(line, 0) 1); } }注意这里统计的是点对数量实际点数为m (1 sqrt(1 8*k)) / 2 # 其中k是点对数3.3 子集数计算对于m个共线点其非空子集数为2^m - 1。由于m可能很大n≤1000时2^1000会溢出题目通常要求取模const int MOD 1e9 7; vectorlong long pow2(n 1); pow2[0] 1; for (int i 1; i n; i) { pow2[i] (pow2[i-1] * 2) % MOD; }4. 完整代码实现4.1 Python解法import math from collections import defaultdict MOD 10**9 7 def solve(): n int(input()) points [tuple(map(int, input().split())) for _ in range(n)] if n 3: print((1 n) % MOD) return line_counts defaultdict(int) for i in range(n): x1, y1 points[i] for j in range(i 1, n): x2, y2 points[j] # 计算直线方程ax by c 0 a y2 - y1 b x1 - x2 c x2*y1 - x1*y2 # 标准化直线表示 g math.gcd(math.gcd(abs(a), abs(b)), abs(c)) a, b, c a // g, b // g, c // g # 确保首个非零系数为正 first_non_zero next((x for x in [a,b,c] if x ! 0), 0) if first_non_zero 0: a, b, c -a, -b, -c line_counts[(a, b, c)] 1 pow2 [1] * (n 1) for i in range(1, n 1): pow2[i] (pow2[i - 1] * 2) % MOD res (1 n n * (n - 1) // 2) % MOD # 空集单点两点 for cnt in line_counts.values(): if cnt 3: continue m int((1 math.sqrt(1 8 * cnt)) / 2) res (res pow2[m] - 1 - m - m * (m - 1) // 2) % MOD print(res) solve()4.2 Java解法import java.util.*; import java.math.*; public class Main { static final int MOD (int)1e9 7; static class Line { int a, b, c; Line(int a, int b, int c) { // 标准化 int g gcd(gcd(Math.abs(a), Math.abs(b)), Math.abs(c)); a / g; b / g; c / g; // 确保首个非零系数为正 if (a ! 0) { if (a 0) { a -a; b -b; c -c; } } else if (b ! 0) { if (b 0) { b -b; c -c; } } else if (c 0) { c -c; } this.a a; this.b b; this.c c; } Override public boolean equals(Object o) { Line other (Line)o; return a other.a b other.b c other.c; } Override public int hashCode() { return Objects.hash(a, b, c); } static int gcd(int x, int y) { return y 0 ? x : gcd(y, x % y); } } public static void main(String[] args) { Scanner sc new Scanner(System.in); int n sc.nextInt(); int[][] points new int[n][2]; for (int i 0; i n; i) { points[i][0] sc.nextInt(); points[i][1] sc.nextInt(); } if (n 3) { System.out.println((1 n) % MOD); return; } MapLine, Integer lineCounts new HashMap(); for (int i 0; i n; i) { for (int j i 1; j n; j) { int x1 points[i][0], y1 points[i][1]; int x2 points[j][0], y2 points[j][1]; int a y2 - y1; int b x1 - x2; int c x2 * y1 - x1 * y2; Line line new Line(a, b, c); lineCounts.put(line, lineCounts.getOrDefault(line, 0) 1); } } long[] pow2 new long[n 1]; pow2[0] 1; for (int i 1; i n; i) { pow2[i] (pow2[i - 1] * 2) % MOD; } long res (1 n n * (n - 1L) / 2) % MOD; for (int cnt : lineCounts.values()) { if (cnt 3) continue; int m (int)((1 Math.sqrt(1 8L * cnt)) / 2); long delta (pow2[m] - 1 - m - m * (m - 1L) / 2) % MOD; res (res delta) % MOD; } System.out.println((res MOD) % MOD); } }5. 复杂度分析与优化5.1 时间复杂度直线枚举阶段O(n²)枚举所有点对哈希操作O(1)的插入和查询总体复杂度O(n²)n1000时约1e6次操作完全可行5.2 空间复杂度存储所有直线最坏情况O(n²)当所有点互不共线时实际应用中可通过以下优化减少空间使用边统计边处理不保存所有直线使用更紧凑的直线表示如哈希值5.3 工程优化建议并行计算点对枚举可并行化处理提前终止当发现某直线上的点数超过阈值时可提前处理内存优化使用原始类型替代对象存储直线6. 常见错误与测试用例6.1 典型错误浮点数精度问题直接计算斜率会导致精度丢失错误做法用double存储斜率k和截距b正确做法使用axbyc0的整数表示哈希函数问题自定义Line类未正确实现equals和hashCode必须保证数学上相同的直线具有相同的哈希值边界条件遗漏所有点重合的情况n0,1,2时的特殊处理6.2 测试用例集// 样例1三点共线 3 0 0 1 1 2 2 // 输出8 (所有子集都合法) // 样例2直角三角形 3 0 0 1 0 0 1 // 输出7 (只有全集构成三角形) // 样例3四点共线一个孤立点 5 0 0 1 1 2 2 3 3 0 1 // 输出26 // 样例4所有点重合 4 1 1 1 1 1 1 1 1 // 输出15 (2^4 -1)7. 实际应用场景这类几何组合问题在实际开发中有广泛用途计算机视觉特征点聚类分析GIS系统道路网络共线性检测游戏开发碰撞检测中的共面判断数据挖掘异常点检测寻找不共线的异常点蚂蚁集团考察此题的目的很可能是为了筛选出具备以下能力的候选人将数学知识转化为高效代码的能力处理大规模几何数据的工程思维对边界条件的全面考虑