2500335695

Algorytm 2: Koniunkcja logiczna 1 1: result=TRUE 2: for i = 1 to n in parallel do 3: if A[i]==FALSE then 4: result=FALSE 5: end if 6: end for We: Tablica wartości logicznych A{ 1 : n]. Wy: result Model: ERCW PRAM. Czas 0(1) i 0(n) procesorów.		Notatki
Algorytm 3: Koniunkcja logiczna 2 1: result=FALSE 2: for i — 1 to n in parallel do 3: result=A[i] 4: end for We: Tablica wartości logicznych A[1 : n]. Wy: result Model: ERCW-ECR PRAM. Czas 0(1) i 0(n) procesorów. Ćwiczenie 2 Uzasadnij poprawność powyższych algorytmów.		Notatki

12