objectives you for and
[Typescript] ts-toolbelt F.Narrow preserve the exactly data for function arguement
Example code: interface Fruit { name: string; price: number; } export const wrapFruit = <TFruits extends Fruit[]>(fruits: TFruits) => { const getFruit ......
Codeforces 914H - Ember and Storm's Tree Game（计数）
我这个低能儿怎么这个题调了这么久啊，废了/dk 非常烦的做法，不过也可以看看，代码也不算太难写（ 首先注意到很诈骗的一件事情是，只要这个序列 $a$ 是单峰的或者单谷的（当然，递增递减序列也算在内），都恰有两种方式选择 $(i,op)$ 使得操作完后的序列的单调的，并且显然选树的 Ember 有必胜 ......
二维数组遍历n行，for语句的技巧
遍历二维数组第n行的时候，for语句的写法技巧 for (int i = 0; i < 12; i ++) sum += q[n][i]; 等价于 for (double x: q[n]) sum += x; 参考 https://www.acwing.com/video/4389/ ......
PHP: mysql 5.7 and php 5.6 导入记事本编号查询不了和中文乱码问题
-- https://dev.mysql.com/doc/refman/8.0/en/charset-database.html show variables like "character_set_%"; CREATE DATABASE `geovindu` CHARACTER SET utf8 ......
Educational Codeforces Round 147 (Rated for Div. 2) A~E 题解
A Link。 模拟，代码。 B Link。 模拟，代码。 C Link。 我们设 $c$ 为最后相同的字符。 性质：我们一定不会删除字符 $c$。 因此以 $c$ 为最后字符的操作次数就是不包含字符 $c$ 的极大段的最小操作次数的最大值。 对于一个长度为 $l(l\ge 1)$ 的段，它的最小操 ......
迁移学习（VMT）《Virtual Mixup Training for Unsupervised Domain Adaptation》
论文信息 论文标题：Virtual Mixup Training for Unsupervised Domain Adaptation论文作者：Takeru Miyato, S. Maeda, Masanori Koyama, S. Ishii论文来源：2019 CVPR论文地址：download ......
IDEA报错：Unsupported characters for the charset 'ISO-8859-1'
IDEA报错：Unsupported characters for the charset 'ISO-8859-1' 解决方法 File->Settings->Editor->File Encodings 将Properties Files (*.properties)下的Default encod ......
CF1477F Nezzar and Chocolate Bars 题解
题意： 有一根长为 $1$ 的巧克力，已经被切了 $m-1$ 刀被分成 $m$ 分，接下来每次在整根长度为 $1$ 的巧克力上均匀随机一个点切一刀，求每一小段巧克力长度均小于一个给定值 $K$ 需要的期望次数。 引理：Irwin-Hall 分布：对于 $n$ 个在 $[0,1]$ 内均匀分布的实数随 ......
Codeforces 894D Ralph And His Tour in Binary Country
预处理出对于 $u$ 节点其子树内节点（包括 $u$）与 $u$ 的距离，从小到大排序得到 $ds_u$ 同时对 $ds_u$ 进行前缀和处理 $dh_{u, i} = \sum\limits_{j = 1}^{i} ds_{u, j}$ 这样设 $tot$ 为 $ds_u$ 二分得到的 $ds_{ ......
Codeforces 1229B Kamil and Making a Stream
$\gcd$ 一个性质：对于正整数 $x$， 重复 $x\leftarrow \gcd(x, i)$（$i\ge 0$）直到 $x = 1$，$x$ 出现的值个数上限为 $\log_2(x)+1$ 证明：考虑到 $x$ 是逐渐变小，则在 $x$ 变小的情况下，对于 $x = \prod_{i=1}^ ......
Handling Information Loss of Graph Neural Networks for Session-based Recommendation
Chen T. and Wong R. C. Handling information loss of graph neural networks for session-based recommendation. KDD, 2020. 概 作者发现图用在 Session 推荐中存在: lossy ......
论文阅读-sparse gpu kernels for deep learning
论文地址：https://ieeexplore.ieee.org/document/9355309 源码地址：https://github.com/google-research/sputnik 背景 深度神经网络由大量的矩阵乘法运算和卷积运算组成，这些运算中使用的矩阵可以转化成稀疏矩阵，同时不损失 ......
[ABC145E] All-you-can-eat
2023-02-25 题目 题目传送门 翻译 翻译 难度&重要性(1~10):5 题目来源 AtCoder 题目算法 背包dp 解题思路 设 $dp_i$ 为最后一道菜在第 $i$ 时吃完的最大美味值。 所以得到式子：$dp_i=max(dp_{i-a_j}+b_j,dp_i)\ (a_j\le i ......
SystemVerilog for Design Edition 2 Chapter 3
SystemVerilog for Design Edition 2 Chapter 3 SystemVerilog extends Verilog’s built-in variable types, and enhances how literal values can be specified ......
SystemVerilog for Design Edition 2 Chapter 2
SystemVerilog for Design Edition 2 Chapter 2 SystemVerilog Declaration Spaces Verilog only has limited places in which designers can declare variables ......
SystemVerilog for Design Edition 2 Chapter 1
SystemVerilog for Design Edition 2 Chapter 1 Introduction to SystemVerilog: This chapter provides an overview of SystemVerilog. The topics presented i ......
SystemVerilog for Design Edition 2 Catalog
SystemVerilog for Design Edition 2 Catalog Part 10: The 2022 Wilson Research Group Functional Verification Study - Verification Horizons (siemens.com) ......
Grids for mac(Instagram客户端工具)v8.5.5免注册版
Grids for Mac 是一款允许您在桌面上访问 Instagram 的应用程序。使用网格，您可以像在手机上一样查看您的 Instagram 提要、故事和探索页面。您还可以发布照片和视频，对帖子点赞和评论，以及向其他用户发送直接消息。 Grids 具有简洁、直观的界面，易于使用。它还提供了多种自 ......
vue3 vueRouter4 ：No match found for location with path ***
0. 采用vue+ router4 做路由导航. 首次载入控制台很干净. F5刷新后,控制台爆出警告,但点击路由正常工作. 1. 经过排查发现,是menu中使用了 <router-link> 这玩意,后来改造成 @click="router.push(ele.path)" 即可消除警告 2. 网络上 ......
为什么 Go for-range 的 value 值地址每次都一样？
原文链接： 为什么 Go for-range 的 value 值地址每次都一样？ 循环语句是一种常用的控制结构，在 Go 语言中，除了 for 关键字以外，还有一个 range 关键字，可以使用 for-range 循环迭代数组、切片、字符串、map 和 channel 这些数据类型。 但是在使用 ......
Deep Dynamics Models for Learning Dexterous Manipulation
**发表时间：**2019 (CoRL 2019) **文章要点：**文章提出了一个online planning with deep dynamics models (PDDM)的算法来学习Dexterous multi-fingered hands，大概意思就是学习拟人的灵活的手指操控技巧。大概 ......
Object-oriented Programming
Object-oriented Programming Source: What Is Object-Oriented Programming (OOP)? A Complete Guide What is OOP Object-oriented programming is a programmi ......
Django4全栈进阶之路22 项目实战（三种方式开发部门管理）：方式三：FBV+ModelForm+get_object_or_404
1、视图 @login_required def department_list_view(request): departments = Department.objects.all() return render(request, 'base/depart/department_list.htm ......
An Image Is Worth 16x16 Words: Transformers For Image Recognition At Scale
模型如下图所示: 将H×W×C的图像reshape成了N×(P2×C),其中(H,W)是图像的原始分辨率,C是通道数,(P,P)是每个图像块的分辨率,N=H×W/P2为图像块的数量,将一个图像块使用可学习的线性层映射到维度为D的隐藏向量,如式(1)所示,线性映射的输出称为patch embeddin ......
Codeforces 1815E - Bosco and Particle
首先，对于每个 $s_i$，我们只用保留其最小周期，证明显然。 同时以多个光电门为研究对象显然状态数过多，不方便统计。考虑一下连接不同光电门的纽带是什么：显然是相邻光电门之间的空隙。对于每个光电门 $i$，如果我们只保留 $i$ 作为唯一的光电门，那么显然有 $0\to 1$ 和 $1\to 2$ ......
cpp future,get,sleep_for,third variable
#include <chrono> #include <condition_variable> #include <ctime> #include <fstream> #include <future> #include <iomanip> #include <iostream> #include ......
Educational Codeforces Round 145 (Rated for Div. 2)
Preface 补题 A~D都能秒出，E没看出性质被薄纱了，F感觉是个丁真题随便讨论下就过了 后面看了下F的标算是个倍增，感觉Tutorial对性质挖掘的还不够的说 A. Garland SB题，设出现次数最多的颜色个数为$cm$，若$cm\le 2$则答案为$4$；若$cm=3$则答案为$6$，若 ......
Java的Object类
Object 类 Object 类是 Java 中所有类的始祖，在 Java 中每个类都是由它扩展而来的。但是并不需要这样写：public class Employee extends Object 如果没有明确地指出父类，Object 就被认为是这个类的父类。 所有的数组类型，不管是对象数组还是基 ......
SWEN20003 Object Oriented软件开发
SWEN20003 Object Oriented Software Development Project 2, 2023The University of MelbourneSchool of Computing and Information SystemsSWEN20003 Object O ......