离散数学课程组合计数教学中计算思维的培养

组合计数是计算机专业离散数学课程的重要组成部分,如何在组合计数的教学中培养学生的计算思维,突显计算机专业离散数学课程的特点是一个值得探索的问题。文章探讨如何通过案例将组合计数部分的教学与离散化、模块化、层次化、系统化、公理化等计算思维相结合,强化学生利用计算机求解问题能力的培养,最后通过调查说明案例的运用在实际教学中对学生计算思维培养有较好的效果。     

量子优化算法综述

量子优化是量子计算领域近年来颇受关注的一个研究分支,主要研究如何利用量子计算加速优化问题的求解.根据优化问题的变量是否连续分类梳理量子优化算法,侧重介绍连续变量优化算法.通过对现存工作的调研梳理得到一些观察:1)5～20年前的研究主要集中在离散变量的量子优化技术,近5年的研究则更关注连续变量的量子优化技术;2)量子优化使用的主要基础技术都是10～20年前提出的,在基础技术方面需要进一步革新;3)量子优化算法相比于对应的经典算法通常在理论上有加速优势,既有体现在时间复杂度的加速,也有体现在查询复杂度的加速,但仍然有待更为严格的理论分析;4)优化领域依然存在许多值得量子计算研究人员探索的问题,特别是非凸优化领域,亦即经典计算上认为较难的优化问题.     

精确Grover量子搜索算法概述

Grover算法自提出以来就备受关注，因其对无序数据库搜索问题有相对于经典算法平方级别的加速。但是原始Grover算法通常无法百分之百得到目标元素，即使目标元素占比已知。为此，精确Grover量子搜索算法被提出，它们作为原始Grover算法的扩展，在保持平方加速的同时，能以100%的概率输出目标元素。该文较系统地梳理已有的3种精确Grover量子搜索算法，详细介绍算法的流程、参数设置、背后的几何直观，并针对目标元素占比已知及未知的情况，说明精确量子搜索的查询复杂性下界。