抗战二十年

去到多远,我也铭记我起点,不会变

Boyer-Moore算法

Boyer-Moore多数投票算法介绍

一、引入问题 在做Leetcode时,遇到了一个求众数的问题,题目序号为169,难度为easy,题目中英文链接如下:169.多数元素,169.Majority Element。 1.题目描述:给定一个大小为 n 的数组,找到其中的多数元素。多数元素是指在数组中出现次数大于⌊ n/2 ⌋的元素。你可以假设数组是非空的,并且给定的数组总是存在多数元素。 2.示例: 输入:[3,2,3] 输出...

局部搜索-组合优化论文阅读简述

蔡少伟老师论文学习心得

蔡少伟老师是中国科学院软件研究所的研究员,博导,也是我们实验室这个方向的指导老师。他对人工智能和算法设计有广泛的兴趣,包括:约束求解,组合优化,启发式搜索,基于学习的自动算法设计;除此之外,也致力于将算法研究应用于实际项目从而发挥其价值。他的DBLP主页为:Shaowei Cai。 在进这个方向时,在师兄的引导下,阅读了蔡老师的多篇论文,下面是自己对于论文中主要思想的汇总,做成了PPT,以...

AAAI2020合作发表论文简述

Local Search with Dynamic-threshold Configuration Checking and Incremental Neighborhood Updating for Maximum k-plex Problem

从IJCAI19到AAAI20,忙忙碌碌一段时间,提思路、改代码、做实验、收数据、写论文、进行rebuttal、等结果,反反复复,最后终于被AAAI20接收为oral presentation。虽然我并不是一作(学生第二作者),但是参与了整个过程,其中有近500行代码是由自己完成,对实验效果有明显提升的增量更新部分的算法、实验、论文是我来编写的。虽然不想一直进行科研工作,不管怎么样,也算是对...

<bits/stdc++.h>头文件

今天在做题时看到有人用了<bits/stdc++.h>头文件,好像自己之前一直没有了解过这个头文件,今天把它记录在这里。下面是Dev-C++ 5.11里这个头文件的源代码。 // C++ includes used for precompiling -*- C++ -*- // Copyright (C) 2003-2014 Free Software Foundati...

那就do myself

梁博、新秀-《表态》

万万没想到,自己最初觉得一定可以坚持下去的博客写作,也因为种种原因停滞了那么久。这将近一年的时间,我经历了考研复试、正式进入实验室、跟着师兄投稿、进行所谓的科研等种种事情,回过头来看,或许刚开始就选择了一条自己不那么喜欢的路。现在能做的,可能只有坚持和平常心。言归正传,今天想给自己分享这首今年梁博和新秀在中国新说唱上的演唱的歌曲《表态》。我本来并不喜欢这种节目,更不喜欢在生活中显得很嘻哈的人...

毕业设计过程阶段总结及研究生入学前科研记录

论文,代码,相关问题

一、记录 从考研结束后就开始了跟着师兄开始了毕业设计过程,最近阅读了几篇论文: 下面是我在阅读论文时的部分思维导图,用以记录自己的阅读过程,相信大家也看不清图片。仅仅用来记录。 1.MiniSat 2.MWCP 3.s-plex 二、论文阅读 1. 《组合测试:原理与方法》 严俊, 张健 Journal of Software, Vol.20, No.6, June 20...

A Full View

系统分析与设计团队项目

目录 一、Team Profile(团队组建) 二、About(项目规划) 三、Investigation(项目前期调研) 四、Vision(项目愿景) 五、部分界面效果gif展示 六、Requirement specification(需求规格说明) && Design(设计) 1.需求文档 2.用例图 ...

皮皮点餐系统软件设计文档

系统分析与设计团队项目

目录: 一、项目环境 二、项目构建和管理工具 三、技术选型 四、架构设计 五、模块划分与设计 系统整体模块图 1.登录模块划分 2.后台管理模块划分 3.客户点餐模块划分 4.厨师管理模块 六、数据...

Software Architecture Document

系统分析与设计团队项目

软件架构文档:皮皮怪点餐 版本 日期 描述 草案 2018/5/29 本SAD主要从架构问题、解决方案说明、逻辑视图以及物理视图这四个部分来来描述此次项目的架构。 架构设计 前后端分离开发,采用express框架,前端使用jade模型渲染网页页面,...

皮皮点餐系统用例文本

系统分析与设计团队项目

一、摘要 处理点餐:顾客扫描二维码选择是否拼桌。顾客选择菜品。顾客选择菜品附加信息。顾客进行网上支付。系统将订单发送给收银员。收银员确定顾客支付后将订单状态改为已支付。厨师收到已支付的订单,进行制作。厨师制作完毕,将订单状态改为已完成。系统根据订单内容更新盈收、库存信息。服务员根据订单号将制作完的菜品送往指定桌号 添加新员工:店主登录管理系统,进入员工信...