【51nod】1602 矩阵方程的解
【51nod】1602 矩阵方程的解
这个行向量显然就是莫比乌斯函数啦,好蠢的隐藏方法= =
然后我们尝试二分,二分的话要求一个这个东西
\(H(n) = \sum_{i = 1}^{n} \mu(i) == d\)
当然\(\mu(x)\)由于一些很好的性质,这个东西可以用分类讨论做出来
众所周知,求\(\mu\)不为0的数的方法就是容斥求无平方因子数
\(G(n) = \sum_{i = 1}^{\sqrt{N}} \mu(i) \lfloor \frac{N}{i^{2}} \rfloor\)
这样我们已经可以快速求得\(\mu(i) = 0\)的位置有多少了,就是\(N - G(n)\)
再求一个\(F(n)\)作为莫比乌斯函数的前缀和,也就是1和-1的差值
可以用\(F(n)\)和\(G(n)\)和一点特判快速求出来1和-1的个数,显然\(F(n)\)需要的复杂度 远大于\(G(n)\),是\(O(n^{2/3})\)的
梦想选手快乐的写了一发,只过了d = 0的点,惨兮兮
然后经过努力的尝试,发现如果\(R - L < 10^{6}\)的时候停止二分,转而改为通过类似埃氏筛的方法暴力求这\(10^{6}\)个位置的mu函数,然后挨个枚举看看哪里是答案
这样的话可以在3s左右通过了
#include <bits/stdc++.h>
#define fi first
#define se second
#define pii pair<int,int>
#define mp make_pair
#define pb push_back
#define space putchar(' ')
#define enter putchar('\n')
#define eps 1e-10
#define ba 47
#define MAXN 1000005
//#define ivorysi
using namespace std;
typedef long long int64;
typedef unsigned int u32;
typedef double db;
template<class T>
void read(T &res) {
res = 0;T f = 1;char c = getchar();
while(c < '0' || c > '9') {
if(c == '-') f = -1;
c = getchar();
}
while(c >= '0' && c <= '9') {
res = res * 10 +c - '0';
c = getchar();
}
res *= f;
}
template<class T>
void out(T x) {
if(x < 0) {x = -x;putchar('-');}
if(x >= 10) {
out(x / 10);
}
putchar('0' + x % 10);
}
int prime[10000005],tot,mu[10000005],M[10000005];
int c[10000005];
int64 val[10000005];
bool nonprime[10000005];
struct hash {
struct node {
int64 x,val;int nxt;
}E[10000005];
int sumE,head[1000000],mo = 974711;
void add(int64 x,int64 v) {
int u = x % mo;
E[++sumE].x = x;
E[sumE].val = v;
E[sumE].nxt = head[u];
head[u] = sumE;
}
int64 Query(int64 x) {
int u = x % mo;
for(int i = head[u] ; i ; i = E[i].nxt) {
if(E[i].x == x) return E[i].val;
}
return -1e18;
}
}hsh;
map<int64,int64> zz;
int64 F(int64 n) {
if(n <= 10000000) return M[n];
//if(zz.count(n)) return zz[n];
int64 t = hsh.Query(n);
if(t > -1e18) return t;
int64 res = 1;
for(int64 i = 2 ; i <= n ; ++i) {
int64 r = n / (n / i);
res -= F(n / i) * (r - i + 1);
i = r;
}
//zz[n] =res;
hsh.add(n,res);
return res;
}
int64 G(int64 n) {
int64 ans = 0;
for(int64 i = 1 ; i <= n / i ; ++i) {
ans += 1LL * mu[i] * (n / (i * i));
}
return ans;
}
int getmu(int64 x) {
int r = 1;
for(int i = 1 ; prime[i] <= x / prime[i] ; ++i) {
if(x % prime[i] == 0) {
if(x % (prime[i] * prime[i]) == 0) return 0;
r = -r;
x /= prime[i];
}
}
if(x != 1) r = -r;
return r;
}
int64 check(int64 n,int d) {
int64 g = G(n);
if(d == 0) return n - g;
int64 f = F(n);
int64 t = (g - abs(f)) / 2;
if(d == -1 && f < 0) t += abs(f);
if(d == 1 && f > 0) t += f;
return t;
}
int main(){
#ifdef ivorysi
freopen("f1.in","r",stdin);
#endif
mu[1] = 1;M[1] = 1;
for(int i = 2 ; i <= 10000000 ; ++i) {
if(!nonprime[i]) {
prime[++tot] = i;
mu[i] = -1;
}
for(int j = 1 ; j <= tot ; ++j) {
if(prime[j] > 10000000 / i) break;
nonprime[i * prime[j]] = 1;
if(i % prime[j] == 0) break;
else mu[i * prime[j]] = -mu[i];
}
M[i] = M[i - 1] + mu[i];
}
int64 d,k;
read(d);read(k);
int64 L = 1,R = 1e10;
while(R - L > 1e6) {
int64 mid = (L + R) >> 1;
int64 x = check(mid,d);
if(x >= k) R = mid - 2 * (x - k);
else L = mid + 2 * (k - x);
}
for(int i = 0 ; i <= R - L ; ++i) {c[i] = 1;val[i] = i + L;}
for(int i = 1 ; i <= tot ; ++i) {
if(1LL * prime[i] * prime[i] > R) break;
int64 l = ((L - 1)/ prime[i] + 1) * prime[i];
int64 r = (R / prime[i]) * prime[i];
for(int64 j = l - L ; j <= r - L ; j += prime[i]) {
if(!c[j]) continue;
if(val[j] % (1LL * prime[i] * prime[i]) == 0) c[j] = 0;
else {c[j] = -c[j];val[j] /= prime[i];}
}
}
int64 x = check(L - 1,d);
for(int i = 0 ; i <= R - L ; ++i) {
if(c[i] && val[i] != 1) c[i] = -c[i];
if(c[i] == d) ++x;
if(x == k) {out(i + L);enter;break;}
}
//printf("%.3lf\n",1.0 * clock() / CLOCKS_PER_SEC);
return 0;
}
【51nod】1602 矩阵方程的解的更多相关文章
- 【Python】Coding the Matrix:Week 5: Dimension Homework 5
这一周的作业,刚压线写完.Problem3 没有写,不想证明了.从Problem 9 开始一直到最后难度都挺大的,我是在论坛上看过了别人的讨论才写出来的,挣扎了很久. Problem 9在给定的基上分 ...
- 非线性方程(组):MATLAB内置函数 solve, vpasolve, fsolve, fzero, roots [MATLAB]
MATLAB函数 solve, vpasolve, fsolve, fzero, roots 功能和信息概览 求解函数 多项式型 非多项式型 一维 高维 符号 数值 算法 solve 支持,得到全部符 ...
- 使用python解线性矩阵方程(numpy中的matrix类)
这学期有一门运筹学,讲的两大块儿:线性优化和非线性优化问题.在非线性优化问题这里涉及到拉格朗日乘子法,经常要算一些非常变态的线性方程,于是我就想用python求解线性方程.查阅资料的过程中找到了一个极 ...
- 扩展欧几里德解的数量(51nod 1352)
题意:给出N,A,B:求A*x+ B*y = N+1 的大于0 的解的数量: 思路:先用exgcd求出大于0的初始解x,rest = N - x*A; sum = rest/LCM(A, B); ...
- POJ 3253 Fence Repair C++ STL multiset 可解 (同51nod 1117 聪明的木匠)
Fence Repair Time Limit: 2000MS Memory Limit: 65536K Total Submissions: 53106 Accepted: 17508 De ...
- linux查看端口及端口详解
今天现场查看了TCP端口的占用情况,如下图 红色部分是IP,现场那边问我是不是我的程序占用了tcp的链接,,我远程登陆现场查看了一下,这种类型的tcp链接占用了400多个,,后边查了一下资料,说E ...
- 51nod 1158 全是1的最大子矩阵
题目链接:51nod 1158 全是1的最大子矩阵 题目分类是单调栈,我这里直接用与解最大子矩阵类似的办法水过了... #include<cstdio> #include<cstri ...
- 《Linear Algebra and Its Applications》-chaper1-向量方程、矩阵方程和线性方程组
向量: 向量的基本运算:向量的运算最基本的一件事情,就是基于它n个分量上进行,即对于两个分量的向量a = <a1,a2>,b = <b1,b2>,有a + b = <a1 ...
- 高斯消元法(Gauss Elimination)【超详解&模板】
高斯消元法,是线性代数中的一个算法,可用来求解线性方程组,并可以求出矩阵的秩,以及求出可逆方阵的逆矩阵.高斯消元法的原理是:若用初等行变换将增广矩阵 化为 ,则AX = B与CX = D是同解方程组. ...
随机推荐
- P2320 [HNOI2006]鬼谷子的钱袋——进制(没事就别看这个了)
就是n可以被1到n/2的所有数表示出来: 我一开始写了个把二进制数里的1拿出来,但是WA了两个点: 分治? 好多人说数据有问题,我也不知道,也不想知道: %:include<cstdio> ...
- .Net类库 压缩文件 与 Ionic.Zip 批量压缩不同目录文件与解压 文件
using System; using System.IO; using System.IO.Compression; using System.Linq; using System.Text; us ...
- ZR#999
ZR#999 解法: 一道计数题,看到要求必须 $ m $ 个标号,所有标号至少出现一次的方案. 很容易想到可以容斥,但容斥这个东西是一种很神奇的东西,你可以看出来一道题需要容斥,但你就是不知道怎么容 ...
- mysql转移Data目录
本来很简单的事,为何这么复杂,转目录后经常不成功.mysql安装时就不能指定数据目录吗?老是默认在C盘 测试环境Windows10, mysql5.7,以下是测试记录: 1. 复制Data到D盘下,如 ...
- O(n) O(log n) blist: an asymptotically faster list-like type for Python
https://pypi.org/project/blist/ blist: an asymptotically faster list-like type for Python — blist 1. ...
- 【转载】 AutoML技术现状与未来展望
原文地址: https://www.cnblogs.com/marsggbo/p/9309520.html ---------------------------------------------- ...
- 不同操作系统上DNS客户端操作区别汇总
结论:windows有DNS缓存,Linux默认无DNS缓存,只能依赖于安装其他软件. 一.不同操作系统的客户端的DNS缓存差别 1.windows 系统中dns 解析器会使用系统的dns缓存来提高d ...
- (五)AJAX技术
一.定义 AJAX 是一种用于创建快速动态网页的技术. 通过在后台与服务器进行少量数据交换,AJAX 可以使网页实现异步更新.这意味着可以在不重新加载整个网页的情况下,对网页的某部分进行更新. 传统的 ...
- Java不写文件,LOAD DATA LOCAL INFILE大批量导入数据到MySQL的实现(转)
MySQL使用load data local infile 从文件中导入数据比insert语句要快,MySQL文档上说要快20倍左右.但是这个方法有个缺点,就是导入数据之前,必须要有文件,也就是说从文 ...
- Spring Boot使用过滤器Filter
首先创建一个测试用的controller:TestController: package com.zifeiy.test.controller; import org.springframework. ...