math314のブログスマートフォン用の表示で見るmath314のブログ主に競技プログラミング,CTFの結果を載せますこの広告は、90日以上更新していないブログに表示しています。Decomposition最近アツイ*1、木を分解する手法の一つ。HL-decompositionとか呼ばれている。アルゴリズムedgeを"Heavy"と"Light"に分けて"Heavy"edgeで繋がれた頂点を一つにまとめるの2段構成。以下、根付き木について考える。"Light"と分ける。*2図で表すと、以下のように部分木のサイズを計算して...こんな感じに"Heavy"と"Light"に分ける。"Heavy"edgeで繋がれた頂点を一つにまとめると、こうなる。n)になる一つにまとめられた頂点群は、分岐のないパスになるという条件が成り立つ。n)c)同じ高さの頂点が分解した部分木に含まれていないことと同値である。pについて、pからu,pからvにそれぞれ"Heavy"edgeが伸びている事になる。反するので矛盾、つまり、一つにまとめられた頂点群は、根からの深さが1刻みの一直線のパスになる。月別アーカイブmathjaxはてなブログをはじめよう!math314さんは、はてなブログを使っています。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。