Here’s something encrypted, password is required to continue reading.
- 置顶
- 置顶
我也不知道我在总集什么但总之 2026 题目总集
CF573D Bear and Cavalry 总之我只会 O(nq)O(nq)O(nq)。将 www 和 hhh 分别排序,存一下每个战士对应的马,每次修改直接交换。每次询问从前到后统计答案,只需要这一个对应,然后左右两个交叉对应,然后三个对应,这几种情况取最大就行。 CF838D Airplane Arrangements 方案数也可以转成概率乘总方案数。 我们将问题转换为每个人随机... - 置顶
欧拉计划大合集
Problem #1 Multiples of 3 or 5 Problem Description If we list all the natural numbers below $10$ that are multiples of $3$ or $5$, we get $3, 5, 6$ and $9$. The sum of these multiples is $23$. Find... NNG4 Solutions 简中版
网站托管于海因里希·海涅杜塞尔多夫大学 假定您对 Lean 4 有基本的了解——至少知道它是做什么的。 教程世界 第1关:rfl 策略 介绍第一个策略(tactic)——rfl,它可以证明所有形如 X = X 的定理。 12example (x q : Nat) : 37 * x + q = 37 * x + q := by rfl 关于 rfl: rfl 是“相等关系的自反性”(re...NNG4 Solutions
Website Hosted By Heinrich Heine University Düsseldorf Assuming you have a basic understanding of Lean 4 — at least knowing what it is used for. Tutorial World Level 1. The rfl tactic Introduce the...栈模板
支持随机访问。 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899...浅谈 JWT (JSON Web Tokens)
本文假定您有基础的 Web 知识,不会对某些概念进行说明。 JWT 是什么? JWT,全称是 JSON Web Token,可是说是当下最流行的一种跨域的认证方案。 1eyJhbGciOiJSUzI1NiIsInR5cCI6IkpXVCJ9.eyJzdWIiOiJHYXZpbiIsImlhdCI6MTc3NDk3MDgyMywiZXhwIjoxNzc0OTc0NDIzfQ.M1tneo2...FlatDurian Hunt 个人题解
Round 1 The Link 结合题目名的 Link,观察题目链接 132-submit_haunt。 提交 haunt 即可。 I Know That One 都是一些英文的 Riddle 也就是字谜,先把题面凑出来(直接去搜)。 括号内逗号前面表示答案的单词数量,比如 a chicken 对应的就是 1 7,逗号后的数字是字谜答案中取第几个字母,不算空格。 把所有字母拼起来还是个字谜...数论模板
exgcd 求解逆元 123// ax%b==1exgcd(a,b,x,y);ans = (x+b)%b; Miller-Rabin 素性测试 & Pollard-Rho Code1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556...Codeforces 1726E - Almost Perfect
把排列的变换打出来找找规律,会发现对于合法的 ppp,置换后的 p−1p^{-1}p−1 都很相似。 以下是截取的几个 n=10n = 10n=10 时的合法情况。 12345[2,1,8,9,6,5,10,3,4,7] => [2,1,8,9,6,5,10,3,4,7][2,1,8,9,6,5,10,4,3,7] => [2,1,9,8,6,5,10,3,4,7][2,1,8...
