Klaus Dohmen http://arxiv.org/abs/1004.3416 Chordalグラフのクリークの族に対して,Bonferroniの不等式のようなものが成り立つ,ということを言っている.いわゆる包除原理は球体 (ball) のcontractibilityと同じことをいってるようなものなので,chordalグラフのクリーク複体がcontractibleであるということを知っていれば (これは私が関連する論文を書いたEdelman-Reiner ('00) の結果である),この論文の結果はさほど驚きではない,と思う. Russell Impagliazzo, Valentine Kabanets http://eccc.hpi-web.de/report/2010/072/ さて,離散数学における確率論的手法の分野において「constructive proof」が最近注
![2010-04-21](https://cdn-ak-scissors.b.st-hatena.com/image/square/06a15c64ba0ceec233d86d71001ebb29a9dcbf5d/height=288;version=1;width=512/https%3A%2F%2Fcdn.blog.st-hatena.com%2Fimages%2Ftheme%2Fog-image-1500.png)