为什么 SSA 无法证明三角形全等？
两个三角形 全等 的充要条件是 等距同构 ，等距映射全体构成 欧几里得群 E ( 2 ) 。可以写成： x ⟼ Q x + t , Q ∈ O ( 2 ) , t ∈ R 2 .…
置顶
about
about me
多项式复合(逆)的2个log做法
原文： https://noshi91.hatenablog.com/entry/2024/03/16/224034 让我们说人话。 设 M k , i = [ x i ] g…
杂题乱做2 杂题
CF2002H 令 n 为网格的规模。我们需要寻找一条从 ( 1 , 1 ) 到 ( n , n ) 的路径，路径长度恒为 2 n − 2 。 由于路径总边数为 2 n − 2 ，…
一些经典问题的做法
1 设 A , B ∈ M n ( R ) 是两个 n × n 的实数矩阵。假设它们在复数域上是相似的，即存在一个可逆的复矩阵 P ∈ M n ( C ) ，使得 P −…
ds 小记
有点堕落了，这次我要一转颓势！
期望概率题小记
QOJ5468. 托卡马克 论文题，记 F m ( z ) 为最大高度不超过 m 的路径生成函数（其中 z 标志线段对数）。根据连分数理论，有： F m ( z ) = 1…
LOJ6864 Hard
不是题。
一种在模意义下的特殊高次方程的解法
也许会被一些奇怪的数据卡掉。 考虑解方程： H n ( x 1 , … , x k ) − H n − 1 ( x 1 , … , x k ) = C (…
qoj1518 Medium+
是题。
杂题乱做 杂题
ARC172D arc172d 这个题的官方题解是人类能想到的吗？ 给一个比较正常的做法。 我们需要构造 N 个点，使得它们之间的 N ( N − 1 ) /2 个距离满足给定的严…