热带密码学 - 艺术状态和1个未来的前景2 3第一篇论文引入了在公共密钥4密码学中使用热带时间的使用。从那时起,已经提出了许多热带方案5,并结合了各种愿意的半肌。用于加密目的的最常用的6个常见的愿望是7分钟以上和最大值的半连接,其中一些方案还利用了最大8个时间和最小时间的半时间。确保9这些方案的安全性的主要数学问题包括热带离散对数问题10(热带DLP),热带半群动作问题(热带SAP),11个热带半领产品问题;在热带半光中求解双面线性12系统的问题;热带多项式分解并发现了13个最大的常见分裂(GCD)问题,以及热带基质功率14功能问题(热带MPF)。不幸的是,大多数提出的15种热带计划已成功攻击,这引起了人们对热带密码学的16个未来的担忧。在这项工作中,我们回顾了现有的热带17个方案,讨论潜在问题的复杂性,检查当前对这些方案的18次攻击,并探索基于热带半决赛的19个密码学的未来前景和方向。20 21关键字:半半,热带半肌,热带密码学,热带22个问题,加密攻击。23 24 25引言26 27范迪弗(Vandiver,1934年)引入了半条,但很长一段时间以来,数学家一直没有注意到他们的28个半条。该理论通过替换真实47半少数在29个不同的领域中找到应用,包括自动机理论,形式语言,有限状态30台机器,可识别的语言,语音识别和图像压缩。31用于研究计算机32个程序的正确性和有效性的正式系统,例如动态代数,Hoare代数和Kleene代数,与各种半段密切相关。div>势力桥梁代数34形式主义以及动态和时间逻辑,从而实现了计算机程序和过渡系统的属性35的建模。此外,半序在大规模的科学应用中发挥了36个至关重要的作用,包括线性代数计算的高维37个数据和图分析。38热带代数是由Cuninghame-Green(1979)提出的,而39术语Idempotent分析是由Victor Maslov(1986)提出的。为纪念巴西数学家Imre Simon而创造了40个热带,他的41件作品(Simon,1988)为热带代数奠定了重要的基础。在热带42代数,热带添加意味着最小或最大为两个43个数字,而热带乘法对应于通常的添加。通过45个半度的框架进一步开发了44个热带代数的概念,从而形式定义了热带46个半度的代数结构。
b'in最近的地标结果[Ji等。,arxiv:2001.04383(2020)],显示在允许玩家共享无限维度的量子状态时,近似两人游戏的值是不可决定的。在本文中,我们研究了量子系统的尺寸在t界定时,两人游戏的计算复杂性。更具体地说,我们给出一个半尺寸的尺寸的程序,以实验12(log 2(at) + log(q)log(at)) /\ xcf \ xb5 2来计算附加\ xcf \ xb5-关于具有T \ xc3 \ x97 t -dimum量的两次播放游戏的值的附加值,近似值,该量的量游戏分别。对于固定尺寸t,这在Q中以Q和准多态的多项式缩放在A中,从而改善了先前已知的近似算法,其中最差的运行时保证最充其量是Q和A中的指数。为了证明,我们与量子可分离性问题建立了联系,并采用了改进的多部分量子finetti定理,并具有线性约束,我们通过量子熵不等式得出。