principle counting program testing
2022-2023 ACM-ICPC German Collegiate Programming Contest (GCPC 2022)
A. Alternative Architecture 当倾斜放置时，一定可以构成直角三角形。枚举高用勾股定理算出底，然后在利用相似三角形即可算出另一条构成的直角三角形的边长，此时判断边是否都是整数即可。 原图实际上点在格子上，一个常见的套路是边减一就可以转换成点在定点上。 #include <bi ......
[ABC319G] Counting Shortest Paths 题解
题意 给定由 \(N\) 个节点组成的无向完全图 \(G\)，并删去 \(M\) 条边，求该图的最短路数量。 （\(2 \le N \le 2 \times 10^5, 0 \le M \le \min\left\{2 \times 10^5, \dfrac{N(N - 1)}{2}\right\} ......
cnpm : 无法加载文件 C:\Program Files\nodejs\node_global\cnpm.ps1
在win10上运行cnpm命令时出现: cnpm : 无法加载文件 C:\Program Files\nodejs\node_global\cnpm.ps1，因为在此系统上禁止运行脚本。解决办法记录如下: 在powershell中执行 Start-Process powershell -Verb r ......
【题解】CF1830B The BOSS Can Count Pairs
你考虑，我们观察数据范围，发现可以是 \(O(n\sqrt n) / O(n\log n)\) 的，我们又看到乘法，便有几个大概的想法： 数论分块 \(O(\sqrt n)\) 枚举其中一个乘数 还有什么……（笔者学识浅陋，读者可以帮忙补充） 我们可以找到两种 \(O(n^2)\) 做法： \(O( ......
2018-2019 9th BSUIR Open Programming Championship
I. Equal Mod Segments \(1 \leq n \leq 1e5\) \(1 \leq a_i \leq 3e5\) 题解：ST表 + 扫描线 + 二维偏序 取模存在一个不错的性质：\(x \%p\)要么\(x\)不变，要么\(x\)至少整除\(2\) 所以我们考虑固定左端点\(l ......
[ABC319G] Counting Shortest Paths
[ABC319G] Counting Shortest Paths Atcoder：[ABC319G] Counting Shortest Paths 洛谷：[ABC319G] Counting Shortest Paths Problem 经典问题：求补图的最短路，边权均为 \(1\)，并顺带求出 ......
2019-2020 ACM-ICPC Brazil Subregional Programming Contest
D. Denouncing Mafia 给定一颗树，然后给定\(k\)个起点，对于每个起点来说，从该点到根节点的一条链都会被染色，求最多有几个点会被染色 \(3 \leq n \leq 1e5, 1 \leq k \leq n\) 题解 我们贪心的来看，起点一定会选择在叶子节点，假设叶子节点的数量为 ......
2022 Hubei Provincial Collegiate Programming Contest G. Brick（gym103729）
大意 给出底层高度，用1*2的砖块将总形状铺成等高矩形，使得高度最小（不能放在外面） 题解 奇妙做法 当高度同奇偶时显然x可以的话x+2也可以，直接加一层竖的，所以首先分奇偶二分高度 有解的必要条件1是，把矩形黑白方格染色之后未填的黑=白（一个1*2刚好覆盖1黑1白） 然后从左往右放砖块，可以感受一 ......
关于 Angular testing 开发包里 fakeAsync 测试工具的用法
@angular/core/testing 是 Angular 框架提供的一个测试模块，用于帮助开发者编写单元测试和集成测试。其中的 fakeAsync 是一个非常有用的测试工具，它允许我们编写异步代码的测试，同时在测试中模拟时间的前进，使得测试用例的执行更加可控和可预测。 fakeAsync 函数 ......
2019 ICPC Universidad Nacional de Colombia Programming Contest
A. Amazon 给定\(n\)条直线（存在共线的情况），在每两条垂直的直线的交点处需要建一个交叉点，求交叉点的数量，注意需要去除共线时候的交叉点 题解 因为要除去共线的情况，我们考虑将一条直线以方向向量\(v\)，与\(x\)轴的交点的横坐标\(x\)的方式存储 注意： 对于\(v\)来说需要最 ......
Test3
方案 markdown+Typora + picGo + jsdelivr + github仓库 + bloghelper Typora： 本地 Markdown 编辑器，用于本地编写文档 PicGo：一个用于快速上传图片并获取图片 URL 链接的工具，可以与 Typora 集成，实现黏贴图片后自动 ......
Test2
方案 markdown+Typora + picGo + jsdelivr + github仓库 + bloghelper Typora： 本地 Markdown 编辑器，用于本地编写文档 PicGo：一个用于快速上传图片并获取图片 URL 链接的工具，可以与 Typora 集成，实现黏贴图片后自动 ......
test0908
T2大样例都过了还挂了，挂的还是前两个 $\text{subtask}$，又挂大分，总是有些东西不熟悉 ## T1 预计：100pts 实际：100pts $(a\&b)$ 告诉我们 $a$ 和 $b$ 哪些位都是 $1$，$(a\oplus b)$ 告诉我们 $a$ 和 $b$ 一些位其中有一个是 ......
Proj CDeepFuzz Paper Reading: Metamorphic Testing of Deep Learning Compilers
## Abstract 背景：Compiling DNN models into high-efficiency executables is not easy: the compilation procedure often involves converting high-level model ......
test20230908
#### 写在前面的话 今天考试挂麻了，考场估分 $100+100+60+50=310$ ,考后得分 $100+70+60+0=230$ 。十分抽象的分数。还是有 $\text{rank2}$ ，之后需要更加细心才行。 # T1 ### 题目描述 现在给出 $x\& y$ 和 $x \oplus y ......
Gradle: Error: Program type already present: androidx.activity.R$attr
android - Gradle: Error: Program type already present: androidx.activity.R$attr - Stack Overflow ......
P2633 Count on a tree 题解（外加DFS序求LCA）
`2023-07-22 09:53:59 顶置3` # P2633 Count on a tree ## 前置小知识 # 冷门小科技:DFS-RMQ 求LCA 最近跟着洛谷榜一的博客学了一个冷门科技：DFS序求LCA，这道题刚好要求LCA，所以就刚好适用一下。 [$\color{Red}{原博客地址 ......
CF1857G Counting Graphs
`2023-08-08 23:00:07 solution` ## 题意： 求有多少个有 $n$ 个节点的无向图，使其满足以下条件： - 无重边自环。 - 有且只有一个最小生成树，且为给定树。 - 最大边权不大于 $S$。 对 $998244353$ 取模。 ## 思路： 其实就是让我们在给定的树加 ......
Idea中导入import org.junit.Test时飘红
转载自：https://blog.csdn.net/aahdjdb/article/details/132186198 如图，导入import org.junit.Test时飘红 解决方法： 1.选中FIle——Project Structure 2.选择——Libraries——Java 3.找到 ......
Petrozavodsk Programming Camp, Winter 2021 Day 1 Problem H
发现操作是可逆的，如果起始状态和终止状态都能走到同一个状态，那就能组合出一组解。 以任意一节点为根，考虑贪心地确定每个人最后的位置，使他对答案影响最小。策略是将可以放的人放到深度最大的点，然后删掉该点相邻的点，反复去做。 大多数情况下，总有一种方式使得一个节点能走到当前选择的深度最大点，但是有唯一一 ......
Proj CDeepFuzz Paper Reading: DeepMutation: Mutation Testing of Deep Learning Systems
## Abstract 本文：DeepMutation Github: https://github.com/berkuva/mutation-testing-for-DNNs Task: mutation testing framework specialized for DL systems t ......
Proj CDeepFuzz Paper Reading: Testing Deep Neural Networks
## Abstract 本文:DeepCover Github: https://github.com/TrustAI/DeepCover Task: propose 4 novel test criteria to test DNNs Method: inspired by MC/DC cover ......
Proj CDeepFuzz Paper Reading: Software Testing with Large Language Model: Survey, Landscape, and Vision
## Abstract 本文: Task: Review on the use of LLMs in software testing Method: 1. analyzes 52 relevant studies ## 1. Intro  AEKM ## A. Tower 思路：思维+贪心 由于我们只能进行$+ ......
The 16-th BIT Campus Programming Contest - Onsite Round
链接：[https://codeforces.com/gym/104025](https://codeforces.com/gym/104025) ## A. Gifts in box ```cpp #include "bits/stdc++.h" using namespace std; usin ......
用友U8 OA test.jsp SQL注入漏洞
## 漏洞描述 用友 U8 OA test.jsp文件存在 SQL注入漏洞，由于与致远OA使用相同的文件，于是存在了同样的漏洞 ## 漏洞影响 用友 U8 OA ## 漏洞复现 fofa语法：title="用友U8-OA" 登录页面如下：  can cover at most 34.1% layer inputs, 25.9% layer parameter values, and 15.6% layer sequences. 本文：COMET Gi ......
programming
# compiler * find definition * find reference in current file * find reference in project * search all occurrence # git * first time the function is a ......