קבוצה בלתי תלויה (תורת הגרפים)
קבוצה בלתי תלויה היא קבוצה של נקודות (קודקודים) בגרף. נקודות בקבוצה כאלו לא מחוברות זו לזו. אם צובעים את הקודקודים כך ששכנים לא מקבלים את אותו צבע, כל צבע נותן קבוצה כזו. סימול נפוץ לגודל הגדול ביותר הוא α של הגרף. השאלה: האם יש קבוצה בלתי תלידה בגודל מסוים? זו שאלה קשה מאוד. ריצ'רד קארפ הראה שהי...
בסיס (אלגברה)
בסיס הוא קבוצה של וקטורים שמאפשרת לבטא כל וקטור במרחב בדרך אחת בלבד. וקטור הוא כמו חץ עם כיוון ואורך. צירוף ליניארי זה חיבור של וקטורים אחרי שמכפילים אותם במספרים. הממד הוא מספר הווקטורים בבסיס. אם יש מספר סופי של וקטורים שמפרישים את המרחב, אז הממד סופי. למרחב תמיד קיים בסיס, אבל ההוכחה לכך משתמשת...