COIN-OR::LEMON - Graph Library

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


Ignore:
Timestamp:
09/14/09 12:34:54 (10 years ago)
Author:
Peter Kovacs
Comment:

--

Legend:

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

    v2 v3  
    1 == Gráfelméleti sejtés-ellenőrző modul fejlesztése ==
     1= Gráfelméleti sejtés-ellenőrző modul fejlesztése =
    22
    33Egy olyan általános keretrendszer kidolgozása, amely kisméretű példák ellenőrzésével segíti a gráfelméleti kutatók munkáját.
    44
    5 === Háttér ===
     5== Háttér ==
    66
    77Gyakori 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.
     
    1111Konkrét példaként álljon itt az [http://www.cs.elte.hu/egres EGRES csoport honlapján] a nyitott kérdések közül a 12., 16. és 27.
    1212
    13 === Feladat ===
     13== Feladat ==
    1414Legelső közelítésben kidolgozandó egy olyan eljárás, mely az ''n'' ponton lehetséges összes gráfot végignézi, és közülük kiválasztja a ''P'' tulajdonsággal rendelkezőeket. A módszer hátránya, hogy csak nagyon kicsi gráfok esetére alkalmazható.
    1515Amennyiben ''P'' monoton gráftulajdonság (mint pl. az összefüggőség, ahol egy összefüggő gráfhoz további éleket adva is összefüggő gráfot kapunk), akkor egy kicsit hatékonyabban tudjuk végignézni őket. Még többet javíthatunk, ha van egy hatékony szubrutinunk a ''P'' tulajdonságú gráfok felsorolására
     
    1919A feladatkör szakdolgozat, nagyprogram és TDK alapjául is szolgálhat, akár több jelentkező számára is.
    2020
    21 === Előfeltételek ===
     21== Előfeltételek ==
    2222
    2323 - C++ programozási nyelv ismerete