{
  "aviso": "speedup_declarado es lo que declara la fuente citada, NO una medición de Rosetta. Lo que Rosetta midió va en evidencia_rosetta, y para la mayoría del catálogo está vacío.",
  "procedencia": {
    "fuente": "Quantum Algorithm Zoo",
    "fuente_url": "https://quantumalgorithmzoo.org/",
    "instantanea_sha256": "dee7e76b5f19096ed329c88714744b93babf7b7d0296eb97e357b2582d16b75e",
    "generado_at": "2026-08-09"
  },
  "id": "group-isomorphism",
  "nombre": "Group Isomorphism",
  "categoria": "Oracular Algorithms",
  "categoria_id": "oracular",
  "problema": "Decidir si dos grupos finitos dados por oraculo y generadores son el mismo grupo con otros nombres.",
  "speedup_declarado": "Superpolynomial",
  "declarado_por": "Quantum Algorithm Zoo",
  "fuente_url": "https://quantumalgorithmzoo.org/#group_isomorphism",
  "implementaciones": [],
  "referencias": [
    {
      "n": 127,
      "cita": "Kevin K. H. Cheung and Michele Mosca Decomposing finite Abelian groups. Quantum Information and Computation 1(2):26-32, 2001. [ arXiv:cs/0101004 ]",
      "url": "http://arxiv.org/abs/cs/0101004"
    },
    {
      "n": 128,
      "cita": "François Le Gall An efficient quantum algorithm for some instances of the group isomorphism problem. In Proceedings of STACS 2010 . [ arXiv:1001.0608 ]",
      "url": "http://arxiv.org/abs/1001.0608"
    },
    {
      "n": 202,
      "cita": "Kevin C. Zatloukal Classical and quantum algorithms for testing equivalence of group extensions. arXiv:1305.1327 , 2013.",
      "url": "http://arxiv.org/abs/1305.1327"
    }
  ],
  "n_referencias": 3,
  "remisiones": [],
  "evidencia_rosetta": {
    "medido": false,
    "lectura": "Rosetta no tiene ninguna corrida sellada sobre este algoritmo. Que esté catalogado no significa que lo hayamos medido ni que lo ofrezcamos."
  }
}