彼得堡之子
1938年秋,列宁格勒一家胶合板厂的工程师带着一份下料清单来到列宁格勒大学数学与力学研究所。这道题表面上是工程问题:在标准长度的胶合板原料上切割出不同尺寸的零件,使总废料最小。但康托罗维奇在熟悉的数学结构里为它找到了更一般的句法形式,这道题之所以能在数学史上占据位置,是因为它连接了两个此前被分隔的领域。本章要追问的不是这道题的工程解,而是一个更深的前提:一名在1930年代列宁格勒接受数学训练的纯数学研究者,在怎样的知识传统与社会条件中,形成了将抽象数学应用于经济问题的方法论自觉。
彼得堡-列宁格勒数学传统中的"应用性"基因
康托罗维奇1912年1月19日出生于彼得堡。1926年十四岁入列宁格勒国立大学数学力学系,这一年龄在1920至1930年代列宁格勒与莫斯科的大学中并非罕见,少年学生进入大学数学系已是相当稳定的人才输送机制。真正对他后来方法论形成起决定作用的环境,是列宁格勒学派与同时期国际数学界主流之间的工作方式差异。
这种差异需要在比较中才能看清。1920至1930年代,法国布尔巴基学派代表了一种激进的数学形式化方案:数学应当从集合论基础出发,经过高度抽象的结构公理重新组织,其内部推演尽量独立于任何具体应用图景。布尔巴基方案在当时的国际数学界是引人注目的工程,其影响力一直延续到战后结构数学的诸多分支。相比之下,列宁格勒学派——以亚历山德罗夫、柯尔莫哥洛夫、柳斯捷尔尼克、斯米尔诺夫、斯莫戈热夫斯基为代表——呈现出一种较少排他性的工作方式。这批数学家平行推进抽象结构研究与来自物理、工程、生物的具体问题,而亚历山德罗夫的拓扑学讨论班与柯尔莫哥洛夫的随机过程研究恰好扮演了双侧联通的角色。对一个受过这种训练的数学家而言,所谓"纯数学"与"应用数学"之间并不存在布尔巴基式的那种硬性边界。
柯尔莫哥洛夫本人就是这种工作方式的典型样本。他在概率论公理化、拓扑学、湍流统计、随后的信息论与算法复杂性之间平行推进工作——其中任何一项都是独立的数学领域,但都被他纳入同一研究计划下。康托罗维奇1930年大学毕业后留校任教于列宁格勒工学院,1935年以《函数空间中的运算》完成博士论文,论文正式导师为柯尔莫哥洛夫,但研究工作在列宁格勒完成,答辩则在莫斯科举行——这一安排是当时跨城数学培养的标准做法。论文研究对象是抽象函数空间上的逼近与插值问题,题目的数学形态是纯粹的,但其问题来源则带着工程逼近论的影子。这条从列宁格勒接受训练到抽象算子论的路径,在1938年的胶合板问题上将被再次走一遍,只是问题这次来自胶合板厂而不是数学论文。
需要强调的是,列宁格勒学派对应用的开放并不等同于放弃严格性。恰恰相反,该学派要求应用的数学工具必须在内在结构上严格化,这一点构成了后来康托罗维奇在经济问题中坚持数学形式化处理的方法论根源。在他1939年发表的工业优化论文中,工程问题的严格数学化是其首要贡献,而非工程上的小修小补。
1930年代工业化语境与最优决策的制度性需求
数学家走出大学围墙、与工业计划话语产生接触,在苏联并非偶然,而是有具体的体制条件作为基础。
第一个条件是第一个和第二个五年计划期间形成的对"最优化"的制度性需求。第一个五年计划(1928—1932)以高速度的工业扩张为首要任务,数学计量工具在计划方法中的使用尚未成熟,大量计划指标以经验主义方式下达。第二个五年计划(1933—1937)末期与第三个五年计划初期,资源约束开始显化:工业产值的扩张不再是单纯"投入-产出"叙事所能覆盖,而是要在给定原料、产能、劳动力约束下选择分配方案。这种条件下,"最优"在计划话语中出现的频率显著上升。联共(布)党内对计划方法合理化的讨论,在1930年代中期以后明显增多。
第二个条件是数学与计划经济体制之间的接口并非空白,1930年代起,列宁格勒和莫斯科的中央经济研究所、技术经济研究所、若干工业部门的研究所,陆续吸纳具有数学训练的研究人员。康托罗维奇早在1938年胶合板问题之前就有过工业问题接触。1934年前后他受委托研究列宁格勒地区水电设备的最优运行方案——给定水轮机组配置与不同时段的电力需求,如何分配机组出力以最大化综合效率。这类工作已经具备了"在多个技术约束下求极值"的形式,胶合板切割问题与之同源。1935至1937年间他还参与过航空结构件的优化设计尝试。这条连续线索说明,1938年的胶合板问题不是孤立事件,而是一系列同形态问题中的一次。
第三个条件是意识形态上的边界。"社会主义政治经济学"在1930年代是主流框架,对量化工具的使用有保留但不绝对排斥:只要数学工具没有直接挑战劳动价值论的核心命题,工程师与数学家使用统计与规划方法是被允许的。康托罗维奇后来因其在经济计算中使用"客观制约估价"而长期受到政治经济学派的争议,但那是1940年代末的事。1930年代他尚未进入这块雷区,他所做的工作以工业效率优化为外壳,数学严格性为内核,这一外壳的掩护作用不可低估。
三个条件叠在一起,可以解释为什么胶合板厂会找上数学与力学研究所,也可以解释为什么一名刚过二十五岁的研究者能在这个领域内做出方法论层面的突破。但要解释他为什么能看出这层数学结构,我们仍然要回到他个人所携带的知识储备。
```mermaid flowchart TD A[1912 彼得堡出生] --> B[1926 入列宁格勒大学] B --> C[1930 留校与早期函数论] C --> D[1934 水轮机优化首次接触] D --> E[1935 博士论文函数空间中的运算] E --> F[1938 胶合板切割问题] F --> G[1939 论文数学方法组织与计划生产] G --> H[1941 列宁格勒围城研究所疏散] H --> I[1942 斯维尔德洛夫斯克书稿成形] ```
1938年胶合板切割问题:从泛函分析到工业优化的转折
这道题的工程形态可表述如下。一根长度固定为 $L$ 的胶合板原料,需要被切割成若干种不同尺寸的零件毛料。记零件种类为 $i = 1, \ldots, m$, 长度为 $a_i$, 计划期间需要产出的零件数量为 $b_i$ 个。一根原料可以以多种方式切割;记切割方案为 $j$,方案 $j$ 表示在该切法下一根原料产出 $x_{ij}$ 个第 $i$ 种零件,其中 $x_{ij}$ 取非负整数。原料长度约束要求
$$\sum_{i=1}^{m} a_i x_{ij} \le L,$$
方案 $j$ 才是可行的。
设 $y_j$ 表示使用方案 $j$ 切割的原料根数,则有如下约束:
- 产量约束: $\sum_{j} x_{ij} y_j \ge b_i$, $i = 1, \ldots, m$;
- 非负约束: $y_j \ge 0$ 且 $x_{ij} \in \mathbb{Z}_{\ge 0}$。
总用料长度为 $L \sum_j y_j$,或等价地,总废料 $\sum_j \left( L - \sum_i a_i x_{ij} \right) y_j$ 为优化目标。
康托罗维奇在处理这个问题时引入了一个关键步骤,即去掉整数性约束,允许 $x_{ij}$ 取非负实数。这一步把原问题松弛成为一个标准的线性规划问题:决策变量 $y$ 在由线性不等式确定的凸多面体内活动,目标函数是线性的。线性规划在凸集上的线性目标,其最优值必定在极点处取得。这一事实基于闵可夫斯基、卡拉西奥多里、哈恩等人在20世纪初完成的凸集理论,是康托罗维奇寻找最优解的数学依据。
为完整起见,记这一线性规划问题的对偶变量为 $c_i$,即客观制约估价。对偶问题是最大化 $\sum_i b_i c_i$, 约束为 $c_i \ge 0$ 以及对每个可行的切割方案 $j$:
$$\sum_i x_{ij} c_i \le L.$$
从经济学角度看,这个对偶变量的含义非常具体:$c_i$ 表示第 $i$ 种零件在最优生产方案下的"估价",或者说机会成本的影子价格。某个零件的 $c_i$ 较高,意味着它在该方案中相对稀缺;反之则相对充裕,降低其生产会带来较小的总成本收益。康托罗维奇在1939年的论文中明确写下这一概念,这是经济数学文献中最早的系统化表述之一。需要指出,客观制约估价这一术语后来在1948—1952年间的政治经济学批判中被指控偏离劳动价值论而成为康托罗维奇长期的政治负担,但就其数学内容而言,这就是后来在丹齐格式线性规划框架下被称为"影子价格"的同一对象。
从专业层面说,把工业切割问题转化为凸优化问题并提出对偶定价,比丹齐格1947年的单纯形法早了近十年。其处理方式建立在已有数学工具之上,具体而言是凸集上的极值理论,加上对线性不等式组解的几何理解。康托罗维奇的贡献不是发明这一数学结构,而是把工业问题翻译成该数学结构的语言,并走通"目标-约束-对偶"的完整闭环。
下面用一个简化的例子说明问题结构。设原料长度 $L = 10$ m,需要切割为长度 $a_1 = 4$ m 与 $a_2 = 7$ m 两种零件,需求量分别为 $b_1 = 100$, $b_2 = 50$。整数限制下可行的切割方案:
- 方案 A:切 2 段 4 m,余 2 m 废料;
- 方案 B:切 1 段 7 m,余 3 m 废料;
- 整数混合方案 C:切 1 段 4 m,余 6 m 不经济。
整数性使方案空间狭窄。但如果允许 $x_{ij}$ 取实数,即允许"切出半段" $4$ m 与一段 $7$ m 共用 9 m 原料,则出现连续参数化的新方案族,问题立刻变成可在凸多面体上求解的线性规划,这一松弛正是康托罗维奇论文的操作核心。
这一节想强调的不是解法,而是康托罗维奇在听到工程师陈述问题时,已经在脑海中预设了最优解所在的数学地形:一片定义在线性不等式族下的凸多面体,其上有一个线性目标函数需要极值化。这种"先有地形再去看具体问题"的认知方式,在工业现场的工程师身上通常不会发生——他们倾向于对每个具体问题构造具体解法;在数学家身上则恰恰相反,他们从地形出发看问题,再进入细节。康托罗维奇的方法论自觉,正是这种地形敏感性的副产品。
战时斯维尔德洛夫斯克与方法论自觉的成型
1941年9月列宁格勒围城前夕,数学与力学研究所启动疏散,主要撤至喀山,1942年部分人员再转至乌拉尔工业重镇斯维尔德洛夫斯克,即今叶卡捷琳堡。乌拉尔地区此时承担了苏联军工生产的主要负荷,从莫斯科、列宁格勒、基辅迁来的工厂在此密集运转,其对应的国家计划委员会区域分支也得在物资极度紧张的条件下每月排出生产序列。康托罗维奇在此加入斯维尔德洛夫斯克地区计划委员会,负责若干工业部门的最优计划问题研究。
战时计划工作是高度具体的。每一项决策都对应一份可以用具体数字追溯的文档:某一型号弹药的炸药消耗、某一类机床的负荷分配、油料去向、列车编组顺序等。理论与实务之间的距离很短,任何关于"最优"的数学方法都必须能够插入到计划文书的现实决策流中。康托罗维奇与一批工程师和经济学家协作,在这种环境下反复验证、修正其所提出的最优化方法。问题背景从胶合板扩展到金属切削、铸造车间负荷分配、铁路运输车流编排等多种工业场景。
也是在这种环境中,他在1939年论文的基础上扩展为篇幅更大的专著手稿《资源最优利用的经济计算》。这本书在1942年前后完成,然而其正式出版受到意识形态方面的阻力,直到1959年才以原貌公开面世;在这之前只有少量经过删节的内部版本在流通。这一出版延迟本身即折射出该书方法论立场与既有政治经济学话语之间的张力。
就内容而言,该书不再是单一切割问题的解法汇编,而是把线性规划系统化为处理稀缺资源在多种用途间分配的一般框架。每一节都配有对工程师、计划工作者可直接使用的算法描述。该书承载了两个有长期影响的概念。其一是前文提到的客观制约估价;其二是生产计划的分解计算性,即把一个统一的最优化问题分解为可由地方层级分别求解的子问题,子问题之间通过对偶估价来协调。这一思想后来在数学规划文献中以丹齐格的分解算法和列生成方法重现,但其作为方法论概念的萌芽,正在斯维尔德洛夫斯克的战时工作里成型。
值得专门提到的是,该书对工程师与计划工作者的双重定位。从纯数学角度看,该书的方法论部分建立在泛函分析与凸集理论上,具有数学严格性;从实务角度看,该书每一章都有可操作步骤。这种双重定位不是修辞上的平衡,实际上是康托罗维奇方法论自觉的核心:数学严格性与工程可用性不是相互排斥的,二者可以在同一文本中共存。
"作为数学家的经济学家":一种方法论身份的建构
把前四节串起来,可以看出康托罗维奇在1938至1942这四年间确立了一种特定的自我定位:他既不是单纯的数学家,也不是苏联体制内的计划经济官员,而是一种把数学工具应用于经济决策、把经济问题翻译为数学问题的研究者。这种身份在当时的苏联学术体制中没有现成的位置。苏联科学院当时分为物理数学学部与经济学部两个不同的研究单位;前者容纳应用数学家与概率论研究者,后者容纳马克思主义政治经济学家。一个进入双方之间空白地带的研究者,需要同时面对两个方向上的不信任。
第一个方向的不信任来自政治经济学家。《资源最优利用的经济计算》中提出的客观制约估价,涉及计划经济下价格与价值的本质,这是政治经济学长期关心又长期具有争议的领域。康托罗维奇的著作绕开了劳动价值论的某些经典命题,以数学上严格定义的稀缺性度量作为切入,这一论证策略为他后来在1949年与1951年两次受到的政治经济学批判埋下了伏笔。康托罗维奇被迫在公开场合就其著作中所提的"价格"概念作出让步,承认"客观制约估价不应理解为价值或价格",这一让步在数学上并不实质改变其方法的有效性,但在话语层面上构成了对其方法论身份的约束。
第二个方向的不信任来自数学家内部。并非所有数学家都认同数学工具应当被用于经济问题。一种批评是,这是否稀释了数学研究的纯度。康托罗维奇自己的回应是,他所做的事情不是放弃数学,而是把数学应用到一类此前未被视为数学合法对象的问题上;他所使用的工具正是他在列宁格勒学派所接受的训练对象。这种辩护在1940年代的苏联数学共同体中并不是所有人都同意,但它足够支撑康托罗维奇继续其双线工作。柳斯捷尔尼克等列宁格勒同事在公开场合对其工作的支持,也对其方法论位置的稳固起到重要作用。
身份建构的最终形态,既不是数学家放弃数学进入经济学,也不是经济学家采用数学工具,而是在两个学科的接缝处形成一种新的实践形态。康托罗维奇在1942年之后数十年所做的事情——1959年与诺维科夫合作的分散优化论文、与罗马尼亚学派的数理经济对话、1975年诺贝尔经济学奖——都属于这一形态的延续。该形态的最早成形期就是本章所追溯的1912至1942。
本章小结
回到本章最初提出的人物起点。康托罗维奇之所以能在1938年胶合板问题中把工业切割问题识别为凸优化问题,是因为他同时具备三个条件的合取:其一是列宁格勒大学数学力学系所提供的训练,使其在泛函分析与凸集理论方面具备充分的工具储备;其二是1930年代苏联工业化语境对"最优"概念的制度性需求,使其有机会从大学进入工业研究的实际场景;其三是在数学与政治经济学两条话语体系之间的身份定位,既不放弃数学也不复制主流经济学的论证范式,而是在边界地带形成独立的实践形态。
这三个条件中,第一个是知识条件,第二个是社会条件,第三个是个人方法论条件。它们三者共同构成了康托罗维奇1938至1942这段方法论成形期的小型传记坐标。值得注意的是,这一坐标不是自明的——同一时期列宁格勒也有其他数学家具备类似条件,但只有康托罗维奇做出了这一识别,提示我们数学地形与具体问题之间的匹配,最终还是研究者个人在认知层面的事件。
下一章将进入1942年专著《资源最优利用的经济计算》的具体文本,讨论该专著如何把本章所追溯的方法论意识转化为可传习的技术体系,并对1940年代末苏联数理经济学争论给出直接的语境背景,从而把"作为数学家的经济学家"这一身份从传记事实转化为可分析的方法论事件。