2013年6月29日追記: 先に証明した補題の方では実装上遅くなってしまうことが、考えていてわかったので修正しました。 内容は表題の通り。非常に初歩的な内容なのだが、某所で説明した際に、一部の「なぜ?」という疑問に答えられなかったので、その鬱憤を晴らしてみる。 なお、Pythonで実装したコードはここにある。(あとで紹介する補題を適用していないので、このままだと遅い) 参考にしたリンクは以下の通りである。 1.Closest pair of points problem - Wikipedia, the free encyclopedia 2.Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, and Clifford Stein. Introduction to Algorithms, Third Edition. MIT