研究課題
研究活動スタート支援
与えられた二つの入力、例えばグラフや関数が、”本質的に”同じものであるかを判定する問題のことを同型性判定問題と呼ぶ。同型性判定問題は歴史のある問題であるが、その理論的な計算量については分からないことが多い。本研究では、同型性判定問題を「同じ」か「異なる」かという二者択一の問題ではなく、「どれだけ似ているか」を求める最適化問題として考え、「性質検査」と「近似アルゴリズム」という二つの考え方から新たな知見を得た。
すべて 2014 2013 2012
すべて 雑誌論文 (21件) 学会発表 (6件)
Proceedings of the 46th ACM Symposium on the Theory of Computing (STOC)
Proc. 23rd International World Wide Web Conference (WWW)
Proc. 25th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA)
ページ: 1749-1761
Proc. 5th Innovations in Theoretical Computer Science (ITCS)
ページ: 507-516
ページ: 423-438
Random Structures & Algorithms
Discrete Optimization
Journal of Combinatorial Optimization
巻: 26(4) ページ: 636-654
Algorithmica
Proc. 22nd ACM International Conference on Information and Knowledge Management (CIKM)
ページ: 1601-1606
ページ: 909-918
Combinatorics Probability and Computing
ページ: 1-7
Proc. 23rd International Joint Conference on Artificial Intelligence (IJCAI)
ページ: 2064—2070
Proc. 40th International Colloquium on Automata, Languages and Programming (ICALP)
ページ: 123-134
ページ: 840-850
Proc. 45th ACM Symposium on Theory of Computing (STOC)
ページ: 437-446
Proc. ACM SIGMOD International Conference on Management of Data (SIGMOD)
ページ: 349-360
Proc. 30th Symposium on Theoretical Aspects of Computer Science (STACS)
ページ: 127-138
International Journal of Networking and Computing
ページ: 192-204
Proc. 3rd International Conference on Networking and Computing (ICNC)
巻: (69) ページ: 1-6
Proc. 53rd Annual IEEE Symposium on Foundations of Computer Science (FOCS)
ページ: 551-560
