主頁 >  其他 > 「SOL」屠龍勇士(LOJ)

「SOL」屠龍勇士(LOJ)

2021-02-23 06:30:11 其他

寫題解當作復習筆記
(這樣就可以少寫一篇博客了 Yeah)


# 題面

> Link LOJ 2721


# exCRT

「問題」

求解線性同余方程組

$$ \begin{cases} x\equiv a_1\pmod{m_1}\\ x\equiv a_2\pmod{m_2}\\ \cdots\\ x\equiv a_n\pmod{m_n} \end{cases} $$

$m$ 可以不互質,

考慮等價地合并兩個同余方程:

\[\begin{cases} x\equiv a_1\pmod{m_1}\\ x\equiv a_2\pmod{m_2} \end{cases} \]

可以把同余方程寫為不定方程的形式,于是得到引數的一些關系:

\[x=k_1m_1+a_1=k_2m_2+a_2 \]

由于 \(m_1,m_2\) 不一定互質,所以關于 \(k_1,k_2\) 的不定方程不一定有解,具體地說,設 \((m_1,m_2)=g\),則

\[k_1m_1-k_2m_2=a_2-a_1 \]

等式左側 \(g\mid k_1m_1-k_2m_2\),則右側也必須滿足 \(g\mid a_2-a_1\),否則無解,

若滿足上述條件,則等式兩邊同時除以 \(g\) 仍然等價,即

\[\begin{array}{c} m_1'=\tfrac{m_1}{g},m_2'=\tfrac{m_2}{g},t=\tfrac{a_2-a_1}{g}\\ k_1m_1'-k_2m_2'=t \end{array} \]

此時 \((m_1',m_2')=1\),可以直接用 exGCD 解決上述問題,得到 \(k_1\) 的一個特解為 \(k_0\),由

\[k_1m_1'-k_2m_2'=(k_1+m_2')m_1'-(k_2+m_1')m_2' \]

可以知道 \(k_1\) 的通解為 \(k_1=k_0+nm_2'(n\in\mathbb{Z})\)

\(k_1\) 代回 \(x\) 的運算式,則有

\[\begin{array}{c} x=k_0m_1+a_1+nm_1m_2'\\ x\equiv k_0m_1+a_1\pmod{m_1m_2'} \end{array} \]

于是就得到了兩個式子合并后的等價的式子,這樣不斷合并就可以得到最終 \(x\) 的通解,


# 決議

一開始可以根據輸入求出「用哪一把劍攻擊第 \(i\) 條龍」,記為 \(w_i\),具體可以用 multiset 實作,

點擊展開/折疊multiset使用技巧

multiset 內部每個位置儲存了一個元素(并不是把相同的元素合到同一個位置并且記錄次數),因此用迭代器 iterator 訪問其中的某個位置,訪問到的是單個元素,如果按迭代器順序訪問 multiset,就相當于把插入的所有元素排了個序,

multiset 內置有 lower_bound 和 upper_bound 函式,前者回傳第一個大于等于給定值的元素的迭代器,后者回傳第一個嚴格大于給定值的元素的迭代器,

multiset 的 delete 函式有兩類引數,第一類是給定數值,會洗掉其中所有該數值;第二類是給定迭代器,會洗掉迭代器對應的元素——這樣就只會刪掉一個數字

利用這些特點,我們可以用 upper_bound 找到第一把攻擊力大于龍的生命值的劍,而上一把劍就是攻擊力小于等于生命值的劍,然后用 delete 洗掉該劍的迭代器(不能是數值!),

記龍的生命為 \(h_i\),回復力為 \(r_i\),則有兩個限制:

  • 攻擊后龍的生命模 \(r_i\)\(0\)
  • 攻擊后,龍的生命小于等于 \(0\)

問題直接轉化為 \(n\) 對方程構成的方程組

\[\begin{cases} w_ix\equiv h_i\pmod{r_i}\\ w_ix\ge h_i \end{cases} \]

不等式方程可以求出 \(x\) 的下界,考慮如何求解同余方程,

\(w_i,r_i\) 不一定互質,于是可能本身就無解,記 \((w_i,r_i)=g_i\),則必須滿足 \(g_i\mid h_i\),方程才有解,

滿足有解的條件后,\(w_i,h_i,r_i\) 同時除以 \(g_i\),得到等價的方程 \(w_i'x=h_i'\pmod {r_i'}\),此時 \((w_i',r_i')=1\)\(w_i'\) 存在逆元,于是可以得到

\[x\equiv (w_i')^{-1}h_i'\pmod{r_i'} \]

這個方程就可以用 exCRT 了,


# 源代碼

點擊展開/折疊代碼
/*Lucky_Glass*/
#include<set>
#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;

template<class T>T rin(T &r){
	int b=1,c=getchar();r=0;
	while(c<'0' || '9'<c) b=c=='-'?-1:b,c=getchar();
	while('0'<=c && c<='9') r=(r<<1)+(r<<3)+(c^'0'),c=getchar();
	return r*=b;
}
typedef long long llong;
const int N=1e5+10;
#define con(type) const type &

multiset<llong> sword;
int n,m;
llong ih[N],rec[N],rew[N],atk[N];

llong ina_GCD(con(llong)a,con(llong)b){return b?ina_GCD(b,a%b):a;}
llong ex_GCD(con(llong)a,con(llong)b,llong &x,llong &y){
	if(!b){x=1,y=0;return a;}
	llong ret=ex_GCD(b,a%b,x,y);
	swap(x,y);
	y-=a/b*x;
	return ret;
}
llong ina_ABS(con(llong)a){return a<0?-a:a;}
llong mul(llong a,llong b,llong mod){
	bool neg=(a<0)^(b<0);
	a=ina_ABS(a),b=ina_ABS(b);
	a%=mod,b%=mod;
	llong ret=0;
	while(b){
		if(b&1) ret=(ret+a)>=mod? ret+a-mod:ret+a;
		a<<=1,b>>=1;
		if(a>=mod) a-=mod;
	}
	if(neg && ret) return mod-ret;
	return ret;
}
pair<llong,llong> comb_CRT(con(llong)m0,con(llong)r0,con(llong)m1,con(llong)r1){
	llong g=ina_GCD(m0,m1);
	if((r1-r0)%g){
		// printf("(%lld,%lld)=%lld %lld %lld\n",m0,m1,g,r1,r0);
		return make_pair(-1ll,-1ll);
	}
	llong p,q;
	ex_GCD(m0/g,m1/g,p,q);
	p=mul((r1-r0)/g,p,m1/g);
	llong m2=m0/g*m1,r2=(mul(p,m0,m2)+r0)%m2;
	if(r2<0) r2+=m2;
	return make_pair(m2,r2);
}
llong solve(){
	sword.clear();
	rin(n),rin(m);
	for(int i=1;i<=n;i++) rin(ih[i]);
	for(int i=1;i<=n;i++) rin(rec[i]);
	for(int i=1;i<=n;i++) rin(rew[i]);
	for(int i=1,tmp;i<=m;i++) sword.insert(rin(tmp));
	for(int i=1;i<=n;i++){
		multiset<llong>::iterator it=sword.upper_bound(ih[i]);
		if(it!=sword.begin()) it--;
		atk[i]=*it;
		sword.erase(it);
		sword.insert(rew[i]);
	}
	llong mnbon=0;
	pair<llong,llong> now(-1ll,-1ll);
	for(int i=1;i<=n;i++){
		mnbon=max(mnbon,(ih[i]+atk[i]-1)/atk[i]);
		llong k=atk[i],r=ih[i],m=rec[i];
		// printf("%lld x = %lld (mod %lld) -> ",k,r,m);
		//kx = r (mod m)
		k%=m,r%=m;
		if(!k){
			if(r){
				// printf("A\n");
				return -1ll;
			}
			continue;
		}
		llong g=ina_GCD(k,m);
		if(r%g){
			// printf("B\n");
			return -1ll;
		}
		k/=g,m/=g,r/=g;
		llong invk,non;
		ex_GCD(k,m,invk,non);
		invk=(invk%m+m)%m;
		r=mul(r,invk,m);
		// printf("x = %lld (mod %lld)\n",r,m);
		pair<llong,llong> tmp(m,r);
		if(i==1) now=tmp;
		else now=comb_CRT(now.first,now.second,tmp.first,tmp.second);
		if(now.first==-1){
			// printf("C\n");
			return -1ll;
		}
	}
	if(now.first==-1) return mnbon;
	if(now.second>=mnbon) return now.second;
	else{
		llong k=(mnbon-now.second+now.first-1)/now.first;
		return now.second+k*now.first;
	}
}
int main(){
	// freopen("input.in","r",stdin);
	freopen("dragon.in","r",stdin);
	freopen("dragon.out","w",stdout);
	int cas;rin(cas);
	while(cas--) printf("%lld\n",solve());
	return 0;
}

THE END

Thanks for reading!

祈愿在風中漸漸冷冽
那一刻她眼底有華光泯滅
海潮呼嘯著哽咽
想把不舍宣泄
所有分別都太決絕
回憶都太熾烈
最后一面何處去借

——《流光幻夜》By 司夏

> Link 流光幻夜-網易云

轉載請註明出處,本文鏈接:https://www.uj5u.com/qita/262408.html

標籤:其他

上一篇:「SOL」禮物(BZOJ)

下一篇:「SOL」禮物(BZOJ)

標籤雲
其他(157675) Python(38076) JavaScript(25376) Java(17977) C(15215) 區塊鏈(8255) C#(7972) AI(7469) 爪哇(7425) MySQL(7132) html(6777) 基礎類(6313) sql(6102) 熊猫(6058) PHP(5869) 数组(5741) R(5409) Linux(5327) 反应(5209) 腳本語言(PerlPython)(5129) 非技術區(4971) Android(4554) 数据框(4311) css(4259) 节点.js(4032) C語言(3288) json(3245) 列表(3129) 扑(3119) C++語言(3117) 安卓(2998) 打字稿(2995) VBA(2789) Java相關(2746) 疑難問題(2699) 细绳(2522) 單片機工控(2479) iOS(2429) ASP.NET(2402) MongoDB(2323) 麻木的(2285) 正则表达式(2254) 字典(2211) 循环(2198) 迅速(2185) 擅长(2169) 镖(2155) 功能(1967) .NET技术(1958) Web開發(1951) python-3.x(1918) HtmlCss(1915) 弹簧靴(1913) C++(1909) xml(1889) PostgreSQL(1872) .NETCore(1853) 谷歌表格(1846) Unity3D(1843) for循环(1842)

熱門瀏覽
  • 網閘典型架構簡述

    網閘架構一般分為兩種:三主機的三系統架構網閘和雙主機的2+1架構網閘。 三主機架構分別為內端機、外端機和仲裁機。三機無論從軟體和硬體上均各自獨立。首先從硬體上來看,三機都用各自獨立的主板、記憶體及存盤設備。從軟體上來看,三機有各自獨立的作業系統。這樣能達到完全的三機獨立。對于“2+1”系統,“2”分為 ......

    uj5u.com 2020-09-10 02:00:44 more
  • 如何從xshell上傳檔案到centos linux虛擬機里

    如何從xshell上傳檔案到centos linux虛擬機里及:虛擬機CentOs下執行 yum -y install lrzsz命令,出現錯誤:鏡像無法找到軟體包 前言 一、安裝lrzsz步驟 二、上傳檔案 三、遇到的問題及解決方案 總結 前言 提示:其實很簡單,往虛擬機上安裝一個上傳檔案的工具 ......

    uj5u.com 2020-09-10 02:00:47 more
  • 一、SQLMAP入門

    一、SQLMAP入門 1、判斷是否存在注入 sqlmap.py -u 網址/id=1 id=1不可缺少。當注入點后面的引數大于兩個時。需要加雙引號, sqlmap.py -u "網址/id=1&uid=1" 2、判斷文本中的請求是否存在注入 從文本中加載http請求,SQLMAP可以從一個文本檔案中 ......

    uj5u.com 2020-09-10 02:00:50 more
  • Metasploit 簡單使用教程

    metasploit 簡單使用教程 浩先生, 2020-08-28 16:18:25 分類專欄: kail 網路安全 linux 文章標簽: linux資訊安全 編輯 著作權 metasploit 使用教程 前言 一、Metasploit是什么? 二、準備作業 三、具體步驟 前言 Msfconsole ......

    uj5u.com 2020-09-10 02:00:53 more
  • 游戲逆向之驅動層與用戶層通訊

    驅動層代碼: #pragma once #include <ntifs.h> #define add_code CTL_CODE(FILE_DEVICE_UNKNOWN,0x800,METHOD_BUFFERED,FILE_ANY_ACCESS) /* 更多游戲逆向視頻www.yxfzedu.com ......

    uj5u.com 2020-09-10 02:00:56 more
  • 北斗電力時鐘(北斗授時服務器)讓網路資料更精準

    北斗電力時鐘(北斗授時服務器)讓網路資料更精準 北斗電力時鐘(北斗授時服務器)讓網路資料更精準 京準電子科技官微——ahjzsz 近幾年,資訊技術的得了快速發展,互聯網在逐漸普及,其在人們生活和生產中都得到了廣泛應用,并且取得了不錯的應用效果。計算機網路資訊在電力系統中的應用,一方面使電力系統的運行 ......

    uj5u.com 2020-09-10 02:01:03 more
  • 【CTF】CTFHub 技能樹 彩蛋 writeup

    ?碎碎念 CTFHub:https://www.ctfhub.com/ 筆者入門CTF時時剛開始刷的是bugku的舊平臺,后來才有了CTFHub。 感覺不論是網頁UI設計,還是題目質量,賽事跟蹤,工具軟體都做得很不錯。 而且因為獨到的金幣制度的確讓人有一種想去刷題賺金幣的感覺。 個人還是非常喜歡這個 ......

    uj5u.com 2020-09-10 02:04:05 more
  • 02windows基礎操作

    我學到了一下幾點 Windows系統目錄結構與滲透的作用 常見Windows的服務詳解 Windows埠詳解 常用的Windows注冊表詳解 hacker DOS命令詳解(net user / type /md /rd/ dir /cd /net use copy、批處理 等) 利用dos命令制作 ......

    uj5u.com 2020-09-10 02:04:18 more
  • 03.Linux基礎操作

    我學到了以下幾點 01Linux系統介紹02系統安裝,密碼啊破解03Linux常用命令04LAMP 01LINUX windows: win03 8 12 16 19 配置不繁瑣 Linux:redhat,centos(紅帽社區版),Ubuntu server,suse unix:金融機構,證券,銀 ......

    uj5u.com 2020-09-10 02:04:30 more
  • 05HTML

    01HTML介紹 02頭部標簽講解03基礎標簽講解04表單標簽講解 HTML前段語言 js1.了解代碼2.根據代碼 懂得挖掘漏洞 (POST注入/XSS漏洞上傳)3.黑帽seo 白帽seo 客戶網站被黑帽植入劫持代碼如何處理4.熟悉html表單 <html><head><title>TDK標題,描述 ......

    uj5u.com 2020-09-10 02:04:36 more
最新发布
  • 2023年最新微信小程式抓包教程

    01 開門見山 隔一個月發一篇文章,不過分。 首先回顧一下《微信系結手機號資料庫被脫庫事件》,我也是第一時間得知了這個訊息,然后跟蹤了整件事情的經過。下面是這起事件的相關截圖以及近日流出的一萬條資料樣本: 個人認為這件事也沒什么,還不如關注一下之前45億快遞資料查詢渠道疑似在近日復活的訊息。 訊息是 ......

    uj5u.com 2023-04-20 08:48:24 more
  • web3 產品介紹:metamask 錢包 使用最多的瀏覽器插件錢包

    Metamask錢包是一種基于區塊鏈技術的數字貨幣錢包,它允許用戶在安全、便捷的環境下管理自己的加密資產。Metamask錢包是以太坊生態系統中最流行的錢包之一,它具有易于使用、安全性高和功能強大等優點。 本文將詳細介紹Metamask錢包的功能和使用方法。 一、 Metamask錢包的功能 數字資 ......

    uj5u.com 2023-04-20 08:47:46 more
  • vulnhub_Earth

    前言 靶機地址->>>vulnhub_Earth 攻擊機ip:192.168.20.121 靶機ip:192.168.20.122 參考文章 https://www.cnblogs.com/Jing-X/archive/2022/04/03/16097695.html https://www.cnb ......

    uj5u.com 2023-04-20 07:46:20 more
  • 從4k到42k,軟體測驗工程師的漲薪史,給我看哭了

    清明節一過,盲猜大家已經無心上班,在數著日子準備過五一,但一想到銀行卡里的余額……瞬間心情就不美麗了。最近,2023年高校畢業生就業調查顯示,本科畢業月平均起薪為5825元。調查一出,便有很多同學表示自己又被平均了。看著這一資料,不免讓人想到前不久中國青年報的一項調查:近六成大學生認為畢業10年內會 ......

    uj5u.com 2023-04-20 07:44:00 more
  • 最新版本 Stable Diffusion 開源 AI 繪畫工具之中文自動提詞篇

    🎈 標簽生成器 由于輸入正向提示詞 prompt 和反向提示詞 negative prompt 都是使用英文,所以對學習母語的我們非常不友好 使用網址:https://tinygeeker.github.io/p/ai-prompt-generator 這個網址是為了讓大家在使用 AI 繪畫的時候 ......

    uj5u.com 2023-04-20 07:43:36 more
  • 漫談前端自動化測驗演進之路及測驗工具分析

    隨著前端技術的不斷發展和應用程式的日益復雜,前端自動化測驗也在不斷演進。隨著 Web 應用程式變得越來越復雜,自動化測驗的需求也越來越高。如今,自動化測驗已經成為 Web 應用程式開發程序中不可或缺的一部分,它們可以幫助開發人員更快地發現和修復錯誤,提高應用程式的性能和可靠性。 ......

    uj5u.com 2023-04-20 07:43:16 more
  • CANN開發實踐:4個DVPP記憶體問題的典型案例解讀

    摘要:由于DVPP媒體資料處理功能對存放輸入、輸出資料的記憶體有更高的要求(例如,記憶體首地址128位元組對齊),因此需呼叫專用的記憶體申請介面,那么本期就分享幾個關于DVPP記憶體問題的典型案例,并給出原因分析及解決方法。 本文分享自華為云社區《FAQ_DVPP記憶體問題案例》,作者:昇騰CANN。 DVPP ......

    uj5u.com 2023-04-20 07:43:03 more
  • msf學習

    msf學習 以kali自帶的msf為例 一、msf核心模塊與功能 msf模塊都放在/usr/share/metasploit-framework/modules目錄下 1、auxiliary 輔助模塊,輔助滲透(埠掃描、登錄密碼爆破、漏洞驗證等) 2、encoders 編碼器模塊,主要包含各種編碼 ......

    uj5u.com 2023-04-20 07:42:59 more
  • Halcon軟體安裝與界面簡介

    1. 下載Halcon17版本到到本地 2. 雙擊安裝包后 3. 步驟如下 1.2 Halcon軟體安裝 界面分為四大塊 1. Halcon的五個助手 1) 影像采集助手:與相機連接,設定相機引數,采集影像 2) 標定助手:九點標定或是其它的標定,生成標定檔案及內參外參,可以將像素單位轉換為長度單位 ......

    uj5u.com 2023-04-20 07:42:17 more
  • 在MacOS下使用Unity3D開發游戲

    第一次發博客,先發一下我的游戲開發環境吧。 去年2月份買了一臺MacBookPro2021 M1pro(以下簡稱mbp),這一年來一直在用mbp開發游戲。我大致分享一下我的開發工具以及使用體驗。 1、Unity 官網鏈接: https://unity.cn/releases 我一般使用的Apple ......

    uj5u.com 2023-04-20 07:40:19 more