Skip to main content
100%

Graceful Tree Conjecture

✓ Published0🌍 Public
NNPashaP
Last edited Mar 21, 2017
Created on Nov 27, 2013

This interactive visualization explores the graceful tree conjecture, which posits that every tree admits a graceful labeling where edge differences are unique. Users construct a tree by clicking nodes to add leaves, then generate all unique graceful labelings based on adjacency matrix equivalence. The display shows the tree with labeled vertices, edges highlighted with computed differences, and an adjacency matrix below. Built with D3 v3, the visualization uses SVG elements and animated transitions to reposition nodes and edges as the tree grows or labels change.

AI-generated description

The graceful tree conjecture states that every tree has a graceful label. Although proven for some simple cases, the general case remains open.

This program can be used to draw a tree and generate all graceful labels (except for certain trivial variations) for the tree. The visualization also shows the adjacency matrix with respect to the graceful label.

Instructions:

Build tree by clicking on vertices to add leafs to it. Once the desired tree is built, click on 'Generate labels' button to find all graceful labels. The labels shown are unique with respect to adjacency matrix. This reduces many trivial variations in labels, for example if two branches from a vertex are isomorphic, then their labels can be swapped to get another graceful label. Also if (i) is a gaceful labeling, so is (n-i), one of these labelings have 0 and n-1 adjacent. Only labels where 0 and n-1 are adjacent are shown.

gpl-3.0 Licensed

Similar vizzes