בעיית הסכומים החלקיים
בעיית הסכום החלקי שואלת: נתונה קבוצת מספרים. האם יש תת־קבוצה לא ריקה שסכומה הוא אפס? לדוגמה: בקבוצה {-7, -3, -2, 8, 5} יש את התת־קבוצה {-2, -3, 5} שסכומה הוא אפס. הבעיה קשה למצוא לה פתרון מהיר לכל קלט. לכן משתמשים בכמה שיטות שונות. שיטה פשוטה בודקת את כל תתי־הקבוצות. יש הרבה תתי־קבוצות, ולכן זה ל...
סדר חלקי
סדר חלקי אומר שאומרים אילו איברים "קטנים" או "גדולים" מאחרים. קבוצה עם יחס כזה קוראים לה קבוצה סדורה. אקסיומות הסדר אומרות: אי אפשר להיות גם גדול וגם קטן מאותו דבר. ואם א קטן מ-ב וב קטן מ-ג, אז א קטן מ-ג. כדי לכתוב את זה משתמשים בסימנים כמו ≤ ו-<. ≤ יכול גם לכלול שוויון. לדוגמה: כל תתי-הקבוצה של {...