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