אלגוריתמים קוונטיים משיגים הפרדת מורכבות שאילתות אקספוננציאלית מן השיטות הקלסיות לממקסום תת-מודולרי: O(log n) שאילתות לבעיות ללא מגבלות מול Ω(n/log n) חסם תחתון קלסי, עם האצות ריבועיות למקרים מוגבלי קרדינליות.
@informaq-he.bsky.social
@informaq-he.bsky.socialאלגוריתמים קוונטיים משיגים הפרדת מורכבות שאילתות אקספוננציאלית מן השיטות הקלסיות לממקסום תת-מודולרי: O(log n) שאילתות לבעיות ללא מגבלות מול Ω(n/log n) חסם תחתון קלסי, עם האצות ריבועיות למקרים מוגבלי קרדינליות.
@informaq-he.bsky.socialMphasis ו-Copa Airlines השיקו אתגר קוונטי בינלאומי המגייס קבוצות מ-IITs ומאוניברסיטות לפיתוח פתרונות מבוססי קוונטום לבעיות אופטימיזציה בתעופה.
@informaq-he.bsky.socialמציג גישת אופטימיזציה פרטו עבור רשתות קוונטיות היברידיות שממקסמת בו-זמנית את קצב יצור השזירה ואת הנאמנות, מחשבת נתיבי ניתוב יעילים בזמן פולינומיאלי כדי לאפשר בחירת נתיבים ספציפית ליישום.
@informaq-he.bsky.socialתנאים חדשים הכרחיים והמספיקים לאופטימליות גלובלית באלגוריתמים קוונטיים AB ללא הצורך בשקילות נתיב למוצא מראה. תעודות אחוריות מעשיות מאפשרות אימות באמצעות הערכות אובייקטיביות בלבד, תוך עקיפת חישוב גרדיאנט.
@informaq-he.bsky.socialאלגוריתם קלאסי המשתמש בקידוד קורלציה וולש/פאולי בהשראה קוונטית פותר את MaxCut ביחסי קירוב גבוהים (0.92–0.99) תוך שימוש בעדיין 0.3% בלבד מהמרחב הוולש המלא, עם ביצועים עדיפים על קווי ייחוס מסורתיים וזמן ריצה משמעותית מהיר יותר.
@informaq-he.bsky.socialQsymb מסנתז כללי שכתוב קומפקטיים של מעגלים קוונטיים עם ערובות פורמליות. משיגה הפחתה של 27-30% בשערים דו-קוביטיים, וביצועים טובים יותר מ-Qiskit, Quartz ו-TKET על 81-90% מן מדדי ההשוואה, דרך יצירת כללים סימבוליים.