קטגוריה: מבני נתונים ואלגוריתמים
פעם היה אפשר להציע מחסנית והיו קוראים על שמך פרק בספר.
פוסטים:
התמרת פורייה המהירה
פותרים את SAT - אלגוריתם CDCL
פותרים את SAT - אלגוריתם DPLL
פותרים את SAT: המקרים של HORNSAT ו-2SAT
רזולוציה - איך אפשר להוכיח שאי אפשר?
מה זו בעיית SAT ולמה חשוב לפתור אותה?
האלגוריתם של קרוסקל ומבנה הנתונים Union/Find
אלגוריתמים לעץ פורש מינימלי בגרף - מה הרעיון הכללי?
על גרפים, עצים פורשים ואיך זה נראה בקוד
קרוסקל את פרים - בוני מבוכים בע"מ
למה יש מיון מהיר יותר ממיון מהיר אבל בעצם אין
עיון בהיר במיון מהיר
איך להערים על מיון ערימה
מיון מהיר של מיונים איטיים
הסבר בזמן (O(n על סימונים אסימפטוטיים
הסריקה של גרהאם
קודים לתיקון שגיאות (שניתנים לבדיקה מקומית)
דיון מקרי על אלגוריתמים הסתברותיים
אז איך באמת בודקים ראשוניות (בעזרת אלגוריתם מילר-רבין)?
איך תופסים אריה במדבר?
דיון מכווץ בצורה שבה עצי סיומות עוזרים לכיווץ
רישא הדיון בעצי הסיומות
“הוא חיפש על העץ…”