学期快要结束了。自视半年以来，仿佛什么都没干似的。期望年后如果疫情政策能彻底放开，可能就有动力去干很多事情了。不过话说回来，数学本来就是在室内坐板凳的专业，封闭应该对我没有影响才对。 前几天看到一年前发表的说说。那天西工大附中晚上突然封校，半夜十二点全校走读生回学校拿书本。当时避之不及的病毒如今不得不与之共存。现在母亲也患上了。未免让人思考如此长时间的防疫是不是真的有必要。可是这和我又有什...

成绩出来果然差的离谱。从小到大最低的成绩吧。如果放在以前，我估计会慌得要死然后奋力追赶，但现在我只感到慌乱却不想动。不过让我感到宽慰的是我们 ACM 队出线了。如今可以赶紧调整状态和心态到正常的学习生活了。要不然，就晚了。 感觉自己有心理问题，结果这个念头马上在和学长的聊天中消除了。果然还是缺少交流和宽慰。大多数心理问题都是这样。找个人说说话就能解决很多事——原来我仍然喜欢钻牛角尖，只...

自觉现在是十分懈怠了。不好。但又不知如何是好。 习惯了翘课，但是翘了课又不知道干什么。不过至少没有了以前的那种紧迫感。不对，早都没了。 翘课是坏习惯。尤其是借着竞赛的名义翘课。 有很多事情想做，但又不是特别想做。没有动力。没有吸引力。没有兴趣。怎么年纪轻轻就萎了（不是） 每天晚上打好长时间游戏，打完又觉得空虚，觉得虚度光阴，却又不想上课。 想找一个每天都能让我鼓起干劲泡着的事情……...

小时候，我经常在晚上莫名其妙地默默流泪，却不知何因。 刚才正在做自我人格分析，突然想到这件事。很奇怪，小时候我几乎每天晚上都会哭（不出声那种，经常吓到父母，但是我什么事都没有），却不知道原因。并不是我忘了原因，而是当时就不知道为什么，父母问我的时候我也不知道为什么，就是“难过”，那种没有缘由的感觉，像心痛，但是我的心脏没有问题。 突然很怀念那种感觉……这样看来，我现在每天都有点没心没肺。...

The Truman Show Is that the best you can do?You are gonna have to kill me!!!What will we do with the drunken sailor…(Drunken Sailor) 非常激励人心、有启发的一部电影。 我不知道如果我是楚门的话，我能否抛弃家庭、抛弃朋友、抛弃现有的一切去追逐自己的梦想。或者说，...

最近更新：2023.3.26 本来想将上大学以来的日记都写在这里，然而还是有些难以启齿的事情，需得分开来发布才可以加密。因此，有内容完全相同的博客文章独立发布，并且自以上日期之后日记不在这里更新。 这里仅做留档。连起来看一遍还挺有意思的。 I ❤ SJTU 这个家伙愉快地踏入了上海交通大学的大门。 他将在上海交通大学闵行校区度过他的若干年大学生活。 让我们看看他会变成...

军训已经几周了。如果算上之前 ACM 队训练的一个月，时间也许更长。 上海交通大学，全国最大的校区，我即将在这里度过四年或更长的时间。虽然我已经在这的一会相对来说只是很短的一部分，但是却有开启我成年人生的重大意义。 学校课程还未确定，但真正的课早已开始。军训开幕当晚我请教母亲针线活，参加军乐团，训练和报名 ACM，打听消息、咨询学长自行车的事宜，并且从家里借了第一笔钱。我很幸运这里基本...

2022.7.6 昨天是清北强基计划出结果的日子。班里许多同学都考上了清北。至于我，早已被上海交通大学数学与应用数学系录取。 我不知道心里面是什么滋味。在班里能前往我心心念念学校的同学中，没有我的名字。 或许有人会说，行了吧，上交还不够吗？相当于上海的清北嘛，虽然总排名差了一点。或许我的家长会说，不错了，现在你是家里学历最高的人了。上交对于你来说不一定比清北差。诚然。在我此前的无数篇碎...

City of starsAre you shining just for meCity of starsThere’s so much that I can’t seeWho knowsI felt from the first embrace I shared with youThat now our dreamsThey’ve finally come true 很久没有看过一部能...

问题描述 SAT(satisfiabality) 是适应性的缩写，一般称 k 的适应性问题为 k-SAT。适应性问题指有 \(n\) 个布尔变量 \(\{x_i\}\)，加入一些限制然后求限制内的解的问题。 因为 \(k>2\) 的 k-SAT 问题是 NP 完全问题（没有一定的算法和正解），我们只讨论 2-SAT 问题。 Tarjan 一般来讲，我们会想到把变量 \(x...