KetQatKetQat
ALGORITHM
Demo
v0.1.0
schema 0.1

Grover Search Local Simulation

Small local benchmark definition for marked-state Grover search.

Scientific definition

{
  "problem_type": "marked-state-search",
  "algorithm_family": "grover-search",
  "simulation_method": "Local deterministic shot simulation.",
  "success_criterion": "Measured bitstring equals the marked state.",
  "measurement_definition": "Computational basis measurement of every qubit.",
  "problem_instance_definition": "Single marked all-ones computational basis state.",
  "reference_solution_definition": "Marked bitstring is known from the manifest."
}

Metrics

success_probability

Fraction of shots measuring the marked state.

circuit_depth

Circuit depth after construction.

gate_count

Total logical gate count.

runtime_seconds
s

End-to-end local runtime.

Compatible runs

Verification evidence

No verification evidence recorded.

Reproduction instructions

Use the KetQat runner with a manifest that references suite grover-search-local and version 0.1.0.

Imported results must validate against the SDK schema and carry a matching reproducibility hash.