COIN-OR::LEMON - Graph Library

Changes between Version 1 and Version 2 of Gráfelméleti sejtés-ellenőrző modul fejlesztése


Ignore:
Timestamp:
04/18/09 22:09:53 (16 years ago)
Author:
Peter Kovacs
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Gráfelméleti sejtés-ellenőrző modul fejlesztése

    v1 v2  
    55=== Háttér ===
    66
    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.
     7Gyakori 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.
    88
    99A 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.