양자 컴퓨터의 하드웨어

정렬 순서에 규칙이 없는 100만 건의 데이터에서 조건에 맞는 1건을 찾을 때, 그로버 알고리즘으로 필요한 질의(오라클 호출) 횟수의 차수로 가장 가까운 것은?

  1. A약 20회
  2. B약 1,000회
  3. C약 50만 회
정답과 해설 보기

정답: B. 약 1,000회

고전 컴퓨터로 1건씩 조사하면 평균으로 절반인 약 50만 회, 최악으로 100만 회가 걸립니다. 그로버 알고리즘에서는 정답의 진폭을 조금씩 증폭함으로써 약 √N회, 정확히는 (π/4)√N ≈ 785회의 반복으로 높은 확률로 정답이 얻어지며, 차수로는 √(100만) = 1,000회 정도입니다. 빨라지는 것은 제곱만큼뿐이며, 쇼어 알고리즘 같은 지수적인 차이는 없습니다. 대칭 키 암호에서는 키의 전수 탐색 횟수가 2ⁿ에서 약 2^(n/2)이 되므로, 키의 길이를 2배로 하는(AES-128에서 AES-256으로 하는) 것으로 대응할 수 있다고 여겨집니다.

이 분야 연습하기 분야로 돌아가기

양자 컴퓨터의 하드웨어의 다른 문제

  1. 대규모 오류 내성 양자 컴퓨터가 실현되었을 때, 쇼어 알고리즘에 의해 안전성이 크게 손상될 것으로 생각되는 암호는?
  2. 2020년대 중반 시점의 양자 컴퓨터로 RSA-2048을 쇼어 알고리즘으로 해독할 수 없는 주된 이유로 가장 적절한 것은?
  3. 양자 내성 암호(포스트 양자 암호, PQC)의 설명으로 올바른 것은?
  4. 대규모 양자 컴퓨터가 아직 실현되지 않은 단계에서부터 양자 내성 암호로의 이행을 서두르는 이유로 가장 적절한 것은?
  5. 큐비트에 대한 설명으로 올바른 것은?