Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
双対問題について
Search
NearMeの技術発表資料です
PRO
July 28, 2023
Science
0
130
双対問題について
NearMeの技術発表資料です
PRO
July 28, 2023
Tweet
Share
More Decks by NearMeの技術発表資料です
See All by NearMeの技術発表資料です
希望休勤務を考慮したシフト作成
nearme_tech
PRO
0
20
Hub Labeling による高速経路探索
nearme_tech
PRO
0
54
Build an AI agent with Mastra
nearme_tech
PRO
0
68
Rustで強化学習アルゴリズムを実装する vol3
nearme_tech
PRO
0
33
Webアプリケーションにおけるクラスの設計再入門
nearme_tech
PRO
1
73
AIエージェント for 予約フォーム
nearme_tech
PRO
2
140
ULID生成速度を40倍にしたった
nearme_tech
PRO
2
51
Amazon AuroraとMongoDBの アーキテクチャを比較してみたら 結構違った件について
nearme_tech
PRO
0
24
GitHub Custom Actionのレシピ
nearme_tech
PRO
0
16
Other Decks in Science
See All in Science
機械学習 - ニューラルネットワーク入門
trycycle
PRO
0
790
Agent開発フレームワークのOverviewとW&B Weaveとのインテグレーション
siyoo
0
270
Healthcare Innovation through Business Entrepreneurship
clintwinters
0
230
学術講演会中央大学学員会府中支部
tagtag
0
270
データベース05: SQL(2/3) 結合質問
trycycle
PRO
0
710
[第62回 CV勉強会@関東] Long-CLIP: Unlocking the Long-Text Capability of CLIP / kantoCV 62th ECCV 2024
lychee1223
1
940
Design of three-dimensional binary manipulators for pick-and-place task avoiding obstacles (IECON2024)
konakalab
0
210
データベース03: 関係データモデル
trycycle
PRO
1
120
Trend Classification of InSAR Displacement Time Series Using SAE–CNN
satai
3
450
データベース11: 正規化(1/2) - 望ましくない関係スキーマ
trycycle
PRO
0
640
Explanatory material
yuki1986
0
310
Factorized Diffusion: Perceptual Illusions by Noise Decomposition
tomoaki0705
0
390
Featured
See All Featured
How STYLIGHT went responsive
nonsquared
100
5.6k
Practical Tips for Bootstrapping Information Extraction Pipelines
honnibal
PRO
20
1.3k
Being A Developer After 40
akosma
90
590k
Mobile First: as difficult as doing things right
swwweet
223
9.7k
Build The Right Thing And Hit Your Dates
maggiecrowley
36
2.8k
How to Ace a Technical Interview
jacobian
277
23k
Writing Fast Ruby
sferik
628
62k
Building Flexible Design Systems
yeseniaperezcruz
328
39k
It's Worth the Effort
3n
185
28k
Helping Users Find Their Own Way: Creating Modern Search Experiences
danielanewman
29
2.7k
Gamification - CAS2011
davidbonilla
81
5.3k
Making Projects Easy
brettharned
116
6.3k
Transcript
0 双対問題について 2023-07-28 第54回NearMe技術勉強会 Yuta Okamoto
1 目次 1. はじめに 2. 前回までの内容・今回のゴール 3. 前提知識 4. 双対問題とは
5. 主問題と双対問題の関係性 6. 次回予告
2 1.はじめに • アイスブレイク ◦ 問題です. ▪ 見た目がそっくりな双子の姉妹がいる。片方は正直者、もう一方は嘘つき。 ▪ 姉妹のどちらが正直者かわからない。
▪ 今、目の前に姉妹のうちの一人が立っている。 ▪ はい/いいえで答えられる単文の質問を一つだけ聞ける。 ▪ 何と聞けば、彼女が姉か妹かを見極められるか?
3 2.前回までの内容・今回のゴール • 前回までの内容 ◦ グラフの工夫でさまざまな条件を表現できること ▪ 盛り込みたい条件をノードやエッジを使ってうまくで表すところ が肝 •
今回のゴール ◦ 双対問題ってなんなのか理解する
4 3.前提知識 • 線形計画問題 ◦ 今回は線形な最適化問題の双対問題について説明 ◦ 目的関数(最大化させたいもの)も制約条件(守るべきルー ル)も線形なもの 最適化問題
非線形 線形
5 4.双対問題とは • 元々考えていた最適化問題を主問題とすると,主問題のペアに なるような問題が存在する. P D 主問題 双対問題 双対関係
6 4.前提知識 • 補足 ◦ 双対問題は非線形な最適化問題には存在しませんか? ▪ するらしいですが,私はよく知りません ◦ 双対問題はいつ頃発見されましたか?
▪ 結構前です.厳密な証明はAlbert W. Tuckerらが1948年 に発表したらしい.
7 4.双対問題とは • 補足 ◦ 双対問題はどうやって手に入りますか? ▪ 主問題から導出できます.次回の詳しく説明します! ◦ 主問題を解けばいいのになんでわざわざ双対問題なんか考
えるんでしょうか? ▪ 主問題を解くよりも簡単に主問題の答えを手に入れられる からです.あとは大域最適解であることの証拠になるから です.
8 5.主問題と双対問題の関係性 • 以下の関係性がある. ◦ 一方の目的関数の値が,もう一方の下界を与える ◦ 一方が最適解を持つならばもう一方も最適解を持ち,それら は一致する ◦
一方が非有界ならば,もう一方は実行不能である ▪ ※「一方が実行不能ならばもう一方は非有界」は言えない
9 5.主問題と双対問題の関係性 • 図でイメージを掴んでみる. opt obj val
10 5.主問題と双対問題の関係性 • 具体例でイメージを掴んでみる ◦ 最大流問題 & 最小カット問題 https://gist.github.com/yutaokamoto/2cb866df 13a56a045cf3a8655a3ad827
11 6.次回予告 • 主問題から双対問題を導出する (ワークショップ的なやつを予定)
12 出典 • 「双対問題」(2020年4月30日(木)13:49 UTCの版)『ウィキペディア日本語版』. https://ja.wikipedia.org/wiki/%E5%8F%8C%E5%AF%BE%E5%95%8F%E9 %A1%8C(参照 2023年7月27日) • Log
Opt.「最大流問題」(2023年1月29日)『opt100』. https://scmopt.github.io/opt100/10maxflow.html#%E6%9C%80%E5%A4%A 7%E6%B5%81%E5%95%8F%E9%A1%8C%EF%BC%88maximum-flow-pr oblem%EF%BC%89(参照 2023年7月28日)
13 Thank you