Basics of GraPHedron
We have the intention to add a complete tutorial to explain the principles of GraPHedron and the use of this web site.
However, this is already a mini-tutorial:
Create your account and then log in.
Download this paper which explains the principles of GraPHedron (available via ScienceDirect).
Read Sections 2 and 3, eventually Section 4.
Section 2 fixes the vocabulary which will be the same on this web site. Section 3 explains the polyhedral approach used by GraPHedron, which is very simple but important to understand in order to interpret the results of your projects. An illustration is given in the Section 2 (Example 1). Section 4 gives technical details about the outline of the system.
As you will see, not all the options described in the preprint are already available in this web version, but will be added later.
If you are logged, you have access to a new menu entry called My Projects
(see the menu to the left)We suggest that you try the recreate the GraPHedron's report to solve Example 1 (study of the diameter and number of edges of connected graphs):
Click on My Projects in the left menu.
Choose New project in the submenu, give a name to your project and you will be directed to the edit project page.
Note that a new menu entry has appeared: it is called Project X where X is the name of your (current) project.
Edit your project to recreate the problem of Example 1.
Check the tabs above the edit page which allows you to add options to your project. For instance, the option Point's distribution works very well with Example 1 and will show you an automatic conjecture about Pareto points.
When the problem is defined, you can launch the computation of the automatic report by clicking the gears at the bottom of the edit page, or by choosing the run submenu of the current project menu.
-
Wait about 40 seconds to see if your project is already computed. If it is not the case, you will be advised that you will receive an email when it is done.
It should give you sufficient information to start your own projects. When you are logged, you will find menu entries to browse the list of available invariants and classes of graphs.
