kariefury / oppia

Automatically exported from code.google.com/p/oppia
Apache License 2.0
0 stars 0 forks source link

Rules for the graph widget #477

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago
In as much detail as possible, please describe what you would like to see.

This is a suggestion for more rules for the graph widget (from Jacob):

- "graph (is/is not) (isomorphic to / subgraph of / contains / etc.) another 
graph G" 
- "graph (is/is not) (connected / acyclic / regular / etc.)"
- "graph has (max degree / chromatic number / # edges /etc.) (equal to / at 
least / at most) [NUMBER]"

This represents the rules in a compact way and allows naturally for 
extensibility.

(Note though that "graph is contains another graph G" looks a bit weird.)

Original issue reported on code.google.com by s...@seanlip.org on 19 Nov 2014 at 4:57

GoogleCodeExporter commented 9 years ago

Original comment by s...@seanlip.org on 1 Dec 2014 at 3:23