Problema Grafuri

Controlul accesului Implementati un program care sa decida predicatul can_share utilizand teorema 5. Programul va primi ca date de intrare: un graf take-grant (vezi aici un exemplu), doua noduri ale grafului, p, x, si o multime de drepturi R pentru care se va verifica daca p are drepturile R asupra lui x in graful G ( can_share(R, x,p, G)); Programul va afisa, pe langa rezultatul final, si rezultatele intermediare, corespunzatoare verificarii celor 4 conditii din teorema: identitatea nodurilor s, p', s', insule, bridge-uri.