Generische invarianten-basierte Visualisierung für die Algorithmenerklärung

Algorithmiker versteen und erklären Algorithmen and datenstrucktuuren meist night durch das, was sich ändert，现代durch das， was gleich blibt, also durch invariant。算法动画制作与传统的动画制作、程序制作相比，也实现了算法、动画制作、动画制作等功能Änderungen verständlich。我正在做一个项目，在这个项目中，我将在不变性的基础上继续工作Erklärungsmethode der Algorithmiker auf algorithm animation zu bertragen。基于统计程序分析的自动估计算法实现中的不变性。在dem项目中，系统分析和可视化分析是基于不变的。在三种不同的标准中，有一种不同的结构。

Algorithmiker verstehen und erklären Algorithmen und Datenstruktuuren meist nicht durch das, was sich ändert, sondern durch das, was gleich bleibt, also durch Invarianten. Algorithmenanimation hingegen versucht traditionellerweise, Programme, also implementierte Algorithmen, durch Animation der erzielten Änderungen verständlich zu machen. Im beantragten Projekt wird versucht, die Invarianten-basierte Erklärungsmethode der Algorithmiker auf Algorithmenanimation zu übertragen. Die Invarianten werden in einer Vorverarbeitung der Implementierung des Algorithmus durch eine statische Programmanalyse automatisch bestimmt. In dem Projekt wird ein systematischer Ansatz zur Visualisierung der Invarianten gesucht. Dieser soll die Struktur der Invarianten, genauer die Zerlegung in ihre Bestandteile, ausnutzen.