גרף תשתית

בתורת הגרפים, גרף תשתית של גרף מכוון הוא גרף לא מכוון, אשר מכיל אותה קבוצת צמתים כמו הגרף המכוון, ומכיל את הקשתות בין זוגות הצמתים אשר היו ביניהם קשתות בגרף המקורי.

פורמלית, אם $G=(V,E)$‎ הוא גרף מכוון אז $G'=(V,\{\{u,v\}|(u,v)\in E\})$ הוא גרף התשתית של $G$.

ערך זה הוא קצרמר בנושא מתמטיקה. אתם מוזמנים לתרום לוויקיפדיה ולהרחיב אותו.