2012-02-06から1日間の記事一覧

A Constructive Proof of the Cycle Double Cover Conjecture

Alexander Souza http://arxiv.org/abs/1202.0569タイトルを見て2つ驚いた.1つはCycle Double Cover Conjectureが解けたこと.もう1つはconstructiveであるということ.実はこんなタイトルがついているので,non-constructiveな証明が既に知られていたのか…