LAB LOG评价网站 LabLog 的页面
武永 康彦研究室
机器翻译 · 查看原文
以算法与计算复杂度的基础研究为核心的信息数理研究室。
About关于研究室
致力于设计高效的步骤，并阐明问题的性质。
武永研究室开展与算法和计算复杂度相关的研究，
算法是指处理问题的步骤。
即使是相同的处理，
研究室研究基于二元决策图的方法、
术语说明
- 算法
- 处理问题的步骤。
程序就是将其以计 算机能够理解的形式写出来的东西 - 计算复杂度
- 算法解决问题所需的工作量大小。
越小， 所需时间越短 - 二元决策图
- 用来高效表示只取0和1两种值的逻辑函数的图。
也称为OBDD
Research研究课题
武永研究室开展关于算法和计算复杂度的基础研究，
※示意图逻辑函数的高效表示与算法
利用作为逻辑函数高效表示方法的
※示意图图问题的算法
人们认为，
※示意图游戏与谜题的计算复杂度
游戏和谜题中也存在本质上困难的问题和简单的问题，
Members教师
武永研究室的成员由教师以及
- 副教授武永 康彦
Voices学长学姐的评价
评价基于在读
对于接受采访的学生，
学长学姐的评价
--
--
--
--
--
--
学长学姐的评价会回答这些问题
- 这个研究室的推荐点是什么?
- 进入后才知道的事情是什么?
- 氛围和老师的性格如何?
- 推荐给什么样的学生?
- 毕业后的去向?
Related与武永 康彦研究室相似的研究室
本页信息由LabLog运营团队根据研究室的公开信息和采访整理。
关于图片
顶部和研究课题的图片为示意图，
- 顶部图片：《Algorithm Tarjan》 No machine-readable author provided. GifTagger assumed (based on copyright claims).／CC BY-SA 3.0（裁剪）
- 逻辑函数的高效表示与算法：《BDD》 The original uploader was IMeowbot at English Wikipedia.／CC BY-SA 3.0（裁剪）
- 图问题的算法：《Implication graph collision》 Mbssdr／CC BY-SA 4.0（裁剪）
- 游戏与谜题的计算复杂度：《Sudoku Puzzle (a puzzle with total symmetry)》 LithiumFlash／CC BY-SA 4.0（裁剪）
- 相关研究室
（伊藤 大雄・三重野 琢也 研究室） ：《Set of various puzzles》 Lpele／CC BY-SA 4.0（裁剪） - 相关研究室
（岡本 吉央 研究室） ：《Voronoi colors》 Bayu198／CC0（裁剪） - 相关研究室
（岩﨑 敦 研究室） ：《Otago Farmers Market main carpark stalls 13 Dec 2025》 DrThneed／CC BY 4.0（裁剪） - 相关研究室
（古賀 久志 研究室） ：《Orange-data-mining-hierarchical-clustering》 Blaž Zupan (Orange Data Mining)／CC BY-SA 4.0（裁剪）
关于 LabLog
LabLog 是学生专属的研究室评价应用。
本页的研究室基本信息和评分汇总与 LabLog 介绍允许搜索引擎和 AI 引用。