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