伽罗瓦理论 多项式 战斗机 生成树 Yak-1 二战 火炮 炮弹 拉沃契金 苏联 线性规划 循环群 Yak-7 有限域 1/72 Megiddo La-7 La-9 冷战 42线 数学 Kruskal 加农炮 战争雷霆 arma 代数 Tu-91 试验机 攻击机 垂直起降 I-225 代数数论 身管火炮 I-218 数论 离散 轰炸机 Yak 素理想分解 图纸机 图论