|
صفحة: 301
להלן טענה : אפשר לפרק כך כל גרף מכוון . הוכיחו את הטענה על-ידי הצגת אלגוריתם המבצע זאת . הדגימו אותו על קלט המתאר את הגרף שלמעלה ( שימו לב - קיימות אפשרויות נוספות לפירוק הגרף . ( הוכיחו אותו ונתחו את יעילותו - רצוי להגיע לזמן ליניארי . שאלה 5 . 27 הוכיחו כי גרף מכוון לא יהיה גרף מעגלי אם ורק אם ניתן למספר את קדקודי הגרף כך שלכל קשת (/ ,. /) מתקיים . / < j שאלה 5 . 28 נתון גרף מכוון . להלן אלגוריתם הממספר את הקדקודים של הגרף כך שעבור כל קשת UJ ) מתקיים . / הניחו כי הגרף מיוצג באמצעות מטריצת סמיכות . להלן הסימונים שנשתמש בהם ? . - v ( k ) מציין את המספור החדש של הקדקוד ± - d \ j ] מציין את דרגת הכניסה של הקדקוד , j כלומר מספר הקשתות הנכנסות לקדקוד להלן האלגוריתם :
|
|