利用形式方法推进量子计算
统计方法学
2024-07-25 v2
摘要
本教程以形式方法在该新兴领域的适用性为焦点介绍量子计算。我们描述了量子电路并阐述了其固有的组合性质以及导致其难以分析的指数级增长。随后，我们展示了如何使用加权模型计数(#SAT)来解决量子电路的困难分析任务。该教程面向对量子计算感兴趣的形式方法社区，无需量子计算基础知识，但要求具备基本线性代数知识（尤其是矩阵乘法和基向量）。本教程的目标是激发社区利用形式方法推进量子计算的发展。
引用
@article{arxiv.2407.11674,
title = {Effect Heterogeneity with Earth Observation in Randomized Controlled Trials: Exploring the Role of Data, Model, and Evaluation Metric Choice},
author = {Connor T. Jerzak and Ritwik Vashistha and Adel Daoud},
journal= {arXiv preprint arXiv:2407.11674},
year = {2024}
}