Core Concepts
選挙の複雑さを保護するための計算的困難性に対する新たな脅威と機会を探る。
Abstract
民主主義の基本である選挙が、量子コンピューティングの台頭によって直面する新たな脅威と機会に焦点を当てた研究。従来の複雑さの盾がどれほど強力か、そして量子コンピュータがこれにどのような影響を与えるかが明らかにされている。また、新しい公理や不可能定理が提案され、選挙システムが未来でどのように変化する可能性が示唆されている。
Stats
Gibbard–Satterthwaite定理から、ほとんどの投票システムは様々なプレイヤーの努力に対して脆弱であることが知られている。
投票ルールは計算的困難性から潜在的な悪意的介入から守られている。
3-SAT問題ではGrover's algorithmはO(√n)時間で解決できる。
Shor's algorithmは多項式時間で素因数分解問題を解決できる。
現在では量子暗号学や(post-)quantum cryptographyも安全性を提供している。
Quotes
"投票ルールは計算的困難性から潜在的な悪意的介入から守られている。"
"Shor's algorithmは多項式時間で素因数分解問題を解決できる。"
"現在では量子暗号学や(post-)quantum cryptographyも安全性を提供している。"