Google Codes Jam 2019 资格轮题解

说起来很搞笑,4.7 凌晨 3 点我躺床上看群友聊到 GCJ 我才反应过来好像是资格赛,然后我随口问了一下什么时候这轮结束,特巨回了我一句:“你大概还剩…8 个小时?” 然后我掐指一算,早上 10 点截止,而我肯定写不来。幸好的是,A B 两个题的 Visible Set 就够晋级线 30 分了,躺床上把这两个题 Rush 出来我就睡了。第二天爬起来又想了想,把剩下两个题都写了。

这一轮其实四个题都很白给(比 Kickstart 简单一万倍),为什么写这一轮呢,主要是感觉这几题都还挺有意思的(难度也比去年低),加上好久没写题解了,练练手。其实官方是有题解的,就当我写了个翻译吧。

2018 新生杯纪实

2018 年的哈尔滨工业大学(威海)ACM 新生程序设计竞赛上周结束了~

作为这次的主命题人,这一次也是搞了一个多月才选好题造好数据写好 Checker,最终呈现给所有的新生。

题目的材料在:https://github.com/lxdlam/hitwh-2018-newbie,有什么问题欢迎给我提 Issue。

这篇文章就记录一下整个过程吧。

Hugo 永久链接

之前使用 Hexo 的时候,用的是 hexo-abbrlink 插件来处理永久链接,而换到了 Hugo 之后,由于 Hugo 没有插件系统,所以就采用了简单的 /year/month/day/name 形式处理永久链接。

昨晚临睡前翻了翻 Hugo 文档,发现了 Hugo 有一系列自建函数,实验过后可以生成类似于 hexo-abbrlink 效果的永久链接,就写了这篇文章记录。

World rebuild

换博客了。

从 5 月开始到现在一直在不断的刷题忙比赛的事,一直没来得及继续写博客,算算有八个月了,大半年过去了。

最近打算集中火力写一系列文章,所以准备重新把博客弄起来。

然而,我回到 Hexo 重新 rebuild 了一下站点,60s 的生成速度实在是令人难以恭维。正巧在上个月,我听说了 Hugo 这个神器,就准备试用一下。结果这一试用,我就回不来了。花了一整天时间把博客迁移到了 Hugo,这篇文章就记录一下迁移的过程。

邱奇计数 (2)

忙过了这一茬,趁着下一茬还没来,我先填填坑~

上一篇文章里面,我们谈到了如何去表达一个自然数系统:0以及后继,然后写出了邱奇计数法中的0和后继表达方式。作为一种验证和转化手段,我们也描述了邱奇化和去邱奇化的有关内容,更好的去验证我们的结果。

然而,一个代数系统,光有数可远远不够,我们还需要有各种运算。

今天,让我们来谈谈运算的内容,除了加法、乘法、乘方以外,我还将给你展示使用代换模型来展开函数,从而去更好的理解整个运算过程。

准备好了吗?让我们开始吧!