2012-06-01から1ヶ月間の記事一覧

AOJ 1128 Square Carpets

AOJ

探索っぽい問題だが,全体集合の部分集合による被覆と考えれば,包除原理で解ける. 序盤 配置可能な正方形をBitSetで全列挙する. 中盤 極大集合(正方形)だけを残す. あるマスを埋められる正方形が1つしか無い場合,その正方形を無条件で採用する. 更新…

Inclusion--Exclusion Algorithms for Counting Set Partitions (Part 1)

A. Björklund and T. Husfeldt. Inclusion--Exclusion Algorithms for Counting Set Partitions. FOCS 2006.備忘録がてら記事を書いていたら長くなったのでとりあえずPart 1.http://d.hatena.ne.jp/wata_orz/20120329 にて彩色数をで求めるアルゴリズムの論…

高速ゼータ変換

id:iwiwiさんの高速ゼータ変換に関する記事 http://topcoder.g.hatena.ne.jp/iwiwi/20120422/1335065228 が恥ずかしながら分からなかったので,自分なりに解釈した. やりたいこと 集合に関する関数があり,全集合について, を求めたい. コード for(int i=…