Equivalence, identity, and unitarity checking in black-box testing of quantum programs
Peixun Long, Jianjun Zhao
Topics & Concepts
UnitarityEquivalence (formal languages)Observational equivalenceBlack boxComputer scienceTheoretical computer scienceQuantumQuantum computerAlgorithmMathematicsDiscrete mathematicsPhysicsQuantum mechanicsArtificial intelligenceQuantum Computing Algorithms and ArchitectureQuantum Information and CryptographyMachine Learning and Algorithms