離散アルゴリズムの品質保証技術に関する調査と新しい展開

离散算法质量保证技术综述及新进展

• 批准号: 15630001
• 负责人: 岩間 一雄
• 金额: $ 1.92万
• 依托单位: Kyoto University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2003
• 资助国家: 日本
• 起止时间: 2003 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-15630001/
• 关键词: 離散アルゴリズム; 離散最適化; 品質保証; 近似アルゴリズム; オンラインアルゴリズム; 確率アルゴリズム; 量子アルゴリズム; 計算量理論

最近のIT社会の大規模化と多様化に伴って、従来から常識のように言われていた正確な計算を速く実行するというパラダイムが必ずしも実情に合わなくなってきている。現実的な時間内に限られたメモリ量で問題を解決することは依然として重要であるが、それだけではなく、非確実性をいかに扱うかが主要な課題になっている。したがって、正確さや決定性を犠牲にしても高速に近似最適解を得る、スケーラビリティを重視した情報処理技術が重要になっている。しかし、単純な発見的手法等に頼ったアルゴリズムでは、計算量のメリットと犠牲のトレードオフがまったく分からない場合が多い。本プロジェクトでは、アルゴリズムの品質保証のため、競合比や近似度といった新しい尺度の調査を行った。具体的には、近似計算、オンライン計算、確率計算(含む量子計算)、通信効率の高い計算、安全性の高い計算、メタヒューリスティックス等の要素技術の調査を行った。この調査の方向性を定めるために主要なメンバーによる2回の会合を開き、また調査報告と討論のために全研究分担者による全体会議を1回開催した。この他、電子メールによる意見の交換を常時行い、アルゴリズム設計において、工学的なアプローチのもとでの厳密性のある総合的な品質保証技術へのパラダイムシフトが必要であることを示した。また、以下の3種類のアプローチによる研究の必要性をまとめた。(1)杜会的評価基準による利用者にとって分かりやすい評価モデルの研究。(2)与えられたモデルの元での計算限界(下限)を証明する限界研究。(3)実際にアルゴリズムを設計して評価尺度の上限を示すことによる最適アルゴリズム構築研究。これらは密接に関連するため、組織を横断する形での緩やかな班組織により研究者が連帯して研究を推進する必要がある。

Recently, there has been a large-scale model of IT society, which has become a partner, and has come to know that the calculation is correct and correct. It is necessary to solve the problem of quality control within a limited period of time, and it is still necessary to deal with important problems, such as critical care, non-deterministic sales, and non-deterministic sales. It is important to pay attention to the importance of information, science, technology, technology and technology. Please tell me how to do something, such as the way you see it, and the way you do it. In this paper, we use this information to ensure that the products are accurate, comparable, approximate, new, accurate and accurate. Specific calculation, approximate calculation, precision calculation, certainty calculation (including quantum calculation), communication rate calculation, security calculation, safety calculation, and so on. It is necessary to determine the direction of the meeting and to urge the plenary meeting of the participants in the whole research session. The communication of opinions and opinions between customers and electrons is necessary. It is necessary to make sure that it is necessary to make sure that it is necessary to provide information on the safety and security of quality and technical equipment. The following three categories are very important for the study of the necessity of research. (1) the basic level of du Hui, the user

项目成果

櫻井幸一: "暗号アルゴリズムの性能評価に関する現状と課題"離散アルゴリズムの品質保証技術に関する調査会議録. 1. 13-26 (2003)

Koichi Sakurai：“密码算法性能评估的现状和问题”离散算法质量保证技术研究会议论文集 1. 13-26 (2003)。

西野哲朗: "量子アルゴリズムと暗号解読"離散アルゴリズムの品質保証技術に関する調査会議録. 1. 1-11 (2003)

Tetsuro Nishino：“量子算法与密码破解”离散算法质量保证技术研究会议论文集。1. 1-11 (2003)。

伊東利哉: "A Nearly Linear Size 4-Min-Wise Independent Permutation Family by Finite Geometries"離散アルゴリズムの品質保証技術に関する調査会議録. 1. 103-114 (2003)

Toshiya Ito：“有限几何的近线性大小 4 分钟独立排列族”离散算法质量保证技术研究会议论文集 1. 103-114 (2003)。

徳山豪: "データマイニングにおけるモデルとアルゴリズム設計"離散アルゴリズムの品質保証技術に関する調査会議録. 1. 123-143 (2003)

Go Tokuyama：“数据挖掘中的模型和算法设计”离散算法质量保证技术研究会议论文集。1. 123-143 (2003)。

渡辺治: "P≠NPとP≠PSPACEの違い"離散アルゴリズムの品質保証技術に関する調査会議録. 1. 63-72 (2003)

Osamu Watanabe：“P≠NP 和 P≠PSPACE 之间的差异”离散算法质量保证技术研究会议论文集 1. 63-72 (2003)。