同构-一流百科

柯里-霍华德同构

简介在编程语言理论和证明理论中，柯里-霍华德同构（也称为 Curry-Howard 同构或等价）是两者之间的直接关系计算机程序和数学证明。它是美国数学家 Haskell C...

词条百科

同构性（图论）

同构性（图论）在图论中，两个图G{displaystyleG}和和G′{displaystyleG'}是同构的，如果存在一个图的同构，从某个细分的G{displaystyleG}的某个细分部分到{di...

词条百科

图的同态性

图的同态性在图论的数学领域，图的同态性是两个图之间尊重其结构的映射。更具体地说，它是两个图的顶点集之间的一个函数，将相邻的顶点映射到相邻的顶点。同...

词条百科

图的同构

图的同构图的同构在图论中，图G和H的同构是G和H的顶点集之间的一种双射。.在双射是图对自身的映射的情况下，即当G和H是同一个图时，双射被称为G的自动形态。...

词条百科

图的属性

什么是图的属性在图论中，图的属性或图的不变性是图的一种属性，它只取决于抽象结构，而不取决于图的表示，如特定的标记或图的画法。图的属性的定义虽然图画...

词条百科

图的规范化

图的规范化在图论（数学的一个分支）中，图的规范化是指寻找给定图G的规范形式的问题。规范形式是指与G同构的标记图Canon(G)，这样每个与G同构的图都具有与G...

词条百科

分数图同构

分数图同构在图论中，其邻接矩阵表示为A和B的图的分数同构是一个双随机矩阵D，使DA=BD。如果双随机矩阵是一个置换矩阵，那么它就构成了一个图的同构。计算复...

词条百科

同构类型理论

同构类型理论在数理逻辑和计算机科学中，同构类型理论（HoTT/hɒt/）是指直观类型理论的各种发展路线，其基础是将类型解释为（抽象的）同构理论的直觉所适用的...

词条百科

痕量单体

什么是痕量单体在计算机科学中，痕量是一组字符串，其中字符串中的某些字母被允许换位，但其他字母则不允许。它概括了字符串的概念，不强迫字母总是按固定的...

词条百科

烯醇

什么是烯醇酮-烯醇的例子丙酮的酮-烯醇平衡。酮的同构化，左边是酮的形式，右边是烯醇。例子是2,4-戊二酮，一个氢键（--）稳定的烯醇。醛的同构化，左边是烯...

词条百科