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