簡略表現の視点に基づいた定数段しきい値論理回路の計算能力の解明

• Project/Area Number: 25K14983
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Multi-year Fund
• Section: 一般
• Review Section: Basic Section 60010:Theory of informatics-related
• Research Institution: Yamagata University
• Principal Investigator: 内沢 啓 山形大学, 大学院理工学研究科, 准教授 (90510248)
• Project Period (FY): 2025-04-01 – 2028-03-31
• Project Status: Granted (Fiscal Year 2025)
• Budget Amount: ¥4,160,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥960,000); Fiscal Year 2027: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000); Fiscal Year 2026: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000); Fiscal Year 2025: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
• Keywords: 回路計算量理論 / 計算量理論 / グラフ / しきい値回路

Outline of Research at the Start

研究期間内に我々は、ニューラルネットワークの理論モデルの一種であるしきい値回路について、しきい値回路の計算時間に相当する段数というパラメータが、その計算能力に影響を与えるかについて検討する。特に、段数２のしきい値回路に基づいて定義された場合は効率良く解ける一方で、段数３のしきい値回路に基づいて定義された場合は効率良く解けないような、段数２と段数３のしきい値回路の計算能力の違いが間接的に表れる特殊な情報処理タスクの発見を目指す。