finite directed graph

[ریاضیات] گراف جهت دار با پایان