2017 tags 09 01
kissat分析02_主要功能函数01_propagate
传播函数分布在propsearch.h、propsearch.c和proplit.c文件之中 propsearch.h #ifndef _propsearch_h_INCLUDED #define _propsearch_h_INCLUDED struct kissat; struct clause ......
kissat分析01_基本数据结构02_solver
solver在internal.h中定义 下面从使用的角度来了解solver个主要数据成员 assign.c中几个函数 static inline void kissat_assign (kissat * solver, #ifdef INLINE_ASSIGN value * values, as ......
NC19469 01串
题目链接 题目 题目描述 I used to believe We were burning on the edge of something beautiful Something beautiful Selling a dream Smoke and mirrors keep us waitin ......
day09-达人探店
功能04-达人探店 5.功能04-达人探店 5.1发布&查看探店笔记 5.1.1发布探店笔记 探店笔记类似点评网站的评价,往往是图文结合。对应的表有两个: tb_blog:探店笔记表,包含笔记中的标题、文字、图片等 tb_blog_comments:其他用户对探店笔记的评价 /*表: tb_blog ......
t01_idea消除的白框
消除idea顶部窗口上的白色标题栏 点击Hlep,找到Edit Custom VM Options...点击 添加下面一段话(如果有责显示为false责改为true): -Dide.win.frame.decoration=true 然后重启即可,如下图所示,顶部白框已经没有出现了 ......
01_JS技巧
1.判断对象数据类型 示例代码如下 const isType = (type) => (target) => `[object ${type}]` Object.prototype.toString.call(target) const isArray = isType('Array') const ......
[NOIP2017 普及组] 跳房子
这是一道很复杂有趣的题目 题目描述 跳房子,也叫跳飞机,是一种世界性的儿童游戏,也是中国民间传统的体育游戏之一。 跳房子的游戏规则如下: 在地面上确定一个起点,然后在起点右侧画 n 个格子,这些格子都在同一条直线上。每个格子内有一个数字(整数),表示到达这个 格子能得到的分数。 玩家第一次从起点开始 ......
09 ETH-智能合约
09 ETH-智能合约 强类型语言 solidity中的hash表不支持遍历。所以需要想办法来进行处理。 如何调用智能合约? 调用合约的方式: 第一种: 一个交易只能由外部账户发起,合约账户不能主动发起交易。 第二种: 第三种: 转账金额可以不给,但是汽油费是必须给的,汽油费给发去区块的矿工的。 H ......
01 ETH-以太坊概述
《区块链技术与应用》课程链接:https://www.bilibili.com/video/BV1Vt411X7JF/?spm_id_from=333.337.search-card.all.click 01 ETH-以太坊概述 比特币区块链1.0,以太坊区块链2.0。 比特币出块时间10分钟,以太 ......
09 BTC-分叉
《区块链技术与应用》课程链接:https://www.bilibili.com/video/BV1Vt411X7JF/?spm_id_from=333.337.search-card.all.click 09 BTC-分叉 fork 挖矿会产生临时性的分叉,就做state fork。 forking ......
01 BTC-密码学原理
《区块链技术与应用》课程链接:https://www.bilibili.com/video/BV1Vt411X7JF/?spm_id_from=333.337.search-card.all.click 01 BTC-密码学原理 哈希部分 签名部分 比特币加密货币(crypto-currency) ......
01 Docker基础
第一章 Docker基础 一、Docker简介 在这一部分我们主要讲两个方面: docker是什么、docker特点。 1 Docker是什么? Docker是什么? docker的中文解释是码头工人。 官方解释 Docker是一个开源的容器引擎,它基于LCX容器技术,使用Go语言开发。 源代码托管 ......
CSP2022-09
第一题 不给提示可能还真想不到,按照提示写就行 #include <cmath> #include <iostream> #include <iomanip> using namespace std; const int N = 1e6+10 ; int n,m ; int a[N],b[N],c[ ......
每日总结2023-05-01
今天继续学习了Android中的kotlin语言 初始Java语言 mport java.util.ArrayList; import java.util.List; public class Repository { private static final Repository INSTANCE ......
回溯法解决01背包问题
#include <iostream> using namespace std; struct thing { int weight;//物品重量 int value;//物品价值 int number;//物品数量 }; thing things[10];//假设最多有10个物品 int thin ......
蛮力法解01背包问题
#include <iostream> using namespace std; struct thing { int weight;//物品重量 int value;//物品价值 int number;//物品序号 }; thing things[10];//假设最多有10个物品 int thin ......
2023-05-01:给你一个整数 n , 请你在无限的整数序列 [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, ...] 中找出并返回第 n 位上的数字。 1 <= n <=
2023-05-01:给你一个整数 n , 请你在无限的整数序列 [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, ...] 中找出并返回第 n 位上的数字。 1 <= n <= 2^31 - 1。 输入:n = 11 输出:0 解释:第 11 位数字在序列 1, 2, 3, ......
分支限界法解01背包问题
#include <iostream> using namespace std; #define MAX 100 struct Node { int isVisit;//记录节点是否被扩展 double w; double v; int level; //记录节点所在的层次 double ub; / ......
2017年计算机应用专业学术硕士毕业时的部分简历——“胡编内容版本”
项目经验: 硕士期间曾参与教育部人文社会科学研究青年基金, “轻量级数据集成环境下基于语义元数据的商务智能实现技术研究“。在该项目使用100台浪潮英信服务器对运行环境进行假设,采用Hadoop大数据处理框架对1TB的语言文本资料进行自然语言分析和处理,并采用yarn架构对资源进行调配。 硕士期间曾参 ......
洛谷 P6938 - [ICPC2017 WF]Son of Pipe Stream(网络流)
见过的最怪的网络流题,没有之一。 首先新建超级源点,向 $1,2$ 各连 $\infty$ 的边。设最大流为 $A$,那么显然最优方案中 flutter 和 water 流量之和为 $A$。 先分析一波答案函数。显然,最终答案关于 flutter 的流量 $x$ 的函数 $f(x)=x^a(A-x) ......
[ABC148F] Playing Tag on Tree
2023-03-04 题目 题目传送门 翻译 翻译 难度&重要性(1~10):5 题目来源 AtCoder 题目算法 最短路 解题思路 考虑到 T 想活得久, A 想尽早追上 T ,所以我们就将问题转化为在树上找一条最长链,使得 T 能比 A 先到达这条链。 所以我们就可以在树上跑两遍单源最短路,因 ......
P01 Maven安装与配置
安装前提 本地已安装配置 JDK,可以在 cmd 窗口,输入 jave -version 进行查看 Maven 官网地址: https://maven.apache.org/ 下载地址:https://maven.apache.org/download.cgi 下载Maven包解压 下载到本地,我这 ......
自动化接口测试-01
一、为什么要进行软件接口测试? 接口是通过遵守某种约定的协议(目前最常用的是http协议),服务端提供给客户端调用的某种服务。随着服务端架构越来越复杂,从单体架构、分布式架构,演变至如今流行的微服务架构,软件接口测试也变得越来越重要。 二、软件接口测试与功能测试的区别? 首先接口测试和功能测试介入的 ......
再解 [NOI2017] 整数
提供一个来自 CF 大佬 adament 的有趣思路。 首先我们知道的是一个只增加的 $b$ 进制整数计数器,如果 $b$ 是常数那么复杂度是均摊 $O(1)$ 的。证明只需要考虑将 $b$ 进制中为 $b-1$ 的所有位的位数当成势能,那么每一次进位一定是 $b-1\to 0$ 一定会消耗势能函数 ......
吴恩达Prompt课 - 01 介绍
吴恩达和 OpenAI 一起制作了节一个半小时的,面向开发者的关于 《ChatGPT Prompt Engineering》 的课,对自己Prompt提高非常有帮助。 英文课程地址: https://www.deeplearning.ai/short-courses/chatgpt-prompt-e ......
09-react的组件传值 props
// 组件传值 props 接收传递过来的数据 import ReactDom from "react-dom" import { Component } from "react" // 类组件中使用函数组件 和 类组件 注意区分不同的组件使用不同方式接收数据 const Hellow = (pro ......
Gtk-Message: 09:56:19.551: Failed to load module "canberra-gtk-module"
解决办法 cmake make .... [100%] Built target opencv_example admin@ub:~/opencv/samples/cpp/example_cmake/build$ ./opencv_example Built with OpenCV 4.6.0 Ca ......
《代码大全2》阅读笔记01
在我的软件开发经历中,我曾经遇到过编写代码时犯的一些错误,而这些错误在《代码大全2》这本书中都有提到。 其中一个问题是过度地注释代码。我过去常常使用很多注释,认为它们可以帮助我自己和其他人更好地理解代码。 但是,在阅读这本书之后,我了解到这种做法可能会带来一些负面影响,并会让代码更难以阅读。 首先, ......
01 Recap of CG Basic
Real-time High quality Rendering 1. Graphics Pipeline 渲染管线 2. OpenGL 物体摆放 视图变换 画架画布 生成片段 片段着色 3. GLSL(OpenGL Shading Language) 4. Debugging Shaders 5. ......
blockimgdiff中方法分析01
https://blog.csdn.net/Android_2016/article/details/98947824 关于blockimgdiff文件,本篇文档将详细分析初步生成transfer对象和生成diff的字典,并对几个重要方法 进行解析. 一、传入blockimgdiff的参数分析 二、 ......