240 发简信
  • Kotlin 语言下设计模式的不同实现

    偶然在 Github 上看到 dbacinski 写的 Kotlin 语言下设计模式的不同实现(这里的不同是相对于 Java 语言的),有些实现非常好,但是有些实现的例子不是...

  • 图算法(二)Tarjan

    在一次BFS或DFS中,我们其实并不能保证一定访问到图中的所有节点,因为有些图可能是不连通的。我们把从一个点出发,所有可达点的集合称为这个点所在的连通分量。给定一个无向图,我...

  • Archlinux使用pptpclient

    pptpclient是一个实现Microsoft PPTP协议的程序。因此它能够被用来接入另一个Microsoft VPN网络,比如学校和单位。(from ArchWiki)...

  • Effective C++ 读书笔记

    手头上有一本 Scott Meyes 的 Effective C++(3rd Edition),虽然中文的出版时间是感人的2011年(也就是说C++11的那些新特性都没讨论了...

  • 120
    Windows安装Hadoop

    环境 主机:Windows 10Hadoop:2.7.5Java:1.9 步骤 1. 确认Java已经安装,并已经添加到环境变量中,测试方法:cmd中输入java -vers...

  • 数据库复习笔记

    本文是2017年秋季北大研究生课程《数据库原理与技术》的复习笔记。视角为数据库系统自身的设计与实现,主要包括存储、索引、查询处理/优化、事务、并发处理、恢复系统、并行数据库7...

  • 北大2017秋研究生算分课模拟考试题解

    A:To Europe! To Europe! AC代码: B:Radar Installation AC代码 C:Percolation 总时间限制: 1000ms 内存限...

  • Windows安装scrapy

    今天在win 10下安装scrapy时遇到了点麻烦。 首先pip版本: 执行pip install scrapy遇到错误: GitHub上很多相关issue,指出这是pip的...

  • 120
    图算法(一)遍历,拓扑排序

    本文介绍图的几种基本操作:BFS,DFS,求有向图连通分量的Tarjan算法以及拓扑排序。 图的表示 一张图是由若干顶点和顶点之间的边组成的,可以形式化为G(V, E),V代...

  • 图算法(二)最短路

    本文将介绍三种常见的最短路算法:Dijkstra,Floyd,SPFA Dijkstra Dijkstra是有向图上的单源最短路径算法,本质是一种贪心。给定一个有向图G(V,...

  • 120
    稳定匹配问题

    这是 Algorithm Design 一书开篇介绍的一个很有意思的问题 问题描述 有n个男人和n个女人(n>=2),每个男人对所有女人有一个好感度排名,每个女人对所有男人也...

  • cf 422 div.2题解

    A. I'm bored with life 水。给定两个整数A,B,保证其中较小的一个不超过12.求A!和B!的最大公约数。 AC代码: B. Crossword solv...

  • Haskell学习笔记(一)

    这一系列的笔记主要参考中文版的 Real World Haskell,这篇博文作为本系列的第一篇,先介绍一下Haskell的语法和一些基本知识。 进入/退出交互模式ghci ...

  • 120
    RescueTime

    最近发现了一款挺有意思的软件RescueTime,它既可以本地安装,也可以以浏览器插件的形式工作。功能是统计你每天的工作和娱乐时间,结果会以一个Dashboard网页的形式显...

  • Arch Linux 安装

    制作启动盘 请使用Rufus,不要用UltraISO。 安装过程 Arch的安装过程中一定要联网。具体安装过程这篇文章写的简直不能更详细了。除了分区的时候有点危险,其他时候基...

  • 120
    TAPL练习:添加TmPLet

    问题描述 本练习是北大本研合上课程编程语言的设计原理的一次上机作业,完整的代码可以参考这里。该课程教材是经典的TAPL,作业要为书中fullsimple类型系统(源码可以在T...

  • The Checker Framework

    The Checker Framework (后文简称CF)提供一套机制,可以通过编写插件来扩展Java编译器的功能。就我目前的使用来看,它主要利用了Java中的注解(ann...

  • λ演算

    λ演算是一个具有与图灵机相同计算能力的形式系统,由图灵同学的老师Alonzo Church于20世纪30年代提出。 定义 对一个形式系统,我们的套路就是分析它的语法和语义。λ...

  • 高级逻辑学笔记

    这学期选了「高级逻辑学」这门课。课程所用的教材是王元元主编的计算机科学中的现代逻辑学。本文是课程的学习笔记,分为两部分:第一部分介绍书中对现代逻辑、形式化的定义,第二部分介绍...