PENDING: veel hiervan werkt intussen niet meer (volledig) ...
Voorbeeld: bepalen of twee grafen isomorf zijn
Met "Insert->New Graph" kan je een nieuwe graaf op de stapel zetten.
Druk met de rechtermuisknop op de (nog lege) graaf:
en kies "Add vertex" om nieuwe toppen toe te voegen. Voeg een paar
toppen toe door met de linker muisknop te klikken:
Je kunt de toppen verslepen met de muis.
Om pijlen of bogen toe te voegen klik je op de eerste top,
beweegt naar de tweede top, en drukt erop:
Om bogen te verwijderen, doe je precies hetzelfde.
Lussen (pijlen van een top naar dezelfde top)
worden nog niet ondersteund.
Je kan de graaf vergroten of verkleinen door het flapje rechts onderaan
te verslepen.
Duw nu op [Enter] en voeg een nieuwe graaf toe (weer met "Insert->New Graph").
Maak bijvoorbeeld de volgende graaf:
Druk weer op [Enter] en tik isisomorph en dan [Enter] om na te gaan of de grafen
isomorf zijn. Het antwoord is:
Tik why en dan [Enter] om te zien waarom:
Klik op de figuur en je ziet een isomorfisme in werking.
Complement
Het complement commando neemt het complement van een graaf.
Alle pijlen worden niet-pijlen en omgekeerd.
Bekende types grafen
Complete grafen
Het completegraph commando maakt een complete graaf.
Het aantal toppen van de te maken graaf moet op de stapel staan
(dus bijvoorbeeld 5[Enter]completegraph[Enter]
maakt een complete graaf met vijf toppen).
Een complete graaf is een graaf waarbij alle toppen met elkaar
verbonden zijn (er zijn geen lussen).
Petersen graaf
Het commando petersen zet de Petersen-graaf op de stapel.
Reguliere en sterk reguliere grafen
De commando's isregular en issrg dienen om te testen
of een graaf regulier respectievelijk sterk regulier is.
Het resultaat is true of false en met why
kan je de parameters opvragen (als de graaf (sterk) regulier bleek)
of de reden waarom de graaf niet (sterk) regulier is.
(Gepland: als de graaf niet (sterk) regulier is, wordt nu een
tekst getoond waarin gezegd wordt dat er verschillende kandidaat-waarden
voor de graad, lambda of mu zijn; in de toekomst zullen ook twee
toppen getoond worden met deze verschillende parameters.)
Uitgewerkt voorbeeld: Bepaal de parameters
van de Petersen-graaf.
