solution certificate verification Artykuły (1) Teoria grafów jako architektura relacji i granice złożoności obliczeniowej w świetle książki Aiman S. Gannousa