- 博客(12)
- 资源 (2)
- 问答 (2)
- 收藏
- 关注
RSS订阅原创 Linux 安装gitlab | 端口配置
GitLab是由GitLab Inc.开发，使用MIT许可证的基于网络的Git仓库管理工具，且具有wiki和issue跟踪功能。 GitLab 由乌克兰程序员Dmitriy Zaporozhets 和 Valery Sizov 开发，它由Ruby 写成。后来，一些部分用Go 语言重写。为了开发项目，尝试在私有服务器上安装gitlab。这里使用docker安装。官方网站上有quick...
2019-04-04 20:37:42
1090
原创 Win 10 Anaconda 网络错误
执行新建环境报错：conda create -n xxx错误：Solving environment: failedCondaHTTPError: HTTP 000 CONNECTION FAILED for url <https://repo.anaconda.com/pkgs/r/noarch/repodata.json.bz2>Elapsed: -A...
2019-03-15 12:11:41
965
原创 快速排序时间复杂度 简明分析（平均/最坏/with high probabilty）
最近研究随机算法，发现快速排序作为一种入门算法，分析其时间复杂度还是很有趣的。首先，证明其最坏时间复杂度为 是很容易的。证明其平均时间复杂度的期望是也有很多不同方式。这里介绍两种简单的方式。需要说明的是，这里的快排是随机化的排序算法。因此对于任意输入，其期望的时间复杂度都是相同的。首先是比较容易的方式。我们假设算法的输入是有序序列<a1,a2,a3,a4...,an>的一个...
2019-02-05 14:23:08
8915
原创 Median of Two Sorted Arrays（Leetcode 4）| 时间复杂度一定大于空间复杂度？| 题解
近日刷到Leetcode 4题目。感觉这个题目作为标记hard的题目，还是很有意思的。题目如下：There are two sorted arrays nums1 and nums2 of size m and n respectively.Find the median of the two sorted arrays. The overall run time complexity shoul...
2018-03-16 21:31:49
296
原创 python爬虫得到谷歌学术搜索结果
python 爬虫实现本文使用python3 实现从谷歌学术获得搜索结果模拟浏览器发送请求网络访问的模型使用请求应答的模型。客户端发送请求，浏览器相应请求。使用chrome浏览器获得请求方式在f12开发者模式下，查看请求头，发现是使用get方法。复制为url得到请求内容 为了模拟浏览器，所以使用headers。 在headers中可以将cookies删除，测试不影响...
2018-03-16 21:14:31
11646
7
原创 ACM-ICPC 2014 WF --UVALive 6770 - Baggage
感觉构造，需要有3，4，5，6，7的特例，然后n就可以转化为n-4的解
2018-03-16 21:12:48
436
原创 ACM-ICPC 2014 WF problem a
ACM-ICPC 2014 WF problem a构造，需要有3，4，5，6，7的特例，然后n就可以转化为n-4的解6，7 的解凑了好久，然后3 也凑了好久，最后编程穷举算出来。。。直接上代码吧#include <iostream>using namespace std;void out(int a, int b){ cout << a << " to " << b << endl;
2017-05-21 16:16:37
520
原创 2016-2017 acm-icpc neerc moscow subregional contest l题题解
题目大意：就是在不同时间放入和取出小球。算出每个小球生存时间的期望如果直接用递归算会超时。。。这里可以算出生存时间是是一个线性函数。展开之后就可以发现有O(n)的方法解决。代码：#include #include #include #include #include #include #define REP(i,a,b) for(int i=a;i<=b;i+
2016-11-02 18:30:15
1441
原创 题解：Mischievous Mess Makers
time limit per test 1 secondmemory limit per test 256 megabytesinput standard inputoutput standard outputIt is a balmy spring afternoon, and Farmer John's n cows are
2016-05-18 09:48:18
624
原创 数理逻辑（7 0 0） 直接证明与演绎
取公理体系为:L1:p->(q->p)L2:(p->(q->r))->((p->q)->(p->r))l3:(~p->~q)->(q->p)证明使用MP规则：p;p->q;q很多时候一条命题使用演绎定理很简单，而直接证明不容易构造;那么，是否存在一种能够通过演绎定理找出直接证明的方法？显然，在大多数时候是存在的;这要从演绎定理的合理性谈起;对于演绎定理前
2016-03-26 23:51:42
1766
原创 利用huffman树实现字符文档的压缩
huffman树压缩字符文档，就是将8bit的字符根据出现频率进行重新编码，使编码之后每个字符的编码在文件读入时都能被唯一确定。故字符的编码必须是不头包含的。huffman树是一种简单的压缩编码方式。本文将采用c语言实现。编译环境为gcc4.9.2，故可以采用c++的引用传递使代码更加简单。首先，先编一个头文件“huffman.h”实现实现huffman树的基本操作，代码：#i
2015-11-18 13:08:24
675
原创 ISE verilog 错误及解决记录（不定期更新）
初学verilog，故常常有各种ERROR和WARNING。记录一下平时自己遇到的问题，希望有用。。。REEOR1：Port connections cannot be mixed ordered and named原因：module和endmodule没有匹配。（有时候网上复制下来的代码常常会出现这样的问题）REEOR2：//待写//待写原因：
2015-11-17 12:35:51
13833
Openssl for windows 64位 完整安装包
2019-03-15
ISE RAM IP核如何实现异步读取
2016-04-24
关于verilog 调用函数时多维位宽接口
2016-03-06
TA创建的收藏夹 TA关注的收藏夹
TA关注的人