带标量乘法门的 tropical 电路：对最大权重有向生成树和最大权重二部完美匹配的指数级下界证明

summary_zh: 研究团队证明了带标量乘法门的 tropical 电路在计算最大权重有向生成树和二部完美匹配时，存在指数级规模下界。 作为推论，该研究确立了单调与非单调 maxout 神经网络之间的指数级规模差异，揭示了强制凸性约束的输入凸神经网络（ICNN）在表达特定函数时可能需要指数级更大的网络。