החבורה שלכם? לינוקס!

בשבוע שעבר צהלה ושמחה קהילת הגיקים הישראלים אחרי שנפל לידה כפרי בשל סרטון וידאו המציג תמצות של הרצאה שהעבירה ענב גנד גלילי בנושא "מידענות ברשת העמוקה". הסרטון עמוס בקשקושים והבלים (וגם כמה דברים לא מופרכים לחלוטין שנאמרים בצורה שהיא כן … להמשיך לקרוא

פרדוקס האוטובוס הצפוף

אהוד אהרוני (שבנוסף למעלליו בפוסט הזה גם יוצר סרטוני וידאו די פנטסטיים למראה) פנה אלי עם סיפור שאותו המציא: ישנה עיירה ובה מפעל, ובכל יום הפועלים נוסעים למפעל באוטובוס. יש 30 פועלים ועומדים לרשותם 3 אוטובוסים שממתינים בחניה, וכל פועל … להמשיך לקרוא

פותרים את SAT – אלגוריתם DPLL

הגענו סוף סוף לדבר על האופן שבו פותרים את בעיית SAT במקרה הכללי. יש לנו פסוק CNF $latex \varphi$ ואין לו בהכרח צורה "נחמדה" כמו בבעיות 2SAT או HORNSAT שראינו בפוסט הקודם – מה עושים? ראשית כל ההסתייגות הבלתי נמנעת … להמשיך לקרוא