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