Why haven't quantum computers factored 21 yet? 🔥 Горячее 💬 Длинная дискуссия
Почему квантовые компьютеры всё ещё не разложили 21 на множители?
В 2001 году удалось разложить 15, но к 2025-му 21 остаётся «недоступным». Это не из-за отсутствия прогресса, а из-за взрывного роста сложности схемы.
- Схема для 15 требует всего 21 запутывающий двух-кубитный гейт (6 CNOT/CPHASE + 2 Toffoli, каждый из которых эквивалентен 6 CNOT).
- Схема для 21 содержит 191 CNOT и 369 Toffoli, то есть ≈ 2405 запутывающих гейтов — в 115 раз больше.
Три причины такой разницы:
- Большинство констант при 15 равны 1, поэтому умножения «пропускаются».
- Первое умножение почти бесплатно, так как аккумулятор известен.
- Оставшееся умножение на 4 по модулю 15 сводится к двум CSWAP.
Для 21 все восемь умножений нужны, и каждое требует полноценного модульного умножения. Даже после агрессивной оптимизации схема остаётся на два порядка дороже.
Комментарии (175)
- Квантовые компьютеры пока не факторизуют даже 21 без «подсказок»; эксперименты с 15 обошлись лишь потому, что задача свелась к сдвигам.
- Для RSA-2048 оценивается ≈ 7 млрд Toffoli-гейтов и миллионы логических кубитов с коррекцией ошибок; RSA-1024 всё ещё вне досягаемости.
- Реальные препятствия — экспоненциальный рост шума и количества физических кубитов, а не просто масштабирование схемы.
- Основной практический путь — квантовая химия и симуляция, а не взлом криптографии; «пост-квантовые» алгоритмы уже снижают мотивацию строить «крипто-разрушители».
- Общий вывод: полезные квантовые вычисления в XXI веке возможны, но факторизация крупных RSA-ключей остаётся гипотетической.
Essential Coding Theory [pdf] 🔥 Горячее
—
Комментарии (59)
- Участники делятся книгами и ресурсами по теории информации и кодированию: труд Шеннона, новые учебники, PhD-диссертация о сжатии без потерь и связи с генеративным ИИ.
- «Coding» здесь — это кодирование/декодирование данных для защиты от ошибок, сжатия и передачи, а не «программирование».
- Рекомендуются вводные тексты Пирса и Стоуна, а также классика Петерсона–Уэлдона и МакКея.
- Тема считается математически плотной и факультативной даже для старших курсов CS.