Discrete Optimization (離散最適化) Linear Programming (線形計画) Nonlinear Programming (非線形計画) Network optimization (ネットワーク計画) Mathematical Programming (数理計画)

Slides:



Advertisements
Similar presentations
3D Wand による 3 次 元形状計測. 3次元形状計測装置  3D Wand(テクノドリーム 21 社 製)  構成 3D Wand 本体: 7 つの発光ダイオー ドとラインレーザー発光装置が一体となっ た手に持って移動できる電池駆動の装置.
Advertisements

HKS Analysis Log Jun 2006 part3 D.Kawama. 0 .今回の目次 1.Target での dE/dX 2.HKS sieve slit simulation(Geant4)
SPSSによるHosmer-Lemeshow検定について
確率と統計 - 確率2回目 - 平成 18 年 11 月 1 日. 2 今日の内容 1. 確率の復習(再整理) 2. 加法の定理 3. 乗法の定理へのイントロ.
7.n次の行列式   一般的な(n次の)行列式の定義には、数学的な概念がいろいろ必要である。まずそれらを順に見ていく。
9.線形写像.
「のだ」と「のか」の使用・非使用に関する 文法および語彙知識の影響 趙萍(麗澤大学大学院生) 玉岡賀津雄(名古屋大学) 木山幸子(麗澤大学大学院生) 言語科学会第 11 回年次国際大会 (JSLS2009)
時間的に変化する信号. 普通の正弦波 は豊富な情報を含んでいません これだけではラジオのような複雑な情報 を送れない 振幅 a あるいは角速度 ω を時間的に変化 させて情報を送る.
九州大学 岡村研究室 久保 貴哉 1. 利用中のAPの数の推移 2 横軸:時刻 縦軸:接続要求数 ・深夜では一分間で平均一台、 昼間では平均14台程度の接続 要求をAPが受けている。 ・急にAPの利用者数が増えてく るのは7~8時あたり.
麻雀ゲーム 和島研究室 ソ 小林巧人
5.連立一次方程式.
つくばだいがくについて 芸術専門学群のこと. 筑波大学ってこんなところ 東京教育大学を前身とする大学で、その 創立は日本で最も古い大学のひとつ。 大学の敷地面積は日本で二番目に広い大 学で、やたら坂が多い。移動時間が15分 しかないのに上り坂を三つ超えることがよ くある。
論理回路 第2回 今日の内容 前回の課題の説明 数の体系 – 数の表現 – 代表的な数 – 基数の変換 – 補数.
素数判定法 2011/6/20.
フーリエ係数の性質. どこまで足す? 理想的には無限大であるが、実際に はそれは出来ない これをフーリエ解析してみる.
1章 行列と行列式.
本宮市立白岩小学校. 1 はじめに 2 家庭学習プログラム開発の視点 ① 先行学習(予習)を生かした 確かな学力を形成する授業づく り ② 家庭との連携を図った家庭学習の習慣化.
フーリエ級数. 一般的な波はこのように表せる a,b をフーリエ級数とい う 比率:
3.エントロピーの性質と各種情報量.
9.通信路符号化手法1 (誤り検出と誤り訂正の原理)
Excelによる積分.
1 6.低次の行列式とその応用. 2 行列式とは 行列式とは、正方行列の特徴を表す一つのスカ ラーである。すなわち、行列式は正方行列からスカ ラーに写す写像の一種とみなすこともできる。 正方行列 スカラー(実数) の行列に対する行列式を、 次の行列式という。 行列 の行列式を とも表す。 行列式と行列の記号.
計算のスピードアップ コンピュータでも、sin、cosの計算は大変です 足し算、引き算、掛け算、割り算は早いです
線形符号(10章).
1 0章 数学基礎. 2 ( 定義)集合 集合については、 3セメスタ開講の「離散数学」で詳しく扱う。 集合 大学では、高校より厳密に議論を行う。そのために、議論の 対象を明確にする必要がある。 ある “ もの ” (基本的な対象、概念)の集まりを、 集合という。 集合に含まれる “ もの ” を、集合の要素または元という。
10.PとNP完全問題との境界.
4.プッシュダウンオートマトンと 文脈自由文法の等価性
1 0章 数学基礎. 2 ( 定義)集合 集合については、 3セメスタ開講の「離散数学」で詳しく扱う。 集合 大学では、高校より厳密に議論を行う。そのために、議論の 対象を明確にする必要がある。 ある “ もの ” (基本的な対象、概念)の集まりを、 集合という。 集合に含まれる “ もの ” を、集合の要素または元という。
信号測定. 正弦波 多くの場合正弦波は 0V の上下で振動する しかし、これでは AD 変換器に入れら れないので、オフ セットを調整して データを取った.
1 9.線形写像. 2 ここでは、行列の積によって、写像を 定義できることをみていく。 また、行列の積によって定義される写 像の性質を調べていく。
通信路(7章).
3.プッシュダウンオートマトンと 文脈自由文法
“KING OF POPS” 田口健太郎. 調査  調査内容:マイケ ル・ジャクソンがど のような人生を歩ん できたか  調査方法:インター ネット  問題点:彼の容姿の 変化について、一部 誤解が生じている部 分がある.
6.符号化法(6章).
ビット. 十進数と二進数 十進数  0から9までの数字を使って 0、1、2、3、4、5、6、7、8、9、 10、11、12 と数える 二進数  0と1を使って 0、1、10、11、100、101、11 0、111 と数える.
人工知能特論 II 第 4 回 二宮 崇 1. CCG (COMBINATORY CATEGORIAL GRAMMAR) 組合せ範疇文法 2 今日の講義の予定.
A 「喫煙率が下がっても肺ガン死亡率が減っていないじゃな いか」 B 「喫煙を減らしてもガン減るかどうか疑問だ 」 1.
三角関数の合成.
研究会 “Harmonies and Surprises on the Lattice” 地域社会と連携した大学教育と 研究プロセスの類似性 ~松本大学での帰納的教育手法の展開~ 報告者: Matsumoto University 松本大学/松本大学松商短期大学部 Hiroyuki Sumiyoshi.
平成22年度 第4回 Let’s Enjoy English 平成22年度 第4回 Let’s Enjoy English 期日:平成22年10月30日 場所:旭川市立北光小学校 基調提言.
3.正方行列(単位行列、逆行列、対称行列、交代行列)
論理回路 第1回. 今日の内容 論理回路とは? 本講義の位置づけ,達成目標 講義スケジュールと内容 受講時の注意事項 成績の評価方法.
伝わるスライド 中野研究室 M2 石川 雅 信. どのようなスライドを作れば良 いか 伝えたいこと.
Three-Year Course Orientation International Course.
Analog “ neuronal ” networks in early vision Koch and Yuille et al. Proc Academic National Sciences 1986.
方程式を「算木」で 解いてみよう! 愛媛大学 教育学部 平田 浩一.
C言語応用 構造体.
3.多項式計算アルゴリズム べき乗の計算 多項式の計算.
JPN 312 (Fall 2007): Conversation and Composition 文句 ( もんく ) を言う.
HKS Analysis Log Jul 2006 Part1 D.Kawama. 第壱部 HKS Sieve Slit Analysis.
プログラミング言語論 第9回 論理型プログラミング言語 担当:犬塚.
プログラミングⅠ( 2 組) 第 1 回 / pLB1.pptx.
「ネット社会の歩き方」レッスンキット プレゼンテーション資料集 15. チャットで個人情報は 言わない プレゼンテーション資料 著作権は独立行政法人情報処理推進機構( IPA )及び経済産業省に帰属します。
8.任意のデータ構造 (グラフの表現とアルゴリズム)
NODA Ken, KAJITA Satoshi and SASA Yoshinobu Truss Contest 2004 idea 男がこう言っ た。 「デザインにこだわろう。」 現場が一瞬凍りついた。 男はこう続けた。 「記録に残るだけではだめだ、記憶に残さなくて は。」 現場がひとつになった。
平成 16 年 6 月 29 日佐賀大学知能情報システム学科 1 計算の理論 I 文脈自由文法 火曜3校時 大月 美佳.
第14回 プログラムの意味論と検証(3) 不動点意味論 担当:犬塚
実験5 規則波 C0XXXX 石黒 ○○ C0XXXX 杉浦 ○○ C0XXXX 大杉 ○○ C0XXXX 高柳 ○○ C0XXXX 岡田 ○○ C0XXXX 藤江 ○○ C0XXXX 尾形 ○○ C0XXXX 足立 ○○
携帯電話でのコミュニ ケーションについて 1班真田 出水 佐伯 堺. 仮説  女性のほうが携帯電話を使ったコミュニ ケーションを重要視する。
Exercise IV-A p.164. What did they say? 何と言ってましたか。 1.I’m busy this month. 2.I’m busy next month, too. 3.I’m going shopping tomorrow. 4.I live in Kyoto.
音の変化を視覚化する サウンドプレイヤーの作成
HCC Hair Color Change. メンバー ソ 渋谷麻美 ソ 渋谷麻美 ソ 清野理衣子 ソ 清野理衣子 ソ 三上貴大 ソ 三上貴大.
Self-efficacy(自己効力感)について
本文. 考えながら読みましょ う 「いろいろなこと」( 3 行目)は何で すか 「①電話料金はコンビニで支払いをしていま す。いつでも払えますから、便利です。」 「②夕食はコンビニで買います。お弁当やお かずがいろいろありますから。」今、若者に 人気のあるコンビニは、いろいろなことをす るのに非常に便利な場所になった。
IIR 輪講復習 #18 Matrix decompositions and latent semantic indexing.
知能ソフトウェア特論 項書換え系(3) 合流性 Term Rewriting Systems(3) Confluence Intelligent Software.
1. 数理計画法: Mathematical Programming- ( 最適化問題: Optimization) 目的関数 Objective function: Z(x 1,x 2,…,x n ) 制約条件式 Constraints function(s): b 1 (x 1,x 2,…,x n.
英語勉強会 名手⇒詫間 2015/10/22. 原文 This study says acquiring motor skills support system. There is how to acquire moor skills that coach advises learner. Motor.
Bootstrapping 2014/4/13 R basic 3 Ryusuke Murakami.
肝臓移植 プロの肝臓移植サービスを選 択. 肝臓移植が必要なのはいつです か? 肝移植は、肝臓がもはや 適切に機能しなくなった とき(肝不全)に考慮さ れる。 ウイルス性肝炎、 薬物誘発傷害または感染 の結果として肝不全が突 然起こることがある(急 性肝不全)。 肝不全は長 期的な問題の最終結果で.
Presentation transcript:

Discrete Optimization (離散最適化) Linear Programming (線形計画) Nonlinear Programming (非線形計画) Network optimization (ネットワーク計画) Mathematical Programming (数理計画)

Discrete Optimization (離散最適化) Combinatorial Optimization (組合せ最適化) Integer Programming (整数計画) Linear Programming Graph Theory (グラフ理論) Algorithm and Date Structure Discrete Mathematics Related Topics ( 関連分野 ) c.f. P1

Schedule 1.What is a graph? (グラフ基礎) 2.Shortest Path Problem (最短路問題) 3.Assignment Problem (割当問題) 4.Routing Problem (経路問題)

Graph (グラフ) - ?

Graph (グラフ) -examples

Graph -definition V : vertex set (頂点集合) A ⊆ V×V: arc set (枝集合) G=(V, A) discrete structure (離散構造) vertex (頂点) arc (枝)

Graph - sets vs illustration a b c d e f g h i j k V={a,b,c,d,e,f,g,h,i,j,k} A={{a,b},{a,c},{a,e},{a,g},{b,c},{b,e},{b,f}, {c,d},{d,f},{d,g},{e,h},{e,k},{f,h},{f,j}, {g,j},{g,k},{h,i},{h,j},{i,j},{i,k},{j,k}} a b c d e f g h i j k

Graph -examples undirected graph (無向グラフ) directed graph / digraph (有向グラフ)

Graph - digraph V : vertex set (頂点集合) A : arc set (枝集合) ordered pairs of V G=(V, A) vertex (頂点) arc (枝)

Digraph - sets vs illustration a b c d e V={a, b, c, d, e} A={(a, b), (a, d), (b, c), (b, e), (c, a), (c, e), (d, c), (c, e), (e, d)}

Graph - incidence a b c d e a b c d e f g h i j k a と b は隣接 (adjacent) 枝 {a, b} は a に接続 (incident) a と b は枝 {a, b} の端点 (end point) a は枝 (a, b) の始点 (tail) b は枝 (a, b) の終点 (head) 並列枝 (parallel)

2.1 基本的用語 グラフの言葉を覚えよう

Walk,trail,path (a, c, f, h, j, i, k) (a,b, f, h, j, f, h, i, k) (a, g, j, h, i, j, k) (a, c, d, f, h, j, i, k) walk trail path walk = 路 trail = 単純路 path = 道/初等的路 a b c d e f g h i j k a b c d e f g h i j k 始点 終点 length=7

Closed walk,closed trail, cycle (a, c, f, h, j, i, k,e,a) (a,b, f, h, j, f, h, i, k,e,a) (a, g, j, h, i, j, k,e,a) (a, c, d, f, h, j, i, k,e,a) c.walk c.trail cycle walk = 路 trail = 単純路 path = 道/初等的路 a b c d e f g h i j k

Walk, trail, path - in digraph (a,b,c,d,e) (a,d,c,e) (d,e,d) path directed path a b c d e a b c d e forward backward

Subgraph (部分グラフ) G=(V, A) V’ ⊆ V a b c d e f g h i j k a b c d h j k a b c d e f g h i j k G|V’ induced subgraph on V’ (V’ が誘導する部分グラフ ) subgraph a b c d h j k

Subgraph (部分グラフ) G=(V, A) a b c d e f g h i j k spanning subgraph (全域部分グラフ)

Subgraph (部分グラフ) G=(V, A) T⊆VT⊆V a b c d e f g h i j k a b c d e f g h i j k G\T

Connectivity (連結性) not connected (非連結) connected (連結) connected component (連結成分) isolated vertex (孤立点)

Connectivity - in digraph strongly connected (強連結) root (根) strongly connected component (強連結成分)

Degree (次 数) 4 4 4 3 3 3 3 4 4 4 4

Tree (木) leaves (葉) root directed tree (有向木) forest spanning tree

Acyclic (非閉路) in digraph not contain a directed cycle

Network (ネットワーク) Graph + numerical data capacity, cost, supply/demand…

2.2 基本性質 グラフに慣れよう Fundamental Properties

Lemma2.1 In any graph, the number of vertices of odd degree is even.degree Hand Shaking Lemma 握手補題 どんなグラフでも,奇数次数の頂点は偶数個ある.

Lemma2.1(proof) In any graph, the number of vertices of odd degree is even.degree どんなグラフでも,奇数次数の頂点は偶数個ある. Σ (degree of v) = 2 |A| v the number of elements in A ⇒ Σ (degree of v) is even v

Lemma2.2 Let G be a graph having n vertices and let any vertex of G have degree at least (n-1)/2. G must be connected.connected n=7 n 頂点のグラフ G において,どの頂点の次数も少なくとも (n-1)/2 であるとき, G は連結である.

Lemma2.2(proof) Let G be a graph having n vertices and let any vertex of G have degree at least (n-1)/2. G must be connected. n 頂点のグラフ G において,どの頂点の次数も少なくとも (n-1)/2 であるとき, G は連結である. Assume that G has k connected components G 1, G 2, …, G k., and each component G i has n i vertices. Then, n 1 +n 2 +…+n k =n. For each component G i, any vertices v in G i has degree at most n i -1. Thus we have, (n-1)/2 ≦ n i -1, which implies that n i ≧ (n+1)/2. Hence k=1.

Lemma2.3 If G=(V, A) is not connected, the complementary graph G=(V, A) is connected. A= (V × V )\A G G G が非連結のとき,その補グラフは連結である.

Lemma2.3(proof) If G=(V, A) is not connected, the complementary graph G=(V, A) is connected. G G G1G1 G2G2 GkGk connected component G1G1 G2G2 GkGk For a pair of vertices in any different components, For a pair of vertices in a same component, There is a path between any pair of vertices

Lemma2.4 Let G be a graph without isolated vertices having n vertices and n-1 arcs (where n ≧ 2). G contains at least two vertices of degree 1.isolated vertices n=10 G は孤立点をもたないグラフで, n 個の頂点, n-1 本の枝をもつ とする.ただし, n ≧ 2 .このとき, G は次数 1 の頂点を少なく とも 2 つはもつ. Σ (degree of v) = 2 (n-1) v degreenumber 00 1 ≦1≦1 ≧2≧2≧ n-1 Σ (degree of v) ≧ 2 (n-1) + 1 v

Lemma2.5 Any connected graph on n vertices contains at least n-1 arcs. (proof) induction on n v

Lemma2.6 Any acyclic graph on n vertices has at most n-1 arcs. a v v’ (proof) induction on n ( a graph containing no cycle)

Lemma2.7 (1) G is a tree connected acyclic (2) acyclic adding any arc to G yields a cycle (3) connected there is a unique path between any two vertices (4) connected removing any arc from G becomes unconnected. (5) connected n-1 arcs (n: number of vertices) (6) acyclic n-1 arcs