Fissà dij nùmer antregh positiv s,t, ël nùmer ëd Ramsey r(s,t) a l'é 'l pì cit antregh tal che minca graf ansima a r(s,t) vértes a l'ha 'n sot-graf andot ch'a l'é na crica d's element opura un sot-graf andot ch'a l'é n'ansem indipendent ëd t element.
As dimostra che un nùmer përparèj a esist për da bon.
An general, ël cont dij nùmer ëd Ramsey a l'é n'afé motobin complicà.
Tutun, chèich arzultà as peulo oten-se con dj'osservassion assè sempie.
- Dagià che ël nùmer ëd crica d'un graf G a l'é ugual al nùmer d'indipendensa ëd sò complementar G', ij nùmer ëd Ramsey a son simétrich, visadì
- r(s,t)=r(t,s).
- Dagià che n'ansem d'1 vértes a l'é indipendent,
- r(s,1)=r(1,s)=1.
- Dagià che un graf G nen complet ansima a vértes a l'ha nùmer d'indipendensa , i l'oma . Dagià che për n<s ël nùmer ëd crica dël graf complet ansima a n element a l'é e che sò nùmer d'indipendensa a l'é , a-i na ven che . Donca
- r(s,2)=r(2,s)=s.
D'arzultà pì complicà ch'a dan na valutassion dij nùmer ëd Ramsey a son:
- Ch'as pijo . Si G a l'é un graf ansima a n=r(s,t-1)+r(s-1,t) vértes, antlora opura . Donca
- .
- .
- Si , antlora . Cost arzultà a l'é dovù a Paul Erdős e a l'é stàit publicà dël 1947.
|
|