• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Circuit complexity of visual search

Research Project

Project/Area Number 22K11897
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeMulti-year Fund
Section一般
Review Section Basic Section 60010:Theory of informatics-related
Research InstitutionYamagata University

Principal Investigator

Uchizawa Kei  山形大学, 大学院理工学研究科, 准教授 (90510248)

Project Period (FY) 2022-04-01 – 2025-03-31
Project Status Completed (Fiscal Year 2024)
Budget Amount *help
¥2,990,000 (Direct Cost: ¥2,300,000、Indirect Cost: ¥690,000)
Fiscal Year 2024: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2023: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2022: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Keywordsニューラルネットワーク / 計算量理論 / 神経回路網 / エネルギー計算量 / 回路計算量理論 / 生体情報処理 / 回路計算量 / 計算複雑さ / 視覚探索
Outline of Research at the Start

視覚探索とは,特定の目標刺激と多数の妨害刺激が含まれる画像を被験者に提示し,できる限り速く正確に目標刺激を見つけ出すことを求める課題である.その中でも特徴探索は,色あるいは形状など,目標刺激と妨害刺激の間に大きな違いのある課題であり,結合探索は目標刺激と妨害刺激が共通の特徴を持つ課題である.人間にとって特徴探索は易しく,結合探索は難しいことが実験的に確認されている.本研究では,この特徴探索と結合探索を数学的にモデル化し,この2つの課題を解くために必要となる資源の量が脳にとって異なること示すことにより,その難しさの違いの原因を説明することを目指している.

Outline of Final Research Achievements

Let C be a threshold circuit with size s, depth d, weight w, and energy e, that computes an n-variable Boolean function modeling conjunctive search. As our main result, we prove that the inequality n/2 <= ed(log s + log w + log n) holds regardless of the internal structure of C. In other words, to realize conjunctive search, these four computational resources must be consumed in a way that satisfies this inequality. Since size, depth, weight, and energy are computational resources with limited availability in neural circuits, this result suggests that only small-scale conjunctive searches can be realized within the computational model of neural networks. In contrast, for Boolean functions modeling feature search, no such restrictions on scale exist. Therefore, this result reflects a difference in computational complexity between feature search and conjunctive search.

Academic Significance and Societal Importance of the Research Achievements

本研究では、脳の神経回路網が実現する情報処理の中でも特に、脳にとって簡単と考えられてきた特徴探索と、難しいと考えられてきた結合探索に対して、特徴探索よりも、結合探索の方が、脳にとって実際に難しいタスクであることを理論的に裏付けた。この成果は回路計算量理論の分野で古くから発展してきた手法を活用しており、回路計算量理論の言葉で、脳が実現する情報処理の性質を語っていることから、回路計算量理論、神経科学、双方にとって興味深い。

Report

(4 results)
  • 2024 Annual Research Report   Final Research Report ( PDF )
  • 2023 Research-status Report
  • 2022 Research-status Report
  • Research Products

    (7 results)

All 2024 2023 2022 Other

All Int'l Joint Research (2 results) Journal Article (5 results) (of which Int'l Joint Research: 2 results,  Peer Reviewed: 5 results,  Open Access: 1 results)

  • [Int'l Joint Research] Indian Institute of Technology Madras(インド)

    • Related Report
      2024 Annual Research Report
  • [Int'l Joint Research] Indian Institute of Technology Madras(インド)

    • Related Report
      2023 Research-status Report
  • [Journal Article] Trade-Offs Between Energy and Depth of Neural Networks2024

    • Author(s)
      Uchizawa Kei、Abe Haruki
    • Journal Title

      Neural Computation

      Volume: 36 Issue: 8 Pages: 1541-1567

    • DOI

      10.1162/neco_a_01683

    • Related Report
      2024 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Energy and Output Patterns in Boolean Circuits2024

    • Author(s)
      Sarma Jayalal、Uchizawa Kei
    • Journal Title

      In Proceddings of Annual Conference on Theory and Applications of Models of Computation

      Volume: 14637 Pages: 185-196

    • DOI

      10.1007/978-981-97-2340-9_16

    • ISBN
      9789819723393, 9789819723409
    • Related Report
      2024 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Exponential Lower Bounds for Threshold Circuits of Sub-Linear Depth and Energy2023

    • Author(s)
      Kei Uchizawa, Haruki Abe
    • Journal Title

      Proceedings of 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)

      Volume: -

    • Related Report
      2023 Research-status Report
    • Peer Reviewed
  • [Journal Article] An <i>O</i>(<i>n</i><sup>2</sup>)-Time Algorithm for Computing a Max-Min 3-Dispersion on a Point Set in Convex Position2022

    • Author(s)
      KOBAYASHI Yasuaki、NAKANO Shin-ichi、UCHIZAWA Kei、UNO Takeaki、YAMAGUCHI Yutaro、YAMANAKA Katsuhisa
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: E105.D Issue: 3 Pages: 503-507

    • DOI

      10.1587/transinf.2021FCP0013

    • NAID

      130008165607

    • ISSN
      0916-8532, 1745-1361
    • Year and Date
      2022-03-01
    • Related Report
      2022 Research-status Report
    • Peer Reviewed
  • [Journal Article] Synchronous Boolean Finite Dynamical Systems on Directed Graphs over XOR Functions2022

    • Author(s)
      Ogihara M.、Uchizawa K.
    • Journal Title

      Theory of Computing Systems

      Volume: 未定 Issue: 3 Pages: 569-591

    • DOI

      10.1007/s00224-022-10111-x

    • Related Report
      2022 Research-status Report
    • Peer Reviewed / Int'l Joint Research

URL: 

Published: 2022-04-19   Modified: 2026-01-16  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi