{
  "tipo": "ANALISIS_ESTRUCTURAL_V1_NO_BENCHMARK",
  "alcance": "V1 de dos unidades, cuatro funciones binarias de Deutsch y circuito instalado",
  "supuestos_de_coste": [
    "aritmetica de precision fija",
    "oraculo compilado desde dos bits mediante EntradaOraculo",
    "coste algoritmico, no garantia de latencia del sistema operativo"
  ],
  "casos": [
    {
      "caso": "constante_0",
      "unidades": 2,
      "puertas": 3,
      "puertas_H": 3,
      "puertas_oraculo": 0,
      "senales_complejas_locales": 4,
      "comparaciones_de_lectura": 2,
      "nodos_relacion_final": 3,
      "capturas_por_ejecucion": 1
    },
    {
      "caso": "constante_1",
      "unidades": 2,
      "puertas": 4,
      "puertas_H": 3,
      "puertas_oraculo": 1,
      "senales_complejas_locales": 4,
      "comparaciones_de_lectura": 2,
      "nodos_relacion_final": 3,
      "capturas_por_ejecucion": 1
    },
    {
      "caso": "identidad",
      "unidades": 2,
      "puertas": 4,
      "puertas_H": 3,
      "puertas_oraculo": 1,
      "senales_complejas_locales": 4,
      "comparaciones_de_lectura": 2,
      "nodos_relacion_final": 3,
      "capturas_por_ejecucion": 1
    },
    {
      "caso": "inversor",
      "unidades": 2,
      "puertas": 5,
      "puertas_H": 3,
      "puertas_oraculo": 2,
      "senales_complejas_locales": 4,
      "comparaciones_de_lectura": 2,
      "nodos_relacion_final": 3,
      "capturas_por_ejecucion": 1
    }
  ],
  "cota_preparacion": "numero acotado de recorridos de n unidades y g puertas; n=2 y g<=5",
  "cota_captura": "una referencia, dos comparadores y tres nodos de relacion; sin reintentos",
  "tiempo_por_ejecucion": "O(1) para este protocolo de tamano fijo",
  "memoria_trabajo_por_ejecucion": "O(1) para este protocolo de tamano fijo",
  "R_ejecuciones": "O(R) tiempo; O(1) trabajo por ejecucion y O(R) si se guardan todos los informes",
  "enumera_estados_2_n": false,
  "registro_global_de_amplitudes": false,
  "referencia_q_ejecutada_en_este_analisis": false,
  "precision": "La ausencia de una tabla exponencial no bastaria sola: la cota usa los bucles y operaciones del codigo.",
  "limite": "No prueba escalado de V2/V3 ni una extension a n unidades de V1 que este programa no implementa.",
  "resultado_v_sha256": "48e64efd5d91eeabf3a4eaaf52f80b4f87ff4ddef045230a75b7f196b55073d4",
  "codigo_sha256": {
    "v1.py": "1550c06020939e66bc669d76a50a1ee1b93b83faecc0f76f9fcb5342c001dd7f",
    "v_relacional.py": "aadc543bf7f9d3ea78cc065a06b9be4d794ecf31c3b3f1ca032bb923f87bf01f",
    "operaciones_senales.py": "39581bd71ff9b828711c8b65bd2c1b1f900b7684c1f964ae3edef1618e0f36b5",
    "circuito_senales_v.py": "3b77e70b581f2904d8d7fa56236160b84aa2999737f3590f606d662459f4677d",
    "comparador_temporal_v.py": "af34cc10cfcefaadf75b44df9968ef4fabd5568f1b9330d018e94f2bd3263587",
    "propagacion_conocidos.py": "3b72e0b798cdd20e925d6fe155a72545fe15b13fa1445767487d25e1df8bbe6e",
    "latch_v.py": "65906b879716dd26137b771cb2419fb9d7f845ddba5d97a950991bdfcdf4d4c1",
    "ejecucion_v.py": "24faf855fec6d8bc578181c40aaf7eb72602372baf3c46b1e3e71f7cfd296d7d",
    "analizar_complejidad_v1.py": "9a1731ae612032ab2fbc76c459ee774516a3086241321e93a25565cf9b0daa16"
  }
}