会员
周边
新闻
博问
闪存
赞助商
Chat2DB
所有博客
当前博客
我的博客
我的园子
账号设置
会员中心
简洁模式
...
退出登录
注册
登录
xjtu_chx(AT)xcpc
博客园
首页
新随笔
联系
订阅
管理
2026年8月6日
置顶
摘要: 新博客的链接为 https://chen-hongxuan.github.io/chx-AT-xjtu/ 欢迎来玩!
阅读全文
posted @ 2026-08-06 13:16 xjtu_chx(AT)xcpc
阅读(4)
评论(0)
推荐(0)
2026年7月19日
数理逻辑 - 递归定理
摘要: \[\newcommand{\s}{\mathrm{s}} \newcommand{\lra}{\leftrightarrow} \newcommand{\inp}{\leftarrow} \newcommand{\fa}{\forall} \newcommand{\ex}{\exists} \ne
阅读全文
posted @ 2026-07-19 10:31 xjtu_chx(AT)xcpc
阅读(6)
评论(0)
推荐(0)
2026年7月5日
2026暑期复健
摘要: 这篇博客拿来记录一下这次复健遇到的有意思的题 Codeforces Round 1106 (Div. 2) D 我们把 n 素因子分解, 假定有 k 个素因子, 那么就可以把数 n 及其因子看成 k 维的向量, 之后题目的塔状限制使得我们可以猜测除了每个素因子要单独开一层以外, 剩下的向量可以以各维
阅读全文
posted @ 2026-07-05 14:55 xjtu_chx(AT)xcpc
阅读(11)
评论(0)
推荐(0)
2026年6月29日
CF2232E. Snaking Arrangement
摘要: 记录一种新颖的排列构造方法。 我们先看一个相对而言更弱的问题,如果初始的时候整个网格是空的,那么有多少摆放方法呢?这个题我们首先需要从蛇的长度限制上获得一个非平凡的观察:摆放的方法远比我们预期的要少 我们作如下的实验:摆蛇先摆长的,之后再摆短的。于是不难观察到,如果对于格点 \((x,y)\) 而言
阅读全文
posted @ 2026-06-29 14:04 xjtu_chx(AT)xcpc
阅读(5)
评论(0)
推荐(0)
2026年6月25日
CF2234G. Stripe, Token and Two Players
摘要: 记录一个很有意思的观察。朴素的博弈 DP 状态是 \[DP[i,j]:=位置在\ i\ 并且能力为\ j\ 的前提下先手是否必胜\newcommand{\la}[1]{\langle #1\rangle} \]然后转移就是 \[\begin{align*} DP[i,j]&=1\\ &\leftri
阅读全文
posted @ 2026-06-25 21:34 xjtu_chx(AT)xcpc
阅读(5)
评论(0)
推荐(0)
2026年6月23日
一些反悔贪心与模拟费用流
摘要: 前言 模拟费用流的主要思想是把问题建成费用流问题后不去直接用费用流算法去跑,而是考虑用某些其他更高效的方法来计算费用流,不过后者的难点在于计算的算法要因图而异,不过对像我这样比较笨的人来讲设计费用流比设计反悔贪心容易多了,其中一部分原因是费用流结果的最大/最小性是由流理论的万全性保证的,我不需要像反
阅读全文
posted @ 2026-06-23 22:53 xjtu_chx(AT)xcpc
阅读(11)
评论(0)
推荐(0)
2026年6月22日
数理逻辑学习笔记
摘要: 前言 之前学校教离散数学的时候把数理逻辑这一章节给略过了, 于是我自己翻了一下, 发现这是一个颇有意思的领域, 但是完全可以想象计算机系的离散数学里教的数理逻辑是多么的无聊, 如果希望认真了解数理逻辑这门学问的话可以避雷西交的离散数学了, 之后我就自己找一些其他学校的教材来读, 不出意料的读到了另外
阅读全文
posted @ 2026-06-22 16:41 xjtu_chx(AT)xcpc
阅读(22)
评论(0)
推荐(0)
数理逻辑 - 不可定义性定理
摘要: \[\newcommand{\lra}{\leftrightarrow} \newcommand{\inp}{\leftarrow} \newcommand{\fa}{\forall} \newcommand{\ex}{\exists} \newcommand{\bl}{\begin{aligned
阅读全文
posted @ 2026-06-22 15:40 xjtu_chx(AT)xcpc
阅读(8)
评论(0)
推荐(0)
数理逻辑 - 莱斯定理
摘要: \[\newcommand{\lra}{\leftrightarrow} \newcommand{\tx}[1]{\text{#1}} \newcommand{\line}[2]{\ & #1 \quad & \rm{(#2)}\\} \newcommand{\linet}[2]{\ & #1 \q
阅读全文
posted @ 2026-06-22 15:38 xjtu_chx(AT)xcpc
阅读(4)
评论(0)
推荐(0)
数理逻辑 - 一致性定理
摘要: \[\newcommand{\lra}{\leftrightarrow} \newcommand{\tx}[1]{\text{#1}} \newcommand{\line}[2]{\ & #1 \quad & \rm{(#2)}\\} \newcommand{\linet}[2]{\ & #1 \q
阅读全文
posted @ 2026-06-22 13:54 xjtu_chx(AT)xcpc
阅读(7)
评论(0)
推荐(0)
下一页
公告