格林文

Grinvin是一个桌面应用程序,用于研究图、它们的属性(不变量)以及这些属性之间的关系。在Grinvin的开发过程中,用户界面受到了很大的关注。它的目的是通过举例和对图及其性质的实验来优化支持用户学习图论。实验可以通过包含一个图形编辑器来实现,所谓的“工厂”可以创建某种类型的图形,以及可以计算系统操作的所有图形的不变量。通过用户引入或选择的图形和不变量,Grinvin计算了一个表示不变量之间某种关系的猜想(例如,“边数≤顶点数”)。然后,使用者(学生)应该试着找到这个猜想的反例(最好是最小的一个),或者试图证明它是正确的。如果一个反例可以产生,它应该输入系统,让格林文计算一个新的猜想。在这个例子中,最小的反例是一个有5条边的4阶图(画一个有一条对角线的正方形)。软件使用的所有术语都记录在一个在线的、上下文相关的帮助系统中。本文档包含不变量和基本图论的信息。同样的,我们也尝试用不同的语言在计算机平台上开发出不同的语言。