Day10考试T3形式化题意，给定\(n,m\)，求\(\sum^n_{i=1}\sum^m_{j=1}\displaystyle\begin{pmatrix}n\\i\\\end{pmatrix}\displaystyle\begin{pmatrix}i\\j\\\end{pmatrix}\)推式子:\[\sum^n_{i=1}\sum^m_{j=1}\displaystyle\begin{pmatrix}n\\i

目录概TransE|H|RBordesA.,UsunierN.,Garcia-DuranA.,WestonJ.andYakhnenkoO.Translatingembeddingsformodelingmulti-relationaldata.NIPS,2013.WangZ.,ZhangJ.,FengJ.andChenZ.Knowledgegraphembeddingbytranslatingonhyperplanes.AAAI

洛谷传送门AtCoder传送门考虑对于一个确定的串怎么判断合法性。容易发现删到某个时刻若\(1\)的个数大于\(0\)的个数了，因为我们肯定不会蠢到在不是全\(1\)的时候删\(111\)，所以\(c_1-c_0\)在不是全\(1\)的时候至少是不会变小的。所以我们的目标就是让\(c_1-c_0

【题目描述】给你一个\(01\)序列，你可以进行如下操作若干次（或零次）:将序列中形如\(101\cdots01\)的一个子串（即\(1(01)^k\)，\(k\ge1\)）替换成等长的\(010\cdots10\)（即\(0(10)^k\)）。你要操作使得\(1\)的个数尽可能少，输出最少的\(1\)的个数。【思路】一开始看到这道题

说是技巧，其实应该是常识。。。2-SAT没学好导致的。首先是一些奇怪的情况。我们假设蓝绿是一组，红黄是一组，椭圆是scc，那么红黄会选黄，蓝绿会选绿，然而绿又能推出红，遂卒。但是这是不可能的。实际上考虑建图时我们干了什么事情。我们建了类似于这样的东西：实际上这两对点是对等

T1做了\(3h\)，时间复杂度不对，小样例都还有一个没过。考虑容斥，不连通的情况枚举\(1\)号点所在连通块。设\(f_{S,i}\)表示\(S\)连通且选了\(i\)条边的方案数。设\(inb_s\)表示\(S\)内部的边数。那么有转移：\[f_{S,i}=\binom{inb_S}i-\sum_{T\subsetneqqS,1\inT}

卡特兰数定义卡特兰数非常常见，最为典型的就是给定n个1和n个0排列成为一个2n长度的01序列，要求对于任一个\(1\lek\le2n\)都有从第一个数到第k个数中0的个数都不少于1的个数。求法及其推导我们可以把这个01序列抽象成一个具体的问题:0代表向右走一步，1代表向上走一步，要求一共

原题链接洛谷翻译版博弈论我们假设A是先手，B是后手对于两人来说，最优策略就是先把不在正序（or逆序）正确位置的数染上色，乘对方还没有染完，就交换总共有三种情况：A需要染，B

已知\(a\)，\(b\in\textbf{R}\)，函数\(f(x)=\text{e}^x-a\sinx\)，\(g(x)=b\sqrtx\)．若\(y=f(x)\)和\(y=g(x)\)有公共点．求证：\(a^2+b^2＞\text{e}\).分析：\(\text{e}^x-a\sinx=

[ABC248F]KeepConnectSolution目录[ABC248F]KeepConnectSolution更好的阅读体验戳此进入题面SolutionCodeUPD更好的阅读体验戳此进入题面给定$n,p$，存在如图

感谢$\text{orzws/chy}$倾情授课。目录-1.证明方式0.朴素贪心AT2557[ARC073C]BallColoringP2587[ZJOI2008]泡泡堂1.排序AT2672[AGC018C]CoinsP2123皇后游

1线性空间与线性映射1.1线性空间1.1.1线性空间的基本概念给定非空集合\(\boldsymbolV\)和域\(\boldsymbolF\)，若存在映射\(\sigma\)，使得：\[\boldsymbolV\times\b