Contents Menu Expand Light mode Dark mode Auto light/dark, in light mode Auto light/dark, in dark mode Skip to content
oracq 文档
oracq 文档

完整文档

  • 完整文档
    • 安装与环境
    • 操作、寄存器与生成过程
    • 源码结构
    • Oracle 与算子表示
    • QRAM 数据结构：指针、偏移与随机写
    • 量子数据结构与 KP 推荐系统
    • 算法自己的约定：从一个 gate 开始
    • 实现 QPDE/QODE：多种输入范式、可替换 oracle 与 protocol
    • 普通数学函数自动生成可逆量子模块
    • QFVM 输入模型与求解器替换
    • 一般 QHAM 自动生成：PDE → HAM → QCL → QODE
    • QCNN 逐行实现讲解
    • 导出与执行后端
    • 资源估计（Toffoli+Clifford+T+QRAM）
    • 命令行
    • 导入路径迁移
    • 适用范围与验证状态
  • 算法目录
    • 数据加载与输入模型（Data Loading and Input Models）
      • 态制备 Oracle（State Preparation）
      • Alias 采样制备（Alias Sampling Preparation）
      • XOR 数据库（XOR Database）
      • 图邻接 oracle（Adjacency Oracle）
      • Select-Swap QROM（Select-Swap QROM）
      • QROM 查找（QROM Lookup）
      • 块编码组合代数（Block Encoding Algebra）
      • 稀疏矩阵访问（Sparse Access）
      • 稀疏矩阵块编码（Sparse Matrix Block Encoding）
      • PREPARE–SELECT 分解（PREPARE–SELECT Decomposition）
      • 纯化访问（Purification Access）
      • Gibbs 态制备（Gibbs State Preparation）
      • 双因子分解块编码（Double Factorization）
      • 张量超收缩块编码（Tensor Hypercontraction）
    • 基础查询算法（Basic Query Algorithms）
      • Deutsch–Jozsa 查询（Deutsch–Jozsa）
      • Bernstein–Vazirani 秘密串读出（Bernstein–Vazirani）
      • Simon 采样（Simon Sampling）
    • 查询与搜索（Query and Search）
      • Grover 搜索（Grover Search）
      • 振幅放大（Amplitude Amplification）
      • Oblivious 振幅放大（Oblivious Amplitude Amplification）
      • 定点搜索（Fixed-Point Search）
      • 振幅估计（Amplitude Estimation）
      • 量子计数（Quantum Counting）
    • Fourier 与算术（Fourier and Arithmetic）
      • 量子 Fourier 变换（Quantum Fourier Transform）
      • Fourier 加法（Fourier Addition）
      • 量子求阶与因子后处理（Order Finding）
      • 模乘置换（Modular Multiplication）
      • 可逆定点算术（Fixed-Point Arithmetic）
      • 布尔网络（Boolean Networks）
    • 估计与检验（Estimation and Testing）
      • 量子相位估计（Quantum Phase Estimation）
      • Hadamard 检验（Hadamard Test）
      • SWAP 检验（Swap Test）
      • Heinrich 量子求和（Heinrich Quantum Summation）
      • Heinrich 量子积分（Heinrich Quantum Integration）
    • Hamiltonian 演化与 QSVT（Hamiltonian Evolution and QSVT）
      • Trotter 乘积公式模拟（Trotter Product-Formula Simulation）
      • 哈密顿量模拟协议（Hamiltonian Simulation Protocol）
      • QSP 相位合成（QSP Phase Synthesis）
      • QSVT 相位序列（QSVT Phase Sequence）
      • QSVT 矩阵求逆（QSVT Matrix Inversion）
      • QSVT 哈密顿模拟（QSVT Hamiltonian Simulation）
      • 量子化行走（Qubitization Walk）
      • 截断 Taylor 块编码（Truncated Taylor Block Encoding）
      • 特征态过滤（Eigenstate Filtering）
    • 量子线性系统（Quantum Linear Systems）
      • Costa 行走线性系统求解器（Costa Walk QLSS）
      • CKS Chebyshev 线性系统求解器（CKS Chebyshev QLSS）
      • VTAA-CKS 变时线性系统求解器（VTAA-CKS QLSS）
    • 微分方程（Differential Equations）
      • QODE 问题对象与协议（QODE Problem and Protocol）
      • LCHS 线性组合哈密顿模拟（Linear Combination of Hamiltonian Simulations）
      • Schrödingerization 非酉演化模拟（Schrödingerization）
      • CBMD 轮廓分解（CBMD）
      • Fokker–Planck 输入模型（Fokker–Planck Input Model）
      • Carleman 线性化（Carleman Linearization）
    • 变分与优化（Variational and Optimization）
      • 硬件高效拟设（Hardware-Efficient Ansatz）
      • VQE 测量电路（VQE Pauli Measurements）
      • MaxCut QAOA（QAOA for MaxCut）
      • 解码量子干涉（Decoded Quantum Interferometry）
      • Jordan 量子梯度估计（Jordan Quantum Gradient Estimation）
    • 量子行走（Quantum Walks）
      • 周期格点硬币行走（Coined Cycle Walk）
      • Szegedy 量子行走（Szegedy Walk）
      • MNRS 量子行走搜索（MNRS Quantum Walk Search）
    • 量子机器学习（Quantum Machine Learning）
      • QPCA 主成分分析（Quantum Principal Component Analysis）
      • 量子卷积神经网络（QCNN）
      • 密度矩阵指数化（Density Matrix Exponentiation）
    • 量子纠错（Quantum Error Correction）
      • 三位重复码（Repetition Codes）
    • 应用与基础设施（Applications and Infrastructure）
      • 量子有限体积法（Quantum Finite Volume Method, QFVM）
      • 一般量子同伦分析（General QHAM）
      • 数学函数可逆编译（Math Function Compilation）
  • 规范参考
    • 语言与算法库约定
    • RIR：模块化寄存器级中间表示
    • QRAM 内存定义（qram YAML）
    • 开放声明、能力与绑定
    • MIR 0.1：纯数学函数图
    • 一般 QHAM：从 PDE 到量子适配线性系统的推导
    • QFVM 中替换 QLSS：输入模型、QRAM 数据结构与输出契约审查
    • OriginIR-ext 与 PySparQ 审阅
  • API 参考
    • oracq 包总览
    • 基础设施 API
      • Toffoli / U3 / CZ 降低
      • OriginIR-ext 后端
      • PySparQ 后端
      • Quantikz 线路导出
      • 严格网表导出
      • 模块构造器
      • 资源估计
      • 寄存器参考执行器
      • RIR 对象
      • 寄存器布局
      • 绑定与能力分析
      • 数学函数编译入口
      • Python 数学函数前端
      • MIR 对象
      • 数学函数降低
      • 数学核生成
      • 原生实现注册
      • QRAM 指针式读写
      • QRAM YAML 内存格式
      • 宿主读出
      • RIR 序列化
      • 结构验证
    • 算法 API
      • 模乘与求阶
      • Oracle 查询算法
      • 可逆算术
      • 相位、振幅与重叠估计
      • Fourier 变换与算术
      • Hamiltonian 演化
      • 量子求和与积分
      • PREPARE-SELECT 分解
      • qsp_pyqsp
      • QSVT 标准变换
      • 搜索与振幅放大
      • solve
      • 谱线路的算子级合成优化
      • 态制备组合
      • 矩阵变换序列
      • 量子行走
      • Block encoding 组合
      • 算法契约与报告
      • Select-Swap QROM 数据加载
      • 密度矩阵输入模型与 Gibbs 态
      • 图行走搜索
      • initial
      • 算法结构协议
      • 化学低秩分解块编码
      • QODE 组装接口
      • 算子包装与基本组合
      • Oracle 声明与实现
      • PDE 模型与适配
      • 量子数据结构（qsample 与 sample-and-query）
      • QHAM
      • 稀疏访问适配
      • 谱输入输出原语与算子级优化
      • DQI 解码量子干涉优化
      • 量子梯度估计
      • 变分算法电路
      • 重复码与错误恢复
      • 量子线性系统
      • VTAA-CKS 变时线性系统求解器
      • 量子卷积神经网络
      • 量子卷积神经网络的量子构件
      • QPCA 量子主成分分析
      • 量子半定规划框架
      • KP 量子推荐系统
      • Carleman 线性化
      • 量子牛顿法
      • CBMD
      • LCHS
      • 旧版兼容入口
      • QODE 组装接口
      • 线性 ODE 输入模型
      • Schrödingerization
      • SDE/Fokker–Planck 输入模型
      • solver
      • PDE 模型与适配
      • solver
    • 领域应用 API
      • 参考工作负载目录
      • 流场与 QRAM 数据
      • 算法展示目录
      • 旧版兼容入口
      • oracle_study
      • QFVM 应用
      • QFVM 的 QMem 直连数据路径
      • QHAM PDE 示例
      • QHAM 有限闭包
      • PDE 模型与适配
      • 空间离散与经典参考
      • QHAM 推导报告
      • 结构化差分端口
      • Roe 矩阵元生成
      • Roe 经典数学公式

教程

  • 教程
    • 第一个寄存器程序
    • 给算法替换 oracle
    • 从论文访问模型到实现比较
    • 搜索一个元素，并估计成功概率
    • 提供自己的 Hamiltonian 分解
    • 为同一个线性问题替换 QODE 方法
    • 从 PDE 表达式生成 QHAM 输入
    • 组合 PDE 输入与求解实例
    • 组合线性 ODE 输入与求解实例
    • 科学计算工作流：输入模型、求解器与复现
    • 运行与修改算法展示目录

项目开发

  • 项目开发
    • 开发与验收
    • 架构范式与接口约定
    • 框架调研笔记（第一阶段）
    • 编写文档
    • Translation Glossary (中文 → English)
    • 目录整理与算法扩展面板
    • 算法研究工作流改进
    • 本版验收记录
    • 量子算法实现验证计划（审阅稿）
    • 验证覆盖矩阵
    • 量子算法覆盖工作板
Back to top
View this page

查询与搜索（Query and Search）¶

English · 简体中文

输入为布尔函数，或需要判定并放大某个解子空间时的门类：Grover 搜索、振幅放大及其与初态无关的变体、定点搜索，以及以振幅估计为核心的计数类算法。条目主要来自 common 的 search 模块。

  • Grover 搜索（Grover Search）
  • 振幅放大（Amplitude Amplification）
  • Oblivious 振幅放大（Oblivious Amplitude Amplification）
  • 定点搜索（Fixed-Point Search）
  • 振幅估计（Amplitude Estimation）
  • 量子计数（Quantum Counting）
Next
Grover 搜索（Grover Search）
Previous
Simon 采样（Simon Sampling）
Copyright © 2026, oracq developers
Made with Sphinx and @pradyunsg's Furo