Submit Search
Upload
辺彩色
•
8 likes
•
9,014 views
Ken Ogura
Follow
JOIss2013グラフ理論班かつっぱ氏発表
Read less
Read more
Report
Share
Report
Share
1 of 38
Download now
Download to read offline
Recommended
続き (動的木編) はこちら http://www.slideshare.net/iwiwi/2-12188845
プログラミングコンテストでのデータ構造 2 ~平衡二分探索木編~
プログラミングコンテストでのデータ構造 2 ~平衡二分探索木編~
Takuya Akiba
ならし解析の話。 DequeをStack2つで実装した場合について追加や削除のならし計算量がO(1)であることを示す。 Accounting MethodとPotential Methodを説明。
Amortize analysis of Deque with 2 Stack
Amortize analysis of Deque with 2 Stack
Ken Ogura
グラフ:最小全域木
全域木いろいろ
全域木いろいろ
HCPC: 北海道大学競技プログラミングサークル
JOI春合宿2018講義資料
双対性
双対性
Yoichi Iwata
Union find(素集合データ構造)の解説です
Union find(素集合データ構造)
Union find(素集合データ構造)
AtCoder Inc.
2019年3月のJOI春合宿で行った講義のスライドです
充足可能性問題のいろいろ
充足可能性問題のいろいろ
Hiroshi Yamashita
情オリ2012春合宿講義資料
指数時間アルゴリズム入門
指数時間アルゴリズム入門
Yoichi Iwata
前編 (平衡二分探索木編) はこちら http://www.slideshare.net/iwiwi/2-12188757
プログラミングコンテストでのデータ構造 2 ~動的木編~
プログラミングコンテストでのデータ構造 2 ~動的木編~
Takuya Akiba
Recommended
続き (動的木編) はこちら http://www.slideshare.net/iwiwi/2-12188845
プログラミングコンテストでのデータ構造 2 ~平衡二分探索木編~
プログラミングコンテストでのデータ構造 2 ~平衡二分探索木編~
Takuya Akiba
ならし解析の話。 DequeをStack2つで実装した場合について追加や削除のならし計算量がO(1)であることを示す。 Accounting MethodとPotential Methodを説明。
Amortize analysis of Deque with 2 Stack
Amortize analysis of Deque with 2 Stack
Ken Ogura
グラフ:最小全域木
全域木いろいろ
全域木いろいろ
HCPC: 北海道大学競技プログラミングサークル
JOI春合宿2018講義資料
双対性
双対性
Yoichi Iwata
Union find(素集合データ構造)の解説です
Union find(素集合データ構造)
Union find(素集合データ構造)
AtCoder Inc.
2019年3月のJOI春合宿で行った講義のスライドです
充足可能性問題のいろいろ
充足可能性問題のいろいろ
Hiroshi Yamashita
情オリ2012春合宿講義資料
指数時間アルゴリズム入門
指数時間アルゴリズム入門
Yoichi Iwata
前編 (平衡二分探索木編) はこちら http://www.slideshare.net/iwiwi/2-12188757
プログラミングコンテストでのデータ構造 2 ~動的木編~
プログラミングコンテストでのデータ構造 2 ~動的木編~
Takuya Akiba
2013/09/12 PFI セミナー「平面グラフと交通ネットワークのアルゴリズム」
平面グラフと交通ネットワークのアルゴリズム
平面グラフと交通ネットワークのアルゴリズム
Takuya Akiba
プログラミングコンテストでの乱択アルゴリズム
プログラミングコンテストでの乱択アルゴリズム
Takuya Akiba
JOI夏季セミナー2016 コンピュータ・ジオメトリ
直交領域探索
直交領域探索
okuraofvegetable
大規模グラフアルゴリズムの最先端
大規模グラフアルゴリズムの最先端
Takuya Akiba
Chokudai search
Chokudai search
AtCoder Inc.
ZDD入門-お姉さんを救う方法
ZDD入門-お姉さんを救う方法
nishio
最小カットを使って「燃やす埋める問題」を解く方法について、問題とソースコードつきで、まとめました。ニコニコ生放送「TopCoderでプログラムしてみた」2000回記念放送の資料です。
最小カットを使って「燃やす埋める問題」を解く
最小カットを使って「燃やす埋める問題」を解く
shindannin
色々なダイクストラ高速化とありますが結局はRadixHeapの解説です
色々なダイクストラ高速化
色々なダイクストラ高速化
yosupo
slide of JOI summer seminar
ZDD基礎
ZDD基礎
reew2n
プログラミングコンテストでのデータ構造
プログラミングコンテストでのデータ構造
Takuya Akiba
最適輸送問題(Wasserstein 距離)を解く方法についてのさまざまなアプローチ・アルゴリズムを紹介します。 線形計画を使った定式化の基礎からはじめて、以下の五つのアルゴリズムを紹介します。 1. ネットワークシンプレックス法 2. ハンガリアン法 3. Sinkhorn アルゴリズム 4. ニューラルネットワークによる推定 5. スライス法 このスライドは第三回 0x-seminar https://sites.google.com/view/uda-0x-seminar/home/0x03 で使用したものです。自己完結するよう心がけたのでセミナーに参加していない人にも役立つスライドになっています。 『最適輸送の理論とアルゴリズム』好評発売中! https://www.amazon.co.jp/dp/4065305144 Speakerdeck にもアップロードしました: https://speakerdeck.com/joisino/zui-shi-shu-song-nojie-kifang
最適輸送の解き方
最適輸送の解き方
joisino
2013 JOI春合宿 二日目講義
様々な全域木問題
様々な全域木問題
tmaehara
勉強か?趣味か?人生か?―プログラミングコンテストとは
勉強か?趣味か?人生か?―プログラミングコンテストとは
Takuya Akiba
グラフ:フロー&カット
グラフネットワーク〜フロー&カット〜
グラフネットワーク〜フロー&カット〜
HCPC: 北海道大学競技プログラミングサークル
AtCoder Beginner Contest 023 解説
AtCoder Beginner Contest 023 解説
AtCoder Beginner Contest 023 解説
AtCoder Inc.
about van Emde Boas tree @JOIkakisemi2012
Nazoki
Nazoki
Ken Ogura
線形計画法入門
線形計画法入門
Shunji Umetani
二部グラフで最小点被覆、最大安定集合、最小辺被覆を具体的に構成する方法についてです。
二部グラフの最小点被覆と最大安定集合と最小辺被覆の求め方
二部グラフの最小点被覆と最大安定集合と最小辺被覆の求め方
Kensuke Otsuki
計算量
計算量
Ken Ogura
灘校パソコン研究部の夏合宿(2022)でしゃべった内容です。
競プロは社会の役に立たない+ベンチャー企業の話 (NPCA夏合宿OB講演).pdf
競プロは社会の役に立たない+ベンチャー企業の話 (NPCA夏合宿OB講演).pdf
catupper
競技プログラミング練習会2014 Normalで使ったスライドです。グラフと木に関する用語についてまとめています。
グラフと木
グラフと木
京大 マイコンクラブ
OSC 2014のLTで発表したスライドです。発表時のスライドの末尾に、関係するウェブページのURL一覧を追加してあります。iptablesにより競技プログラミングを行った試みに関する説明が主です。
色々なOSSで競技プログラミング
色々なOSSで競技プログラミング
nhirokinet
More Related Content
What's hot
2013/09/12 PFI セミナー「平面グラフと交通ネットワークのアルゴリズム」
平面グラフと交通ネットワークのアルゴリズム
平面グラフと交通ネットワークのアルゴリズム
Takuya Akiba
プログラミングコンテストでの乱択アルゴリズム
プログラミングコンテストでの乱択アルゴリズム
Takuya Akiba
JOI夏季セミナー2016 コンピュータ・ジオメトリ
直交領域探索
直交領域探索
okuraofvegetable
大規模グラフアルゴリズムの最先端
大規模グラフアルゴリズムの最先端
Takuya Akiba
Chokudai search
Chokudai search
AtCoder Inc.
ZDD入門-お姉さんを救う方法
ZDD入門-お姉さんを救う方法
nishio
最小カットを使って「燃やす埋める問題」を解く方法について、問題とソースコードつきで、まとめました。ニコニコ生放送「TopCoderでプログラムしてみた」2000回記念放送の資料です。
最小カットを使って「燃やす埋める問題」を解く
最小カットを使って「燃やす埋める問題」を解く
shindannin
色々なダイクストラ高速化とありますが結局はRadixHeapの解説です
色々なダイクストラ高速化
色々なダイクストラ高速化
yosupo
slide of JOI summer seminar
ZDD基礎
ZDD基礎
reew2n
プログラミングコンテストでのデータ構造
プログラミングコンテストでのデータ構造
Takuya Akiba
最適輸送問題(Wasserstein 距離)を解く方法についてのさまざまなアプローチ・アルゴリズムを紹介します。 線形計画を使った定式化の基礎からはじめて、以下の五つのアルゴリズムを紹介します。 1. ネットワークシンプレックス法 2. ハンガリアン法 3. Sinkhorn アルゴリズム 4. ニューラルネットワークによる推定 5. スライス法 このスライドは第三回 0x-seminar https://sites.google.com/view/uda-0x-seminar/home/0x03 で使用したものです。自己完結するよう心がけたのでセミナーに参加していない人にも役立つスライドになっています。 『最適輸送の理論とアルゴリズム』好評発売中! https://www.amazon.co.jp/dp/4065305144 Speakerdeck にもアップロードしました: https://speakerdeck.com/joisino/zui-shi-shu-song-nojie-kifang
最適輸送の解き方
最適輸送の解き方
joisino
2013 JOI春合宿 二日目講義
様々な全域木問題
様々な全域木問題
tmaehara
勉強か?趣味か?人生か?―プログラミングコンテストとは
勉強か?趣味か?人生か?―プログラミングコンテストとは
Takuya Akiba
グラフ:フロー&カット
グラフネットワーク〜フロー&カット〜
グラフネットワーク〜フロー&カット〜
HCPC: 北海道大学競技プログラミングサークル
AtCoder Beginner Contest 023 解説
AtCoder Beginner Contest 023 解説
AtCoder Beginner Contest 023 解説
AtCoder Inc.
about van Emde Boas tree @JOIkakisemi2012
Nazoki
Nazoki
Ken Ogura
線形計画法入門
線形計画法入門
Shunji Umetani
二部グラフで最小点被覆、最大安定集合、最小辺被覆を具体的に構成する方法についてです。
二部グラフの最小点被覆と最大安定集合と最小辺被覆の求め方
二部グラフの最小点被覆と最大安定集合と最小辺被覆の求め方
Kensuke Otsuki
計算量
計算量
Ken Ogura
灘校パソコン研究部の夏合宿(2022)でしゃべった内容です。
競プロは社会の役に立たない+ベンチャー企業の話 (NPCA夏合宿OB講演).pdf
競プロは社会の役に立たない+ベンチャー企業の話 (NPCA夏合宿OB講演).pdf
catupper
What's hot
(20)
平面グラフと交通ネットワークのアルゴリズム
平面グラフと交通ネットワークのアルゴリズム
プログラミングコンテストでの乱択アルゴリズム
プログラミングコンテストでの乱択アルゴリズム
直交領域探索
直交領域探索
大規模グラフアルゴリズムの最先端
大規模グラフアルゴリズムの最先端
Chokudai search
Chokudai search
ZDD入門-お姉さんを救う方法
ZDD入門-お姉さんを救う方法
最小カットを使って「燃やす埋める問題」を解く
最小カットを使って「燃やす埋める問題」を解く
色々なダイクストラ高速化
色々なダイクストラ高速化
ZDD基礎
ZDD基礎
プログラミングコンテストでのデータ構造
プログラミングコンテストでのデータ構造
最適輸送の解き方
最適輸送の解き方
様々な全域木問題
様々な全域木問題
勉強か?趣味か?人生か?―プログラミングコンテストとは
勉強か?趣味か?人生か?―プログラミングコンテストとは
グラフネットワーク〜フロー&カット〜
グラフネットワーク〜フロー&カット〜
AtCoder Beginner Contest 023 解説
AtCoder Beginner Contest 023 解説
Nazoki
Nazoki
線形計画法入門
線形計画法入門
二部グラフの最小点被覆と最大安定集合と最小辺被覆の求め方
二部グラフの最小点被覆と最大安定集合と最小辺被覆の求め方
計算量
計算量
競プロは社会の役に立たない+ベンチャー企業の話 (NPCA夏合宿OB講演).pdf
競プロは社会の役に立たない+ベンチャー企業の話 (NPCA夏合宿OB講演).pdf
Viewers also liked
競技プログラミング練習会2014 Normalで使ったスライドです。グラフと木に関する用語についてまとめています。
グラフと木
グラフと木
京大 マイコンクラブ
OSC 2014のLTで発表したスライドです。発表時のスライドの末尾に、関係するウェブページのURL一覧を追加してあります。iptablesにより競技プログラミングを行った試みに関する説明が主です。
色々なOSSで競技プログラミング
色々なOSSで競技プログラミング
nhirokinet
NPCA school festival 2013
PC解体
PC解体
Ken Ogura
NPCA #02
Moon
Moon
Ken Ogura
NPCALT大会 フーリエ変換の大まかな流れを中1にもわかってもらいたい
かけざん
かけざん
Ken Ogura
NPC AprilFool's Contest 解説
April2013
April2013
Ken Ogura
Simple Deque implementation with Haskell Haskellで両端キューを書いてみたはなし JOIss2015 珠玉班
Deque with Haskel
Deque with Haskel
Ken Ogura
NPCAprilFool'sContest解説
April2013
April2013
Ken Ogura
JOI講座1回目「やるだけ」
Yarudake
Yarudake
Ken Ogura
Search Kyuri
Trianguler
Trianguler
Ken Ogura
NPCA #02
Mage
Mage
Ken Ogura
実装をするときは 1.PCから離れて 2.機能を頭でイメージして 3.擬似コードは参考程度でコピペせず 4.if分岐が深くならないように設計して 実装しましょう。
Jissou
Jissou
Ken Ogura
Oの右側に穴をあけるとCなんだなぁ みつを
Cをやりましょう
Cをやりましょう
Ken Ogura
人間対Pc2
人間対Pc2
Ken Ogura
NPC AprilFool's Contes 2014 解説 https://judge.npca.jp/contests/problem/9
Npc april fool2014
Npc april fool2014
Ken Ogura
NPCA #02
Imo
Imo
Ken Ogura
AtCoder Beginner Contest 035 解説
AtCoder Beginner Contest 035 解説
AtCoder Beginner Contest 035 解説
AtCoder Inc.
AtCoder Regular Contest #003 D問題についてのスライドです。適当に解いて適当に理論つけて適当にネタをちりばめました。
ARC#003D
ARC#003D
nullmineral
競技プログラミング練習会2014 Normalで使ったスライドです。素集合データ構造であるUnion-Find木について説明しています。
素集合データ構造
素集合データ構造
京大 マイコンクラブ
topcoder&AtCoder meetup #0において発表した、プログラミングコンテストに登場したMajorizationの話です
競技プログラミングにおけるMajorization
競技プログラミングにおけるMajorization
skyaozora
Viewers also liked
(20)
グラフと木
グラフと木
色々なOSSで競技プログラミング
色々なOSSで競技プログラミング
PC解体
PC解体
Moon
Moon
かけざん
かけざん
April2013
April2013
Deque with Haskel
Deque with Haskel
April2013
April2013
Yarudake
Yarudake
Trianguler
Trianguler
Mage
Mage
Jissou
Jissou
Cをやりましょう
Cをやりましょう
人間対Pc2
人間対Pc2
Npc april fool2014
Npc april fool2014
Imo
Imo
AtCoder Beginner Contest 035 解説
AtCoder Beginner Contest 035 解説
ARC#003D
ARC#003D
素集合データ構造
素集合データ構造
競技プログラミングにおけるMajorization
競技プログラミングにおけるMajorization
More from Ken Ogura
npca文化祭2013hacking
ハッキング実演
ハッキング実演
Ken Ogura
shio's presentation @ Nada School Festival 2013
Shio dtm
Shio dtm
Ken Ogura
NPCA #02
Hairetu2
Hairetu2
Ken Ogura
JOI講義:NPCA-Div2-8解説
Lunch
Lunch
Ken Ogura
JOI講義:NPCA-Div2-7解説
Divisor
Divisor
Ken Ogura
JOI講義:NPCA-Div2-6解説
Homework
Homework
Ken Ogura
JOI講義:NPCA-Div2-5解説
Pool
Pool
Ken Ogura
JOI講義:NPCA-Div2-4解説
Sns
Sns
Ken Ogura
JOI講義:NPCA-Div2-3解説
Pencil
Pencil
Ken Ogura
JOI講義:NPCA-Div2-2解説
Spell check
Spell check
Ken Ogura
JOI講義:NPCA-Div2-1解説
Black board
Black board
Ken Ogura
JOI講義第二回「どんよく」
Donyoku
Donyoku
Ken Ogura
OSC2012 灘校パソコン研究部
人材発掘うっはうは
人材発掘うっはうは
Ken Ogura
More from Ken Ogura
(13)
ハッキング実演
ハッキング実演
Shio dtm
Shio dtm
Hairetu2
Hairetu2
Lunch
Lunch
Divisor
Divisor
Homework
Homework
Pool
Pool
Sns
Sns
Pencil
Pencil
Spell check
Spell check
Black board
Black board
Donyoku
Donyoku
人材発掘うっはうは
人材発掘うっはうは
辺彩色
1.
グラフ理論-catupper 辺彩色
2.
問題です ● プロジェクトがN個、生徒がM人います ● 各生徒はいくつかのプロジェクトに参加し ています ● プロジェクトは、それに参加している生徒 全員の課題が終われば完了します – 進捗はダメダメです
3.
問題です ● プロジェクトがN個、生徒がM人います ● 各生徒はいくつかのプロジェクトに参加し ています ● プロジェクトは、それに参加している生徒 全員の課題が終われば完了します – 進捗はダメダメです
4.
問題です ● 生徒たちはアイドルに励まされるとやる気を出して、一 つだけ課題を終了できます。 – 課題は励ましたアイドルがプロジェクトに提出します ● 飽きぽいので二度目はやる気が出ません ● プロジェクトリーダーも飽きっぽいので同じアイドルか ら1個しか課題を受け取りません。 ● アイドルは何人必要でしょうか。
5.
迫真 とけましたか?
6.
本題 辺彩色
7.
本題
8.
辺彩色とは ● 与えられたグラフの辺に色を付ける ● ただし、隣接する辺は同じ色で塗ってはいけない – 隣接する:=頂点を共有する ● 使う色種を小さくしたい ● 右の例は5-辺彩色 ● 実は4色でも可能
9.
強力な定理 ● Vizingの定理 – 任意のグラフの辺彩色数は グラフの最大次数Dに一致するか、 D+1に一致する ● つよい!
10.
ちなみに ● 頂点彩色は上界として最大次数が与えられるが、下界は どんなときでも2だったりする – 二部グラフは好きなだけ次数をあげることができる ● それにくらべれば値が二通りに絞れる辺彩色の定理は強 い – さいきょう
11.
例 D = 4 4-辺彩色
12.
さらにおもしろい定理 ● Konigの定理 – 任意の二部グラフの辺彩色数はその最大 次数と一致する
13.
さらにおもしろい定理 ● Konigの定理 – 任意の二部グラフの辺彩色数はその最大 次数と一致する ● 一致する ● 一致する ● 一致する ● 一致する
14.
帰納法で 証明しよう!
15.
証明 ● グラフの辺の数が n 未満の時に定理が成立してると仮定 ● 辺の数が
n のグラフ G についてひとつの辺 e を選ぶ – 最大次数はDとする ● G – eはD色で辺彩色可能 ● とりあえずG - eをD色でぬりわける
16.
This is G(二部グラフ) ● 辺eは頂点XとYを結ぶ ● 最大次数D
= 3
17.
適当に塗ってみる
18.
eのまわりに注目 ● XもYもD-1色以下で彩色使われてない色がある ● 共通の使われてない色があ ったら、eはその色 ● 無いと仮定して証明を続ける ● Xにない色を黄色 ● Yにない色を青色 ● とする
19.
Xからてくてく歩く ● Xには必ず青色があるので, Xからはじまる青黄青黄...と なる最長のパスを探す
20.
Xからてくてく歩く ● Xには必ず青色があるので, Xからはじまる青黄青黄...と なる最長のパスを探す
21.
このパスは閉路でない ● Xには黄色がつながっていないので閉路にはならない
22.
このパスはYで終わらない ● 二部グラフなのでYに入る辺は黄色でないといけない – Yに黄色はつながっていないので矛盾
23.
パスの青と黄色を入れ替えても良い ● パスが通る頂点に接続している青と黄色はこのパスに使 われている(再長性より). よって入れ替えても問題ない
24.
いれかえるとうれしい! ● XとYのつながってない色が異なる
25.
いれかえるとうれしい! ● XとYのつながってない色が等しい!
26.
青い線がひけるんだなぁ ● 元のグラフ
27.
青い線がひけるんだなぁ ● いれかえたあと
28.
完成! ● G-eがD辺彩色可能なら Gも可能!
29.
Q.E.D. ● 辺の数がDのときとかは自明にD辺彩色可能なので ● 帰納法による題意は示された! ● Q.E.D. !
30.
ところで 冒頭の問題はどう解くのか?
31.
進捗はダメダメです ● プロジェクトリーダーと生徒を頂点として二部グラフを 作る ● 辺をアイドルとする ● 問題は二部グラフにおける辺彩色となる ● さっきの定理を証明済みとすると – 最大次数をもとめるだけ
32.
進捗はダメダメです ● プロジェクトリーダーと生徒を頂点として二部グラフを 作る ● 辺をアイドルとする ● 問題は二部グラフにおける辺彩色となる ● さっきの定理を証明済みとすると – 最大次数をもとめるだけ ● ✌('ω' )✌
三✌('ω')✌三( 'ω')✌ ✌
33.
わかりやすい例 プロジェクトリーダー 生徒ども
34.
辺がブラック....(察し 課題たち
35.
正義のアイドルたち
36.
正義のアイドルたち
37.
ご清聴ありがとうございました
38.
グラフ楽しい グラフ楽しい!! ✌('ω'✌ )三✌('ω')✌三( ✌'ω')✌
Download now