Sorry, your browser cannot access this site
This page requires browser support (enable) JavaScript
Learn more >

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

成绩出来果然差的离谱。从小到大最低的成绩吧。如果放在以前,我估计会慌得要死然后奋力追赶,但现在我只感到慌乱却不想动。不过让我感到宽慰的是我们 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 stars Are you shining just for me City of stars There's so much that I can't see Who knows I felt from the first embrace I shared with you That now our dreams They've finally come true ...

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