• 2024-07-20CF1364D Ehab's Last Corollary 题解 (构造/独立集/找最小环)
    题意给出一张n个点的无向连通图和一个常数k。你需要解决以下两个问题的任何一个:找出一个大小为\(\lceil\frack2\rceil\)的独立集。找出一个大小不超过k的环。独立集是一个点的集合,满足其中任意两点之间在原图上没有边直接相连。可以证明这两个问题必然有一个可以
  • 2024-06-15谢启鸿第四版高等代数第七章习题解析
    前言:之前写过两篇第七章习题解析,本篇主要是补充,将之前没有来得及写上的习题补充完整,顺便归个类。前两篇看主页吧,不指路了。习题7.4部分1(1).根据下列不变因子组写出有理标准型:解:排除0次多项式,的友阵为(1),的展开式为,则其友阵为可以得到有理标准型为.2(1).求下列矩阵的
  • 2024-02-03极小mex
    称\([l,r]\)是极小区间,当且仅当不存在\([L,R]\subsetneq[l,r],\mbox{mex}(l,r)=\mbox{mex}(L,R)\)。则有结论:极小区间只有\(O(n)\)个。证明:考虑极小区间\([l,r]\),则\(a_l\neqa_r\),设\(a_l>a_r\),由于删掉端点\(\mbox{mex}\)会变化,所以\(\mbox{mex}(l,r)>a_l\),对于\(r_1>r\),若\(a_
  • 2023-11-07凸优化 | Lagrange 对偶:极大极小不等式的证明
    背景:Lagrange对偶:对于优化问题\[\begin{aligned}&\mathrm{minimize}~~&f_0(x)\\&\mathrm{subject~to}~~&f_i(x)\le0,~~h_j(x)=0\end{aligned}\]可以建立其Lagrange对偶函数\(L(x,λ,\nu)=f_0(x)+\sumλ_if_i(x)+\sum\nu_jh_j(x)\),\
  • 2023-11-07关于环的一些证明
    DFS搜索树上有返祖边,等价于图中至少存在一个环。充分性显然,必要性。如果是无向图,那就只有树边和返祖边,不存在横插边,没有返祖边那就是一棵树,与图中有环矛盾。有向图多了横叉边,但是这样不是环,是个DAG,也矛盾。这个结论常用于深搜判环。在FishGraph一题中,dfs只能找到一个任意环,
  • 2023-07-28非线性规划【复习笔记】
    一、基本概念(一)、非线性规划数学模型非线性规划数学模型的一般形式是:\(\begin{cases}minf(\boldX)\\\quadh_i(\boldX)=0(i=1,2,\dots,m)\\\quadg_j(\boldX)\geq0(j=1,2,\dots,l)\end{cases}\)其中,\(X=(x_1,x_2,\dots,x_n)^T\)是\(n\)维欧氏空间\(E_n\)中的点
  • 2023-02-02凸集、凸函数、凸优化
    凸集集合中的任意两点连线的点都在该集合中凸函数简单理解为对曲线上任意两点连线上的点对应的函数值不大于该两点对应的函数值得连线上的值。凸函数仅仅是定义在凸集上的函
  • 2023-01-20“升维的降维打击”-参数训练的驻点分析
    1.优化失败的原因​图1训练参数的常见情况​在上一节中,讨论了如何通过梯度下降方法训练深度学习模型。随着参数训练更新次数的增加,可能会遇到两种常见的失败情况:第一种,损失
  • 2023-01-152293. 极大极小游戏
    2293.极大极小游戏给你一个下标从0开始的整数数组nums,其长度是2的幂。对nums执行下述算法:设n等于nums的长度,如果n==1,终止算法过程。否则,创建一个