分享例题两则主要是分享一种\(\text{trick}\)。\(\text{UVA1608}\)题目描述给定一个长度为\(n\)的序列\(a\)，如果\(a\)的每一个子串都存在至少一个元素只出现了一次，输出\(\text{Non-boring}\)。反之，输出\(\text{Boring}\)。\(n\leqslant2\times10^5\)。思路点

在批处理中使用【if】和【goto】的例子：@echooffremThisscriptassumesthatREAPERisinstalledinC:\ProgramFiles\REAPERremIfyouhaveitinstalledsomewhereelse,modifythisnextlinetopointtotherightfolderremORpassittothescriptlike:reap

前言：又到了期末寄，开始匆忙整理下半学期学的agda，果然ddl就是第一生产力，这个交互式证明工具还是挺有意思的虽然有的时候很蠢Agda是基于Haskell的，所以很多语法和Haskell几乎

目录Agda学习笔记1快捷键reflNaturalNumber自然数集合operationsrewritecong加法结合律加法交换律乘法分配律比较大小衍生的一些证明begin-qed作业题乘法交换律乘法结合律

Givenalinkedlist,swapeverytwoadjacentnodesandreturnitshead.Forexample,Given 1->2->3->4,youshouldreturnthelistas 2->1->4->3.Youralgorith