Le Blog De La L'Ernestas && Vampyro fermerio Ernesto blogis

Apibrėžimas. Lyderis(-ė) – asmuo, kuris yra Lyderis(-ė) arba mokosi grupėje, kurioje yra Lyderis(-ė).

Apibrėžimas. Automatiškas tapimas Lyderiu – tapimas grupės seniūnu.

Lyderių Teorema. Tarkime, egzistuoja taisyklė tokia, kad :

Lyderių teoremos išraiška

Teorema turi tenkinti šias Būtinąsias sąlygas:

1. Asmuo privalo studijuoti KTU Informatikos fakulteto F grupėje.
2. Asmuo privalo studijuoti programavimą.
3. Asmuo patekęs į F grupę iš karto tampa Lyderiu. Išėjęs iš grupės – praranda Lyderio statusą.
4. Asmuo privalo suprasti teoremą ir jos matematinį apibrėžimą.

Išimtis iš Būtinųjų teoremos sąlygų (1), (2) ir (3) punktų:

1. Jeigu tampama Lyderiu pagal  Teoremos aplinkos apibrėžimą. Tačiau tokiu atveju galioja Būtinųjų teoremos sąlygų (4) punktas.

Teoremos aplinka:

Lyderių teoremos aplinka

Įrodymas. KTU Informatikos fakulteto F grupėje yra Lyderė Rasa (žiūr. „Automatiško tapimo Lyderiu“ apibrėžimą). Teoremos bendroji išraiška teigia, jog reikia sumuoti narius nuo nulio iki begalybės, bet tai tik bendroji išraiška, todėl galime ją pataisyti. Tikslesnė būtų, jeigu sumuotume grupės narius nuo 0 iki 52 (iš viso 53) ir, pagal Teoremos rezultatą, rasime, jog F grupės nariai yra Lyderiai.

Teoremos savybės. Lyderių teorema turi šias savybes:

1. Galioja tiktai KTU Informatikos fakulteto F grupėje (žiūr. Lyderių teoremos Būtinąsias sąlygas).
2. Pagal Lyderių teoremos aplinką tapus Lyderiu (žiūr.  išraišką), Lyderio savybės nepersiduoda. Pabrėžtina, jog pagal Lyderių teoremos aplinką tapęs Lyderiu, Ji(s) gali prarasti Lyderio statusą, jeigu Lyderis iš F grupės pradeda netenkinti Būtinųjų teoremos sąlygų arba asmuo, tapęs Lyderiu pagal Lyderių teoremos Aplinkos apibrėžimą, pradeda netenkinti Teoremos aplinkos sąlygų bei jam galiojančios Teoremos Būtinųjų salygų (4) punkto.