会员服务
线性的 · 讲稿 · 论文 ·
2023 年 2 月 17 日
Quantum Algorithm for Multiplicative Linear Logic
翻译：多复制线性线性逻辑的量图量算法
Lorenzo Saraiva,Edward Hermann Haeusler,Vaston Costa
Lorenzo Saraiva,Edward Hermann Haeusler,Vaston Costa

This paper describes a quantum algorithm for proof search in sequent calculus of a subset of Linear Logic using the Grover Search Algorithm. We briefly overview the Grover Search Algorithm and Linear Logic, show the detailed steps of the algorithm and then present the results obtained on quantum simulators.


翻译：本文描述了使用 Grover 搜索 Algorithm 的线性逻辑子集的序列计算中进行证据搜索的量子算法。 我们简要概述了 Grover 搜索 Algorithm 和 线性逻辑, 展示了算法的详细步骤, 然后展示了量子模拟器的结果 。
0
下载
关闭预览

相关内容

不可错过！《机器学习100讲》课程，UBC Mark Schmidt讲授
不可错过！《机器学习100讲》课程，UBC Mark Schmidt讲授
专知会员服务
71+阅读 · 2022年6月28日
【干货书】机器学习速查手册，135页pdf
【干货书】机器学习速查手册，135页pdf
专知会员服务
122+阅读 · 2020年11月20日
哥伦比亚大学最新《机器学习》课程，Fall-B 2020 (Machine Learning)
专知会员服务
38+阅读 · 2020年11月3日
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
专知会员服务
92+阅读 · 2020年3月12日
【新书：机器学习简介】《A Concise Introduction to Machine Learning》by A.C. Faul (CRC 2019)
【新书：机器学习简介】《A Concise Introduction to Machine Learning》by A.C. Faul (CRC 2019)
专知会员服务
75+阅读 · 2020年2月8日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
31+阅读 · 2019年10月17日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
168+阅读 · 2019年10月11日
机器学习入门的经验与建议
机器学习入门的经验与建议
专知会员服务
90+阅读 · 2019年10月10日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
99+阅读 · 2019年10月9日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
39+阅读 · 2019年10月9日
直播 | Interpretable and Trustworthy Graph Geometric Deep Learning
直播 | Interpretable and Trustworthy Graph Geometric Deep Learning
图与推荐
1+阅读 · 2022年11月2日
VCIP 2022 Call for Demos
VCIP 2022 Call for Demos
CCF多媒体专委会
1+阅读 · 2022年6月6日
局部学习的特征选择：Local-Learning-Based Feature Selection
局部学习的特征选择：Local-Learning-Based Feature Selection
我爱读PAMI
14+阅读 · 2019年9月20日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
23+阅读 · 2019年5月22日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
26+阅读 · 2019年5月18日
强化学习的Unsupervised Meta-Learning
强化学习的Unsupervised Meta-Learning
CreateAMind
17+阅读 · 2019年1月7日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
41+阅读 · 2019年1月3日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
【论文】变分推断（Variational inference)的总结
【论文】变分推断（Variational inference)的总结
机器学习研究会
39+阅读 · 2017年11月16日
可解释的CNN
可解释的CNN
CreateAMind
17+阅读 · 2017年10月5日
MARVELD1基因调控肝细胞癌介入治疗的机制研究
国家自然科学基金
0+阅读 · 2016年12月31日
肥胖相关Hepatokine LECT2在肝脏中的调控及机制
国家自然科学基金
1+阅读 · 2015年12月31日
Na,K-ATPaseβ1亚基在TGF-β诱导的肺癌EMT中的作用及其调节机制
国家自然科学基金
0+阅读 · 2013年12月31日
Calderon问题和边界刚性问题
国家自然科学基金
0+阅读 · 2013年12月31日
缺氧诱导NHE1参与calpain介导ABCA1降解及胆固醇逆转运障碍
国家自然科学基金
0+阅读 · 2012年12月31日
基于Takagi-Sugeno模型的非线性系统数据驱动最优控制方法适定性的研究
国家自然科学基金
0+阅读 · 2012年12月31日
TIP30核内化的分子机制及其与EGFR信号通路的相关性研究
国家自然科学基金
0+阅读 · 2012年12月31日
一种时空白噪声驱动的Navier-Stokes方程的隐格式
国家自然科学基金
0+阅读 · 2011年12月31日
Narf影响细胞衰老的分子机制研究
国家自然科学基金
0+阅读 · 2009年12月31日
微通道内多相流体流动的耗散粒子动力学模拟
国家自然科学基金
0+阅读 · 2009年12月31日
An Empirical Evaluation of Multivariate Time Series Classification with Input Transformation across Different Dimensions
Arxiv
0+阅读 · 2023年4月12日
Selecting Robust Features for Machine Learning Applications using Multidata Causal Discovery
Arxiv
0+阅读 · 2023年4月12日
Foundations for an Abstract Proof Theory in the Context of Horn Rules
Arxiv
0+阅读 · 2023年4月12日
Robust Dequantization of the Quantum Singular value Transformation and Quantum Machine Learning Algorithms
Arxiv
0+阅读 · 2023年4月11日
Alternating Direction Method of Multipliers Based on $\ell_{2,0}$-norm for Multiple Measurement Vector Problem
Arxiv
0+阅读 · 2023年4月10日
Entangled Pair Resource Allocation under Uncertain Fidelity Requirements
Arxiv
0+阅读 · 2023年4月10日
Random Subgraph Detection Using Queries
Arxiv
0+阅读 · 2023年4月7日
Multiplication and Modulo are Lattice Linear
Arxiv
0+阅读 · 2023年4月7日
Quantum Conformal Prediction for Reliable Uncertainty Quantification in Quantum Machine Learning
Arxiv
0+阅读 · 2023年4月6日
Active Learning for Domain Adaptation: An Energy-based Approach
Arxiv
13+阅读 · 2021年12月2日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
线性的
讲稿
论文
相关VIP内容
不可错过！《机器学习100讲》课程，UBC Mark Schmidt讲授
不可错过！《机器学习100讲》课程，UBC Mark Schmidt讲授
专知会员服务
71+阅读 · 2022年6月28日
【干货书】机器学习速查手册，135页pdf
【干货书】机器学习速查手册，135页pdf
专知会员服务
122+阅读 · 2020年11月20日
哥伦比亚大学最新《机器学习》课程，Fall-B 2020 (Machine Learning)
专知会员服务
38+阅读 · 2020年11月3日
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
专知会员服务
92+阅读 · 2020年3月12日
【新书：机器学习简介】《A Concise Introduction to Machine Learning》by A.C. Faul (CRC 2019)
【新书：机器学习简介】《A Concise Introduction to Machine Learning》by A.C. Faul (CRC 2019)
专知会员服务
75+阅读 · 2020年2月8日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
31+阅读 · 2019年10月17日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
168+阅读 · 2019年10月11日
机器学习入门的经验与建议
机器学习入门的经验与建议
专知会员服务
90+阅读 · 2019年10月10日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
99+阅读 · 2019年10月9日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
39+阅读 · 2019年10月9日
热门VIP内容
相关资讯
直播 | Interpretable and Trustworthy Graph Geometric Deep Learning
直播 | Interpretable and Trustworthy Graph Geometric Deep Learning
图与推荐
1+阅读 · 2022年11月2日
VCIP 2022 Call for Demos
VCIP 2022 Call for Demos
CCF多媒体专委会
1+阅读 · 2022年6月6日
局部学习的特征选择：Local-Learning-Based Feature Selection
局部学习的特征选择：Local-Learning-Based Feature Selection
我爱读PAMI
14+阅读 · 2019年9月20日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
23+阅读 · 2019年5月22日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
26+阅读 · 2019年5月18日
强化学习的Unsupervised Meta-Learning
强化学习的Unsupervised Meta-Learning
CreateAMind
17+阅读 · 2019年1月7日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
41+阅读 · 2019年1月3日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
【论文】变分推断（Variational inference)的总结
【论文】变分推断（Variational inference)的总结
机器学习研究会
39+阅读 · 2017年11月16日
可解释的CNN
可解释的CNN
CreateAMind
17+阅读 · 2017年10月5日
相关论文
An Empirical Evaluation of Multivariate Time Series Classification with Input Transformation across Different Dimensions
Arxiv
0+阅读 · 2023年4月12日
Selecting Robust Features for Machine Learning Applications using Multidata Causal Discovery
Arxiv
0+阅读 · 2023年4月12日
Foundations for an Abstract Proof Theory in the Context of Horn Rules
Arxiv
0+阅读 · 2023年4月12日
Robust Dequantization of the Quantum Singular value Transformation and Quantum Machine Learning Algorithms
Arxiv
0+阅读 · 2023年4月11日
Alternating Direction Method of Multipliers Based on $\ell_{2,0}$-norm for Multiple Measurement Vector Problem
Arxiv
0+阅读 · 2023年4月10日
Entangled Pair Resource Allocation under Uncertain Fidelity Requirements
Arxiv
0+阅读 · 2023年4月10日
Random Subgraph Detection Using Queries
Arxiv
0+阅读 · 2023年4月7日
Multiplication and Modulo are Lattice Linear
Arxiv
0+阅读 · 2023年4月7日
Quantum Conformal Prediction for Reliable Uncertainty Quantification in Quantum Machine Learning
Arxiv
0+阅读 · 2023年4月6日
Active Learning for Domain Adaptation: An Energy-based Approach
Arxiv
13+阅读 · 2021年12月2日
相关基金
MARVELD1基因调控肝细胞癌介入治疗的机制研究
国家自然科学基金
0+阅读 · 2016年12月31日
肥胖相关Hepatokine LECT2在肝脏中的调控及机制
国家自然科学基金
1+阅读 · 2015年12月31日
Na,K-ATPaseβ1亚基在TGF-β诱导的肺癌EMT中的作用及其调节机制
国家自然科学基金
0+阅读 · 2013年12月31日
Calderon问题和边界刚性问题
国家自然科学基金
0+阅读 · 2013年12月31日
缺氧诱导NHE1参与calpain介导ABCA1降解及胆固醇逆转运障碍
国家自然科学基金
0+阅读 · 2012年12月31日
基于Takagi-Sugeno模型的非线性系统数据驱动最优控制方法适定性的研究
国家自然科学基金
0+阅读 · 2012年12月31日
TIP30核内化的分子机制及其与EGFR信号通路的相关性研究
国家自然科学基金
0+阅读 · 2012年12月31日
一种时空白噪声驱动的Navier-Stokes方程的隐格式
国家自然科学基金
0+阅读 · 2011年12月31日
Narf影响细胞衰老的分子机制研究
国家自然科学基金
0+阅读 · 2009年12月31日
微通道内多相流体流动的耗散粒子动力学模拟
国家自然科学基金
0+阅读 · 2009年12月31日
Top
微信扫码咨询专知VIP会员
Top