תוצאות החיפוש

ב[[תורת הקבוצות]], '''עץ אהרנשיין''' הוא [[עץ (תורת הגרפים)|עץ]] שכל שלביו וכל ענפיו בני מניה לכל היותר, ועם זאת הוא אינו בן מניה בעצמ [[קטגוריה:משפטים בתורת הגרפים|אהרונשיין]] ...

...רמני [[גוסטב קירכהוף]], מספק את מספר [[עץ פורש|העצים הפורשים]] [[גרף (תורת הגרפים)|בגרף]]. המשפט הוא [[הכללה (מתמטיקה)|הכללה]] ל[[נוסחת קיילי]] הקובעת כי מספ ...</math> המתקבלת מההפרש בין מטריצת הדרגות (מטריצה אלכסונית בה [[דרגה (תורת הגרפים)| דרגות]] הצמתים מופיעות על האלכסון) ל[[מטריצת שכנות|מטריצת השכנויות]] של < ...

...היוצאת]] של כל קודקוד בו גדולה מספיק, יש מספר גדול כרצוננו של [[מעגל (תורת הגרפים)|מעגל]]ים [[קבוצות זרות|זרים]]. המשפט הוכח בשנת [[1983]] על ידי [[קרסטן תומ ...ד בו היא לפחות <math>f(n)</math>, קיימים לפחות <math>n</math> [[מעגל (תורת הגרפים)|מעגל]]ים מכוונים ב-<math>\Gamma</math>, שקבוצות קודקודיהם [[קבוצות זרות|זר ...

...(מתמטיקה)|משפט]] המספק [[תנאי מספיק]] לקיום [[מעגל המילטון]] ב[[גרף (תורת הגרפים)|גרף]] נתון. ...a(G)</math> מספר האי תלות של <math>G</math> (גודל [[קבוצה בלתי תלויה (תורת הגרפים)|הקבוצה הבלתי תלויה]] הגדולה ביותר) ויהי <math>K\left(G\right)</math> הקשיר ...

...' ב[[תורת הגרפים]] הוא [[משפט (מתמטיקה)|משפט]] הקובע כי בהינתן [[גרף (תורת הגרפים)|גרף]] פשוט לא מכוון עם n צמתים וחסר משולשים (חסר מעגלים באורך 3), אז מספר [[קטגוריה:משפטים בתורת הגרפים]] ...

...]. בפשטות, גרף מייצג קבוצת אובייקטים וקשרים ביניהם. לפעמים מחשיבים את תורת הגרפים כענף של [[מתמטיקה בדידה]]. == מושגים יסודיים בתורת הגרפים == ...

...קניג''' הוא [[משפט (מתמטיקה)|משפט]] ב[[תורת הגרפים]], העוסק ב[[כיסוי (תורת הגרפים)|כיסוי]] מינימלי וב[[שידוך מקסימלי]]. הוא קובע שב[[גרף דו צדדי]] הם שווים. [[קטגוריה:משפטים בתורת הגרפים]] ...

...ים''' היא בעיה ידועה ב[[תורת הגרפים]], העוסקת בצביעה של קשתות ב[[גרף (תורת הגרפים)|גרף]]. לבעיה יישומים תאורטיים ב[[תורת האוטומטים]] וב[[דינמיקה סימבולית]], [[קטגוריה:משפטים בקומבינטוריקה]] ...

ב[[תורת הגרפים]], '''משפט זרימה מקסימלית - חתך מינימלי''' (Max-flow min-cut) עוסק בזרימה ה ...הוא k-קשיר-קשתות אם ורק אם בין כל שני קודקודים בגרף קיימים k [[מסלול (תורת הגרפים)|מסלולים]] [[קבוצות זרות|זרים]] בקשתות. ...

...פים)|קשת]]ות המקסימלי שאינו מכיל [[תת-גרף]] [[גרף שלם|שלם]] ([[קליקה (תורת הגרפים)|קליקה]]) מגודל נתון. את המשפט הוכיח ה[[מתמטיקאי]] ה[[יהדות הונגריה|הונגרי- ...ורת הגרפים ושל [[קומבינטוריקה קיצונית]] שקרוב ל[[תורת רמזי]]. הענף חוקר את הגרפים הקטנים והגדולים ביותר שמקיימים תכונות כלשהן. ...

[[קטגוריה:משפטים בתורת הגרפים]] [[קטגוריה:משפטים בתורת המשחקים]] ...

משפט אור הוא משפט ב[[תורת הגרפים]] הקובע [[תנאי מספיק]] להוכחה כי גרף הוא [[מעגל המילטוני|המילטוני]]. כלומר נסתכל כעת על קבוצת כל הגרפים על <math>n</math> קודקודים המפרים את המשפט. לפי הנחת השלילה שלנו, זוהי קבוצ ...

את ההגדרה לעיל אפשר להרחיב למספר סופי כלשהו של צבעים, ולגרפים כלשהם במקום תת-הגרפים השלמים. אם בגרף הנפרש על ידי צומתי <math>\ A</math> יש [[קליקה (תורת הגרפים)|קליקה]] בגודל <math>\ n-1</math> שכל הקשתות בה צבועות בצבע אדום, אז יחד עם ...

'''נוסחת קיילי''' היא [[נוסחה]] ב[[תורת הגרפים]] הקובעת שמספר ה[[עץ (תורת הגרפים)|עצים]] ה[[עץ פורש|פורשים]] של [[גרף שלם]] בעל n צמתים הוא <math>\ n^{n-2}< ב[[תורת הגרפים]] גרף הוא אוסף של צמתים ושל קשתות המחברות בין הצמתים. ...

...ר בין מספר ה[[קשת (תורת הגרפים)|קשתות]] <math>e</math>, מספר ה[[צומת (תורת הגרפים)|צמתים]] <math>v</math>, ומספר ה[[פאה (גאומטריה)|פאות]] <math>f</math>, כאש ...אחת וגם את מספר הפאות באחת. לאחר שלא נותר מעגל, הגרף שמתקבל הוא [[עץ (תורת הגרפים)|עץ]] ויש פאה אחת בלבד. כעת נמחק בזה אחר זה עלה עם הקשת המחברת אותו. באופן ...

...מה]] הנותנת [[תנאי מספיק]] לכך שבגרף [[אינסוף|אינסופי]] יהיה [[מסלול (תורת הגרפים)|מסלול]] אינסופי. ללמה יש חשיבות גם ב[[תורת הקבוצות]], ב[[לוגיקה מתמטית]] ו הלמה של קניג היא כלי חשוב בתורת הגרפים. המתמטיקאי W. T. Tutte כתב עליה: ...

...בהיסטוריה של [[טופולוגיה קומבינטורית|הטופולוגיה הקומבינטורית]] ושל [[תורת הגרפים]]. לפי המשפט, אפשר לצבוע כל [[מפה מדינית]], באופן שכל שתי מדינות בעלות [[קו [[קובץ:Fourcolorsmap.png|שמאל|ממוזער|120px|מפה ([[גרף (תורת הגרפים)|גרף]]) הדורשת לפחות ארבעה [[צבע]]ים]] ...

ב[[תורת הגרפים]], '''משפט לובאס-קנזר''' הוא [[משפט (מתמטיקה)|משפט מתמטי]] שקובע את [[גרף n '''גרף קנזר''' <math>KG_{n,k}</math> הוא [[גרף (תורת הגרפים)|גרף]] המוגדר באופן הבא: הצמתים בגרף הם כל התתי קבוצות של <math>\{1,\ldots, ...

בתורת הסיבוכיות ממדלים בצורה [[מתמטיקה|מתמטית]] פתרון של בעיות מתחום [[מדעי המחשב ...כי ניתן לפתור את הבעיה של בדיקה האם קיים מסלול בין שני צמתים ב[[גרף (תורת הגרפים)|גרף]] תוך שימוש בסיבוכיות זיכרון של <math>\ \log^2(n)</math>. לאחר מכן משת ...

* [[שידוך (תורת הגרפים)]] [[קטגוריה:משפטים בקומבינטוריקה|חתונה]] ...