权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

A Study on Efficient Program Reversibilization with Minimum Extra Data

最少额外数据的高效程序可逆性研究

基本信息

批准号：
22K11983
负责人：
横山哲郎
金额：
$ 1.33万
依托单位：
Nanzan University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2022
资助国家：
日本
起止时间：
2022-04-01 至 2027-03-31
项目状态：
未结题

项目摘要

本研究の主目的はゴミ出力量を最適化した可逆化の方法を構築し特定の問題領域における可逆化への系統的な適用をすることである。任意の単射部分関数に対するゴミ出力がない可逆化は知られていたが、任意の部分関数に対するゴミ出力がある場合の(1)最適な一般解法や(2)特定の問題領域への系統的な適用は知られていなかった。本年度はこの両者に一定の成果が得られた。(1)重要な問題のひとつは、余剰出力が最小限な可逆プログラムが存在するかである。可算領域上の部分関数を実装するプログラムについてこの問いに答えるため、我々は、無限ゴミ集合に関する順序及び最小性の概念を導入した。我々は、決定可能及び半決定可能な述語で指定された関数のための2つの方法を提示した。両手法は普遍的であり、述語で指定された全てのプログラムに対して適用可能である。これらの方法は、Bennettの古典的な単射関数の入力消去可逆模倣を包含するものである。したがって、チューリング完全なプログラミング言語で書かれたプログラムは、rチューリング完全な可逆言語において、g最小性ゴミをもつものとして実装することができる。ただし、こうした一般化のために生成とテストのアプローチを用いており、相当の実行時間を犠牲にしていることには注意されたい。(2)文字列照合はアルゴリズムの基本問題である。本年度では、2つの可逆的な文字列照合アルゴリズムを検討した。我々は、基本的な可逆プログラミング技法を用いて、Rabin-Karpアルゴリズムが採用する多項式ハッシュ更新関数の効率的な可逆化を実現した。その結果得られた2つのクリーンな入力保存型可逆アルゴリズムは、追加のメモリ使用量を必要とせず、古典的な非可逆的な元のアルゴリズムと同じ漸近的時間複雑性を持つようになった。この問題の探究を通じて可逆アルゴリズム及び可逆プログラミングの理論の整備に寄与することができた。

In this study, the main purpose of this study is to optimize the power generation, the reversible method, and the application of the reversible system in the field of specific problems. The output of any part of the system is reversible, and that of any part of the system is (1) the most efficient general solution (2) the knowledge of the system in the field of specific problems. This year's winners are sure to get a lot of results. (1) there are some important problems, such as the minimum limit of effort, the minimum limit, the minimum limit, the minimum limit and the minimum limit. It can be calculated that some of the problems in the field are related to the number of users, the number of users, the order of the collection of information, and the concept of "minimization" in the field. We may, decide, and semi-determine the possibility to specify the number of numbers, the number of numbers, the method prompt. The common way to do this is to specify that it is possible to use the whole thing. The classical method, Bennett, the number of shots, the elimination of reversible modules, the number of shots, the number of shots. This is not a good idea. I don't know what to say. I don't know. I don't know. It is necessary to generalize the information generated by the general use of the equipment, which is equivalent to the amount of time it takes to pay attention. (2) the text column is in line with the basic questions. The reversible text series of this year's two-year-old, two-year, two-year, two- We use the basic reversible and Rabin-Karp techniques to realize the reversibility of the data rate by using the polynomial formula. The results show that you need to save the force of reversible storage, add the necessary cost of usage, and the classical non-reversible one is the same as the one in the near period of time. In order to explore the problem, the general information system and the reversible information system will be sent to the information center.