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

Timestamp:

09/14/09 10:34:54 (15 years ago)

Author:

Peter Kovacs

Comment:

--

Gráfelméleti sejtés-ellenőrző modul fejlesztése

@@ -1 @@
-== Gráfelméleti sejtés-ellenőrző modul fejlesztése ==
+= Gráfelméleti sejtés-ellenőrző modul fejlesztése =
 
 Egy 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.
 
-=== Háttér ===
+== Háttér ==
 
 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.
@@ -11 +11 @@
 Konkré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.
 
-=== Feladat ===
+== Feladat ==
 Legelső 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ó.
 Amennyiben ''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
@@ -19 +19 @@
 A feladatkör szakdolgozat, nagyprogram és TDK alapjául is szolgálhat, akár több jelentkező számára is.
 
-=== Előfeltételek ===
+== Előfeltételek ==
 
  - C++ programozási nyelv ismerete