- 博客(55)
- 收藏
- 关注
RSS订阅原创 字节跳动后端开发面经
本文禁止转载先讲讲博主的情况，中流985通信，大二因为对数模的伪科学很失望开始学ACM，用很大的代价最后拿了块渣铜研究是密码学，没有论文（一是水平不够，二是这个领域跟ai不一样，确实也不容易发）。博主寒假比较迷茫，各种事都做了一点，众所周知这是效率最低的。3月中旬觉得是时候走出舒适区了，就开始找实习，春招除了学院帮忙推的只投了字节跳动和华为。投宇宙条第二天就来电话了，博主感动的快哭了。总体...
2019-04-01 21:32:32
26820
6
原创 门限签名（2）——计算安全的可验证秘密共享
两种特性：①可验证，参与秘密共享方可以验证自己的秘密份额是否正确②计算安全，不存在概率多项式复杂度算法破解，或者遵循某些数学困难假设。因为秘密是共享的，某人的秘密份额是否正确需要和其它人的秘密份额作某些计算，实现可验证性需要所有人的信息，包裹在Hash函数中可以验证每个元素是否相等，但无法作计算，而包裹在双线性对中可以作加法、乘法计算。用到的双线性对性质：①e(a,P)e(b,P)=e(a...
2019-03-04 18:25:36
2733
原创 门限签名（1）——秘密共享
门限签名（threshold signature区块链中叫多重签名 multisig），即n个用户中有t个签名时，签名有效。秘密共享是门限签名的一种特殊情况，即多个用户共享一个秘密，并不是把秘密发给每个人，而是把秘密拆分开发给每个人（当然，也不能直接把信息拆开分发，存在语义上的安全问题），我总结的条件为：（1）用户能够验证自己的秘密份额是正确的（2）数量足够的用户能够重构秘密对于条件（1）...
2019-02-28 21:10:17
7752
原创 Hess签名
Hess签名是一种双线性对上基于身份的签名方案，也是构造一种门限签名的基础。定义双线性对：e^:g×g→F\hat{e}:g\times g \rightarrow Fe^:g×g→F，通常是weir或者tate对。定义PPP为ggg的一个原根。定义公钥:Ppub=sPP_{pub}=sPPpub=sP，身份信息QID=H1(ID)Q_{ID}=H_1(ID)QID=H1(ID),DI...
2019-02-26 21:14:47
656
原创 bitcoin开发者文档阅读笔记（1）
因为无药可救的工程能力…只能整体先了解bitcoin是怎么做的，大概每周更两次。上半年过后blockchain的密码学没问题了，但是网络结构和共识还是很困难一些（中文）野鸡网站也太不负责了！互相抄就算了，概念也不讲清楚。每个节点只存储他自己验证的区块组成的区块链，如果一些节点有相同的区块，就叫做共识。区块头（Blockheader）只存储交易的merkle根。比特币本质上是从交易到交易，而...
2018-10-24 21:21:01
335
原创 ACM-ICPC结束语
其实也没有结束，后面还会刷刷cf，也许还能打小的现场赛，不过今天的比赛过后，我感到一个时代终于落幕了。ACM是我经历过的最艰难的比赛，对于没有任何oi基础的非计算机学生来说，承受的风险和压力是巨大的。无休止的自我怀疑、和家长解释、权衡、偏见是这段时间的鲜明标志。我可能本来不是非常适合ACM吧，无关知识水平，我的心理素质很差，交了题甚至不敢看Yes还是WA，看到被大佬压了很多题就慌，不过多少锻炼...
2018-10-15 17:01:13
405
原创 2018 hdu多校联合训练一（1）
6298 Maximum Multiple 把整数因式分解，3的倍数一定可以，最小质因数5以上不可能（分数相加关系），只要考虑2、3、4。只是2的倍数而不是4的倍数，不会有三个因数相加为原数#include<bits/stdc++.h>#define ll long longusing namespace std;int main(){ int n; ...
2018-07-31 20:15:58
684
原创 Codeforces #494 A~E (7.3)
这把状态奇差，可能是因为令人崩溃的蚊子数量……做完D就快没时间了，E又坑多 A 瞎搞 http://codeforces.com/contest/1003/problem/A#include<bits/stdc++.h>using namespace std;int a[100];int mm;int main(){ int n; scanf("%d"...
2018-07-04 11:42:20
252
原创 Codeforces #479 E F (5.6)
最近补上学期的题 E http://codeforces.com/contest/977/problem/E 深搜，本题的环只能一一相连，各个环一定是隔开的，注意搜过的标记一下不用再搜。 两种情况都不是环：度不为2、首尾不连通#include<bits/stdc++.h>using namespace std;#define N 2*100001vector&l...
2018-07-03 17:15:34
162
原创 codeforces #493 A~D(7.1)
因为一些坑爹的人和规定，区域赛大概是不给打了，我也老了跟学弟折腾不动了，以后cf就当深夜娱乐吧TAT A 瞎搞，注意不要sort#include<bits/stdc++.h>using namespace std;int a[1001];int main(){ int n; scanf("%d",&n); for(int i=0;i<...
2018-07-02 15:03:21
232
原创 近期总结（+徐州邀请赛总结）
博客很久没更。 上周icpc徐州邀请赛，遗憾的打了铁，还记得最后写不出高精度只能绝望的抬头看榜时，脑子里第一时间浮现的一句话： “从现在起，我已经不能决定自己的命运了，你们说下次再战我很感动，但是我可能没这个机会了” 昏昏沉沉了两三天后分析一下原因： 1 积淀实在不够，这是真的没办法，也许大二开始ACM抛弃很多然后渴望逆天改命很浪漫，真正与训练有素的多年选手交战，还是一场吊...
2018-06-07 21:08:08
330
原创 Schnorr签名体制
schnorr签名被认为可以解决比特币的空间问题，如下面一段所述： If you ask anyone in the Bitcoin space what the biggest challenge for Bitcoin is, you will likely hear the answer “scalability”. 但事实上schnorr签名在比特币之前十几年已被发明，它是Elgam...
2018-04-24 20:56:10
6100
2
原创 Codeforces Round #475 (Div. 2) D
D. Destruction of a Tree time limit per test1 second memory limit per test256 megabytes You are given a tree (a graph with n vertices and n - 1 edges in which it’s possible to reach any vertex from...
2018-04-22 17:32:12
176
原创 hdu1285 拓扑排序
因为补上周的codeforces，涉及到一些不熟悉的知识，先基础题练习一下。 题意：给出一些队伍的胜负关系，要求排序（胜者在前、无关则序号小者在前），保证有正常排序。 转化成图论，正常排序就是没有环，这里是一个拓扑排序，原理也很好理解，维护节点出度即可。用前向星存图，优先队列排序（注意这里要把大小关系倒过来一下，用友元重载或者用greater）。 一些解题报告指出了重边的问题，邻接矩阵会...
2018-04-20 23:43:25
171
原创 Tinkoff Internship Warmup Round 2018 and Codeforces Round #475 (4.17)
A 水题#include<bits/stdc++.h>#define ll long longusing namespace std;int n;int main(){ scanf("%d",&n); printf("%d",1+(n>>1)); return 0;}B 水题#include<bits/s...
2018-04-20 16:20:13
241
原创 【源码阅读】用Go语言实现环签名的签名和验证（二）
func hashToInt(hash []byte, c elliptic.Curve) *big.Int { orderBits := c.Params().N.BitLen() orderBytes := (orderBits + 7) / 8 if len(hash) > orderBytes { hash = hash[:orderByt...
2018-04-12 13:38:55
2004
2
原创 【源码阅读】用Go语言实现环签名的签名和验证（一）
环签名是区块链中保护用户隐私的方法之一，今天起更新环签名的实现，顺带讲一下原理。源码是MIT的开源代码，用go语言编写，由于我也是go语言小白，所以一边读一边学语法。import ( "bytes" "crypto/elliptic" "crypto/sha256" "fmt" "io" "math/big" "syn
2018-04-11 20:01:26
4421
3
原创 Educational Codeforces Round 42（4.11）
A. EquatorPolycarp has created his own training plan to prepare for the programming contests. He will train for nn days, all days are numbered from 11 to nn, beginning from the first.On the ii-th ...
2018-04-11 18:58:53
423
原创 Fiat-Shamir transform 和零知识证明
零知识证明是区块链密码学的重要内容。近期在学习环签名，因此了解了一下证明机制。 零知识证明：向对方证明自己知道某个秘密，但不泄露秘密。 一个传统的证明步骤如下： 1 以离散对数加密为例，一证明者公开一系列信息(g,y1)(g,y1)(g,y_1)，其中g是本原元，如果用椭圆曲线离散对数就是基点坐标，y1就是公钥。 2 选择一个伪随机数v∈Zqv∈Zqv\in \mathbb{Z}_...
2018-04-09 19:27:18
2281
原创 codeforces Educational Codeforces Round 41 （2018.4.4）
A. Tetris time limit per test1 second memory limit per test256 megabytes inputstandard input outputstandard output You are given a following process.There is a platform with nnn columns. 1×11×1...
2018-04-05 21:10:08
281
原创 3月20日 city-horizon 线段树
题目描述： City Horizon Time Limit: 2000MS Memory Limit: 65536K Total Submissions: 19890 Accepted: 5499 DescriptionFarmer John has taken his cows on a trip to the city! As the sun sets, t...
2018-03-20 21:39:40
147
原创 3月19日 burnside计数
burnside计数公式： L=1|G|∑i∈[1,n]|Zi|=1|G|∑π∈GC(π)L=1|G|∑i∈[1,n]|Zi|=1|G|∑π∈GC(π)L=\frac{1}{|G|}\sum\limits_{i\in[1,n]}|Z_i|=\frac{1}{|G|} \sum\limits_{\pi\in G}C(\pi)这里G是置换群，G中的一个元素代表一种置换方法（翻折、旋转等），C(π)C...
2018-03-20 00:00:46
189
原创 3月12日 二次剩余（shanks解法）
算法原理请wiki：Tonelli–Shanks algorithm，迅速深入理解是不太可能的，与cipola算法相比，shanks解法更数论一点。 （这个算法是正常的，但是还是tle） 大概流程是： R2≡nmodpR2≡nmodpR^2\equiv n\mod p 令p−1=Q2sp−1=Q2sp-1=Q2^s其中Q是奇数。若s=1，即p≡3mod4p≡3mod4p \equiv 3 ...
2018-03-12 23:06:51
740
原创 3月12日 dijkstra+堆优化+邻接表
昨天听校队大佬讲了邻接表，这是建图的复杂度较小的数据结构，概括起来，就是边结构体中，存储该节点下一条边的索引，相当于链表。 堆优化主要是用优先队列，注意优先队列是大的在上面，最短路需要小的在top，所以要重载小于运算符。示范代码看了很久，一道基础题练习一下： 最短路 Time Limit: 5000/1000 MS (Java/Others) Memory Limit: 32768/3...
2018-03-12 18:13:08
293
原创 3月11日 poj1321棋盘问题 深搜
Problem Description 在一个给定形状的棋盘（形状可能是不规则的）上面摆放棋子，棋子没有区别。要求摆放时任意的两个棋子不能放在棋盘中的同一行或者同一列，请编程求解对于给定形状和大小的棋盘，摆放k个棋子的所有可行的摆放方案C。Input 输入含有多组测试数据。 每组数据的第一行是两个正整数，n k，用一个空格隔开，表示了将在一个n*n的矩阵内描述棋盘，以及摆放棋子的数目。 ...
2018-03-11 19:24:31
143
原创 3月8日 二次剩余
二次离散对数有特殊解法（但3次及以上尚未发现），例如有x2≡nmodpx2≡nmodpx^2\equiv n\mod p首先方程有解仅np−12≡1modpnp−12≡1modpn^\frac{p-1}{2}\equiv 1\mod p记勒让德符号(np)(np)\left(\frac{n}{p} \right)若n为p的二次剩余（即可以在模p意义下开根号），则勒让德符号为1，反之为-1，倍数为0...
2018-03-09 12:37:00
209
原创 3月7日 0-1背包动态规划(Bone Collector)
开始学习动态规划，一道水题练手。Bone CollectorTime Limit: 2000/1000 MS (Java/Others) Memory Limit: 32768/32768 K (Java/Others)Total Submission(s): 73266 Accepted Submission(s): 30505Problem Descript
2018-03-07 21:37:53
197
原创 3月6日 莫比乌斯反演（poj 3904）
莫比乌斯反演可以加速运算，今天大致了解了应用，但是推导还是印象不深的。莫比乌斯反演两种形式，第一种是约数形式： f(n)=∑d|ng(d)→g(n)=∑d|nμ(d)f(nd)f(n)=∑d|ng(d)→g(n)=∑d|nμ(d)f(nd)f(n)= \sum \limits_{d|n}g(d) \rightarrow g(n)=\sum\limits_{d|n}\mu(d)f(\frac nd...
2018-03-06 20:33:42
201
原创 3月5日 Primitive Roots （解原根/本原元）
解原根问题在上周一直tle没有解决，今天折腾了半天（制造了大量access violation），坑点在于很多判断的条件。 即使按照质因数优化的方法，如果直接遍历2~ϕ(n)ϕ(n)\phi(n)的话，复杂度还是很高，够tle几十次了。原根的重要性质（模p）： gϕ(p)pi≢1(modp)gϕ(p)pi≢1(modp)g^\frac{\phi(p)}{p_i} \not \equiv 1 ...
2018-03-05 20:20:51
1092
原创 3月2日 Pseudoprime numbers（费马素性测试、卡米歇尔数、伪素数）
这是个水题，也没有什么实际应用意义（费马素性测试对卡米歇尔数无效）。一些博客把这题归为labin-miller测试，这是有误的。写博客是因为被数组折腾了下，本来想初始化筛素数，MLE了，老老实实暴搜（注意题目的定义，伪素数首先要不是素数），但是问题来了，既然已经暴搜得出他是不是素数了，测试素性的意义何在？可能题目只是想练一下快速幂。Pseudoprime numbersTime L
2018-03-02 10:16:17
425
原创 2月28日 解原根（素数）
今天原本是学习离散对数第三类问题，也是最复杂的一类，不过容量太大，几乎是之前所有知识的综合了，所以先发一个重要步骤：解原根。 当考虑问题xa≡b(modp)xa≡b(modp)x^a\equiv b(mod p)时，两边取离散对数，底数需要取a的原根。原根有很多定义，这里不详讲。求原根主要还是搜索，不过由beizer定理有一个优化： 如果不存在pipip_i使得mϕ(p)pi≡1(modp...
2018-02-28 20:24:10
423
原创 2月27日 grid（卡特兰数+费马小定理求乘法逆元）
一道组合问题，catalan数可以计算入栈出栈合法序列数，具体推导可以参考专题博客。 求逆元主要是因为取模运算（catalan数很大）中含有除法，这里用费马小定理求乘法逆元，ap−1≡1(modp)a^{p-1}\equiv1 (mod p)，所以有ap−2≡a−1(modp)a^{p-2}\equiv a^{-1}(mod p)，即ap−2modp=a−1a^{p-2} mod p=a^{-1
2018-02-27 15:18:06
255
原创 2月26日 Discrete logging(哈希表+离散对数+BSGS算法)
开学第一天，有点困，不过天气不错，手脚能放开了。今天学习了离散对数的几类问题，也是开始涉及密码学的核心：对于离散对数：$A^x\equiv B \mod p$如果要求B，那就是幂模问题，用快速幂求模。如果未知x，就是一个重要的离散对数/密码学问题，直观的我们想：是不是可以从1枚举到p-1（欧拉函数）？不过这个开销比较大，有一种算法（BSGS，大步小步/北上广深（!?）算法）可以解决这类问题。将x写...
2018-02-26 20:00:53
502
转载 （转）图像特征：HOG, LBP, Haar
本文转载，觉得讲的不错，原文地址：http://my.csdn.net/zouxy09给到一些选取“特征值”的思路。1、HOG特征：方向梯度直方图（Histogram of Oriented Gradient, HOG）特征是一种在计算机视觉和图像处理中用来进行物体检测的特征描述子。它通过计算和统计图像局部区域的梯度方向直方图来构成特征。Hog特征结合SVM分类器已经被广泛
2018-02-24 13:51:45
205
原创 2月20日 Primitive Roots（原根）
原根和离散对数是密码学和数论的重要概念，本题如下（poj 1284）：DescriptionWe say that integer x, 0 < x < p, is a primitive root modulo odd prime p if and only if the set { (xi mod p) | 1 <= i <= p-1 } is equal to { 1, ..
2018-02-20 21:38:44
285
转载 （转）基于Haar特征的Adaboost人脸检测分类器
原文地址：http://blog.csdn.net/stdcoutzyx/article/details/34842233虽然主要做blockchain，，但是robocup要学这个，那就学习一个，区块链和人工智能不分家嘛…基于Haar特征的Adaboost级联人脸检测分类器，简称haar分类器。通过这个算法的名字，我们可以看到这个算法其实包含了几个关键点：Haar特征、Adaboost、级联。理...
2018-02-19 21:38:16
1551
原创 2月15日 Biorhythms（中国剩余定理）
刚做完美赛，浑身无力，但是知识还是要学，态度还是要表示~今天是除夕，希望明年再接再厉，建立体系，学好算法，做好科研，搞好绩点，找好对象。DescriptionSome people believe that there are three cycles in a person's life that start the day he or she is born. These three cycl...
2018-02-15 16:24:33
194
原创 2月3日 Raising Modulo Numbers（快速幂）
DescriptionPeople are different. Some secretly read magazines full of interesting girls' pictures, others create an A-bomb in their cellar, others like using Windows, and some like difficult mat
2018-02-03 16:44:07
192
原创 2月3日 Visible Lattice Points（欧拉函数）
DescriptionA lattice point (x, y) in the first quadrant (x and y are integers greater than or equal to 0), other than the origin, is visible from the origin if the line from (0, 0) to (x, y) doe
2018-02-03 09:21:05
248
原创 2月1日 POJ2142 balance(数论)
The BalanceDescriptionMs. Iyo Kiffa-Australis has a balance and only two kinds of weights to measure a dose of medicine. For example, to measure 200mg of aspirin using 300mg weights and 700mg weig
2018-02-01 14:50:09
190
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人