寒假 学习得不彻底，许多高级一点的知识点都没有学到。最重要的是点分治和LCT。 很多知识都忘记了，比如博弈论，数论，以及大量的高级数据结构。 图论也在渐渐松散。 最重要的是题目做少了。 常规欠了许多课,补起来还是不难的。 省选 做题：难度逐步上升。 知识体系：通过看书完善。《进阶指南》。 知识点：做 ...
分类：
其他好文 时间：
2020-04-12 14:50:10
阅读次数：
60
国外比赛，做着玩 官方wp：https://github.com/tghack/tg20hack RE1: Game of Keys 题目提供了两个文件，一个PYC文件，一个wordlist.txt 在线pyc反编译：http://tools.bugscaner.com/decompyle/ imp ...
分类：
其他好文 时间：
2020-04-12 14:27:04
阅读次数：
360
"第一题" 判断字符串是不是子串，效率高的方式应该是字典树，按照字典序排序后，建树，再建的过程中就可以得到答案。 但是这是比赛中，又是第一题，所以直接用contains了 c "第三题" 很简单的一道字符串替换的题目 ...
分类：
其他好文 时间：
2020-04-12 14:04:16
阅读次数：
73
reference : "CF上neal的博客" 总所周知， 和 由于树的结构，的单次操作是 $O(\log n)$ 的。 有没有更快的 STL 可以代替它们呢？ 在 c++11 里面， 和 就可以做到单次操作 $O(1)$（基于哈希）。 但在 Codeforces 的比赛上面，尽量别用 。 一是因 ...
分类：
其他好文 时间：
2020-04-09 15:27:20
阅读次数：
92
1.POC POC，Proof ofConcept，中文意思是“观点证明”。这个短语会在漏洞报告中使用，漏洞报告中的POC则是一段说明或者一个攻击的样例，使得读者能够确认这个漏洞是真实存在的。2.EXP EXP，Exploit，中文意思是“漏洞利用”。意思是一段对漏洞如何利用的详细说明或者一个演示的 ...
分类：
其他好文 时间：
2020-04-08 13:40:37
阅读次数：
86
从事组合优化或信息安全方向的研究人员，基于SMT研究，需要快速学习SAT求解器的基本原理和方法。以下是快速入门的几点体会： 1.理清需要——是完备求解器还是不完备求解器 完备求解器 能给出SAT、UNSAT、unknow三种确定的答案，尤其是UNSAT结论能给出证明推导过程，指出导致矛盾的关键路径。 ...
分类：
其他好文 时间：
2020-04-07 12:46:45
阅读次数：
528
前三并没有什么悬念，依然是Java，C，Python。C与Java的差距正在缩小，不过我们不用担心，在大数据分析领域Java,Python依然都是不可或缺的。 基于图形的基于块的编程语言Scratch已进入前20名。乍一看，对于旨在教孩子如何编程的编程语言来说，这似乎有些奇怪。但是，如果考虑到Scr ...
分类：
编程语言 时间：
2020-04-05 22:19:35
阅读次数：
85
$Codeforces$ $Round$ $631$ "A.Dreamoon and Ranking Collection" 题目大意： $n$轮比赛，每轮比赛排名已经给出，还可以进行额外的$m$场比赛 问：所有比赛进行完后，最多可以收集到从$1$开始的多少个连续名次 题解： 用一个数组统计一下排名 ...
分类：
其他好文 时间：
2020-04-05 15:52:50
阅读次数：
118
AtCoder Beginner Contest 161 第一次打AtCoder的比赛，因为是日本的网站终于不用倒时差了233。 A - ABC Swap 可以直接按照交换后的顺序输出。 #include <bits/stdc++.h> using namespace std; int main() ...
分类：
其他好文 时间：
2020-04-05 15:24:18
阅读次数：
89
一、漏洞背景 安全公告编号：CNTA 2020 0004 "2020年02月20日， 360CERT 监测发现 国家信息安全漏洞共享平台(CNVD) 收录了 CNVD 2020 10487 Apache Tomcat文件包含漏洞。" CNVD 2020 10487/CVE 2020 1938是文件包 ...
分类：
其他好文 时间：
2020-04-05 13:34:16
阅读次数：
74
