Changes between Version 1 and Version 2 of Gráfelméleti sejtés-ellenőrző modul fejlesztése
- Timestamp:
- 04/18/09 22:09:53 (16 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Gráfelméleti sejtés-ellenőrző modul fejlesztése
v1 v2 5 5 === Háttér === 6 6 7 Gyakori eset, hogy a gráfelméleti területen dolgozó kutató hosszú hónapokig dolgozik egy sejtés bizonyításán, melyre végül egy tíznél kevesebb pontú gráfot talál ellenpéldaként. Munkájukat nagyban segítené, ha bizonyos sejtéseket kisméretű gráfokon ellenőr ízni lehetne.7 Gyakori eset, hogy a gráfelméleti területen dolgozó kutató hosszú hónapokig dolgozik egy sejtés bizonyításán, melyre végül egy tíznél kevesebb pontú gráfot talál ellenpéldaként. Munkájukat nagyban segítené, ha bizonyos sejtéseket kisméretű gráfokon ellenőrizni lehetne. 8 8 9 9 A kérdéseket ilyen típusú sémák írnák le: igaz-e, hogy minden (legfeljebb) ''n'' csúcsú, a ''P'' tulajdonságot kielégítő gráfra teljesül a ''Q'' tulajdonság? Vagy: mennyi a (legfeljebb) ''n'' csúcsú, ''P'' tulajdonságú gráfok száma? Ugyanezek a kérdések elképzelhetőek egy adott gráf részgráfjaira vonatkozóan is.