学习小记
文章平均质量分 88
_beginend
这个作者很懒,什么都没留下…
展开
-
【笔记】混合(纯)纳什均衡与PPAD(PLS)完全
参考CS364A的Lecture Note #19和#20.纯纳什均衡与 PLSPLSPLS 完全局部搜索问题 (Local Search Problems)最大割问题最大割问题是研究局部搜索问题的经典问题. 给定一个无向图 G=(V,E)G=(V,E)G=(V,E), 每条边有非负边权 we≥0w_e\ge 0we≥0. 目标是找到 VVV 的一个分割 (S,S‾)(S,\overline{S})(S,S), 其中 SSS 和 S‾\overline{S}S 均非空, 使得两个端点分别位于 SS原创 2022-01-17 17:38:52 · 1759 阅读 · 1 评论 -
【笔记】非完全信息下的动态博弈(序贯均衡)
来源于mit的Economic Applications of Game Theory这门课的Lecture Notes的第16章。序贯均衡考虑如下博弈:员工有 0.70.70.7 的概率是勤奋的,0.30.30.3 的概率是懒惰的。公司可以选择雇佣或者不雇佣该员工;若雇佣,则员工可以选择工作或偷懒。注意到加粗的线表示了一个贝叶斯纳什均衡(Bayesian Nash equilibrium),这显然不是我们想要的结果。为了解决这个问题,不妨设员工是序贯理性(sequentially rational原创 2021-12-30 22:23:39 · 4276 阅读 · 0 评论 -
【论文阅读】The Simple Economics of Optimal Auctions
前言这篇文章讨论了价格歧视垄断的模型,并为该模型找到了解决方案。之后说明了该模型与 Myerson 的论文 Optimal Auction Design 里的最优拍卖模型是等价的。这个模型的转换从另一个角度描述了拍卖模型中的最优策略,将其与一些经济学中的概念联系了起来,从而能够有更直观的理解,也为之后对 Myerson 拍卖的分析找到了更简单的模型。解决最优拍卖问题的方法首先介绍一下拍卖模型,以及在证明了该模型与价格歧视垄断模型的等价性后,最优拍卖问题的解决方法。假设有 nnn 个买家和一件物品。物原创 2021-12-30 15:16:10 · 861 阅读 · 0 评论 -
【论文阅读】Send Mixed Signals – Earn More, Work Less
Abstract考虑多类型的单物品拍卖,且所有买家的价值已知,并假定使用二价拍卖。文章说明了混合信号策略比纯信号策略收益更高,给出了计算最优混合信号策略的线性规划,并将其变量数降至多项式级别,因此能在多项式时间内求解。同时证明了使用最优信号策略的收益对某个指标有很好的近似比。证明中利用了混合信号策略等价于多个可分割物品拍卖的性质。Motivation在信息不对称的情形下,即卖家拥有私有信息,为了最大化自己的收益,卖家通过信号的形式透露部分信息是很合理的方式。相较于纯信号策略,显然使用混合的信号策略效果原创 2021-12-13 10:30:45 · 513 阅读 · 0 评论 -
【笔记】凸优化1
b站凌青老师凸优化课程1-6课笔记。什么是优化优化就是从一个可行解的集合中,寻找出最优的元素。写成数学形式:minimize f0(x)subject to fi(x)≤bii=1,⋯ ,M\begin{aligned}&\text{minimize }f_0(x)\\&\text{subject to }f_i(x)\le b_i\quad i=1,\cdots,M\end{aligned}minimize f0(x)subjec原创 2021-12-11 18:49:46 · 574 阅读 · 0 评论 -
【论文阅读】Optimal Advertising for Information Products
Abstract这篇是发表在 EC21 上的文章。考虑的情形是有一个不可知的状态,买家能够选择一个行动,其收益取决于状态和行动。卖家知道真实的状态,想要将状态信息出售给买家。为了让买家愿意付钱购买,卖家可以先免费透露部分信息给买家,改变其对状态的估计,从而让其购买状态信息。买家和卖家都想最大化自己的收益。论文里讨论了卖家的最优机制设计问题,通过优化的角度,给出了特殊情形下问题的解法,同时证明了一般情形下该问题是 NP 难的。由于论文里涉及到较多凸优化的知识,所以只读懂了一部分。希望等之后学了凸优化之后再原创 2021-12-09 22:51:47 · 436 阅读 · 0 评论 -
拟阵学习小记
拟阵简介拟阵理论可用于判断一个问题能否通过贪心策略求解,或者说用于证明一个贪心策略是否正确。其能够涵盖许多用贪心法求解的问题,但不是所有的贪心算法都符合拟阵理论。拟阵的定义称一个有序对 M=(S,L)M=(S,L)M=(S,L) 为拟阵,如果它满足以下条件:有穷:SSS 是一个有穷集合。遗传性:LLL 为 SSS 的一个非空子集组成的集合,满足如果 B∈LB\in LB∈L 且 A⊆BA\subseteq BA⊆B,那么 A∈LA\in LA∈L。称 LLL 的元素为独立子集。显然空集 ∅∈L\原创 2021-04-07 19:43:48 · 339 阅读 · 2 评论 -
最大最小堆(min-max heap)
做项目的时候听说了最大最小堆这种数据结构,于是就来学习一下。最大最小堆算是二叉堆的变形,结构与二叉堆类似,只是节点的排列顺序有所不同。相较于二叉堆,最大最小堆能够同时支持最大值或最小值的查询(O(1)O(1)O(1))和删除(O(logn)O(\log n)O(logn))操作。相较于用两个二叉堆或用平衡树实现相同的功能,最大最小堆唯一的优势大概就是只需要开一个大小为 nnn 的数组。性质最大最小堆的结构和二叉堆一样,都是一棵满二叉树。若令根节点深度为 000,则满足在以深度为偶数的节点为根的子树原创 2021-02-19 00:34:18 · 2032 阅读 · 0 评论 -
可持久化可并堆优化k短路
问题对于带权有向图,定义路径的长度为经过的边的权值之和。两条路径不同当且仅当经过边的顺序不同。给一个带权有向图 GGG 以及起点和终点 s,ts,ts,t,求 GGG 中 sss 到 ttt 权值前 kkk 小的路径。朴素做法问题转化定义 disxdis_xdisx 表示从 xxx 到 ttt 的最短路长度,权值为 www 的边 e:u→ve:u\to ve:u→v 的花费 δ(e)=disv−disu+w\delta(e)=dis_v-dis_u+wδ(e)=disv−disu+w可以理解原创 2021-02-13 12:29:02 · 516 阅读 · 0 评论 -
红黑树学习小记
红黑树的形态红黑树是一棵带拓展节点的平衡二叉树,即某个节点若没有左儿子,则新建一个拓展节点作为左儿子。右儿子同理。拓展节点称为外部节点,其余节点称为内部节点。每个节点被染成红色或黑色。其中根节点必然是黑色。外部节点必然是黑色。内部节点可以是红色或黑色。需要满足的性质:每个红色节点的两个儿子必然都是黑色节点,即不存在两个相邻的红色节点。对于任意一个节点,从它出发到其子树内的所有外部节点的路径上的黑点数量均相同。称从节点 XXX 出发,到其子树内任意一个外部节点路径上的黑点数量为 XX原创 2021-01-05 22:08:19 · 377 阅读 · 0 评论 -
B树、B+树学习小记
B树B树和二叉查找树类似,均是通过把数据储存成树的形态,支持数据的动态查找、插入和删除。不同于二叉查找树,B树是一棵多路树,也就是每个节点可以有若干儿子。这样在查找的时候,读取内存的次数就会大大降低,从而提高查找的效率。B树的形态对于取定的参数 mmm:B树是一棵多路树,每个节点最多有 mmm 个儿子。除了根节点和叶节点以外,每个节点最多有 ⌈m2⌉\lceil\frac{m}{2}\rceil⌈2m⌉ 个儿子。若根节点有儿子,则至少有两个儿子。所有叶子节点都有相同的深度。有 kkk 个原创 2021-01-05 11:33:47 · 195 阅读 · 0 评论 -
【线性平面图判定算法】
最近去看了Hopcroft和Tarjan老爷子在1974年提出的 O(V)O(V)O(V) 时间内判断一个图是否是平面图的算法,这是原文。用了好一些时间才完全理解整个算法。想懂之后其实并不难,但真真实实非常巧妙,代码实现并不复杂,常数也不算大。不知道为什么网上基本找不到科普文。一些记号简单路径:每个点至多被经过一次。环:除起点外,每个点至多被经过一次。割点:删掉该点后原图不再连通。双连通图:连通且不包含割点的图。p:v⇒∗wp:v\Rightarrow ^* wp:v⇒∗w:ppp 是一条从原创 2020-12-12 00:32:17 · 2517 阅读 · 2 评论 -
Lyndon分解学习小记
Lyndon分解Lyndon串如果一个串的字典序不大于它的所有后缀,这样的串就称为 Lyndon 串。Lyndon分解将字符串 sss 分解为 w1w2⋯wkw_1w_2\cdots w_kw1w2⋯wk,若满足 w1,w2,⋯ ,wkw_1,w_2,\cdots,w_kw1,w2,⋯,wk都是 Lyndon 串,且 w1≥w2≥⋯≥wkw_1\ge w_2\ge \cdots \ge w_kw1≥w2≥⋯≥wk,则称 w1w2⋯wkw_1w_2\cdots w_kw1w2⋯w原创 2020-07-22 23:32:07 · 540 阅读 · 1 评论 -
任意模数NTT学习小记
问题求两个多项式A(x)A(x)A(x)和B(x)B(x)B(x)对一个不是NTT模数的数取模的结果。拆系数FFT设置一个阈值WWW(通常设置为2152^{15}215),将A(x),B(x)A(x),B(x)A(x),B(x)拆分成A=aW+b,B=cW+dA=aW+b,B=cW+dA=aW+b,B=cW+d,其中a,b,c,da,b,c,da,b,c,d均为多项式。则AB=acW2+(ad+bc)W+bdAB=acW^2+(ad+bc)W+bdAB=acW2+(ad+bc)W+bd需要做777次原创 2020-06-24 18:30:08 · 264 阅读 · 0 评论 -
Berlekamp-Massey算法学习小记
简介Berlekamp-Massey算法,简称BM算法,可以在O(N2)O(N^2)O(N2)时间内求解一个数列的最短线性递推式。教程一篇讲的很详细的博客Berlekamp-Massey算法我们采用增量法构造数列{an}\{a_n\}{an}最短线性递推式。假设现在已经得到了数列a1,a2,...,ai−1a_1,a_2,...,a_{i-1}a1,a2,...,ai−1的最短...原创 2019-06-20 17:07:16 · 898 阅读 · 0 评论 -
整数划分问题与五边形数定理学习小记
前言五边形数定理在GDOI2018d3t4中被作为考点,虽然这道题作为一道防AK题并没有人AC,但仍然引起了一波GD选手学习五边形数定理的热潮。作为一个热衷于追随潮流的菜鸡,我当然也要跑过来学习一发啦。整数划分问题整数划分问题指的是,给一个正整数nnn,问把nnn划分为若干个正整数和的形式有多少种不同的方案。 其中又分为选出的正整数可以相等和不能相等两个问题。不能相等的整数划...原创 2018-05-18 09:17:05 · 4282 阅读 · 1 评论 -
Min_25筛学习小记
前言Min_25筛的时间复杂度和洲阁筛(我不会)一样,都是O(n34logn)O(n34logn)O(\frac{n^{\frac{3}{4}}}{logn})。但Min_25筛的时空常数,代码复杂度据说比洲阁筛要优秀,甚至可以替代掉洲阁筛,于是我这个学不懂洲阁筛的菜鸡就赶紧跑来学习了一发。 我看的是zzq的博客目标设F(x)F(x)F(x)是一个积性函数,现在要求∑i=1nF(...原创 2018-03-24 16:18:44 · 1758 阅读 · 1 评论 -
拉格朗日反演
前言闲得无聊来学学看。抽代相关的前置技能自然是一点不会的,所以一些内容就只能感受一下。总的来说就是我们一般见到的形式幂级数都是形如f(x)=a0+a1x+a2x2+...f(x)=a_0+a_1x+a_2x^2+...f(x)=a0+a1x+a2x2+...但这里讨论的幂级数是形如f(x)=a−mx−m+...+a−1x−1+a0+a1x+...+anxn+...f(x)=a_{-m...原创 2019-07-16 00:17:53 · 3440 阅读 · 2 评论 -
快速沃尔什变换学习小记
定义AA和BB均是长度为n=2kn=2^k的数组。定义A0A_0为这个数组的前2n−12_{n-1}项,A1A_1为这个数组的后2n−12_{n-1}项,那么有A=(A0,A1)A=(A_0,A_1)。 A+B=(A[0]+B[0],A[1]+B[1],...,A[n]+B[n])A+B=(A[0]+B[0],A[1]+B[1],...,A[n]+B[n]) A∗B=(A[0]∗B[0],A[1原创 2017-11-19 20:26:35 · 1577 阅读 · 3 评论 -
约瑟夫环问题学习小记
问题的提出有n个人围成一个圈,按顺时针编号为1到n。现在从编号为1的人开始报1,下一个人报2,如此类推,报到m的人就退出,接着下一个人继续从1开始报。问最后一个剩下的人是谁。解法1可以通过链表的形式来模拟这个过程,时间复杂度为O(nm)O(nm)。解法2我们把每个人的编号都-1,也就是编号变为了从0到n-1,显然这两个问题是等价的。 第一个出去的人的编号肯定是(m−1)modn(m-1)\bmod原创 2017-10-26 08:03:20 · 310 阅读 · 0 评论 -
如何线性求[1,p-1]的逆元
今天做了一下bzoj 4011,顺便学习了一波如何线性递推求[1,p-1]在模p下的逆元。注意p为素数。 设aa的逆元为a−1a^{-1},根据逆元的定义显然有a∗a−1≡1(modp)a*a^{-1}\equiv1\pmod p首先有1的逆元就是1. 假设现在已经球出了[1,a−1][1,a-1]的逆元,现在考虑如何求aa的逆元。设k=⌊pa⌋,r=pmodak=\lfloor\frac{p}原创 2017-06-13 20:11:54 · 761 阅读 · 0 评论 -
第一类斯特林数求自然数幂和学习小记
目标求∑i=1nik\sum_{i=1}^ni^k前置技能第一类斯特林数s(n,m)s(n,m)定义为有n个人,编号分别为1-n,排成m个循环排列的方案数。 递推式:s(n,m)=s(n−1,m−1)+(n−1)∗s(n−1,m)s(n,m)=s(n-1,m-1)+(n-1)*s(n-1,m) 证明:若第n个人自己排成一个循环排列,则方案数为s(n−1,m)s(n-1,m);若第n个人加入到原来原创 2017-07-13 07:48:15 · 2244 阅读 · 0 评论 -
平面图欧拉公式的精彩证明
在网上看到的一个十分简洁直观的证明,就忍不住想记录下来。 在介绍这个证明之前,让我们先来回顾一下什么是Euler公式。Euler公式是说,在一个由若干顶点和它们之间的一些不相交的边所组成的图中,等式V+F=E+2总成立,其中V表示顶点个数,E表示总的边数,F表示这个图分割出来的区域个数(包括一个“外部区域”,例如一个圆把平面分割为两个区域)。如图1,这个图共有6个顶点、10条边和6个区域,可以看到转载 2017-09-20 20:57:27 · 9934 阅读 · 2 评论 -
二次剩余Cipolla算法学习小记
前言之前遇到过一些关于二次剩余的题目,因为姿势不够都跳了。由于最近觉得自己的数论姿势严重不足,便觉得有必要来学习一下二次剩余相关的算法。 学完后感觉这个算法作者的脑洞真的是比较大,居然能想出这么巧妙的构造。 关于这个算法的介绍,我比较推荐czy大爷的博文。前置技能(以下内容均在模数pp为奇素数的前提下讨论)二次剩余首先要搞懂什么是二次剩余。若方程x2≡a(modp)原创 2018-01-22 08:01:09 · 3732 阅读 · 1 评论 -
latex学习小记
前言来学latex主要是因为其对编辑公式及其友好,可以用来制作论文或是ppt。写latex对编辑器则没有太大限制,我用的是vscode。下载Texlive要写latex首先要下载texlive,比较详细的教程可以看这篇博文。下载地址可以是官网,也可以是清华大学镜像网站,后者由于是在国内所以网速会稍快。下载好texlive2019.iso并解压后,点击install-tl-advanced...原创 2019-07-23 21:34:34 · 1018 阅读 · 0 评论 -
群论学习笔记
群群(G,∗)(G,*)(G,∗)由非空集合GGG和GGG的一个代数运算∗*∗组成,且满足以下公理:1、1、1、封闭性:对∀a,b∈G\forall a,b\in G∀a,b∈G,有a∗b∈Ga*b\in Ga∗b∈G2、2、2、结合律:对∀a,b,c∈G\forall a,b,c\in G∀a,b,c∈G,有(a∗b)∗c=a∗(b∗c)(a*b)*c=a*(b*c)(a∗b)∗c=a∗(...原创 2019-08-08 22:16:05 · 858 阅读 · 1 评论 -
贝尔数学习小记
贝尔数贝尔数是一个数列,其第nnn项BnB_nBn定义为nnn个带标号元素的集合划分方案数,不难发现Bn=∑k=1nS(n,k)B_n=\sum_{k=1}^nS(n,k)Bn=k=1∑nS(n,k)其中S(n,k)S(n,k)S(n,k)表示第二类斯特林数。同时容易得到递推式Bn+1=∑k=0n(ni)BiB_{n+1}=\sum_{k=0}^n\binom{n}{i}B_iBn+1...原创 2019-09-14 20:12:20 · 711 阅读 · 0 评论 -
伯努利数学习小记
伯努利数伯努利数的定义如下:B0=1∑k=0n(n+1k)Bk=0B_0=1\\\sum_{k=0}^{n}\dbinom{n+1}{k}B_k=0B0=1k=0∑n(kn+1)Bk=0知道定义后我们就可以O(n2)O(n^2)O(n2)来递推求伯努利数。生成函数考虑伯努利数的指数型生成函数B(x)=∑k≥0Bkk!B(x)=\sum_{k\ge 0}\frac{B_k...原创 2019-02-11 14:15:02 · 564 阅读 · 2 评论