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

Theoretical clarification of efficiency and fundamental properties of computation under low memory space

Research Project

Project/Area Number 17K00025
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeMulti-year Fund
Section一般
Research Field Theory of informatics
Research InstitutionTokuyama College of Technology

Principal Investigator

YOSHINAGA Tsunehiro  徳山工業高等専門学校, 情報電子工学科, 教授 (50158482)

Project Period (FY) 2017-04-01 – 2022-03-31
Project Status Completed (Fiscal Year 2021)
Budget Amount *help
¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000)
Fiscal Year 2020: ¥390,000 (Direct Cost: ¥300,000、Indirect Cost: ¥90,000)
Fiscal Year 2019: ¥390,000 (Direct Cost: ¥300,000、Indirect Cost: ¥90,000)
Fiscal Year 2018: ¥390,000 (Direct Cost: ¥300,000、Indirect Cost: ¥90,000)
Fiscal Year 2017: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Keywords領域限定計算 / 交代性計算 / インクドットチューリングマシン / 閉包性 / ぺブルチューリングマシン / ラスベガス計算 / 非決定性計算 / 決定性計算 / インクドット・チューリングマシン / ぺブル・チューリングマシン / 領域計算量 / チューリングマシン / 1方向計算 / 2方向計算 / カウンタオートマトン / 同期型交代性計算 / 有限オートマトン / マルチカウンタマシン / 計算理論 / オートマトン理論
Outline of Final Research Achievements

The purpose of this research is to theoretically clarify the efficiency of processing and various properties of such efficiency using mathematical models of computers with extremely small disk memory compared to the size of input data, assuming that large amounts of data are processed on a computer with a small memory, such as a smart phone.
We have shown theoretically that, although ordinary computers are used for serial computation, parallel computation with tagged input data can improve processing efficiency, but it cannot handle complex processing, and that randomized computation, in which one process is randomly chosen from among multiple next processes, can also improve efficiency depending on the machine model.

Academic Significance and Societal Importance of the Research Achievements

本研究は領域計算に関する基礎理論であり,入力データnに対し,使用できるメモリー空間量を関数s(n)に制限した場合の計算の可能性と限界等について考察・解明することが主題である.
これまでに,s(n)が対数log n(logarithm)より大きな関数の場合については多くの著名な先行結果があるが,本研究で対象とするs(n)がlog n未満(sublogarithm)の場合に関する成果は多くない.よって,本研究成果の学術的意義としては,log n未満の領域計算量の研究分野の進展への貢献が考えられる.

Report

(6 results)
  • 2021 Annual Research Report   Final Research Report ( PDF )
  • 2020 Research-status Report
  • 2019 Research-status Report
  • 2018 Research-status Report
  • 2017 Research-status Report
  • Research Products

    (6 results)

All 2021 2020 2019 2018 2017

All Journal Article (3 results) (of which Peer Reviewed: 2 results) Presentation (3 results)

  • [Journal Article] Non-Closure Properties of Multi-Inkdot Nondeterministic Turing Machines with Sublogarithmic Space2020

    • Author(s)
      YOSHINAGA Tsunehiro、SAKAMOTO Makoto
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      Volume: E103.A Issue: 10 Pages: 1234-1236

    • DOI

      10.1587/transfun.2019DML0001

    • NAID

      130007920252

    • ISSN
      0916-8508, 1745-1337
    • Year and Date
      2020-10-01
    • Related Report
      2020 Research-status Report
    • Peer Reviewed
  • [Journal Article] Non-closure Properties of Multi-Inkdot Nondeterministic Turing Machines with Sublogarithmic Space2020

    • Author(s)
      Tsunehiro YOSHINAGA and Makoto SAKAMOTO
    • Journal Title

      IEICE Transactions FUNDAMENTALS

      Volume: -

    • NAID

      130007920252

    • Related Report
      2019 Research-status Report
    • Peer Reviewed
  • [Journal Article] 1-Way versus 2-Way Alternating Multi-CounterAutomata with Sublinear Space2018

    • Author(s)
      Tsunehiro YOSHINAGA and Makoto SAKAMOTO
    • Journal Title

      RESEARCH REPORTS OF THE TOKUYAMA COLLEGE OF TECHNOLOGY

      Volume: 第42号 Pages: 1-4

    • Related Report
      2018 Research-status Report
  • [Presentation] Property of Cooperating Systems of One-Way Alternating Finite Automata2021

    • Author(s)
      Naruya Konohara、Tsunehiro Yoshinaga、Makoto Sakamoto
    • Organizer
      2021 年度(第 72 回)電気・情報関連学会中国支部連合大会
    • Related Report
      2021 Annual Research Report
  • [Presentation] あみだくじに関する実験的考察2019

    • Author(s)
      山根 雄太,義永 常宏,坂本 眞人
    • Organizer
      令和元年度(第70回)電気・情報関連学会中国支部連合大会
    • Related Report
      2019 Research-status Report
  • [Presentation] 同期型交代性有限オートマトンとマルチカウンタマシンの関係について2017

    • Author(s)
      ○廣中 颯,義永 常宏,坂本 眞人
    • Organizer
      平成29 年度(第68 回) 電気・情報関連学会中国支部連合大会
    • Related Report
      2017 Research-status Report

URL: 

Published: 2017-04-28   Modified: 2023-01-30  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi