市场结构：经济学如何从描述市场转向建造市场
1874年，一位法国工程师试图把一个经济体里的每一个价格同时写下来。一个半世纪之后，他的后继者不再描述市场，而是着手设计市场：筹得数百亿美元的拍卖，把肾脏配给否则就活不下来的病人的算法，把美国每一个毕业的医生都安排到岗位上的系统。这篇导读只追这一条线索，从完全竞争这个基准一直走到真正在运转的制度，并且提出悬在整条脉络之上的那个问题：当经济学家变成工程师，这门工程真的管用吗？
这个基准，和后来加上的复杂性
“在完全竞争的市场上，两种商品相互交换，是这样一种活动：凡是持有其中一种、或者同时持有两种商品的人，都能在两种商品于整个市场按同一交换比率买进卖出这一条件之下，最大限度地满足自己的欲望。”
— 莱昂·瓦尔拉斯，《纯粹经济学要义》，1874年
瓦尔拉斯要处理的是经济体里的每一个市场，所有市场在同一组价格上同时出清。他连机制都想好了：一个拍卖人喊出价格，接受报价，再作调整，也就是tâtonnement，“试探”，直到每一个市场都达到平衡，然后才发生第一笔交易。没有哪个真实的交易所是这样运转的。股票市场的订单簿是在不完整信息的翻搅中连续撮合买家和卖家，没有拍卖人，也没有哪一刻万物一齐落定。瓦尔拉斯想证明的是，一个分散的市场原则上能够在无人指挥的情况下解决一个规模惊人的问题。接下来发生的事情是，经济学家把这个基准当了真，认真到足以看清它究竟漏掉了些什么。
瓦尔拉斯形式化的这个基准叫完全竞争，它立在一份很短的假设清单上，而后来的六十年会把这些假设一条一条拆掉。企业和消费者都是价格接受者：小到无法撼动价格，于是各自把价格当作给定的。商品是同质的：一家企业的产品可以完美替代另一家的。进入是自由的。在这些条件下，价格等于边际成本，长期经济利润为零，配置是帕累托有效的。一般均衡是它的全经济版本：所有市场同时出清，也正是瓦尔拉斯一路摸索着要去的那个位置。
现在，去掉价格接受这条假设。如果一个市场上只有少数几家企业，每一家的决定都会牵动价格，于是每一家都必须对其他家作策略性的推算。奥古斯丁·古诺在1838年就看到了这一点，比瓦尔拉斯早了几十年，而且在正典把他重新捡回来之前基本无人理会。他用的是最简单的例子：两家企业卖同样的泉水，各自在猜测对方产量的同时决定自己生产多少。1883年，约瑟夫·伯特兰反驳说，企业定的是价格而不是产量，由此得出的答案截然不同。弗朗西斯·埃奇沃思则表明，价格博弈可能根本没有一个稳定的落点。把价格接受假设拿掉之后的那个基准，就是寡头理论。
看古诺的双寡头模型：需求为 $P = a - b(q_1 + q_2)$，边际成本 $c$ 为常数。企业1把 $q_2$ 当作给定，选择 $q_1$ 来最大化 $\pi_1 = (a - b(q_1+q_2) - c)\,q_1$。它的最优反应是
$$q_1^{*}(q_2) = \frac{a - c}{2b} - \frac{q_2}{2}.$$由对称性，企业2有一条镜像的规则。纳什均衡就在两条最优反应曲线相交的地方，此时每家企业对另一家的猜测恰好都是对的：$q_1^{*} = q_2^{*} = \tfrac{a-c}{3b}$。总产出落在垄断水平和完全竞争水平之间，两家企业竞争掉了一部分垄断加成，但没有竞争掉全部。
两家企业都得在不知道对方会怎么做的情况下决定自己要生产多少。产得多了，市场被灌满，价格塌下来，两家一起吃亏。产得少了，利润就白送给了对手。于是每家都停在一个数量上，这个数量是它对自己预期中对方行为的最佳回应。市场最终停在双方的预期恰好都成真、谁也不想再改的那一点上。结果落在舒服的垄断和你死我活的竞争之间：确实有竞争，但不足以把加成抹掉。
现在，去掉商品同质这条假设。1933年，爱德华·张伯伦和琼·罗宾逊在大西洋两岸各自独立地加进了产品差异化：现实中大多数消费品市场，装满的都是相近但并不相同的替代品，几个牌子的牙膏，几家互相抢客的咖啡馆，几款彼此竞争的手机。每个卖家对自己那件有差异的产品都握着一小片垄断力，同时又面对着把利润竞争掉的自由进入。这就是垄断竞争，你日常购物所在的那个经济，它描述到的部分比两个纯粹基准都多。这一整套分类的正式落脚处，即完全竞争、寡头、垄断竞争，在《经济学》第6章（市场结构与博弈论）。瓦尔拉斯式的一般均衡基准在第11章 §11.5。这条学脉，即瓦尔拉斯与马歇尔的形式化、古诺与埃奇沃思的寡头理论、罗宾逊的不完全竞争，走在《经济思想史》第5章（边际革命与形式化）里。
把瓦尔拉斯基准按它最强的形式来读，因为现代人的条件反射是把它归进“市场是完美的这种傻假设”一栏，而这个反射扔掉的，正是这条脉络后面全部内容所立足的东西。一般均衡是那项奠基性的成就，福利分析之所以可能，全靠它。第一福利定理说，任何竞争均衡都是帕累托有效的：一个无人主事的分散市场，能够达到这样一种配置，任何中央计划者要想改进它，都必须让某个人变得更差。这是社会科学中最深刻的结果之一。它是亚当·斯密那只看不见的手的严格版本，而证明它需要瓦尔拉斯建起来的那套分析工具。第二福利定理更进一步：你可能想要的任何一种有效配置，只要起始分配对了，都可以由竞争市场达到。正是这两个定理，使得“一个逼近竞争效率的市场”在三个阶段之后仍然是一个说得通的设计目标。
瓦尔拉斯很清楚，没有哪个拍卖人会喊出经济体里每一件商品的价格。他是在把协调问题单独拎出来，即价格在没有计划者的情况下究竟怎么可能安定下来，并且给它配上一个最简单的、也许能解决它的机制，好让这个问题至少能被研究。这个基准所受的限制是狭窄的。它是对价格动态的错误描述，真实价格不会靠朝着一个交易前的均衡摸索来调整。它也是对结构的错误描述，因为真实市场里只有少数几家企业，卖的是有差异的商品。所以寡头模型和垄断竞争模型，就是为基准理想化掉的那些市场准备的分析工具，它们盖在基准立起的那个参照点之上，而这个参照点从未被丢弃。
目前的结论
已经定下来了，并且有理由。竞争基准作为福利参照立住了，后来的一切都拿它来衡量，它有边界，但没有被驳倒。寡头模型和垄断竞争模型是为它抽象掉的那些市场准备的分析工具。到1933年，经济学手里有了一套市场结构的描述性分类，即完全竞争、垄断、寡头、垄断竞争，一个能把任何行业归进某个格子的归档系统。它手里没有的，是一套关于企业在某种结构内部如何作策略行动的严格理论（古诺和伯特兰在最基本的那个情形上就不一致，而没有人说得出谁对），也没有研究真实行业的经验研究纲领。接下来的半个世纪去补这两个缺口，而且顺序是反的。
这套分类提出了两个它自己答不了的问题：在一个真实行业里，结构是否决定企业的行为方式和市场的表现好坏？还有，当少数几家企业彼此算计时，理论预测的是什么？答案来得是倒着的。先是一个自信的经验研究纲领，它以为自己已经知道因果箭头指向哪边；然后是一次换问法，表明箭头是反着走的；再然后是一场把整个领域重建在博弈论上的革命，去查清它一直漏掉了什么。
反着走的那支因果箭头
“在所描述的条件下，没有理由认为那些大企业……是靠限制产量来维持自己的市场份额的……更优的绩效得到的回报，就是更大的市场份额和更高的回报率。集中度与盈利能力之间的相关……本来就是意料之中的。”
— 转述自哈罗德·德姆塞茨在“产业结构、市场竞争与公共政策”一文中的论证，《法与经济学杂志》，1973年
有整整一代人的时间，反垄断靠的是一个经验发现：集中的行业赚取更高的利润。当时的解读既明显又影响深远，集中导致垄断利润，所以要阻止合并、拆开巨头。德姆塞茨一步就把这个发现里外翻了过来。要是高效率的企业之所以做大，恰恰因为它们高效率，而它们赚到高利润也出于同一个原因呢？那么集中和盈利能力就都是效率的结果。那个为几十年结构主义合并政策提供依据的相关关系，正是大企业只是更强时你会看到的东西。人人一直照着读的那支因果箭头，可能是反着走的，而一个把整套经验研究纲领建在它上面的领域，必须弄清楚到底是哪一边。
德姆塞茨挑战的那个纲领，是结构-行为-绩效（SCP），由爱德华·梅森（Edward Mason）和乔·贝恩（Joe Bain）从1940年代起在哈佛建起来：测出一个行业的结构，也就是它有多集中，你就能预测它的行为，即企业怎么做事，以及它的绩效，即价格、利润、创新。这是把产业组织变成一门经验科学的第一次认真尝试。但SCP自身的分析工具很薄，它是一个跑回归的框架，底下没有关于行为的理论。取代它的那套关键分析工具，是非合作博弈论，它对企业的策略行动给出了严格的说明。纳什均衡提供解概念；展开式（序贯）博弈让你能刻画谁先动、谁回应；第三件工具是可信承诺。一个在位者威胁说对手一进来就把市场灌满，这是虚张声势，灌满市场同样会伤到在位者自己，除非那份产能已经建好、钱已经沉下去收不回来，于是用掉它反而成了在位者自己的最优选择。这时威胁才是可信的，进入者不必开一枪就退了出去。
把进入威慑写成一个序贯博弈。在位者先选产能；进入者再选进或不进；然后是各自的支付。用逆向归纳来解。如果在位者没有事先承诺产能，那么进入之后打一场价格战给在位者带来的收益低于容纳，所以“我会打”不是子博弈完美的，进入者会进来，因为它知道这个威胁是空的。如果在位者已经把产能沉下去了，激进生产的边际成本已经付过，于是打就成了在位者进入之后的最优反应。这时威胁是可信的，唯一的子博弈完美结果翻转为不进。
威胁要管用，前提是你已经把身后的桥烧掉了。对一个想进来的竞争者说“你敢进，我就在价格上把你压死”，这是空话，价格战同样伤你，所以等他真进来了，你反倒宁愿讲和，而他也知道这一点。但如果你在他作决定之前就把那座多出来的工厂建起来，把钱沉下去，收不回来，那么压死他就真的成了你的最优选择。说话的是那座工厂。对手读出了这份承诺，于是不来了。可信地做得到的事，和只是嘴上说说的事，这两者之间的落差，正是SCP的回归永远看不见、而博弈论摆在中心的东西。
到1980年代初，让·梯若尔和“新产业组织”已经在这个基础上把整个领域重建了一遍。掠夺、进入威慑、抬高对手成本、产品增殖，这些SCP只能含糊指一指的策略行为，变成了可以建模、可以求解的东西。这套博弈论工具箱在《经济学》第6章 §6.8。这条学脉分在两处：打断了SCP因果箭头的芝加哥批评，即斯蒂格勒和德姆塞茨，在《经济思想史》第10章（反革命）。梯若尔的博弈论重建则安家在第11章（信息经济学与博弈论革命）。
关于SCP的那个省事说法，“已经被推翻的、认为大企业就是坏的那种信念”，是一幅漫画，错过了这个纲领真正的成就。梅森和贝恩是最早坚持产业组织必须是一门经验学科的经济学家，坚持关于市场的主张要拿真实行业的数据来检验。他们提的那些问题今天依然是对的：集中度能预测盈利能力吗？能预测价格吗？能预测创新的速度吗？SCP给了反垄断第一块以证据为基础的立足地，在它之前，合并政策靠的是直觉和辞令。对于二十世纪中叶那个钢铁、汽车、铝业里都是稳定寡头的世界，结构主义的解读是一个合理的一阶近似，而且它组织起了极大量细致的经验研究。
德姆塞茨、斯蒂格勒和芝加哥学派与其说驳倒了SCP，不如说补全了它。他们表明，SCP当作因果来读的那个从结构到绩效的相关关系，同样与反向的箭头相容：高效率的企业变得集中，并赚到高回报。这说明SCP的识别是不完整的，一个被它作因果解释的相关关系，需要一套行为理论才能解释对。而梯若尔的新产业组织正好提供了这套理论：关于策略行为的严格说明，即掠夺什么时候是真的、什么时候是神话，进入威慑什么时候管用，承诺如何塑造行为，它让你能说出在某个具体行业里箭头是朝哪边走的，而不是假定它。SCP提出了问题。博弈论的产业组织带着像样的识别回答了它们。
新布兰代斯主义的复兴，是向博弈论取代掉的那个结构主义框架的一次部分回归
莉娜·汗时期的联邦贸易委员会和2023年《合并指南》恢复了一条结构主义推定：高集中度本身就是阻止一桩合并的理由，不需要详细的行为故事。用分析工具的语言说，这是朝SCP的一次部分回退，把结构读成那件要紧的事，而这正是芝加哥批评和博弈论产业组织弄复杂了的一步。这究竟是对四十年执法不足的必要纠正，还是退回到德姆塞茨揭出的识别问题，是一场活的争论，它属于反垄断救济那个问题，有自己的导读来处理。
目前的结论
已经定下来了，并且有理由。博弈论的产业组织是研究真实市场的标准工具，而它挣得这个位置，靠的是把SCP开创的经验研究纲领严格化。教训是结构是内生的：一个市场上有几家企业，本身就是行为和效率的结果。所以活的问题都坐落在策略行为这个层面上，即企业做了什么、那是不是反竞争的，这正是博弈论能严格化、而单凭一个集中度指标永远定不下来的东西。到1980年代，经济学终于有了1933年那套分类所缺的东西：一套真正的行为理论，并且拿真实行业检验过。但到此为止的整个事业，即基准、寡头模型、SCP、博弈论重建，共用同一个取向。它描述。它把市场的规则当作给定的，然后问市场会怎么样。下一步要问的那个问题，这个取向从结构上就问不出来。
博弈论让经济学家能预测企业在一组给定规则之内会做什么。然后有人把问题翻了过来。不再是把规则当作固定的去预测结果，而是把你想要的结果当作固定的，再去设计出能产生它的规则，哪怕手里握着信息的人有充分的理由撒谎。这次翻转，把经济学从一门描述市场的科学，变成了一门建造市场的科学。
那次翻转
“第二价格拍卖……有一个了不起的性质：每一个竞买人的利益所在，恰恰是报出这件物品对他而言究竟值多少。”
— 转述自威廉·维克里，“反投机、拍卖与竞争性密封投标”，《金融学杂志》，1961年
办一场密封投标拍卖，出价最高的人赢，但付的是第二高的那个报价。维克里证明，在这条规则下，每个竞买人的最优策略就是写下自己真实的估值，不用往下压，也不用猜别人会怎么出。诚实在这里是占优策略，也就是不管别人怎么做都最好的那一步。维克里1961年描述的这个机制，实质上就是eBay代理出价的运作方式，也是谷歌广告拍卖配置万亿次展示的方式。维克里不是描述一个市场再预测它的行为。他设计了一条规则，去产生他想要的行为，即如实披露，并且证明它真会产生。
机制设计把经济学一直在解的那个问题翻了过来。实证理论把规则当作给定的，问它们会产生什么结果。机制设计把结果当作给定的，比如说一个有效率的配置，然后问：有哪些规则，能让这个结果成为它们的均衡，而且是在参与者自利、并且握有他们会加以利用的私有信息的前提下？列奥尼德·赫维茨给这道紧约束起了名字，叫激励相容。一个机制要能用，前提是说真话，或者按设计者所需要的方式行事，符合每个参与者自己的利益。让这场搜寻变得可做的那个结果，是显示原理：任何机制能实现的结果，都可以由一个“直接”机制实现，参与者在其中只需报告自己的私有信息，而说真话是最优的。于是设计者永远不必去搜索所有可能博弈构成的无穷空间，只需搜索激励相容的直接机制这个小得多的空间。
为什么在维克里的第二价格拍卖里说真话是占优的。设竞买人 $i$ 的估值为 $v_i$，$b_{-i}$ 为对手中的最高报价。竞买人 $i$ 只有在赢的时候才付 $b_{-i}$，所以她的报价只影响她是否赢。若 $v_i > b_{-i}$，她想赢（剩余为 $v_i - b_{-i} > 0$），报 $b_i = v_i$ 就能拿下。报得更低有丢掉一件有利可图的物品的风险，报得更高也压不低价格。若 $v_i < b_{-i}$，她想输，而 $b_i = v_i$ 保证了这一点。报得更高则有以亏本的价格赢下它的风险。无论哪种情况，$b_i = v_i$ 都是弱占优策略，不管别人怎么做它都最优。
维克里-克拉克-格罗夫斯机制把这一点推广到任意数量的物品：每个参与者支付自己给其他所有人带来的外部性，也就是有她参与和没有她参与时其他人福利之差，这使得如实报告成为占优策略，配置也是有效率的。迈尔森的收入等价定理接着表明，在标准条件下，一大类拍卖，包括第一价格、第二价格等等，给卖方带来的期望收入都相同。
诀窍是把规则安排成撒谎只会害了自己。在第二价格拍卖里，你的报价决定你是否赢，但你要付的价格是别人定的，所以把报价往下压，只会冒着丢掉一件你本来愿意按那个价格买下的东西的风险。往上抬，只会冒着以超过它对你价值的代价赢下它的风险。说真话在每个方向上都是安全的一步。VCG的想法把它推广开来：让每个人为自己赢下东西给其他所有人造成的损害付费，于是每个人的自利忽然都指向了诚实。设计者不必信任任何人，也不必知道他们想要什么，规则会把真话抽出来，有效率的结果顺带就落下来了。
埃里克·马斯金补上了第三条腿，实施理论，它问的是：一个想要的结果究竟在什么时候能被做成均衡，而且是唯一的均衡，从而让精明的参与者无法闪进另一个均衡里去。2007年的诺贝尔经济学奖同时授予赫维茨、马斯金和迈尔森，表彰他们创立了这个领域。完整的分析工具，即显示原理、VCG、最优拍卖与收入等价，都在《经济学》第12章（机制设计与市场设计）的§12.1、§12.3和§12.4。机制设计作为经济学那次大翻转的学脉，在《经济思想史》第11章（信息经济学与博弈论革命）。这一切底下都压着一个假设：行为人是策略理性的，他们对激励作出反应，而且除非规则让说真话有利可图，否则他们会把自己知道的事藏起来。行为人是不是真有那么理性，本身就是跨学科争论的对象：理性在哪里都是同一回事吗？
机制设计翻转的，是第1、2阶段一路建起来的整个实证理论传统。这个传统值得以最强的形式来读。它没有失败。那项描述并预测的事业，即竞争市场如何配置、寡头会做什么、进入威慑什么时候管用，是这个世纪一项重大的智识成就。它告诉你某种拍卖形式会产生什么，某桩合并要付出多少代价，某个行业会怎样回应一次价格冲击。1960年一位讲道理的经济学家完全可以说：这就够了。经济学的工作是理解市场，而我们做得越来越好。
占上风的回应是：实证理论有一个结构性的盲点，按它自己的话语看不出去。实证产业组织能告诉你某种频谱拍卖形式会把牌照配置得不足，或者某条学校分配规则会招来钻空子，你递给它任何一组规则，它都能诊断。它从结构上做不到的，是回答下一个问题：我们该采用哪一组规则？“这个市场会怎么样？”和“我们该建哪些规则？”是两个不同的问题，前一个问题上的本事再大，也交不出后一个的答案。当你不再把规则当作屋子里现成的家具，而开始把它当作选择变量，你得到的就是机制设计。它没有推翻实证理论，它需要实证理论，因为你没法在预测不了一条规则会诱发什么行为的情况下去设计它。它补上了实证理论留在桌上的那个问题，而答案原来是可以建出来的。
目前的结论
把规则当作选择变量、把激励相容当作紧约束，经济学由此获得了实证理论从未有过的一种规范工程能力：能够说出该写什么样的规则，好让市场做你想要它做的事。显示原理把搜寻范围缩到激励相容的直接机制，使设计问题变得可解；VCG给出了一个标准的、既有效率又诚实的机制；收入等价则给了卖方一个关于不同拍卖形式能交付什么、不能交付什么的锐利结果。2007年的诺贝尔奖标志着这个领域的成熟。但这份裁断带着一句警告：黑板上一个优雅的机制还不是一个运转着的市场。定理预设了它自己的条件。而一个制度必须在与真实竞买人、真实偏好以及定理抽象掉的真实摩擦的接触中活下来。证明与制度之间的这道落差，正是工程所在的位置，也是理论撞上它没有预见到的问题的位置。
收入等价是一个定理。美国联邦通信委员会以数百亿美元卖出频谱；一颗肾脏通过一串陌生人组成的链条找到它的受者；一个孩子由一套让诚实成为最佳策略的算法安排进学校，这些是制度，今天正在运转。数学正是在这里离开黑板，开始把真实的东西配置给真实的人。也正是在这里，理论撞上了一个三百年之久的异议一直等着要命名的那道界限。
作为工程的市场设计
“一个需要肾脏的病人，可能有一位愿意捐献、但肾脏并不相容的捐献者。两对这样不相容的搭档，也许可以交换肾脏，各自的捐献者捐给对方本来要救的那个人……由一位非定向捐献者发起的更长的链条，能让一次慷慨之举带来许多例移植。”
— 转述自阿尔文·罗思对肾脏交换项目的叙述（2012年诺贝尔经济学奖）
跟着一条链条走一遍。一位妻子想把肾脏捐给丈夫，却不行，血型不对。在别的地方，同样的悲剧反过来上演一遍。一位非定向捐献者，也就是一个把肾脏捐给不特定对象的陌生人，启动了一条链条：他的肾脏给了那位丈夫，妻子的肾脏给了下一位相容的病人，那位病人自己那个愿意捐但不相容的捐献者再把肾脏往前传，一路传下去。这样的链条已经带来了数以千计本来根本不会发生的移植，受益的是那些带着一个捐献者和一纸死刑判决走进门来的搭档。没有任何价格易手，卖肾在几乎所有地方都是非法的。组织起这条链条的是一套算法，由经济学家建成，跑的是这里所讲的匹配理论。这是一个由经济学家设计并且开动起来的市场，此刻正在让人活下去。
有些最重要的市场根本没有价格。医生与医院、学生与学校、捐献者与病人，都是双边匹配，其中货币要么不存在，要么非法，要么根本不相干。对付这类市场的工具是延迟接受算法，即戴维·盖尔和劳埃德·沙普利1962年的结果。它产生一个稳定匹配：不存在这样一对行为人，双方都宁愿抛下各自被配到的对象而彼此结对。它还有一个把它从理论变成基础设施的性质，它对提议的那一方是防策略的，所以那一方的最优选择就是交出自己真实的排序。
延迟接受算法，提议方版本，写成一段简短的流程：
- 每个提议方向尚未拒绝过自己的对象中最偏好的那一个提出申请。
- 每个接收方暂时握住目前为止自己最偏好的那份申请，拒掉其余的，这样更好的提议方仍然可能到来。
- 每个被拒的提议方转向自己的下一个选择提出申请。接收方拿它和手里握着的那份重新比较。
- 重复直到没有提议方被拒。结果是稳定的，而且是提议方最偏好的那个稳定匹配。对这一方来说，说真话是占优策略。
所有人同时向自己最中意的对象提出申请。被申请的那一方留住手上目前最好的一份，但门开着，谁也没被锁死，所以更好的匹配还可能出现。被拒的人去敲自己下一个中意的门，握着申请的人只要来了更好的就换。只有在没人想再换、也不会有更好的申请到来的时候，音乐才停。因为谁也不会被早早的一个选择锁死，在排序上撒谎没有任何好处，你没法靠钻空子拿到一个诚实时拿不到的对象。正因如此，一家医院、一个学区或者一个移植网络，才可以把真实的偏好交给算法，并且相信它给出的结果。
阿尔文·罗思把这套东西变成了一个经验工程纲领：弄清真实的匹配市场为什么会散架，也就是要约一年比一年提前，直到整个市场乱成一团，以及该怎么修。他说明了波士顿旧的择校机制为什么可被操纵，它奖励那些策略性地把学校排错顺序的家长，也说明了延迟接受的设计为什么不可被操纵，这促使波士顿和纽约在2000年代改用防策略的系统。1998年他重新设计了全国住院医师匹配项目（NRMP），使得每年数以万计的毕业医生由一套算法安排到岗。在拍卖这一侧，保罗·米尔格罗姆和罗伯特·威尔逊，即2020年诺贝尔奖得主，设计了美国联邦通信委员会的频谱拍卖，自1994年以来筹得数百亿美元，同时把牌照配置得有效率，并且直面了纯理论没有浮现出来的问题，比如暴露问题：一个必须同时拿到两块相邻牌照才有价值的竞买人，可能赢下其中一块却拿不到另一块，结果被困住，为一块没用的半成品付了过高的价，组合时钟拍卖的重新设计正是为解决它而造的。匹配与拍卖的分析工具在《经济学》第12章 §12.5（匹配）和§12.4（拍卖）。市场设计的学脉，即罗思、米尔格罗姆、威尔逊，在《经济思想史》第11章（信息经济学与博弈论革命）。
对到此为止建起来的一切，有一个长期存在的异议，值得给足分量。1945年，弗里德里希·哈耶克论证说，核心的经济问题是分散知识的运用：真正要紧的信息，即特定时间地点的具体情况、只可意会的诀窍、转瞬即逝的局部条件，只以碎片的形式存在，散在千百万人的头脑里，从来不会以汇总的形式呈现给任何一个头脑。在哈耶克的解读里，价格体系之所以是奇迹，是因为它在无人掌握这些零散知识的情况下把它们协调了起来，这是一种没有任何设计者建造过的自发秩序。从这个位置看，一个被设计出来的市场是一个正在运行的矛盾。设计者必须自认为知道值得追求的目标，也知道信息的结构，知道到足以把规则造出来，而知识问题说的是，一般而言他们做不到。在一个哈耶克主义者看来，这项工程主张的那份自信恰恰是马脚，是换了一身新装的计划者的自负。
这个异议有一个真实的内核，诚实的裁断必须承认它。这里所说的那些被设计出来的市场，恰恰是在相关知识能够通过机制被引出来的地方才管用。报价披露估值；排序清单披露偏好；算法从握有分散信息的人那里把信息抽出来。这样看，激励相容的设计是知识问题的一个部分解，是一套把局部私有知识拉进一个协调配置的分析工具，而不需要有哪个计划者宣称自己事先就知道这些知识。频谱拍卖和住院医师匹配之所以成功，正是这个原因。但那个内核仍然立着：在相关知识无法被引出来的地方，即那些真正只可意会、不稳定、或者以任何报告都捕捉不到的方式被策略性藏起来的偏好，设计就会退化，哈耶克在这条界线上是对的。这里的主张是：在知识能被逼着自己显露出来的那一大类重要问题上，设计管用。在不能的地方，它就到头了。完整的哈耶克纲领，即整个经济范围内的知识问题、自发秩序优于设计秩序的论证，在奥地利学派说对了什么？里作了论证。在这里，它只是给这项工程主张划出范围。
“市场设计是经济学作为一门真科学的证明”，这句话在样板案例上是对的，在适用范围上是危险的
围绕2007年和2020年的两次诺贝尔奖，以及罗思的《共享经济：市场设计及其应用》，一个自信的主张成形了：拍卖和匹配证明经济学是一门造出管用的东西的工程学科，就像物理学造桥一样。在它的样板案例上，这个主张是真的，频谱拍卖、住院医师匹配、肾脏链条和择校都是真实的制度，配置得比它们取代掉的东西更好。滑脱发生在推广上：认为同一套工具箱同样干净利落地延伸到我们可能拿它去对付的每一个配置问题。
目前的结论
这条脉络落在了作为市场工程的经济学上，而这门工程是管用的。频谱拍卖、住院医师匹配、肾脏交换和择校，都是配置着真实事物的真实制度，而且配置得比它们取代掉的东西更好。这就是这门学科作为一门应用科学在运转：一条从黑板上的定理一直通到世界上一个被开动起来的市场的链条。频谱拍卖和住院医师匹配管不管用，主流并没有活的分歧。它们管用，而这份共识是挣来的。
敞着的问题落在往里一层：不是它管不管用，而是这套工具箱能伸多远。第一，工具箱能推广到多远：匹配、单物品拍卖和频谱拍卖都是胜绩，但这门工程能否同样干净利落地延伸到医保交易所或碳市场，在量级上是有争议的。第二，具体设计内部那些活的工程争论，即波士顿机制与延迟接受之间的择校之争、组合时钟拍卖专为修复的那个暴露问题，这些争论的样子，就像造桥的工程师争论载荷容限，而并不怀疑桥承得住。第三，哈耶克那条范围警告按它诚实的分量：设计在相关知识能通过机制被引出来的地方管用，那是一大类重要的问题。还有一条工程视角容易滑过去的政治经济学警告：一个机制优化的是某个人选定的目标，而“谁来选这个目标？”是一个真问题，设计的优雅可能把它遮住。每一步都把经济学从描述市场推向设计市场，而这场迁移就是这门学科变成一门工程科学的过程，同时这项工程主张的范围被诚实地划了出来。
裁断
这条脉络的全貌：四步，中途一次性质的转变，从描述市场转向设计市场：
- 竞争基准。瓦尔拉斯的一般均衡和那两个福利定理，立起了后面每一级台阶都要拿来衡量的参照点。古诺、伯特兰、埃奇沃思、张伯伦和罗宾逊补上了寡头和差异化产品，也就是为基准理想化掉的那些市场准备的分析工具。这是一套描述性分类，但没有关于策略行为的理论。
- 经验研究纲领与博弈论重建。结构-行为-绩效提出了对的经验问题。德姆塞茨和芝加哥学派的批评打断了它的因果箭头，即高效率的企业会变得集中，所以结构是内生的，而梯若尔的新产业组织把这个领域重建在博弈论上，补全了这个纲领。
- 那次翻转。机制设计，包括赫维茨、马斯金、迈尔森，维克里的第二价格拍卖，VCG，收入等价，把问题从“这个市场会怎么样？”翻成“我们该采用哪些规则？”，经济学正是在这一刻不再只是描述市场，而开始设计市场。
- 作为工程的市场设计。罗思的匹配市场、美国联邦通信委员会的频谱拍卖、住院医师匹配、肾脏交换和择校，把这次翻转兑现成了今天仍在运转的制度，理论变成了运转着的市场，而这项工程主张的范围，由机制能引出什么样的知识来划定。
这是经济学最干净的成功故事之一。基准从未被驳倒，它成了福利的标尺。SCP成了博弈论使之成熟的那个纲领。机制设计补上了实证理论问不出来的那个问题，并且证明答案是可以建出来的。每一级台阶都保住了管用的东西，又补上了前一级从结构上所缺的东西，而终点是一个你可以指着看的市场，它开着，此刻正在配置频谱、肾脏和学位。
从描述市场如何运作，迁移到设计规则好让市场产生一个选定的结果，这就是经济学变成一门工程科学的过程。两半都成立：在相关知识能通过机制被引出来的那一类问题上，这门工程管用，而且可以反复验证。而那一类问题虽然又大又重要，却不是全部，哈耶克划的那条界线是真的，“谁来选这个目标？”这个问题也是真的。