自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+

C'est la vie.

Feu d'artifice fane en vitesse.

  • 博客(156)
  • 资源 (1)
  • 收藏
  • 关注

原创 [Linux] [Python] [Conda] [Pip] Linux服务器的Python环境配置

ContentLinux服务器的Python环境配置PreliminariesVirtual Environment EstablishmentNew Environment ConfigurationPackage ManagementLinux服务器的Python环境配置Preliminaries由于服务器经常需要换来换去,每次都需要重新找教程配置,故总结至此以形成PipelineVirtual Environment EstablishmentAnaconda3的相应地址https://re

2021-01-13 23:32:43 223

原创 [OO] Unit4 Summary UML系列 暨 OO Summary

文章目录UML单元总结架构设计OO课程总结架构设计与面向对象方法的演进表达式系列UML单元总结架构设计由于UML系列的类图、状态图、顺序图之间彼此相对独立,故从第一次作业到第三次作业均使用XXXManager进行分包管理,源代码结构如下由于官方包的UmlElement并不能维护UML间的成员组成关系,故采用适配器模式将UmlElemen转化为NodeElement,建立方便维护的数据结构从UML类图上来看,MyUmlInteraction进行统一管理,将任务分派到三个Manager上,其中每个

2020-06-17 21:14:39 248

原创 [OO] Unit3 Summary JML系列

文章目录[OO] Unit3 Summary JML系列JML理论基础优点语法基础常用表达式方法规格类型规格JML工具链测试工具使用报告SMT SolverEvoSuiteJMLUnitNG黑盒测试架构设计Bug分析HW1HW2HW3心得体会[OO] Unit3 Summary JML系列JML理论基础优点对接口行为、功能和规格作出描述和规定,用数学语言描述能够有效确保设计者的本意被清晰表达,没有二义性JML将自然语言转化为机器能够理解并执行的语言,这为自动的自动化测试提供支撑理论上,基于规格

2020-05-23 21:55:25 263

原创 [OO] JML系列 优化及时间复杂度可行性证明

JML系列 优化及时间复杂度可行性证明符号定义符号意义上限ppp网络中Person数量800rrr网络中关系数量3000qsq_sqs​查询queryStrongLinked数量20qrq_rqr​查询queryNameRank数量1000qbq_bqb​查询queryBlockSum数量3000qaq_aqa​查询queryAgeSum数量3000qmq_mqm​查询queryMinPath数量3000优化方法

2020-05-14 14:48:32 2548 3

原创 [OO] Unit2 Summary 电梯系列

[OO] Unit2 Summary 电梯系列架构相关UML类图List item

2020-04-18 21:49:41 367

原创 [OO] 电梯系列 多进程强力自动评测机

强力自动评测机背景电梯输入需要发射器,手动评测难以复现增量开发时需要回归测试电梯进程等待时间较多CPU利用率低组成部分DataMaker按照一定规则产生新数据RunJava调用Java程序产生outputSpecialJudge根据output按照一定规则判断正确性及出错原因放到本地log可以看到组成部分如右图,评测后只需要查看log目录[外链图片转存失败,源站可能有防盗链...

2020-04-16 20:23:54 348

转载 [OO] Unit1 Summary 表达式求导系列

[OO] Unit1 Summary

2020-04-16 09:18:59 247

原创 [OO] 第二单元 电梯优化策略

电梯优化策略架构UML类图采用架构为三类线程、分配器与控制器分离请求处理流程优化策略强测结果请求拆分策略策略概述拆分与分配独立,无需在拆分时考虑电梯的实时状态使用静态Floyed预处理求最短路无向图中边的定义为:∀Fi∀FjR(Fi,Fj)⇝g(Fi,Fj)=∣Fi−Fj∣\forall F_i \forall F_j \quad R(F_i, F_j...

2020-04-15 20:43:05 840

原创 NOIP模拟题 2016.11.18 [数论] [计数] [并查集]

第一题:信(believe.cpp/c/pas) 背景描述: 一切死亡都有冗长的回声 —— 《一切》北岛 给定一个N个元素的序列A, 定义Bi = (Ai and A1) + (Ai and A2) + (Ai and A3)+ …… + (Ai and An) 定义Ci = (Ai or A1) + (Ai or A2) + … + (Ai or An) 求B和C序列。 输入格式:

2016-11-18 14:46:29 835 2

原创 NOIP模拟题 2016.11.17 [数论] [数位DP] [扫描线] [线段树]

T1: 题意:求[L,R]内素数的个数。预处理O(sqrt(n))个素数,然后筛法求素数,平移一下。#include<iostream>#include<cstdio>#include<cstring>#include<cstdlib>#include<cmath>#include<vector>#include<queue>#include<stack>#include<map>

2016-11-17 14:09:20 659

原创 NOIP模拟题 2016.11.16 [模拟] [组合数递推] [数据分治] [Hash]

LGTB 与序列 LGTB 得到了一个序列,他想在这个序列中选择一个最长的连续子序列,使得这个子序列的最大公约数等于 1。请告诉他他能得到的最大长度,如果没有这样的序列,输出��1 输入 输入第一行包含一个整数n 代表序列大小 接下来一行,包含n 个整数a1, a2, …, an,代表序列 对于50% 的数据,1  n  1000 对于100% 的数据,1  n  105 1

2016-11-16 19:09:17 881

原创 NOIP模拟题 2016.11.15 [LIS] [spfa] [同余最短路] [矩阵快速幂] [容斥原理] [数学]

小L的二叉树 【题目描述】 勤奋又善于思考的小L接触了信息学竞赛,开始的学习十分顺利。但是,小L对数据结构的掌握实在十分渣渣。 所以,小L当时卡在了二叉树。 在计算机科学中,二叉树是每个结点最多有两个子结点的有序树。通常子结点被称作“左孩子”和“右孩子”。二叉树被用作二叉搜索树和二叉堆。随后他又和他人讨论起了二叉搜索树。什么是二叉搜索树呢?二叉搜索树首先是一棵二叉树。设key[p]表示结点p上

2016-11-15 15:05:52 1243

原创 NOIP模拟题 2016.11.14 [动态规划] [线段树优化DP] [字符串的复制粘贴DP]

复制&粘贴2(A.c/cpp/pas/in/out) (Time Limit:1s Memory Limit:256MB) 【Description】 文本编辑器的一个最重要的机能就是复制&粘贴。JOI社现在正在开发一款能够非常高速地进行复制&粘贴的文本编辑器,作为JOI社一名优秀的程序猿,你担负起了复制&粘贴功能的测试这一核心工作。整个JOI社的命运都系在你的身上,因此你无论如何都想写出一个

2016-11-14 15:17:22 1137

原创 NOIP模拟题 2016.11.12 [Catalan数] [贪心] [动态规划] [DLX] [数独]

T1: 题意:有2N个数,排成两列,要求每一列中的数递增,并且同一位置右边的数比左边的大。ans(1…4)=1,2,5,14很明显的Catlan数。。 怎么推出来的我也不知道。 F[n] = F[n-1] * (4n-2) / (n+1),预处理逆元。#include<iostream>#include<cstdio>#include<cstring>#include<cstdlib>

2016-11-12 14:15:31 895

原创 NOIP模拟题 2016.11.11 [搜索] [动态规划] [网络流] [字符串处理]

tractor 题目描述 农场上有N(1 <= N <= 50,000)堆草,放在不同的地点上。FJ有一辆拖拉机,也在农场上。拖拉机和草堆都表示为二维平面上的整数坐标,坐标值在1..1000的范围内。拖拉机的初始位置与所有草堆不同。 FJ开拖拉机时,只能平行于坐标轴(即东、南、西、北四个方向),而且每次开动的一段必须是整数长度。 例如,他可以向北开2个单位长度,然后向东开3个单位长度。拖拉机

2016-11-11 12:12:54 801

原创 NOIP模拟题 2016.11.10 [模拟] [状压DP] [线段树] [DFS序]

A Statement 给出一个长度不超过100只包含’B’和’R’的字符串,将其无限重复下去。 比如,BBRB则会形成 BBRBBBRBBBRB 现在给出一个区间[l,r]询问该区间内有多少个字符’B’(区间下标从1开始) Input 第一行为一个只包含’B’和’R’的字符串 第二行为两个整数,表示l和r Output 输出[l,r]区间内字符’B’的数量 Sample In

2016-11-10 11:47:52 675

原创 NOIP模拟题 2016.11.8 (2) [线段树] [动态逆序对] [矩阵快速幂] [数论] [欧拉函数]

T1: 题意:有一个序列,m次操作,每次操作指定一个位置,将当前位置和该位置后面所有比它小的数构成的子序列排序,放入原位置。求每次操作后,逆序对个数。首先在线做法不好做,那么考虑离线。 对于一个数,它对逆序对个数贡献为0的时候,就是它之间比它大的数,最早的操作时间。 那么可以采用线段树维护这个最早时间,从前向后走一遍,边走边更新线段树并查询。 每次把这个数对应最早时间的答案减去当前后面比它小

2016-11-09 23:34:37 600

原创 NOIP模拟题 2016.11.9 [动态规划] [数论] [二分答案] [启发式合并] [线段树] [树链剖分]

子序列 描述 给定3 个字符串,求它们的最长公共子序列。 输入 第一行一个整数n,表示三个字符串的长度 接下来三行,每行是一个长度为n 只包含小写字母的字符串。 输出 输出最长公共子序列的长度。 输入样例 4 abac abbc cbca 输出样例 2 提示 30% n<=10 100% n<=120T1: 三个串的LCS。。直接DP。。#include<iost

2016-11-09 14:43:15 1047 2

原创 NOIP模拟题 2016.11.8 [数学归纳法] [贪心] [二分答案] [Bash模拟]

T1: 题意:有n个字符串,每个字符串可以通过无限次翻转区间[1,m]中的字符,但是要保证m为偶数。通过简单的变换可以把整个字符串左移2位,那么由数学归纳法可以得到左移K位都是可以做到的,只要保证K是偶数。 把相邻的两个奇数位和偶数位看成一个单位,再次变换可以发现交换任意两个相邻单位都是合法的,那么可以推出任意两个单位之间的交换都是合法的。 由于一个单位里的两个字符是可以互换位置的,这样每一个

2016-11-08 14:39:13 593

原创 NOIP模拟题 2016.11.7 [DP*3]

A 问题描述: 小A得到了一棵美丽的有根树。这棵树由n个节点以及n - 1条有向边构成,每条边都从父亲节点指向儿子节点,保证除了根节点以外的每个节点都有一个唯一的父亲。树上的节点从1到n标号。该树的一棵子树的定义为某个节点以及从该节点出发能够达到的所有节点的集合,显然这棵树共有n棵子树。小A认为一棵有根树是美丽的当且仅当这棵树内节点的标号构成了一个连续的整数区间。现在小A想知道这棵树上共有多少棵

2016-11-07 16:55:36 861

原创 NOIP模拟题 2016.11.5 [贪心] [坐标离散化] [循环序列LIS]

T1: 题意:大天使之剑。。有平A、重击、群击三种攻击方式,伤害分别是1、2、1。,要让所有的小兵GG,问最少需要受多少伤害。由于群击在人数大于等于3的时候占优势,那么这种情况优先考虑群击,小于等于2的时候重击,但是如果最小的兵只有1滴HP,就群击。#include<iostream>#include<cstdio>#include<cstring>#include<cstdlib>#in

2016-11-05 18:01:23 519

原创 NOIP模拟题 2016.11.4 [数论] [费马小定理] [最短路] [建图]

细胞分裂 【问题描述】 小A 养了一大坨细胞。 最初小A 只有1 个细胞。每秒,小A 的每个细胞都会分裂成2 个细胞。 已知:现在离“最初”已经过去了x 秒,那么现在的细胞数当然是可以计算的。 小A 想知道的当然不是当前的细胞数。小A 知道他养的细胞的习性:每y 个细胞会聚成一团。经常会有剩下的细胞,那么我们称这些细胞是孤独的。 小A 想知道的就是孤独的细胞个数。 【输入文件】 输

2016-11-04 15:52:56 813

原创 NOIP模拟题 2016.11.2 [数论]

T1:水题。T2:注意建图时的常数优化。。。。T3:数论。 关键在于已知勾股数组(a,b,c)中的c,要求快速求出所有的a,b。根据勾股数的性质来枚举b,c的差是不可取的,因为中间有重复的情况。。设勾股数为(a,b,r),那么b = sqrt( (r-a)*(r+a) ) 令 d = gcd( r-a,r+a ) ,A = (r-a)/d , B = (r+a)/d ,那么显然gcd(A,B)

2016-11-02 15:38:22 639 1

原创 NOIP模拟题 2016.11.1 [模拟] [贪心] [杂题]

T1: 题意: 模拟祖玛游戏。。。 没有必要用链表,因为找第几位的时候也是要O(n)走一遍的,不如直接平移。 注意串为空!! 虽然题目说了一开始串中没有可以消除的,但是数据还是有。。#include<iostream>#include<cstdio>#include<cstring>#include<cstdlib>#include<cmath>#include<vector>#

2016-11-01 18:49:41 870

原创 NOIP模拟题 2016.10.31 [DP] [搜索] [并查集]

**NOIP模拟赛 【题目** 【问题描述】 Mushroom手中有n个数排成一排,现在Mushroom想取一个连续的子序列,使得这个子序列满足:最多只改变一个数,使得这个连续的子序列是严格上升子序列,Mushroom想知道这个序列的最长长度是多少。 【输入格式】 第一行一个整数n,表示有n个数。 第二行为n个数。 【输出格式】 一个数,为最长长度。 【输入样例】 6 7 2

2016-10-31 20:25:24 744

原创 NOIP模拟题 2016.10.29 [DP] [中位数相关] [折半搜索]

T1: 题意:求1~n的排列中逆序对的个数为k的排列数。DP,再求简洁表达式即可。#include<iostream>#include<cstdio>#include<cstring>#include<cstdlib>#include<cmath>#include<vector>#include<queue>#include<stack>#include<map>#include

2016-10-29 14:48:07 493

原创 NOIP模拟题 2016.10.18 [二分答案] [从上到下的树形DP] [链表翻转]

T1: 题意:给定x正半轴和y正半轴上的n个点,依次按顺序连接,保证线段不相交。m次询问,询问每个点与原点的连线与这些线段有多少个交点。二分答案。。 每次分到一个线段check一下点和线段的位置关系即可。#include<iostream>#include<cstdio>#include<cstring>#include<cstdlib>#include<cmath>#include<

2016-10-19 10:58:06 553

原创 NOIP模拟题 2016.10.13 [贪心] [记忆化搜索]

T1: 题意: 给定一个操作序列,问这个数据结构可能是哪些? 模拟即可。记得判空!!因为可能是不知名的神奇数据结构。#include<iostream>#include<cstdio>#include<cstring>#include<cstdlib>#include<cmath>#include<vector>#include<queue>#include<stack>#in

2016-10-14 20:09:48 560 1

原创 bzoj 3669 NOI2014 魔法森林 [LCT]

3669: [Noi2014]魔法森林Time Limit: 30 Sec Memory Limit: 512 MB Submit: 2157 Solved: 1311Description为了得到书法大家的真传,小E同学下定决心去拜访住在魔法森林中的隐士。魔法森林可以被看成一个包含个N节点M条边的无向图,节点标号为1..N,边标号为1..M。初始时小E同学在号节点1,隐士则住在号节点N。小E

2016-10-12 12:32:14 456

原创 bzoj 3969 WF2013 Low Power [贪心] [二分答案]

3969: [WF2013]Low PowerTime Limit: 10 Sec Memory Limit: 256 MB Submit: 365 Solved: 171Description有n个机器,每个机器有2个芯片,每个芯片可以放k个电池。 每个芯片能量是k个电池的能量的最小值。 两个芯片的能量之差越小,这个机器就工作的越好。 现在有2nk个电池,已知它们的能量,我们要把它们放

2016-10-12 09:28:48 701

原创 Codeforces 5C Longest Regular Bracket Sequence [贪心] [DP]

Longest Regular Bracket Sequence Time Limit: 2000MS Memory Limit: 262144KB 64bit IO Format: %I64d & %I64uDescription This is yet another problem dealing with regular bracket sequences.We sh

2016-10-12 08:03:49 408

原创 Codeforces 416C Booking System [贪心]

Booking System Time Limit: 1000MS Memory Limit: 262144KB 64bit IO Format: %I64d & %I64uDescription Innovation technologies are on a victorious march around the planet. They integrate into a

2016-10-11 22:28:08 401

原创 Codeforces 549B Looksery Party [贪心]

Looksery Party Time Limit: 1000MS Memory Limit: 262144KB 64bit IO Format: %I64d & %I64uDescription The Looksery company, consisting of n staff members, is planning another big party. Every

2016-10-11 22:24:38 428 1

原创 Codeforces 3D Least Cost Bracket Sequence [贪心]

D. Least Cost Bracket Sequencetime limit per test1 secondmemory limit per test64 megabytesinputstandard inputoutputstandard outputThis is yet another problem on regular bracket sequences.A bracket

2016-10-11 19:54:47 397

原创 Codeforces 645E Intellectual Inquiry [贪心] [DP]

E. Intellectual Inquiry time limit per test 2 seconds memory limit per test 256 megabytes input standard input output standard outputAfter getting kicked out of her reporting job for not knowing th

2016-10-11 17:04:06 418

原创 Codeforces 549G Happy Line [贪心] [数学]

G. Happy Line time limit per test 1 second memory limit per test 256 megabytes input standard input output standard outputDo you like summer? Residents of Berland do. They especially love eating ic

2016-10-11 15:05:38 386

原创 Codeforces 403B Upgrading Array [贪心] [数论]

B. Upgrading Array time limit per test 1 second memory limit per test 256 megabytes input standard input output standard outputYou have an array of positive integers a[1], a[2], …, a[n] and a set o

2016-10-11 11:46:24 643

原创 Codeforces 578B Or Game [贪心] [位运算]

“Or” Game Time Limit: 2000MS Memory Limit: 262144KB 64bit IO Format: %I64d & %I64uDescription You are given n numbers a1, a2, …, an. You can perform at most k operations. For each operation

2016-10-11 09:03:53 478

原创 Codeforces 529B Group Photos 2 (one mirror version) [贪心]

B. Group Photo 2 (online mirror version) time limit per test 2 seconds memory limit per test 256 megabytes input standard input output standard outputMany years have passed, and n friends met at a

2016-10-11 08:47:18 571

原创 Codeforces 500B New Year Permutation [贪心]

B. New Year Permutation time limit per test2 seconds memory limit per test256 megabytes input standard input output standard outputUser ainta has a permutation p1, p2, …, pn. As the New Year is com

2016-10-11 08:42:14 347

2-SAT问题解法浅析

2-SAT问题浅析,论文资料。

2016-08-12

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除