[Dr.Lib]各种.travis.yml

于是这两天撸mod和插件的.travis.yml的时候还是整出了不少东西的,记录一下什么的。

C++: 测试Clang3.8 & GCC 6 的 Coveralls 数据

这个是当年折腾数据结构时写的CI了,因为travis的Ubuntu环境目前还是古代的12.04 precise,所以很多东西要么走PPA要么直接下

这里我用的是两个镜像,分别测Clang与GCC。由于两个编译器的目标gconv版本不同所以还需要判断一下.

Java Minecraft Forge mod:repo无关的.travis.yml & 自动更新update.json

其实主要部分还是给了gradle来做= =

要做到.travis.yml和gradle里不带repo信息的话,善于利用环境变量吧。

有一个遗憾是 travis-ci/dpl issues#613 ,暂时没法自动设定是否为prerelease^

 

Java Spigot plugin:repo无关的.travis.yml & 自动更新maven repo

 gz

……其实只是想给这几天啥都没干找个借口而已嘛

Win10

GTA GTC15前就看到10240出来,抱着尝鲜的心态下了偷跑的ISO刻了个U盘,备份一下就从Win8.1U1Home升级到了Win10Pro……额果然没办法激活,先KMS撑了几天。

回来后就听说Win10开始推送了,想一想KMS续命可麻烦了……老老实实OTA

还原8.1,联想一键备份duang的一下告诉我“不能访问文件”……呵呵你把我C盘格了再告诉我没法还原?

神奇的是一个NTFS分区被格居然搞的我的Ubuntu都起不来了,我望着我电脑上唯一能用的系统——android5.1在月光下凌乱。

用U盘全新安装了个Win10Home,还是没法激活,先将就用着

折腾了半天备份文件确认是C盘的备份文件在备份时就损坏了,还原前赶时间没有备份Win10呵呵C盘所有数据都丢了吧

想一想有一个原厂Win8镜像恢复上,然后再安装Win10Home……嗯还是没办法激活。孩子激活老不好,多半是SKU废了

找了个OEM的镜像果然可以哈哈哈哈

然后我的GRUB呢?
继续阅读 "[Dr.Lib]工欲善其事,必先利其器" »

[Dream YOLO]竞赛季的竞赛祭

首先9月10日就是教师节了,也在此恭喜各位老师事业顺利。

上半学期的8~11月,是各大竞赛集中举行的时间,也意味着这是竞赛党的冲刺阶段。作为一个退役的OIer,现役的CPHOer,我的感触也是蛮深的。二中14届为我们树立了一个高大上的目标,而我们这一届,也有许多人正在为了自己的目标而奋斗。

虽然,过程会有点曲折。

这几天老师安排了一些同学部分停课参加竞赛,按照同学自己的意愿选择每节课在班级上课或者是在实验室自习备考。很多同学也很羡慕那些竞赛小组的同学,可以不用开学考,可以不交作业,可以以各种理由跷课……

但不可避免的,这样子会影响到周边的其他同学,一定程度上影响了周边同学的学习,所以现在的选择变成了明确的二分:请假全天停课或者全天正常上课。

全天停课,也就是不需要跟从正常的进度,不需要做作业。但又会落下很多功课,影响成绩。本来就不到三百天的时间里再扣掉十几天不读书,影响看起来确实很大。再加上现在竞赛也没有保送也没有加分,何苦去浪费这十几天呢?

正常上课,在备考竞赛的基础上还要完成所有正常科目的作业,时间就更紧了,最坏的情况就是两边都遭到了损失却又没有什么效果。

单科的竞赛会牵涉到竞赛小组的很多成员和周边的同学,进而影响到其他科目的教学,从作业质量到课堂效率。

——竞赛,有多艰难?

竞赛生要付出的努力,比其他同学想象的要多的多。当别人在课间休息时,生竞党还在解决一道选择题。当别人在操场上打篮球时,物竞党还在刷某届的复赛题。当别人早已睡下,OIer还在通宵打CF(Codeforces。我昨天整理了一下房间,整理出信息学竞赛相关的书堆起来有750px高,但比很多真正的大神的书堆矮了一半。竞赛并不是与普通上课一样,跟随老师的节奏就可以做好的,而是需要大量的时间和精力去准备的。竞赛占用了这么多的时间,也不可避免的会影响到其他科目的学习,鱼与熊掌不可兼得嘛。

竞赛的竞争比一般的考试强烈的多,也严酷的多。全省几万人的预赛,只为了几十个的一等奖,注定绝大多数的人会作为炮灰。虽然我认同罗老师说的“过程是好的,那结果也会是好的。”,但竞赛并不是百分之几的努力再加百分之几的人品,而甚至更像努力乘以人品,变数极大。

竞赛已经没有了保送和加分,自招的Buff也是很小的,就算竞赛获了奖,也是很难有实际、直接的优势的。

——那为什么依然有那么多人选择竞赛?

曾经也和吴健老师聊到相关的话题,我以为竞赛取消保送和加分后人数会少很多,结果人数不减反增。没有了加分的竞赛,又有什么意义呢?就像我上面列的几点,选择竞赛本身压力和困难就很大。那竞赛可以给我们什么呢?

竞赛作为一种高强度的学习,本身就可以锻炼我们的知识储备和知识面。竞赛和正常上课很大的不同在于,老师在教学中占的比例更低了:师傅领进门,修行靠个人。竞赛可以很大程度上锻炼我们的自学能力、找到适合的学习方法。

竞赛也不是什么好学生的特权,只要你有兴趣,有想法,都可以参与,去尝试。竞赛成绩好坏和平时学习并没有什么必然的关系。

以及,从根本上来说,竞赛靠的是自己的兴趣和梦想,自己选择的奋斗目标。去掉了功利的保送与加分,竞赛最大的收获还是竞赛过程本身。凭借你的兴趣,才有可能认真的钻研竞赛的奥妙。无论结果如何,只要你喜欢,竞赛的过程其实总是充满乐趣的。每一道题、每一个知识点对你来说都是收获。去追寻自己在竞赛中近在咫尺的梦想。

附送两个来自NOI WC2014的节目

http://tieba.baidu.com/p/2883322463

http://tieba.baidu.com/p/2871105185

认真看完这两个节目,你就会明白竞赛的真正意义。

竞赛党也需要老师和同学们以及家长的鼓励、帮助和理解。竞赛过程中不可避免的会落下很多东西,但对于有经过竞赛锻炼的我们来说,这些都是很容易补上的。而竞赛,将是一分无法复制的收获。

无论选择安静的学习,还是选择充满挑战的竞赛,其实只有自己喜欢的路,才能走的最稳最好。

用一句来自某IOI#1的陈立杰引用过的话做结尾:自己选择的路,就算跪着也要走完。

 

 

… : ” ..\ 只要能够为了当时纯粹的梦想和感动坚持努力下去,不管其它人怎么样,我们也能够保持自己的本色走下去 /.. ” ….

 

 

[Dr.Lib]Note:Math – Elegant Proof II

北京数竞 1957

平面上任取三个格点, 试证:它们不能是正三角形三个顶点

证明:

设三个点分别为\(  A(x_{1},y_{1}),B(x_{2},y_{2}),C(x_{3},y_{3})\)则
\( S_{\Delta ABC}=\frac{1}{2}\begin{Vmatrix}\
x_1&y_1 &1 \\
x_2&y_2 &1 \\
x_3&y_3 &1 \
\end{Vmatrix}\)为有理数,而

\( S_{\Delta ABC}=\frac{\sqrt{3}}{4}((x_1-x_2)^2+(y_1-y_2)^2)\)为无理数,矛盾。

49th Moscow MO 1986

求证:对于实数\(x,y,z\),以下三个式子不可能同时成立。

\( \left | x \right | < \left | y-z \right | , \left | y \right | < \left | z-x \right |, \left | z \right | < \left | x-y \right | \)

证明:

反证法。若三式全部成立,有

\[\left\{\begin{matrix}x^2<(y-z)^2 \
\\ y^2<(z-x)^2
\\ z^2<(x-y)^2 \
\end{matrix} \right. \
\rightarrow \left\{\begin{matrix}(x-y+z)(x+y-z)<0 \
\\ (y-z+x)(y+z-x)<0
\\ (z-x+y)(z+x-y)<0 \
\end{matrix}\right.\]

三式相乘

\(((x+y-z)(y+z-x)(z+x-y))^2<0\)矛盾。

St.Petersburg MO 1988

是否存在两个不等于0的整数\(x,y\),满足其中之一可被它们的和整除,另一个可被差整除?

解答:

不存在。

否则,\(\left |x+y \right |\)、\(\left |x-y \right |\) 必有一个既大于x又大于y。它不可能是\(x\)或\(y\)的约数,矛盾。

 

[Dr.Lib]Note:Math – Elegant Proof I

16th CanadianMO 1984

任给7个实数,求证必有两个数x、y满足:

\[0 \leq\frac{x – y}{1+x y} \leq\frac{\sqrt{3}}{3} \]

拿到题目后第一反应就是和什么公式好像……结果还真是……

证明:

设七个数为\(a_{1}< a_{2}< a_{3}< a_{4}< a_{5}< a_{6}<a_{7}\),令\(\theta _{i}=arctan(a_{i})\)。

有\( \frac{-\pi}{2}<\theta _{1}<\theta _{2}<\theta _{3}<\theta _{4}<\theta _{5}<\theta _{6}<\theta _{7}<\frac{\pi}{2}\)

则必有\( 0<\theta _{i+1}-\theta _{i}\leq \frac{-\pi}{6} i \in \left [ 1,6 \right ] \)

则\( 0<tan(\theta _{i+1}-\theta _{i})= \frac{tan(\theta _{i+1})-tan(\theta _{i})}{1+tan(\theta _{i})tan(\theta _{i+1})}\leq \frac{\sqrt{3}}{3} \)即\[0 \leq \frac{x – y}{1+x y} \leq \frac{\sqrt{3}}{3} \]

练习:

50th Moscow MO 1987 求证:从任意三个正数或四个实数中总能取两个数x,y满足 \[0 \leq \frac{x – y}{1+x y} \leq 1 \]

3th CMO WC 1988

(1)设正数a,b,c满足 \((a^{2}+b^{2}+c^{2})^{2}>2(a^{4}+b^{4}+c^{4})\)

求证:a,b,c是三角形的三边。

(2)设\((a_{1}^{2}+a_{2}^{2}+a_{3}^{2}+ … +a_{n}^{2})^{2}>(n-1)(a_{1}^{4}+a_{2}^{4}+…+a_{n}^{4}) n\geq3\),求证:\({a_{n}}\)中任意三个数是三角形的三边。

看起来就是各种因式分解。。

证明:

(1)

由题意得\(2a^{2}b^{2}+2b^{2}c^{2}+2a^{2}c^{2}-a^{4}-b^{4}-c^{4}>0\)

即\((a+b-c)(a+c-b)(b+c-a)(a+b+c)>0\)

不妨设\(a\geq b \geq\ c\)

有\((b+c-a)>0\)即a,b,c是三角形的三边。

(2)

\(n=3\)时由(1)立即可得。

\(n>3\)时

\[(n-1)(a_{1}^{4}+a_{2}^{4}+…+a_{n}^{4}) \]
\[<(a_{1}^{2}+a_{2}^{2}+a_{3}^{2}+ … +a_{n}^{2})^{2} \]
\[=(\frac{a_{1}^{2}+a_{2}^{2}+a_{3}^{2}}{2}+\frac{a_{1}^{2}+a_{2}^{2}+a_{3}^{2}}{2}+ … +a_{n}^{2})^{2} \]
\[\leq (n-1)(\frac{(a_{1}^{2}+a_{2}^{2}+a_{3}^{2})^{2}}{4}+\frac{(a_{1}^{2}+a_{2}^{2}+a_{3}^{2})^{2}}{4}+a_{4}^{4}+…+a_{n}^{4}) (柯西不等式) \]
\[=(n-1)(\frac{(a_{1}^{2}+a_{2}^{2}+a_{3}^{2})^{2}}{2}+a_{4}^{4}+…+a_{n}^{4})\]

所以

\((a_{1}^{2}+a_{2}^{2}+a_{3}^{2})^{2}>2(a_{1}^{4}+a_{2}^{4}+a_{3}^{4})\)

由(1)知\(a_{1},a_{2},a_{3}\)是三角形的三边。

由对称性可知,\({a_{n}}\)中任意三个数是三角形的三边。

【To be continued】