0.说明
本文译自Tarjan的论文：
选取了其中的一部分，有删改，以原文为准。[……]
作者： wmdcstdio
[CodeChef FEB15]Payton numbers(CUSTPRIM)解题报告
题目
（翻译来自洪华敦）
定义三元组的乘法
def multiply((a1,b1,c1), (a2,b2,c2)):
s = (a1a2 + b1b2 + c1c2) + (a1b2 + b1a2) + (c1[……]
def multiply((a1,b1,c1), (a2,b2,c2)):
s = (a1a2 + b1b2 + c1c2) + (a1b2 + b1a2) + (c1[……]
[CodeChef OCT13]斐波那契数Fibonacci Number解题报告
题目
分析
这道题是CodeChef上难得一见的优美数论题，比那些（净是中国人出的）丧心病狂的数据结构高到不知道哪里去了。
题目基于两个算法：第一个是Tonelli-Shanks算法，第二个[……]
Tonelli–Shanks算法
Tonelli-Shanks算法是一个求解二次平方根的算法。即，对于奇素数p，和p的一个二次剩余n，求解x^2≡n (mod p)这样的方程。“n是二次剩余”是什么意思呢？就是这个方程有解，如果没解，就叫“二次非剩余”……
关于二次剩余，有一个叫“勒让德符号”（Legendre symbol）的[……]
[CodeChef September Challenge 2012]Knight Moving(KNGHTMOV)题解翻译
首先，让我们忘掉答案可能会非常大，需要模10^9+7这一事实。我们将稍后考虑这一问题，讨论这将对解答造成何种影响。
问题分为两种情况。
情况1：A和B线性无关
由于A和B线性无关，我们可以对空间中的所有点，向由正交向量A和B确定的空间中做一线性映射。
这意味着我们可以将每个点(u,v)用(p,q)代[……]
星系模拟器开发日志(二) 各个组件
2015.8.13更新：
上一章中解决了基本的画图技术，现在就该写真正的程序组件了。
我们将程序分成四个组件：
1)物理学组件physical module，包含基础的物理学和数学工具。
2)场景组件scene，包含场景相关的定义和方法。
3)绘图组件plotting，包含绘图方法。[……]
星系模拟器开发日志(一) 如何科学地用C++画图
代码下载地址：
2015.8.11更新：
最近突然有一个想法：写一个程序，用来模拟太阳系的行星运动，甚至是任意星球的运动。感觉这个想法非常excited，所以就准备开始写。程序的名字就叫“星系模拟器”吧，或者也可以称作“拉普拉斯的长者[……]
Farewell, OI！
听说写退役感言是传统，那我也写一个吧……
似乎很多OIer会对信息学竞赛怀有一种特殊的感情，我可能没那么强烈。NOI之后，我最主要的感受就一条：结束了，终于结束了。
初一最早听说有信息学竞赛的时候，我其实是拒绝的，因为当时我是一个搞数学竞赛的骚年……但还是抱着试一试的心[……]
[USACO Open10]数三角形Triangle Counting解题报告
题目
分析
这道题的要点在于：含原点的三角形不好数，我们数不含原点的三角形，最后用C(N,3)扣掉它就是答案了。
怎么数“不含原点的三角形”呢？
画出我们所在的坐标系。我们拿一条过原点的直[……]
[USACO Mar10]星牛争霸StarCowraft解题报告
题目
分析
首先可以发现，我们能够把三种单位的战斗力同时乘以一个数而不改变结果。因此，不妨设第三种单位的战斗力S3=1.出于方便，不妨记x=S1，y=S2
对于一场比赛，我们能够写出一个类似[……]