冯世光
- 作品数：6 被引量：2H指数：1
- 供职机构：中山大学更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术理学哲学宗教社会学更多>>
- 二阶HORN逻辑的复杂性与表达能力
- 描述复杂性理论是一门从逻辑的角度对计算复杂性进行研究的学问。是否存在一个逻辑能在所有结构上刻画PTIME是描述复杂性理论中长期悬而未决的开问题。本文从二阶HORN逻辑的角度对描述复杂性进行研究，提出了二阶修正HORN逻辑...
- 冯世光
- 可逆电路综合与优化的若干研究进展被引量：1
- 2024年
- 量子计算是一种新型计算模式,遵循量子力学规律对信息进行处理,其应用涵盖密码学、组合优化和量子模拟等多个领域。量子计算强大算力的发挥有赖于量子算法,而量子算法的运行首先需要编译为量子电路。可逆电路是一类重要的量子电路,可逆电路的综合与优化是量子编译的主要研究内容之一。本文对可逆电路综合与优化中的一些重要工作进行总结,首先介绍线性可逆电路的综合与优化,对CNOT门数量与电路深度两个方面优化的结果进行讨论;然后介绍一般性可逆电路的规模和深度优化,对当前算法所能达到的上下界情况进行了分析总结;最后对可逆电路综合与优化的相关延伸拓展进行探讨。
- 吴限冯世光李绿周
- 关键词：量子计算量子电路
- 量子均值估计算法研究进展
- 2024年
- 随机变量的均值估计问题一直是经典数据分析中研究的热点,均值估计算法的目的是通过对随机变量尽可能少地采样从而获得尽可能准确的均值估计值。量子计算作为一项革命性的技术,在一些问题上具有超越经典计算的优势。量子算法在均值估计问题上相对于经典算法具有平方加速,展现了量子计算的优越性。该文系统梳理了量子均值估计算法的发展历程,详细介绍了各阶段的算法流程及其优缺点,并对其主要应用场景进行了展示,最后讨论了量子均值估计算法的潜在发展方向。
- 冯世光高诚伸李绿周
- 关键词：量子算法GROVER算法
- 二阶扩展逻辑的复杂性与表达能力(英文)被引量：1
- 2012年
- 本文研究了在所有有穷结构上SO-HORN*,SO-HORNr和SO-HORN*r的表达能力。我们证明了SO-HORNr,SO-HORN*r和FO(LFP)的表达能力是一致的,SO-HORN*是SO-HORNr的一个严格子逻辑。为了证明这一结果,我们提出了DATALOG*程序,DATALOGr程序以及它们的分层版本S-DATALOG*程序和S-DATALOGr程序。我们证明了在所有有穷结构上DATALOGr和S-DATALOGr是等价的,并且DATALOG*是DATALOGr的一个严格子逻辑。最后我们还用两种方法证明了SO-HORN的一个扩展版本SO-EHORNr逻辑可以在所有有穷结构上刻画co-NP。
- 冯世光赵希顺
- 关键词：逻辑SO
- 可满足性理论及应用研究进展
- 2009年
- 由教育部人文社会科学重点研究基地中山大学逻辑与认知研究所和德国Paderbom大学数学与计算机学院联合主办的第11届可满足性理论及其应用（SA佗008）国际学术年会于2008年5月12-15日在广州隆重召开。这是计算机科学研究领域的一个重要国际学术年会，也是逻辑与人工智能研究领域的一次顶级国际会议。这次会议是首次在欧美之外的地区举办。
- 冯世光沈榆平
- 关键词：可满足性人文社会科学大学数学
- 分布式量子线路映射技术研究进展
- 2025年
- 分布式量子计算为突破中等规模带噪声量子计算设备所面临的量子比特数扩展瓶颈提供了有效途径。分布式量子线路映射技术是使用分布式量子计算架构高效执行量子线路的关键,其引入的通信代价对量子计算成功率有着重要影响。随着各类分布式量子计算架构的兴起,分布式量子线路映射的相关研究引发了广泛关注。该文通过对现有研究工作的分析总结,梳理分布式量子线路映射技术的发展脉络及研究现状,并对未来研究方向进行展望。
- 朱鹏程朱鹏程陈新宇冯世光冯世光程学云
- 关键词：量子隐形传态
