程序员为什么还要刷题 generate 从语法生成网络（例如自然语言、数学证明、行动计划、生物群落/React组网络）

程序员常刷题网络生成图网络是通用的：自然语言解析树是图。数学证明中的公理链和逻辑推论也是如此。通过3D空间进行移动和运动的计划以及完成一些更抽象的行动的计划也是如此：计划聚会或计划协调的救灾工作。涉及基因、蛋白质和其他分子的生物React途径也是图形网络。社交网络也是如此。所有这些的共同点是一组潜在的允许（或首选）附件、移动、更改或状态转换，以及对哪些附件、移动是可能的硬约束和软约束。这个repo中的代码的目标是生成这样的网络，给定约束和/或转换规则的（加权）集合和/或系统的句法（语法）描述。更准确地说，它是实现从初始状态复合体到最终状态复合体的转换，初始和最终复合体可能是根本不同的类型。在起点和终点之间是一个由相互关联的移动、过渡和约束组成的网络。从本质上讲，这是一个约束满足求解器，它允许概率加权和指导，并允许将一般问题描述为句法规则或移动（又名推理规则、公理、判断规则）的集合。目前专注于自然语言生成；然而，该理论是通用的，旨在用于任何演绎或归纳问题。上面的图像是用生成的；它显示了一个随机网络，所有链接和节点都属于同一类型，并且节点数量（连接数）