Arbore - un grafic conectat aciclic (adică graficul fără cicluri care există exact o cale între orice pereche de vârfuri) [1].
Oriented (regia) copac - un graf orientat aciclic (graf orientat fără cicluri), în care doar un singur nod are abordare de zero grade (în ea nu conduce arc), și toate celelalte noduri au grad de apel 1 (acestea conduc exact un arc ). Top cu un grad zero abordare este numită rădăcina copacului, în partea de sus cu rezultatul de zero grade (din care emana nici unul arc) numite noduri terminale sau frunze. [2]
Lemnul nu are margini multiple și bucle.
Orice arbore cu n noduri cuprinde n - 1 coaste. Mai mult, graficul conectat final este un copac, dacă și numai dacă B - P = 1, unde B - numărul de noduri, P - numărul de muchii ale graficului.
Grafic este un copac, dacă și numai dacă oricare două vârfuri distincte, este posibil să se conecteze numai un mod elementar.
Orice copac este determinată în mod unic prin distanțele (lanț de lungime mai mică) între capătul său (gradul 1) noduri.
Orice copac este un grafic bipartit. Orice arbore care cuprinde număr numărabilă de vârfuri este un grafic planar.
Pentru oricare trei noduri ale unui copac, căile între perechile de noduri au exact un nod comun.
Un arbore de acoperire (schelet) - este un subgraf al unui grafic care conține toate nodurile sale și un copac. Muchiile grafic nu fac parte din scheletul, numit un grafic în ceea ce privește acordurile de bază.
algebra booleana, zăbrele Boolean - parțial set ordonat de formă specială; zăbrele de repartiție având cel mai mare membru 1 - una dintre algebra booleană, cel mai mic element 0 - zero, algebră booleană, și care conțin numai adăugarea fiecărui element x sale - elementul (nu x)
grafice complete. Graficul complement. subgrafurilor complete. Teorema lui Ramsey.
Count full - grafic simplu, în care fiecare pereche diferită de vârfuri adiacente. Graficul complet cu n noduri are n (n - 1) / 2
In graficul teorie a complementului sau inversa a unui grafic G este un grafic H, având același vertex setat ca G, dar în care două vârfuri non-coincidente sunt adiacente dacă și numai dacă acestea nu sunt adiacente în G. Pentru a găsi graficul inversă, adăugați Count pentru a finaliza și de a elimina toate marginile care au fost deja înainte.
Clică (subgrafic complet) - un subset al nodurilor, dintre care fiecare două sunt conectate printr-o margine a graficului.
Să numerele date a1, a2. o. Apoi, există un număr de R, care, indiferent de modul în care ne-am pictat marginile graficului complet pe R topuri în n culori, există un sistem complet de culoare subgrafic prima pe vârfuri A1 sau complet subgrafic două culori pe vârfuri de a2 ... un subgraf complet culoare n-lea la un topuri.
inel Boolean numit inel, în care toate elementele sunt idempotente (comutativitate, nu este necesară prezența unității sau împărțitorul zero). O caracteristică interesantă a inelelor booleene este că
în special, în
inel de exemplu, boolean este întotdeauna comutativ.
grafice bipartite, o condiție necesară și suficientă pentru existență.
graf bipartit sau grafen bistratificată - un termen matematic pentru teoria grafice care indică grafic al cărui set vârf poate fi împărțit în două părți, astfel încât fiecare margine a graficului se conectează unele vârf dintr-o parte, cu un fel de streașină pe de altă parte, că este, nu există nici o nervură conectarea a două vârfuri de aceeași parte.
Un grafic este bipartit dacă și numai dacă acesta conține niciun ciclu de lungime impar. Prin urmare, graf bipartit nu poate conține mai mult de 2 clică.
Un grafic este bipartit dacă și numai dacă este 2-colorable (adică numărul său cromatic este egal cu doi)
Graficul este împărțit în perechi de noduri colorate dacă și numai atunci când oricare dintre k elemente parts asociate cu elemente de cel puțin k altele (Hall teorema).
Grafic bipartite, care, în fiecare dintre mai mult de 2 vârfuri este plana.
Lattice. Grup. algebra unară.