群论学习笔记

文章目录

  • 前言
    • 基本定义:
    • 子群
    • 陪集
    • 拉格朗日定理
    • 正规子群
    • 交换群
    • 商群
  • 置换
    • 定义
    • 置换的乘法
    • 循环
    • 置换群
    • 群作用
    • 等价类
    • 不动点
  • Burnside引理
    • 内容
    • 证明
      • 法1 轨道-稳定子定理
      • 法2
  • Polya 定理

所谓群论,就是对群体行为问题的讨论。

(逃)

前言

个人学起来比较困难的一部分。
主要的难点在于抽象,常常会陷入虚空…
但当发现理论推出来的花里胡哨的东西和事实相符时还是挺爽的。
行文中如果有错误或者不严谨的地方,欢迎指正,感谢。
没怎么看懂但也许有用的网站

基本定义:

群是由非空集合 GGG 和关于 GGG 的二元运算 ⋅\cdot 组成的代数结构,满足如下性质:

  1. 封闭性。a,b∈G⇒a⋅b∈Ga,b\in G\Rightarrow a\cdot b\in Ga,bGabG
  2. 结合律。(a⋅b)⋅c=a⋅(b⋅c)(a\cdot b)\cdot c=a\cdot(b\cdot c)(ab)c=a(bc)
  3. 标识元(单位元)。GGG 中存在一个元素 eee,使得 ∀a∈G,a⋅e=e⋅a=a\forall a\in G,a\cdot e=e\cdot a=aaG,ae=ea=a,这样的元素是独一无二的。
  4. 逆元。∀a∈G,∃b∈G,a⋅b=e\forall a\in G,\exists b\in G,a\cdot b=eaG,bG,ab=e。此时称 bbba−1a^{-1}a1

子群

对于一个群 (G,×)(G,\times)(G,×),若 HHHGGG 的一个子集,且 (H,×)(H,\times)(H,×) 也构成一个群,则称 (H,×)(H,\times)(H,×)(G,×)(G,\times)(G,×) 的一个子群。记为 H≤GH\le GHG
GGG{e}\{e\}{e} 称为 GGG 的两个平凡子群。
子群检验法H≤G⇔∀h,g∈H,h⋅g−1∈HH\le G\Leftrightarrow \forall h,g\in H,h\cdot g^{-1}\in HHGh,gH,hg1H

陪集

H≤G,g∈GH\le G,g\in GHG,gG,则称 Hg={h⋅g,h∈H}Hg=\{h\cdot g,h\in H\}Hg={hg,hH}HHHGGG 内关于 ggg右陪集(左陪集就是在左边,同理)
陪集具有如下性质:

  1. ∣Hg∣=∣H∣|Hg|=|H|Hg=H

因为对于 h1,h2∈H,h1≠h2h1,h2\in H,h1\ne h2h1,h2H,h1=h2,都有 g⋅h1≠g⋅h2g\cdot h1\ne g\cdot h2gh1=gh2

  1. g∈Hgg\in HggHg

因为 e∈He\in HeH

  1. Hg=H⇔g∈HHg=H\Leftrightarrow g\in HHg=HgH

左往右:由于性质二,g∈Hgg\in HggHg;若 g∉Hg\notin Hg/H,不可能有 Hg=HHg=HHg=H
右往左:由于封闭性,HgHgHg 不可能取到 HHH 之外的元素;对于 ∀h1∈H\forall h1\in Hh1H,设 h1⋅g−1=h2∈Hh1\cdot g^{-1}=h2\in Hh1g1=h2H。则有 h1=h2⋅gh1=h2\cdot gh1=h2g,所以 h1∈Hgh1\in Hgh1Hg

  1. Ha=Hb⇔a⋅b−1∈HHa=Hb\Leftrightarrow a\cdot b^{-1}\in HHa=Hbab1H

左往右:因为 ∀h1∈H,∃h2∈H,h1⋅a=h2⋅b\forall h1\in H,\exist h2\in H,h1\cdot a=h2\cdot bh1H,h2H,h1a=h2b,也就有 a⋅b−1=h2⋅h1−1a\cdot b^{-1}=h2\cdot h1^{-1}ab1=h2h11,而 h2⋅h1−1∈Hh2\cdot h1^{-1}\in Hh2h11H
右往左:∀h1∈H,h1⋅a∈Ha,∃h2=h1⋅(a⋅b−1)∈H→h1⋅a=h2⋅b,h2⋅b∈Hb\forall h1\in H,h1\cdot a\in Ha,\exist h2=h1\cdot(a\cdot b^{-1})\in H\to h1\cdot a=h2\cdot b,h2\cdot b\in Hbh1H,h1aHa,h2=h1(ab1)Hh1a=h2b,h2bHb。(其实就是左往右反过来推)

  1. Ha∩Hb≠∅→Ha=HbHa\cap Hb\ne \emptyset\to Ha=HbHaHb=Ha=Hb

Ha∩Hb≠∅→∃h1,h2∈H,h1⋅a=h2⋅b→a⋅b−1=h2⋅h1−1∈H→Ha=HbHa\cap Hb\ne \emptyset\to\exist h1,h2\in H,h1\cdot a=h2\cdot b\to a\cdot b^{-1}=h2\cdot h1^{-1}\in H\to Ha=HbHaHb=h1,h2H,h1a=h2bab1=h2h11HHa=Hb

  1. HHH 的所有右陪集的并集为 GGG

由于封闭性,不可能取到 GGG 之外的元素。
由于 e∈He\in HeHggg 取遍 GGG 的所有元素就可以保证 GGG 的所有元素都被取到。

拉格朗日定理

H≤G⇒∣H∣H\le G\Rightarrow |H|HGH 整除 ∣G∣|G|G

结合陪集的性质即可得。由性质 1,5,61,5,61,5,6HHH 所有本质不同的陪集互不相交,大小均为 ∣H∣|H|H,共同组成了 GGG∣G∣∣H∣\dfrac{|G|}{|H|}HG 也就是 HHH 本质不同陪集的数量。

正规子群

H≤GH\le GHG,且 ∀a∈G,aH=Ha\forall a\in G,aH=HaaG,aH=Ha,则称 HHHGGG 的正规子群。平凡子群总是正规子群。

交换群

又称为阿贝尔群,简单说就是在满足群基本性质的基础上,运算又满足交换律的群。
交换群的所有子群都是正规子群。

商群

HHHGGG 的正规子群,定义 G/H={gH,g∈G}G/H=\{gH,g\in G\}G/H={gH,gG}
商群可以理解为一种划分,由拉格朗日定理,G/HG/HG/H∣G∣∣H∣\dfrac{|G|}{|H|}HG 个大小为 ∣H∣|H|H,互不相交的群组成。

GGG 中元素 xxx 的阶等于最小的正整数 ddd,使得 xd=ex^d=exd=e,有限群中元素的阶一定存在。
有限群的阶定义为群内元素的个数,无限群的阶规定为 000
阶的一些性质:

  1. GGG 中元素 xxx 的阶整除 GGG 的阶。

构造一个 GGG 的子群 H={e,x,x2,...,xd−1}H=\{e,x,x^2,...,x^{d-1}\}H={e,x,x2,...,xd1}∣H∣=d|H|=dH=d,由拉格朗日定理 ddd 整除 ∣G∣|G|G

  1. GGG 中两个元素 a,ba,ba,b 的阶 m,nm,nm,n 互素,则 asbt=e⇒as=e&bt=ea^s b^t=e\Rightarrow a^s=e\&b^t=easbt=eas=e&bt=e

由条件有 as=b−ta^s=b^{-t}as=bt,同时 mmm 次方:b−tm=asm=(am)s=eb^{-tm}=a^{sm}=(a^{m})^s=ebtm=asm=(am)s=e,由于 gcd⁡(m,n)=1\gcd(m,n)=1gcd(m,n)=1,就有 b−t=eb^{-t}=ebt=e,即 bt=eb^t=ebt=eas=ea^s=eas=e 同理。

  1. g1,g2∈Gg1,g2\in Gg1,g2G 的阶分别为 d1,d2d1,d2d1,d2,则存在一个元素 g∈Gg\in GgG,其阶为 lcm(d1,d2)lcm(d1,d2)lcm(d1,d2)

gcd⁡(d1,d2)=d\gcd(d1,d2)=dgcd(d1,d2)=d。考虑元素 g1d⋅g2g1^d\cdot g2g1dg2。其中 g1dg1^dg1dg2g2g2 的阶数互质。由性质二,g1d⋅g2g1^d\cdot g2g1dg2 的阶数就是 d1d×d2=lcm(d1,d2)\dfrac{d1}{d}\times d2=lcm(d1,d2)dd1×d2=lcm(d1,d2)

置换

定义

有限集合到自身的双射(即一一对应)称为置换
可以表示为:(1,2,3,…,na1,a2,a3,…,an)\begin{pmatrix}1,2,3,\dots,n\\a_1,a_2,a_3,\dots,a_n\end{pmatrix}(1,2,3,,na1,a2,a3,,an),表示把第 aia_iai 个元素映射到位置 iii。在第一行为 1,2,3...1,2,3...1,2,3... 时,可以省去第一行。
置换 fff 作用与状态 aaa,写作 f∗af*afa。(这个写法似乎各处并不一样)
例:
(3,2,1,4)∗(a,b,c,d)=(c,b,a,d)(3,2,1,4)*(a,b,c,d)=(c,b,a,d)(3,2,1,4)(a,b,c,d)=(c,b,a,d)

置换的乘法

定义 f1∗f2f1*f2f1f2 表示先进行 f2f2f2,再进行 f1f1f1
(a1,a2,...,an)∗(b1,b2,...,bn)=(ba1,ba2,...,ban)(a_1,a_2,...,a_n)*(b_1,b_2,...,b_n)=(b_{a_1},b_{a_2},...,b_{a_n})(a1,a2,...,an)(b1,b2,...,bn)=(ba1,ba2,...,ban)
例:
(3,2,1,4)∗(2,1,3,4)=(3,1,2,4)(3,2,1,4)*(2,1,3,4)=(3,1,2,4)(3,2,1,4)(2,1,3,4)=(3,1,2,4)

循环

如果一个置换形如 (a1,a2,a3,...,an−1,ana2,a3,a4,...,an,a1)\begin{pmatrix}a_1,a_2,a_3,...,a_{n-1},a_n\\a_2,a_3,a_4,...,a_n,a_1\end{pmatrix}(a1,a2,a3,...,an1,ana2,a3,a4,...,an,a1),则称其为一个循环
如果两个循环不包含相同元素,则称它们为不相交的
任何置换都由若干个不相交置换的乘积。

置换群

元素个数为 nnn所有排列的集合 NNN 与置换乘法组成一个群 (N,∗)(N,*)(N,)
其子群称为置换群
其中的单位元又叫做恒等置换 III

群作用

对于一个群 (G,∗)(G,*)(G,) 和集合 NNN,给出一个二元函数 φ(g,n)\varphi(g,n)φ(g,n),满足如下性质:

  1. φ(e,n)=n\varphi(e,n)=nφ(e,n)=n
  2. φ(a,φ(b,n))=φ(a∗b,n)\varphi(a,\varphi(b,n))=\varphi(a*b,n)φ(a,φ(b,n))=φ(ab,n)

则称群 GGG 作用于集合 NNN
(如果你没明白这个定义想干什么,可以把 GGG 想成置换群,把 NNN 想成状态)

等价类

若一个状态可以通过置换群内的某个置换到达另一个状态,则称它们属于同一个等价类(也就是本质相同)。

不动点

f∗x=xf*x=xfx=x,则称 xxxfff 的一个不动点。

Burnside引理

重头戏来勒!

内容

对于作用于集合 XXX 的群 GGG
X/GX/GX/G 为在 GGG 作用下等价类的集合。(这里虽然并不满足商群的定义,但是写成形式化语言后长的非常像,即 {Gx,x∈X}\{Gx,x\in X\}{Gx,xX}
则有:
∣X/G∣=1∣G∣∑g∈G∣Xg∣|X/G|=\frac{1}{|G|}\sum_{g\in G}|X^g|X/G=G1gGXg
其中 Xg={x∣g∗x=x,x∈X}X^g=\{x|g*x=x,x\in X\}Xg={xgx=x,xX}

证明

法1 轨道-稳定子定理

对于一个置换群 GGG 和状态 xxx,定义 G(x)={g∗x,g∈G}G(x)=\{g*x,g\in G\}G(x)={gx,gG}xxx轨道(其实就是等价类),Gx={g∣g∗x=x,g∈G}G^x=\{g|g*x=x,g\in G\}Gx={ggx=x,gG}xxx稳定子(其实就是不动点)。

轨道-稳定子定理:∣G∣=∣Gx∣∣G(x)∣|G|=|G^x||G(x)|G=GxG(x)

证明:
首先,GxG^xGx 是一个 GGG 的子群,我们按照定义逐条验证:

  1. 封闭性:f∗x=x,g∗x=x→(f∗g)∗x=f∗(g∗x)=xf*x=x,g*x=x\to(f*g)*x=f*(g*x)=xfx=x,gx=x(fg)x=f(gx)=x,即 f∈Gx,g∈Gx→f∗g∈Gxf\in G^x,g\in G^x\to f*g\in G^xfGx,gGxfgGx
  2. 结合律:置换乘法本身始终有结合律。
  3. 单位元:显然 e∗x=xe*x=xex=x
  4. 逆元:f∗x=x→x=f−1∗xf*x=x\to x=f^{-1}*xfx=xx=f1x

既然是子群,根据拉格朗日定理,就有:
∣G∣=∣Gx∣∣G:Gx∣|G|=|G^x||G:G^x|G=GxG:Gx
其中 ∣G:Gx∣|G:G^x|G:Gx 表示 GxG^xGxGGG 中本质不同的陪集数量。
那么现在只需要证明 ∣G:Gx∣=∣G(x)∣|G:G^x|=|G(x)|G:Gx=G(x)

尝试在 GxG^xGx 的陪集和 xxx 的轨道之间建立双射关系。

  1. f∗x=g∗xf*x=g*xfx=gx(两个置换在 xxx 轨道的同一位置),则有 (g−1∗f)∗x=x(g^{-1}*f)*x=x(g1f)x=x,即 g−1∗f∈Gxg^{-1}*f\in G^xg1fGx,由前面陪集的性质四,也就有 fGx=gGxfG^x=gG^xfGx=gGx
  2. fGx=gGxfG^x=gG^xfGx=gGx(两个置换生成的陪集相同),由于第一条使用的均为充要条件,反过来推依然成立,也就有 f∗x=g∗xf*x=g*xfx=gx

所以我们得到,如果轨道相同则陪集相同,如果陪集相同则轨道相同,建立起了双射关系,命题得证。

有了轨道-稳定子定理,证明 Burnside 引理就不难了。
∑g∈GXg=∑x∈XGx=∑x∈X∣G∣∣G(x)∣=∣G∣∑x∈X1G(x)=∣G∣∑Y∈X/G∑x∈Y1∣Y∣=∣G∣∑Y∈X/G1=∣G∣∣X/G∣\sum_{g\in G}X^g=\sum_{x\in X}G^x\\=\sum_{x\in X}\frac{|G|}{|G(x)|}\\=|G|\sum_{x\in X}\frac{1}{G(x)}\\=|G|\sum_{Y\in X/G}\sum_{x\in Y}\frac{1}{|Y|}\\=|G|\sum_{Y\in X/G}1\\=|G||X/G|gGXg=xXGx=xXG(x)G=GxXG(x)1=GYX/GxYY1=GYX/G1=GX/G
得证。

法2

一本通上的魔法操作。
被中间一大堆莫名其妙啰哩啰嗦的过程以及横空出世的“显然”整蒙了好久
但看明白了确实还是挺优雅的。

考虑一个大小为 kkk 的等价类 SSS
从里面任选一个状态 a1a_1a1
那么设 g1g_1g1 为满足 g1∗a1=a1g_1*a_1=a_1g1a1=a1 的任意一个置换。(必然存在,至少可以是恒等置换 III
那么对于 SSS 中任意元素 aia_iai,设 fif_ifi 为满足 fi∗a1=aif_i*a_1=a_ifia1=ai 的任意一个置换,那么 Wi={g∣g∗a1=ai,g∈G}W_i=\{g|g*a_1=a_i,g\in G\}Wi={gga1=ai,gG} 也就可以写成 {fi,fi∗g1,fi∗g12,...,fi∗g1d−1}\{f_i,f_i*g_1,f_i*g_1^2,...,f_i*g_1^{d-1}\}{fi,fig1,fig12,...,fig1d1},其中 dddg1g_1g1 的阶数。
那么可以看出,所有的 ∣Wi∣|W_i|Wi 都是相等的,且由于 WiW_iWi 必然互不相交,并集为全集,就有 ∣W1∣=∣W2∣=...=∣Wk∣=∣G∣k|W_1|=|W_2|=...=|W_k|=\dfrac{|G|}{k}W1=W2=...=Wk=kG
也就是说,对于 SSS 中每个元素 aia_iaiGai={g∣g∗ai=ai,g∈G}G^{a_i}=\{g|g*a_i=a_i,g\in G\}Gai={ggai=ai,gG} 的大小均为 ∣G∣k\dfrac{|G|}{k}kGSSS 中一共有 kkk 个元素,那么总共就贡献了 ∣G∣|G|G 个不动点。
每个等价类都贡献 ∣G∣|G|G 个不动点,那么 Burnside 引理中的式子也就自然可得了。

Polya 定理

个人感觉 Polya 定理根本不配叫个定理
Burnside 给了我们计算本质不同方案的公式:
∣X/G∣=1∣G∣∑g∈G∣Xg∣|X/G|=\frac{1}{|G|}\sum_{g\in G}|X^g|X/G=G1gGXg
而 Polya 的用途就是快速计算 Burnside 的式子。
关键就是计算这个 ∣Xg∣|X^g|Xg
以染色问题为例,假设每个点可以染 mmm 中颜色,或者说,a1...na_{1...n}a1...n 都可以在 [1,m][1,m][1,m] 中取值。
对于一个置换 ggg,设其循环的个数为 c(g)c(g)c(g),要想成为不动点,显然每个循环的颜色必须相同,而不同循环的颜色相互独立,因此不动点个数为 mc(g)m^{c(g)}mc(g)
那么 Burnside 的式子也就可以写为:
∣X/G∣=1∣G∣∑g∈Gmc(g)|X/G|=\frac{1}{|G|}\sum_{g\in G}m^{c(g)}X/G=G1gGmc(g)
然后嘞?
没了。
没了?
没了!
Polya 就这?
Polya 就这!
你上你也行
个人实在感觉这个东西和 Burnside 引理放在一起是对 Burnside 的侮辱…
也可能是我对 Polya 的理解还不太到位吧。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/317053.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

Super Jumping! Jumping! Jumping! HDU - 1087

Super Jumping! Jumping! Jumping! HDU - 1087 题意&#xff1a; 给定一条长度为n的序列&#xff0c;其中一定存在一条元素和最大的严格上升子序列&#xff0c;求这条序列的元素和。 题解&#xff1a; 最长上升序列模板题 代码&#xff1a; #include<bits/stdc.h> …

Codeforces Round #727 (Div. 2) 题解

文章目录A. Contest StartB. Love SongC. Stable GroupsD. PriceFixedE. Game with CardsF. Strange Array#727-Div.2A. Contest Start 数学题&#xff0c;分类讨论 一般的&#xff0c;一段区间[l,r][l,r][l,r]会对后面固定人数造成影响&#xff0c;假设是kkk最后kkk个人&…

潘淳(寒树Office):不务正业的公众号满月了,都写了些啥?

三喜临门一 喜今天真是个好日子&#xff0c;“流浪太阳”又回来了&#xff0c;阴雨绵绵长恨无期&#xff0c;今天苏州终于天晴&#xff0c;于是心情大好&#xff01;都说好心情会带来好运气&#xff0c;冥冥感觉要写点啥了&#xff0c;果不其然今天还有另外两喜。大早起来得…

G List it all

传送 题意&#xff1a; 题解&#xff1a; 我们来考虑以下样例&#xff1a;1&#xff0c;1&#xff0c;2 我们先考虑1的贡献&#xff1a;如图(图中只花了) 2&#xff01;表示还剩两个空位&#xff0c;还有两个数未填入&#xff0c;所以是2&#xff01;个 对于n个数重复&#x…

洛谷P4727:图的同构计数(Polya引理)(dfs)

解析 《关于我想了半天 dp 结果看题解 dfs 就行这回事》 我就说 gcd⁡\gcdgcd 这玩意 dp 个锤子啊… 拆分数的增长速度远没有想像中那么大&#xff0c;事实上&#xff0c;n60n60n60 也就 1e6 左右。 据题解说&#xff0c;这玩意的增长速度仅有 O(enn)O(\frac{e^{\sqrt n}}{n})…

ASP.NET Core 实战:基于 Dapper 扩展你的数据访问方法

一、前言在非静态页面的项目开发中&#xff0c;必定会涉及到对于数据库的访问&#xff0c;最开始呢&#xff0c;我们使用 Ado.Net&#xff0c;通过编写 SQL 帮助类帮我们实现对于数据库的快速访问&#xff0c;后来&#xff0c;ORM&#xff08;Object Relational Mapping&#x…

Codeforces Round #699 (Div. 2) 题解

文章目录A. Space NavigationB. New ColonyC. Fence PaintingD. AB GraphE. Sorting BooksF. AB Tree#699-Div.2A. Space Navigation 对于最终位置(x,y)&#xff0c;我们只关心那两个方向的字符是否足够即可 #include <cstdio> #include <cstring> #define maxn …

洛谷P4271:New Barns P(倍增)(LCT)(直径)

解析 倍增真香 关键性质&#xff1a;树上距离一个点最远的点必定是直径两端点其一。 本题限制好&#xff0c;要求少动态维护倍增数组暴力维护直径即可。 如果每次合并的是两棵树&#xff0c;而不是一棵树加一个点&#xff0c;可以先离线下来&#xff0c;照样能做。 如果每次强…

HDU 5510 Bazinga

HDU 5510 Bazinga 题意&#xff1a; 依次给你n个字符串&#xff0c;让你找到编号最大的字符串&#xff0c;存在一个比他编号小的字符串且不是其子串 题解&#xff1a; string中有find查找功能&#xff0c; 思路是用一个vector来存之前所有字符串&#xff0c;数组book用来表…

微软发布 Visual Studio 2019年第二季度路线图

微软近日发布了 Visual Studio 2019 年第二季度的路线图&#xff0c;路线图介绍了目前 VS 致力于在 VS 2019 发布的一些重要功能。官方表示&#xff0c;Visual Studio 2019 将继续按照 Visual Studio 发行周期流程提供更新&#xff0c;也就是约每 6 周推出一次次要更新&#xf…

Educational Codeforces Round 107 (Rated for Div. 2) 题解

文章目录A. Review SiteB. GCD LengthC. Yet Another Card DeckD. Min Cost StringE. Colorings and DominoesF. ChainwordG. Chips on a BoardEducational-Round-107A. Review Site 都给了两台机子&#xff0c;直接把所有只会投②的扔到一台&#xff0c;其余的全是另一台 就…

李争——一个骨子里是极客的程序员

我的业余作品《IT 英雄传》&#xff0c;聚焦身边的英雄&#xff0c;以文字采访的形式记录奇人趣事&#xff0c;笑看风云变幻。所写的人都是我见过面且比较熟悉的&#xff0c;绝大部分都是交往很久的&#xff0c;其中为了避嫌&#xff0c;我很少写微软同事&#xff0c;但今天这一…

Pagodas HDU - 5512

Pagodas HDU - 5512 题意&#xff1a; 一开始给你两个数a和b&#xff0c;你可以得到c通过&#xff0c;cab&#xff0c;或者ca-b&#xff0c;你所能得到的数的范围是1~n&#xff0c;两个人轮流操作&#xff0c;当有一方无法操作时&#xff0c;另一方获胜 题解&#xff1a; c…

期望学习笔记

前言 突然发现自己没有系统学过期望。 做一本通的时候是从二分图开始听的课&#xff0c;dp这一章只是四处搜题解而已。 做期望题基本都是靠玄学和《感性理解》 都是很简单的东西&#xff0c;但系统很重要&#xff0c;该补的还是要补的。 期望的基本性质 E(c)cE(c)cE(c)cE(cx)…

仅此一文让你明白事务隔离级别、脏读、不可重复读、幻读

网络上关于这方面的博文有些偏理论&#xff0c;有些通篇代码&#xff0c;都不能深入浅出。本文用图文并茂的方式&#xff0c;配上行云流水般的代码&#xff0c;非要摆清楚这个问题。相关代码已提交至码云&#xff08;点击这里下载&#xff09;。事务是现代关系型数据库的核心之…

[AtCoder Regular Contest 123] 题解

文章目录A - Arithmetic SequenceB - Increasing TriplesC - 1, 2, 3 - DecompositionD - Inc, Dec - DecompositionE - TrainingF - Insert AdditionARC123A - Arithmetic Sequence 大讨论 只能111&#xff0c;先固定中间的数&#xff0c;看两边加谁&#xff0c;如果都是加负…

2.5:模拟总结

文章目录前言考场题目解析T1T2T3总结代码T1T2T3前言 50pts 30020 rnk19 … 把1000ms看成10s我也真是个人才。 T3自然溢出50带模数T成20有点离谱。 但倒没有因为WA失分。 就是菜罢了 考场 这次时间管理还是比较合理的。 乍看三题觉得T1似乎是个伞兵题 这离线下来可持久化数组…

Meeting HDU - 5521

Meeting HDU - 5521 题意&#xff1a; 一共有n个点&#xff0c;有m个块&#xff0c;每个块内有Si个点&#xff0c;块内点彼此到达费用为wi&#xff0c;两个人分别位于1和n号块&#xff0c;两者同时出发问最短时间遇到是多少&#xff1f;在哪些地方可以遇到&#xff1f; ΣSi&…

2.6模拟总结

前言 45pts 4500 rnk 34 写了200分&#xff0c;挂了155分 好哇&#xff01; 考场 这次状态还真是挺不错的。 开考&#xff0c;先看题。 T1期望&#xff0c;乍一看看不出来啥&#xff0c;似乎挺难的。 T2乍一看特别可做。 T3脑子里只有模拟退火 先去看T2。 被这种类似的题惯…

牛客IOI周赛26-提高组(逆序对,对序列,未曾设想的道路) 题解

文章目录逆序对对序列未曾设想的道路牛客IOI周赛26-提高组逆序对 这种套路之前已经见过几次了&#xff0c;肯定不是模拟操作数列 opt 1 对于i∈[1,l)⋃(r,n]i∈[1,l)\bigcup(r,n]i∈[1,l)⋃(r,n] 逆序对是不影响的 对于i∈(l,r)i∈(l,r)i∈(l,r) 与l/rl/rl/r的情况会反转&…