講演情報
[BI-4-03]離散数理で挑むネットワークの難問 ―決定グラフと組合せ最適化の現在地―
〇井上 武1 (1. 山梨大学)
キーワード：
情報ネットワーク科学
情報ネットワークの設計・運用では，膨大な組合せの中から厳密な答えを導く離散数理が重要な役割を果たす．本講演では，BDD/ZDDなどの決定グラフと組合せ最適化を用いて，ネットワークの重要課題を厳密かつ実用規模で解いてきた取り組みを紹介する．具体的には，#P完全であるネットワーク信頼性の厳密評価と災害に強いネットワークの設計，および超大規模データセンタネットワーク（Closファブリック）の非ブロッキング性判定を取り上げる．理論・AI・実データを結びながら組合せ爆発に立ち向かう離散数理の現在地と，次のフロンティアを述べる．