A projection operator is a linear mapping from a linear space X to X that then s…
分析中很多问题都可以用取平均来解决，但是能用取平均解决的问题，本质上是trivial的。 Lonely Runner conjecture本质上是一个不能用取平…
