摘要：
Gap-introducing reduction 阅读全文
摘要：
问题描述 全集 $U = { e_1, e_2, ... , e_n }$ 被划分为一系列的子集 $S = { S_1, S_2, ... , S_k }$。且存在一个cost函数$c: S \rightarrow \mathbb{R}^+$。 目标是挑选子集使其覆盖所有全集 $U$ 的元素同时co 阅读全文
摘要：
23/3/14 由 P8774[蓝桥杯 2022 省 A] 爬树的甲壳虫 而来： P1226【模板】快速幂||取余运算 回顾，之前错因 %lld 写成 %d P1082 [NOIP2012 提高组] 同余方程，拓展欧几里得算法，有理数取余 3/15 P2613 【模板】有理数取余，同样是拓展欧几里得 阅读全文
摘要：
长久没用vcs，此次新装design compiler，再次用到lmgrd，报错 （snpslmd）No valid hostids,exiting （snpslmd）EXITING DUE TO SIGNAL 34 Exit reson 2 （snpslmd）snpslmd exited with 阅读全文
摘要：
默认顶层模型名称为top，环境名称为contextp const std::unique_ptr<VerilatedContext> contextp{new VerilatedContext}; const std::unique_ptr<Vxxx> top{new Vxxx{contextp.g 阅读全文
摘要：
情况 用的阿里云ECS，本地apt安装只能到12，所以采取网上说法 curl -sL https://deb.nodesource.com/setup_16.x | sudo -E bash - sudo apt-get install -y nodejs 然后遇到报错 Unpacking node 阅读全文
摘要：
最近用verilator写模块的tb，在这里卡了好久（测半天都是C++写的问题） 要点 变量从小位宽到大位宽显示类型转换（explicit cast）时的位拓展方式，取决于转换前变量的符号性。 倘若转换前为无符号，则拓展为无符号拓展；反之则为有符号拓展。至于转换后的类型，是用来标记拓展后新值符号性用 阅读全文
摘要：
使用内网穿透解决，市面上说道最多的是“花生壳” 主要操作见这篇官方说明 但其中提到的什么花生棒（第二、三点）完全不用管，应该算是产品推销。 登录后选“新增内网映射”进入界面，“映射模板”选择了SQL Server服务，“外网域名”就用修改默认的，“外网端口”不付费的话只能动态端口，“内网主机”为本机 阅读全文
摘要：
起因：BUAA校外访问内网vpn的客户端 用的学校vpn内下载的deb包EasyConnect_x64_7_6_7_3.deb，就直接sudo apt install安装了，之后应用的目录在/usr/share/sangfor/EasyConnect/中，运行报错 查找资料知，非Harfbuzz版本 阅读全文