XiaoMi-AI文件搜索系统
World File Search System同构
矩阵代码等价的数字签名
摘要。在本文中，我们展示了如何使用矩阵代码等同（MCE）问题作为构建签名方案的新基础。这扩展了以前关于使用同构问题作为签名方案的工作，这一趋势最近在量词后加密货币中出现。我们的新配方利用了一个更普遍的问题，并允许较小的数据大小，实现竞争性能和出色的功能。使用MCE，我们构建了一个零知识协议，我们将其变成一个名为矩阵等效数字signature（MEDS）的签名方案。我们提供了针对NIST的1类安全级别量身定制的药物参数的初步选择，其公共钥匙小至2.8 kb，签名范围从18 kb到6.5 kb左右，以及C.
MERMIN多面体量子计算和基础
Mermin Square方案为与国家无关的上下文提供了简单的证明。在本文中，我们研究了从Mermin方案获得的多面体MPβ，在一组环境中由函数β进行了参数。直到组合同构，有两种类型的多型MP 0和MP 1，具体取决于β的均衡。我们的主要结果是这两个多面体的顶点的分类。另外，我们描述了与多面体关联的图。MP 0的所有顶点结果都是确定性的。此结果提供了一个新的拓扑证明，证明了CHSH场景上的非上下文分布的精细表征。mp 1可以看作是λ-聚植物的非局部玩具版本，这是用于仿真通用量子计算的一类多型。在2 Quibit的情况下，我们使用MP 1进行了λ-聚型的分解，其顶点是分类的，并且（2、3、2）钟形场景的非信号层，其顶点是众所周知的。
同态哈希功能的量子碰撞发现
abtract。哈希功能是基本的加密原始功能。某些哈希功能试图通过减少已知的严重问题来证明对碰撞和前图攻击的安全性。这些哈希功能通常具有一些允许减少的额外属性。哈希函数是加性或乘法的，使用量子计算机的隐藏子组问题算法容易受到量子攻击的影响。使用量子甲骨文到哈希，我们可以重建哈希函数的内核，这足以找到碰撞和第二次预示。当哈希函数相对于Abelian组中的组操作是加法的时，总会有足够的实现此攻击。我们将具体的攻击示例提交了可证明的哈希功能，包括对⊕线性哈希函数的前攻击和某些乘法同构哈希方案。
物理学科学硕士.pdf
否积分：4单位I特殊功能：笛卡尔，圆柱形和球形极性坐标中Helmholtz方程的分离。Legendre函数：Legendre多项式，Rodrigue的公式；生成功能和递归关系；正交性和归一化；相关的Legendre功能，球形谐波。贝塞尔函数：第一类的贝塞尔函数，递归关系，正交性hermite函数：Hermite多项式，生成函数，递归关系；正交性。laguerre函数：laguerre和相关的Lauguerre多项式，递归关系；正交性。特殊功能在物理问题上的应用。10小时II单元矩阵：矢量空间和子空间，线性依赖性和独立性，基础和维度，革兰氏链式正交程序，正交，遗传学以及单位矩阵，特征值和特征值，eigenvectors，eigenvelors and eigenenvectors，ignalvelors of Matrices，diagonalization of Matrices，类似的物理化，应用程序，应用程序，应用于物理问题。积分变换：傅立叶变换：定义，傅立叶积分；逆变换；衍生物的傅立叶变换；卷积，parseval的定理；申请。拉普拉斯变换：定义，基本函数的变换，逆变换；派生的变换；变换的分化和整合；卷积定理；差分方程的解决方案；物理问题。物理中的张量。应用于分子光谱。10小时10小时单元III张量：线性空间，曲线坐标及其转换中的坐标转换；张量的定义和类型，逆转和协变量张量，对称和反对称张量，张量代数：平等，加法和减法，张量乘法，外产物；索引，内部产品，商定理，kronecker三角洲的收缩，张量的降低和升高，公制张量；基督教符号。10小时单位IV组理论：小组，子组和类；同构和同构，群体表示，可简化和不可约形的表示，Schur的引理，正交定理，表现形式，角色表的强度，将可还原的表现分解为不可减至的表征，代表性的构建，代表性的构建，谎言组，谎言组，旋转组，SO（2）等（3）。
使用 chemlambda、lambda 进行人工化学实验...
给定一个图重写系统，如果图 G 具有图重写的左模式非冲突匹配的非空最大集合，使得在并行应用重写之后，我们得到一个与 G 同构的图，则图 G 为奎因图。此类图表现出新陈代谢，它们可以繁殖，也可以消亡，当通过随机重写算法减少时。这些是使用 chemlambda、lambda 演算或交互组合器的人工化学实验页面的介绍性说明，可从入口页面 chemlambda.github.io [ 13 ] 获得。实验被捆绑成页面，所有页面都基于程序库、包含数百个图表的数据库以及大约 150 页文本注释的数据库和超过 200 个动画的集合，其中大多数可以通过程序实时重做。这些实验中有其他贡献者的公共存储库链接，其中包含这些程序的 python、haskell、awk 或 javascript 版本。
使用局部拓扑特征增强图表学习
在图表上的表示是一个基本问题，在各种任务中可能至关重要。图形神经网络是图表学习的主要方法，其表示能力有限。因此，将高阶拓扑和几何信息明确提取并纳入这些模型可能是有益的。在本文中，我们提出了一种原则性的方法，以根据持续同源性理论提取图形的丰富连通性信息。我们的方法利用拓扑特征来增强图形神经网络的表示学习，并在各种节点分类和链接预测基准上实现最先进的性能。我们还探索了拓扑特征的端到端学习的选择，即将拓扑计算视为学习过程中可区分的操作员。我们的理论分析和实证研究为在图形学习任务中采用拓扑特征提供了见解和潜在指南。关键字：持续的同源性，拓扑数据分析，图形神经网络，图表学习，图形同构
k-规则的 DNA 自组装的优化构造...
在生物学中，构建具有特定形状的 DNA 复合物是令人感兴趣的。这些复合物可以通过图论来表示，使用边来模拟在连接处连接的 DNA 链，用顶点表示。由于引导构建效率低下，因此需要 DNA 自组装的设计策略。在柔性瓦片模型中，分支 DNA 分子被称为瓦片，每个瓦片由柔性未配对的粘性末端组成，能够形成键边。因此，我们考虑构建图 G（即目标结构）所需的最小瓦片和键边类型数量，而不允许形成较低阶的图或非同构的等阶图。我们强调（不可）交换图的概念，为不可交换图建立下限。我们还介绍了一种通过顶点覆盖建立上限的方法。我们应用这两种方法来证明 rook 图和 Kneser 图的新界限。
Quantum零知识，重新审视或
可以在多项式时间内模拟（例如，无需访问该声明的NP证人）。尽管零知识的属性听起来几乎是自相矛盾的，但是[GMR85]表明，非平凡语言存在零知识方案（例如，对于二次残留量）。这引发了未来十年中的一系列基础作品，包括：图形同构/非同态的零知识协议以及NP [GMW86]，NP [GK96，FS90]的常数零知识协议（基于两种不同的Paradigms）和应用程序的gmw7 [GK96，FS90]（基于两种不同的Paradigms）。但是，由于建立了这些基本结果，因此我们对构成有效计算的构成的概念从根本上发生了变化。在理论[SHO94]和实践[AAB + 19]中，量子计算机似乎都具有任何有效的经典计算机的功能。因此，为了具有令人满意和完整的加密理论，必须分析安全性（高效）量子攻击的安全性。在这项工作中，我们问：
（信息技术）
数学逻辑：命题逻辑；一阶逻辑：概率：条件概率；卑鄙，中位数，模式和标准偏差；随机变量；分布；制服，正常，指数，泊松，二项式。集合理论与代数：集合，关系，功能，群体，部分订单，晶格，布尔代数。组合学：排列，组合，计数，求和，生成功能，复发关系，渐近学。图理论：连通性，跨越树，切割的顶点和边缘，覆盖，匹配，独立集，着色，平面性，同构。线性代数：矩阵的代数，决定因素，线性方程系统，本特征值和本本矢量。数值方法：线性方程系统的LU分解，通过secant，bisection和Newton-Raphson方法的非线性代数方程的数值解；梯形和辛普森规则的数值集成。微积分：极限，连续性和不同性，平均值定理，积分的定理，确定和不当积分的评估，部分衍生物，总导数，Maxima＆Minima。
（计算机科学）
1。工程数学数学逻辑：命题逻辑；一阶逻辑：概率：条件概率；卑鄙，中位数，模式和标准偏差；随机变量；分布；制服，正常，指数，泊松，二项式。集合理论与代数：集合，关系，功能，群体，部分订单，晶格，布尔代数。组合学：排列，组合，计数，求和，生成功能，复发关系，渐近学。图理论：连通性，跨越树，切割的顶点和边缘，覆盖，匹配，独立集，着色，平面性，同构。线性代数：矩阵的代数，决定因素，线性方程系统，本特征值和本本矢量。数值方法：线性方程系统的LU分解，通过secant，bisection和Newton-Raphson方法的非线性代数方程的数值解；梯形和辛普森规则的数值集成。微积分：极限，连续性和不同性，平均值定理，积分的定理，确定和不当积分的评估，部分衍生物，总导数，Maxima＆Minima。