RIMS Kôkyûroku
No.2088
アルゴリズムと計算理論の基礎と応用
Foundations and Applications of Algorithms and Computation
RIMS 共同研究(公開型)
 
2018/02/05〜2018/02/07
周 暁
Xiao Zhou
 
目 次
 
1. 多数決関数を計算する2層の多数決回路について (アルゴリズムと計算理論の基礎と応用)--------------------------------------------------1
    群馬大学大学院理工学府 / 群馬大学大学院理工学府   吉田 昌史 / 天野 一幸 (Yoshida,Masafumi / Amano,Kazuyuki)
 
2. Model Checking of Embedded Systems Using RTCTL (Foundations and Applications of Algorithms and Computation)-----------------------9
    金沢大学 / 金沢大学   Wu Yajun / 山根 智 (Wu,Yajun / Yamane,Satoshi)
 
3. 個体群プロトコルにおける分割問題の一般化と空間複雑性について (アルゴリズムと計算理論の基礎と応用)--------------------------------14
    名古屋工業大学 / 名古屋工業大学 / 名古屋工業大学   海野 友希 / 北村 直暉 / 泉 泰介 (Umino,Tomoki / Kitamura,Naoki / Izumi,Taisuke)
 
4. 2人単貧民の必勝判定とその拡張 (アルゴリズムと計算理論の基礎と応用)---------------------------------------------------------------23
    名古屋大学大学院情報学研究科数理情報学専攻 / 名古屋大学大学院情報学研究科数理情報学専攻   木谷 裕紀 / 小野 廣隆 (Kiya,Hironori / Ono,Hirotaka)
 
5. ウォークからの最大次数2の最小グラフ推論 (アルゴリズムと計算理論の基礎と応用)-----------------------------------------------------27
    東北大学大学院情報科学研究科 / 東北大学大学院情報科学研究科 / 東北大学大学院情報科学研究科 / 東北大学大学院情報科学研究科   成定 真太郎 / ディプタラマ ヘンリアン / 吉仲 亮 / 篠原 歩 (Narisada,Shintaro / Diptarama,Hendrian / Yoshinaka,Ryo / Shinohara,Ayumi)
 
6. ベルジュ双対のための非二部的Dulmage-Mendelsohn分解 (アルゴリズムと計算理論の基礎と応用)------------------------------------------36
    国立情報学研究所   喜多 奈々緒 (Kita,Nanao)
 
7. Efficient Enumeration Algorithm for Dominating Sets in Bounded Degenerate Graphs (Foundations and Applications of Algorithms and Computation)---44
    北海道大学大学院情報科学研究科 / 国立情報学研究所 / 北海道大学 / 国立情報学研究所   栗田 和宏 / 和佐 州洋 / 有村 博紀 / 宇野 毅明 (Kurita,Kazuhiro / Wasa,Kunihiro / Arimura,Hiroki / Uno,Takeaki)
 
8. グラフの色付きトークン整列問題について (アルゴリズムと計算理論の基礎と応用)------------------------------------------------------53
    東北大学大学院情報科学研究科 / 東北大学大学院情報科学研究科 / 岩手大学理工学部 / 東北大学大学院情報科学研究科 / 東北大学大学院情報科学研究科   金野 駿人 / 鈴木 顕 / 山中 克久 / 伊藤 健洋 / 周 暁 (Konno,Hayato / Suzuki,Akira / Yamanaka,Katsuhisa / Ito,Takehiro / Zhou,Xiao)