卒業論文

2015年度

鹿谷将司, 通貨交換問題に対する予測を用いた利益保証アルゴリズム.

2014年度

板橋拓志, 通貨交換問題に対する危機対応アルゴリズムの株式取引への応用と実験.
山之内宏彰, 局所探索3-SATアルゴリズムにおけるフリップ変数の選択.

2013年度

岡智洋, フィードバック頂点集合問題に対するFPTアルゴリズム.
熊田圭佑, 3サーバ問題におけるワークファンクションアルゴリズム.
谷垣友喜, 閾値素子を含む回路の部分クラスに対する圧縮アルゴリズム.
久松稜介, 女性最適安定マッチングにおける女性の相手の順位の解析.

2012年度

酒井隆行, 2段回路の充足可能性判定問題に対する厳密アルゴリズム.
清水さよ, 3彩色可能グラフの多項式時間彩色アルゴリズム.
田中翔, PageRankゲームにおける非ナッシュ均衡グラフについて.
津山竣太郎, 部分系列からの列再構成問題.

2011年度

石河優二, デジタル商品のオンラインオークションにおける競合比解析.
楠本充, 最大重み有向森問題の定数時間近似.
佐々木直, 平面3-SATに対する指数時間仮説.
田村隆太郎, 定数段数回路におけるk-クリーク問題の計算量の下界について.

2010年度

稲田陽光, 境界のある直線上および格子上の量子ウォーク.
井下貴雄, 希望リスト調整による男性最良安定マッチングの改善可能性判定.
清島奨, ナップサック問題に対する定数時間近似アルゴリズム.
堺谷光, ハラリィの一般化三並べの変種‐共喰い動物ゲーム.
笹沼亮介, 直線上4点3サーバ問題に対する乱択アルゴリズム.
古川勇輔, 入札ベクトルの段数を用いたオークションの性能評価.

2009年度

岡田翔太, 分割問題における定数時間近似アルゴリズム.
鈴木洋介, 折り切り問題のε近似アルゴリズム.
永瀬高志, 希望リスト調整による男性最良安定マッチングの改善.
西田尚平, K分割マッチング問題の量子通信計算量.
朴大地, PageRankゲームの摂動化および繰り返しにおけるナッシュ均衡.
八田直樹, 消費電力問題における混雑度を考慮したオンラインアルゴリズム.
藤田俊之, 双行列ゲームのεナッシュ均衡に対する近似アルゴリズムの解析.
添島琢己, 最大次数4のグラフ上の巡回セールスマン問題に対する厳密アルゴリズム.

2008年度

太田圭亮, 逆算法による詰将棋問題の列挙法の改良と桂馬図式の完全列挙.
後藤順一, チョンプの周期性の計算と2行チョンプのグランディ値.
前田圭介, 非決定計算による単調DNF論理式の双対性判定.
三好淳志, 購入確率を導入したオークション.

2007年度

蟻塚正樹, 飛び駒を考慮した逆算法に基づく詰将棋の列挙.
石黒尚文, 軟性長方形の無限系列の詰込み.
木下直紀, 3ビットPCPにおける健全性の改良.
高井唯史, 3SATアルゴリズムへの導出原理の応用.
照山順一, オラクル同定問題と論理関数値決定問題の計算量の関係.

2006年度

市場孝之, 正直なオークションにおける入札者の談合．
林英信, クラスタリングにおける合意最大化問題の近似アルゴリズム．
藤川浩光, 誤りを含むパリティ関数の量子アルゴリズムにおけるクエリ計算量．
古谷允宏, 2点同時要求k-サーバ問題．
吉田悠一, 有向グラフにおけるk枝連結性の検査．
吉永直生, 論理式における非線形下界証明手法の回路への拡張．

2005年度

門下雅一, 単位円盤グラフ上の高速アルゴリズム.
田坂豊隆, 2種類の商品を扱う正直なオークション.
中島拓也, 3-正則グラフ上の行商人問題に対するアルゴリズムの改良.
本田慎也, 各種グラフの平均ストレッチ.
宮川博光, 孤立2部クリークの列挙.

2004年度

角田大輔, 入札額の範囲が制限された正直なオークション.
脊戸和寿, 段数を制限した論理回路の計算量について.
高田智史, 複数の毒節点を持つ木型のニム.
西巻陵, 充足可能性問題に対する量子アルゴリズム.
橋本敦史, 直径が制限された単位円グラフ上の多項式時間アルゴリズム.
山内直哉, 安定結婚問題に対する近似アルゴリズムの改良.

2003年度

岡本和也, 安定結婚問題に対する局所探索近似アルゴリズム.
忰山豊, 連続無羨望分割とそのグラフ分割への拡張.
小林浩二, 量子有限オートマトンの近似的等価性について.
中塚裕之, 逆算法に基づく詰将棋の列挙.
藤田将司, Webグラフより孤立したページ群を見つける問題.

2002年度

大隅剛史, 孤立した部分グラフを見つける問題.
杉原堅也, 有向供給点配置問題における多項式時間アルゴリズム.
花谷陽一, CNF論理式の充足解の密度.
増田裕之, 探索問題における量子オラクルの一般化とその解析.
村井隆仁, 近似を許したオンラインサーバ配置問題について.

2001年度

飯尾佳之, 量子計算による隠れ部分群の位数の推定.
今村友和, 完全マッチングを持つグラフに対する最小頂点被覆問題の近似解法.
沖田正樹, 伸張係数を抑えたコンパクトルーティングアルゴリズム.
田上祐介, 一方向通貨交換問題におけるオンラインアルゴリズムの実用的改良.
土田大輔, DNA配列におけるプローブの順序付けに関する研究.
戸田充彦, Mathematicaと並列計算機を併用した量子アルゴリズムのシミュレータ.
森住大樹, 回路計算量の下限の改良.

2000年度

島田将行, IPv6におけるサイトローカルアドレスのステートレス自動設定.
玉置卓, 充足可能性問題に対する確率的局所探索アルゴリズムの改良とその応用.
田村武幸, 非対称なブール関数に対する回路計算量の下限.
深川大路, 素因数分解に基づいた充足可能性問題の例題生成.
藤原洋志, レンタルスキー問題に対する平均的競合比の解析.
宮武和史, 最大化および最小化アルゴリズムにおける近似度の関係.
柳沢弘揮, 条件を緩和した安定結婚問題に対する確率近似アルゴリズム.
Rudy Raymond Harry Putra, 1方向量子有限オートマトンの汎用シミュレーションシステムと初期状態の不完全性.

1999年度

梅本潤, PVMによるSAT並列局所探索プログラム．
河内亮周, 伸長係数2のコンパクトラウティングアルゴリズム．
北野英明, 格子状連結されたプロセッサ間のパケット移動のJavaによる視覚化．
武富史郎, 一般化されたオンライン独立頂点集合問題．
西村知洋, 断線したネットワークの復旧問題に対する近似アルゴリズム．
松田健, 論理回路の消費電力問題に対する近似アルゴリズム．

1998年度

天野正己, 量子有限オートマトンにおける決定不能問題.
荒木孝子, 災害時に耐障害性を有するインターネットルーティングアルゴリズム.
内田敦, オンライン問題の定式化とその困難さについて.
呉屋健, 順序付き分岐プログラムのサイズの下限.
夜久健一, インターネットにおける最小生成木を用いた緊急通信路の確保.
山田克樹, 単調のDNF式とkCNF式の等価性判定問題.
米澤弘毅, 通貨交換問題における予測の一般化.