P4168 [Violet] 蒲公英 (离散化+分块 在线查询区间众数)
P4168 [Violet] 蒲公英
离散化+分块 在线查询区间众数
由于a_i范围是1e9的,记录a_i出现的次数不方便直接用数组记录,但是一共有n个数,我们就可以把它们排序去重,把a_i映射为在n个数中排第几,这样映射后的值域就小于n了,我们就能直接用数组记录了,这就是离散化
将长度为 n 的数组分块,每块长度为 B=sqrt(n)
比如[0,B), ...
[Windows/C] libzip 的编译和使用
本文参考:
Windwos zlib 下载和编译
Windwos 编译 libzip
0. 准备工作
编译器:我使用的编译器是 gcc(MinGW),此时需将编译器目录下的 mingw32-make.exe 改名为 make.exe,方便使用。
你需要 CMake,可以在 https://cmake.org/download/ 下载。下载解压后在 bin 目录下找到 cmake-gui.exe,我们使用的是这个 GUI 程序 ...
从车载HMI到数字座舱平台:基于Qt与Qtitan UI组件的汽车嵌入式软件界面开发方案
随着汽车电子架构持续升级,软件在整车系统中的重要性不断提升。从早期的车载信息娱乐系统(IVI)到当前逐渐普及的数字座舱平台,车载软件不仅承担信息展示功能,还需要整合导航、娱乐、车辆控制、驾驶辅助等多种服务。与此同时,用户对界面体验、交互流畅度以及系统稳定性的要求也在不断提高。
在这一背景下,如何构建既 ...
libcurl post请求报错:Server returned nothing (no headers, no data)
问题描述:
同一份libcurl post请求代码,在ubuntu下可以正常执行,而在windows下,curl_easy_perform却返回 52
curl_easy_strerror(52)返回: Server returned nothing (no headers, no data)
原因:
在windows下,libcurl自动添加了一个请求头 Expect: 100-continue
HTTP/1.1 协议里设计 100 (Continue) HTTP 状态码的的 ...
数值类型和字符串之间的转换
在C++11中提供了专门的数值类型和字符串类型之间的转换的转换函数。
数值转换为字符串
使用to_string()方法可以将各种数值类型转换为字符串类型,这是一个重载函,函数声明位于头文件中,函数原型如下:
// 头文件 <string>
string to_string (int val);
string to_string (long val);
string to_string (long long val);
s ...
关键字noexcept
c++中通过throw关键字抛出异常,通过try{}catch{}捕获异常,在对应函数后添加throw()指定可以抛出的异常类型
#include<iostream>
using namespace std;
struct MyException {
MyException(string str) : msg(str) {}
string msg;
};
void func() throw(int ,double,MyException){
// throw(int, double, MyException) ...
Parasoft 汽车嵌入式软件质量与自动化测试解决方案
在智能网联汽车、软件定义车辆(SDV)、高级驾驶辅助系统(ADAS)等快速演进的趋势下,软件已成为汽车行业创新的核心驱动力。从动力系统与安全控制单元(ECU)到互联互通与OTA功能,每一个软件模块都必须确保高质量、安全性与合规性。
全球知名的自动化测试平台 Parasoft ,提供一套覆盖整个汽车软件开发生命周期的自动化测 ...
【C++】实现一个定时器
前言
实现一个周期性调用类。通过TaskTimer构造函数设置周期,通过setTimerFun传入要调用函数和参数,start启动,stop停止。比如要每30秒发送一个心跳包可以把发送包的函数传入定时器,定时器会创建一个线程周期性发送这个包。
实现
TaskTimer主要有开始、停止、设置调用函数与参数,三个方法。
TaskTimer.h
1 #ifndef ...
Parasoft推出AI自主测试工具,让CI/CD流水线主动优化代码质量
自动化软件测试解决方案厂商 arasoft,发布了 Jtest 和 dotTEST 两款产品的 2025.2 版本。此次更新凭借AI技术实现了软件测试的重大突破。新版本新增三大核心能力: AI 驱动的静态分析违规自主修复、基于命令行(CLI)的自主单元测试生成,以及通过 MCP 服务器实现的 LLM(大语言模型)无缝集 ...
李超线段树
李超线段树模板及应用
李超线段树用于一系列平面上的一次函数,维护对于每一个 \(\texttt{x}\) 最大或最小的 \(\texttt{y}\) 值。
模板题
这道模板题非常全面,相比应用李超线段树的时候实现的东西要多的多:
一是给的是横纵坐标,所以斜率要用 \(\texttt{double}\) 类型,整个题的就都要考虑精度问题。
二是输出的是线段 ...
CF161D Distance in Tree + 树上背包
CF161D Distance in Tree
DP状态定义
根据子树位置\(+\)路径长度的统计设计状态。
\(Dp_{u,j}\)表示在以 \(u\) 为根的子树中,到 \(u\) 的距离恰好为 \(j\) 的节点个数。
初始化
\[dp_{u, 0}=1
\]状态转移方程式
在合并子树时来统计答案
\[ans = ans + \sum^k_{j=0}dp_{u,j} \times dp_{j,k-1-j}
\]处理完答案后再合并子树 ...
断言及静态断言
在c++11之前就已经有了断言,但是不是静态断言。
断言
断言是一种编程中常用的手段。在通常情况下,断言就是将一个返回值总是需要为真的判断表达式放在语句中,用于排除在设计的逻辑上不应该产生的情况。
一个函数总需要输入在一定的范围内的参数,那么程序员就可以对该参数使用断言,以迫使在该参数发生异常的时候程序退出 ...
【Parasoft应用案例】在 DO-178C 标准下,实现航空嵌入式软件测试自动化
对于航空航天行业的软件开发来说,DO-178C 是一份不能绕开的标准——它定义了机载软件从设计、编码、测试到验证的核心要求,是 FAA、EASA 等适航机构在认证过程中严格审核的软件规范。
一家负责关键航空导航系统的美国联邦机构(Federal Agency)在为其嵌入式系统获取 DO-178C 认证的过程中,曾遇到一系列现实挑战: ...
博弈论总结(20260201)
博弈论
ICG 游戏
若满足以下条件:
游戏由两个人参与,两人轮流做出决策且必定对自己最有利;
当有一人无法做出决策时游戏结束,无法做出决策的人输,且无论两人如何决策,游戏都一定会结束(不会出现平局)
游戏中的同一个状态不可多次抵达,任意游戏者在某一确定状态下做出的决策只与当前状态有关,而与游戏者无关
...
Parasoft是什么?Parasoft自动化测试工具与解决方案:实现规模化应用
为保持竞争力,软件必须快速迭代。团队需要能够高效运转的测试解决方案,以确保交付安全、有保障且可靠的软件。借助为团队确定这些问题优先级的Parasoft自动化测试工具与解决方案,聚焦最重要的软件问题。借助 AI 增强的测试解决方案,优化软件缺陷与漏洞的修复流程。
Parasoft免费试用申请,请联系慧都科技>>>
01 静态分 ...
嵌入式医疗软件测试:Parasoft助力客户实现 30 分钟测试周期并提升产品质量
在医疗设备软件开发中,软件质量、测试效率与安全合规性直接关系到产品能否顺利进入临床和监管审批阶段。近日,医疗科技创新企业 Kitea Health 通过集成 Parasoft 自动化测试解决方案,成功将测试周期从数小时压缩到 30 分钟内,并显著提升了嵌入式软件的质量与可追溯性,为其创新脑部植入式设备的软件开发 ...
从安全合规到商业成功:Parasoft助力安全关键自动驾驶系统斩获百万级政府合同
在航空航天等高安全级别行业中,软件质量与合规性直接关系到飞行安全与业务成败。近期,全球嵌入式软件测试知名厂商Parasoft 携手加拿大创新航空企业 Ribbit,通过 AI 驱动的自动化测试方案,为其自主飞行控制软件提供全流程质量保障,帮助 Ribbit 同时实现安全性、合规性和研发高效推进,这一实践对于嵌入 ...
模板的优化
嵌套时(比如printVector<vector<int>>)中的">>"的优化
在使用vector<int>时,本意是向模板中传入一个vector<int>类型的参数,但是编译器错误的将">>"识别为右移运算符,而不是模板参数表的结束。之前的解决方案是在">>"中间添加空格"> >"。
C++11优化了这一问题,使得不添加空格也可以正确的编译。
#include <iostream>
# ...
C++测试
1.如果在一个函数中的复合语句中定义了一个变量,则该变量( )。
A 只在该复合语句中有效
B 在本程序范围内有效
C 在该函数中有效
D 为非法变量
2.当函数的参数是普通变量时,关于函数的形参和形参,以下说法正确的是( )。\
A 实参和与其对应的形参共占用一个存储单元
B 只有当实参和与其对应的形参同名时才共占用相 ...
【案例分享】Parasoft助力智能车辆嵌入式软件符合FDA认证和IEC 62304标准
在智能移动出行领域,日本 WHILL 通过创新技术不断突破产品边界。为了让其智能短途移动设备不仅具备卓越体验,同时满足严格的医疗安全标准,WHILL 工程团队选择了Parasoft 的自动化测试解决方案,有效提升了软件质量并加速实现产品合规目标。
自动化测试解决方案Parasoft免费试用,请联系慧都科技>>>
关于 Parasoft ...