Elementele Symmetry 0 și 1 în mnozhestveB conduce la conceptul de dualitate.
EXEMPLUL 2 (funcție dublă).
Propozitia 1 (pentru funcția dual) .Funktsiya dublă pentru funcția duală f este ea însăși o funcție f.
Dovada. f * (x1. xn) * = (¬f (¬x1. ¬xn)) * = * = ¬¬f (¬¬x1. ¬¬xn) = * = f (x1. xn) *
Luați în considerare ceea ce se întâmplă la masă o funcție dublă. Înlocuire set (x1. Xn) la (¬x1. ¬xn) corespunde răsturna ` '' tabel. Într-adevăr, seturile (x1. Xn) și (¬x1. ¬xn) sunt dispuse simetric în raport cu mijlocul mesei. Rămâne acum să se aplice funcțiilor rezultatul operatsiyu¬, adică schimba și 0 până la 1, 1 la 0. Astfel, vector funcție valoare dublă față de original, funcția inițială este obținută din vectorul prin răsturnare și înlocuirea 0 cu 1 și 1 la 0.
EXEMPLUL 3 (vector funcție dublă).
funcţia x y LOR y. valorile vectorilor Puse (0,0,0,1) și (0,1,1,1) sunt duble unul cu altul. De asemenea, cu dublă yavlyayutsyax y LOR y. Vectorii (0,1,1,0 Puse) și (1,0,0,1). Fiecare dintre i¬x funktsiyx (vectori (0,1) și (1,0), respectiv) cu dublă în sine.
Teorema 1 (principiul dualității) .Funktsiya dublu la compoziția funcțiilor, este o suprapunere de funcții duale. Mai precis:
7 „Algoritmul - un operatorii de sisteme, luate dintr-o varietate de operatori ale unor artiști care definește complet o clasă de procese algoritmice, adică procese care:
converti unele obiecte de design.
Între operatori și operațiuni algoritm (acțiuni elementare) există homomorphic linie proces algoritmică. Prin urmare, algoritmul ar trebui să fie, de asemenea, considerată ca un model al unui proces algoritmică "
Algoritmul de determinare Diverse conțin implicit sau explicit următorul set de cerințe comune:
determinism - certitudine. La fiecare moment următorul pas al sistemului este determinat în mod unic de către stat. Astfel, algoritmul produce același rezultat (răspuns) la aceleași date sursă. În interpretarea modernă în diferite implementări ale aceluiași algoritm ar trebui să fie grafic izomorfe. Pe de altă parte, există algoritmi probabilist, în care etapa următoare de funcționare depinde de starea actuală a sistemului și numărul aleatoriu generat.
claritate - algoritmul pentru contractantul trebuie să includă numai acele comenzi pe care el (interpret) sunt disponibile, care sunt incluse în setul său de instrucțiuni.
de terminare (membrelor) - când este setat corect algoritmul de date inițiale ar trebui să închidă și să ofere rezultatul unui număr finit de pași. Pe de altă parte, algoritmul probabilistă nu poate da rezultatul, dar probabilitatea este egal cu 0.
masa - algoritmul ar trebui să fie aplicabil diferitelor seturi de date de intrare.
Un rol important este jucat de algoritmi recursivi (algoritmi care cauzează ei înșiși atât de mult timp până când există o revenire a condiției). În ultimii ani a dezvoltat în mod activ algoritmi paraleli pentru computere, care pot efectua mai multe operații simultan
.Count - este setul de puncte sau noduri și o pluralitate de linii sau muchii, interconectează toate sau unele dintre aceste puncte.
Sus, adiacente una și aceeași margine, a spus să fie adiacente.
În cazul în care sunt orientate marginile, care este de obicei indicată de săgeată, atunci ele sunt numite arce, iar contele cu astfel de coaste se numește un grafic direcționat. Dacă marginile nu sunt orientate, graficul este neorientat.
Graficele sunt afișate de obicei sub forma unor figuri geometrice, astfel încât vârful sunt reprezentate prin puncte, iar marginile - liniile de puncte de legătură.
Buclă - acest arc, al cărui apex inițiale și finale coincid.
Grafic simplu - grafic, fără bucle și margini multiple.
Gradul de sus - aceasta este de două ori numărul de bucle, care sunt în partea superioară a acestui plus cantitatea de nervurile adiacente rămase.
Fie este un grafic fără margini. Complet este un grafic în care fiecare două vârfuri sunt adiacente.
Rute Path, lanțuri și cicluri
Path într-un grafic direcționat - este o secvență de arce în care vârful final al oricărui arc este diferit de ultimul, este vârful inițial al celui următor.
Vârfurile v0, vzg sunt numite legate de date prin (sau conexe). Vertex v0 este numit la început, VN - sfârșitul drumului. Dacă = v0 vzg, atunci calea este numit închisă. Numărul n se numește lungimea traseului.
Traseul în caseta - mod de orientarea de arce care pot fi neglijate.
Chain - un traseu care toate marginile sunt distincte.
Ciclul - închis ruta, care este un lanț.
Route, în care toate nodurile sunt distincte, numite un lanț simplu. Un ciclu în care toate nodurile cu excepția prima și ultima, sunt distincte, este un ciclu simplu.
Exemplul 2 (graficul din divizibilitatea relație)
P
