鸡兔同笼终于可以靠「猜」了！佐治亚理工学者求解新方法获顶会最佳论文奖

「猜」也是解决问题的一种方法。

 

 

「今有雉兔同笼，上有三十五头，下有九十四足，问雉兔各几何？」

 

这是《孙子算经》中鸡兔同笼问题的经典描述。我们知道，二元一次方程组可以解决这个问题。求解线性系统有矩阵乘法等多种方法，但或许你不知道，靠「猜」也是可以的。

 

来自佐治亚理工学院的两位研究者给出了一种「猜」的方法，并斩获算法研究顶会 SODA 2021 的最佳论文奖。

 

 

论文地址：https://arxiv.org/pdf/2007.10254.pdf

 

正如该方法的研究者之一 Vempala 所说，「线性系统是现代计算的主力军」，在实际生活中的应用是非常广泛的。建造一座坚固的桥梁、一架隐蔽的飞机都需要解决包含数百万个方程的线性系统。此外，线性系统与许多计算机科学问题相关，这些问题涉及在约束系统内为一组变量寻找最佳