AtCoder Beginner Contest 215

发表于2021-08-30更新于2023-09-15字数统计2.1k阅读时长23分

发表于2021-08-26更新于2023-09-15字数统计2.4k阅读时长25分

AtCoder Beginner Contest 213

发表于2021-08-24更新于2023-09-15字数统计3.3k阅读时长36分

发表于2021-08-05更新于2023-09-17字数统计4.9k阅读时长50分作者Shane

在数值分析中，拉格朗日插值法是以法国18世纪数学家约瑟夫·拉格朗日命名的一种多项式插值方法。如果对实践中的某个物理量进行观测，在若干个不同的地方得到相应的观测值，拉格朗日插值法可以找到一个多项式，其恰好在各个观测的点取到观测到的值。上面这样的多项式就称为拉格朗日（插值）多项式。

发表于2021-08-05更新于2023-09-15字数统计1.5k阅读时长16分

发表于2021-07-27更新于2023-09-15字数统计2.2k阅读时长24分

发表于2021-07-27更新于2023-09-15字数统计2.5k阅读时长25分

SAT 是适定性问题 (Satisfiability) 问题的简称。一般形式为 $k$ - 适定性问题，简称 k-SAT。而当 $k > 2$ 时该问题为 NP 完全的。所以我们只研究 $k = 2$ 的情况。

发表于2021-07-17更新于2023-09-15字数统计1.6k阅读时长15分

发表于2021-04-30更新于2023-09-15字数统计2.3k阅读时长22分

发表于2021-04-30更新于2023-09-15字数统计1.1k阅读时长11分