ダウンロード数: 217

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
yjohk00575.pdfAbstract_要旨119.14 kBAdobe PDF見る/開く
djohk00575.pdfDissertation_全文697.3 kBAdobe PDF見る/開く
タイトル: Computational Complexity of Tree Evaluation Problems and Branching Program Satisfiability Problems
その他のタイトル: 木構造関数値評価問題と分岐プログラム充足性問題に対する計算複雑さ
著者: Nagao, Atsuki
著者名の別形: 長尾, 篤樹
キーワード: Lower Bounds
Branching Programs
Space Complexity
Exponential Time Algorithms
Sorting
発行日: 23-Mar-2015
出版者: 京都大学 (Kyoto University)
学位授与大学: 京都大学
学位の種類: 新制・課程博士
取得分野: 博士(情報学)
報告番号: 甲第19129号
学位記番号: 情博第575号
学位授与年月日: 2015-03-23
請求記号: 新制||情||101(附属図書館)
整理番号: 32080
研究科・専攻: 京都大学大学院情報学研究科通信情報システム専攻
論文調査委員: (主査)教授 岩間 一雄, 教授 髙木 直史, 教授 五十嵐 淳
学位授与の要件: 学位規則第4条第1項該当
DOI: 10.14989/doctor.k19129
URI: http://hdl.handle.net/2433/199453
出現コレクション:140 博士(情報学)

アイテムの詳細レコードを表示する

Export to RefWorks


出力フォーマット 


このリポジトリに保管されているアイテムはすべて著作権により保護されています。