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