liquidhaskell-amortized-complexity:我在WIP上发表的有关使用LiquidHaskell证明摊...

preview
共16个文件
hs：7个
md：3个
yaml：2个
Haskell
需积分: 5 0 下载量 45 浏览量 2021-04-12 17:43:24 上传 评论 收藏 13KB ZIP 举报
资源详情
资源评论
评论 收藏
张岱珅
  • 粉丝: 44
  • 资源: 4690
上传资源 快速赚钱
voice
center-task 前往需求广场，查看用户热搜

相关推荐

zip

算法导论第三版 solution（英文版）

目前最全的算法导论第三版的答案 清晰度极好 另每章都有章节重点总结 在第二版基础上新增习题的解答详尽清楚 很适合 用这本经典教材的同学！ Contents Revision History R-1 Preface P-1 Chapter 2: Getting Started...
star 4星 · 用户满意度95%
zip

word源码java-Play-with-Algorithm-Interview-Learningnotes:Play-with-Algori

均摊时间复杂度分析（Amortized Time Analysis） 2-7 避免复杂度的震荡 第三章：数组中的问题其实最常见 3-1 从二分查找法看如何写出正确的程序 3-2 改变变量定义，依然可以写出正确的算法 3-3 在LeetCode上解决第一...
zip

javalruleetcode-The-Ultimate-Guide-To-Algorithm:算法的终极指南

对于数据结构可视化，这个网站可能会有所帮助（它解决的方法可能与这个页面不同）： 摊销与平均运行时间？ 当情况是随机的（不可预测的）时，通常使用平均。 Amortized 通常用于情况可预测但由于某些缓慢情况（可...
application/x-rar

高级数据结构PPT 英文版

英文版高级数据结构PPT，内容包括： Amortized complexity (Web) External sorting & tournament trees (Sections 7.10.1, 7.10.2, and 5.8) Buffering (Section 7.10.3) Run generation & optimal merge ...
pdf

摊还分析（Amortized analysis）

国外给出的摊还分析（Amortized analysis）示例以及解析
chm

算法导论（英文第2版）

包括基本的数据结构，排序算法等。 Table of Contents Introduction to Algorithms, Second Edition Preface Part I - Foundations Chapter 1 - The Role of Algorithms in Computing Chapter 2 - Getting...
zip

leetcode双人赛-DataStructure:基于Java的数据结构

数据结构研究的是数据如何在计算机中组织和存储，使得我们可以高效地获取数据和修改数据. 我们需要根据应用场景的不同，灵活选择最合适的数据结构. 算法与数据结构的核心是时间与空间之间的平衡. 以下为根据数据结构...
pdf

数据结构Advanced-Data-Structures

数据结构原本，大一统，外文书原版 Data structures Contents Articles Introduction 1 Data structure 1 Linked data structure 3 Succinct data structure 6 Implicit data structure 8 Compressed data structure...
zip

js-fibonacci-heap：JavaScript的斐波那契堆数据结构

Fibonacci用于JavaScript的堆数据结构。 参见 。 父母是 。 :warning: 该代码要求定义regeneratorRuntime ，例如，通过导入 。 let heap = new FibonacciHeap ( compare . increasing ) ; 参考
application/octet-stream

[麻省理工学院-算法导论](英文版).chm

Chapter 17 - Amortized Analysis Part V - Advanced Data Structures Chapter 18 - B-Trees Chapter 19 - Binomial Heaps Chapter 20 - Fibonacci Heaps Chapter 21 - Data Structures for Disjoint ...
star 4星 · 用户满意度95%
application/octet-stream

麻省理工算法导论（完整精辟版）

Chapter 17 - Amortized Analysis Part V - Advanced Data Structures Chapter 18 - B-Trees Chapter 19 - Binomial Heaps Chapter 20 - Fibonacci Heaps Chapter 21 - Data Structures for Disjoint ...
application/octet-stream

【麻省理工大学】算法导论

Chapter 17 - Amortized Analysis Part V - Advanced Data Structures Chapter 18 - B-Trees Chapter 19 - Binomial Heaps Chapter 20 - Fibonacci Heaps Chapter 21 - Data Structures for Disjoint ...
application/octet-stream

[麻省理工学院-算法导论].Introduction.to. Algorithms,.Second.Edition

Chapter 17 - Amortized Analysis Part V - Advanced Data Structures Chapter 18 - B-Trees Chapter 19 - Binomial Heaps Chapter 20 - Fibonacci Heaps Chapter 21 - Data Structures for Disjoint ...
star 5星 · 资源好评率100%
zip

高级数据结构与算法分析 答案

Mark Allen Weiss著，陈越改编的经典教材，C语言版的数据结构与算法分析（第2版）。人民邮电出版社出版。 目录 1. Chapter 1: Introduction ...................................... 1 2. Chapter 2: Algorithm ...
star 5星 · 资源好评率100%
default

Qt 5实现串口调试助手 （源工程文件、0积分下载）

基于Qt 5实现串口调试助手，程序仅供参考，修改了之前十六进制接收0xA0--0xFF有误的问题，新增了窗口自适应（ui文件设置栅格），文件详情可看博客链接https://blog.csdn.net/m0_51294753/article/details/121405661。
star 5星 · 资源好评率100%
pdf

【SystemVerilog】路科验证V2学习笔记（全600页）.pdf

SystemVerilog的听课学习笔记，包括讲义截取、知识点记录、注意事项等细节的标注。 目录如下： 第一章 SV环境构建常识 1 1.1 数据类型 1 四、二值逻辑 4 定宽数组 9 foreach 13 动态数组 16 队列 19 关联数组 21 枚举类型 23 字符串 25 1.2 过程块和方法 27 initial和always 30 func
star 5星 · 资源好评率100%
zip

AutoSAR标准协议4.2.2

AutoSAR标准协议规范4.2.2，里面包含了AutoSAR组织所规定的AutoSAR架构的标准规范协议原文档。对AutoSAR的学习有一定的借鉴意义
star 5星 · 资源好评率100%
rar

光伏-储能并网系统仿真.rar

该文件是清华大学储能课的期末大作业。用SIMULINK搭建了一个完整的光伏-储能并网系统。我的博客中介绍了系统实现的具体方法，欢迎查看！
star 5星 · 资源好评率100%
zip

NPPJSONViewer.zip

NodePad++ JSON格式化插件
star 4星 · 用户满意度95%
pdf

GD32替换STM32注意事项.pdf

GD32 介绍与 STM32 兼容性汇总。STM32的代码直接在GD32上运行需要小部分的修改。按教程做对应修改就行哈。
star 3星 · 编辑精心推荐
zip

XCP协议的规范文档

XCP协议的原规范文档，主要包含了Part1-5共5个部分，其中第三部分又分为CAN、以太网和Sxl等。对于XCP协议的开发者和学习者有借鉴意义
star 5星 · 资源好评率100%
zip

VS2015安装证书，JavaScript_ProjectSystem.msi，JavaScript_LanguageService.msi

vs2015.iso包安装，不然会卡在安装包丢失或损坏
star 3星 · 编辑精心推荐
zip

CANoe通过CAPL脚本实现自动测试

现在汽车行业用vector的工具进行自动测试，但是该自动测试模板很少，本案例是分享CAPL脚本自动化测试的模板，和自动控制测试步骤的XML模板，使用过程可以通过本人分享的文档来实现工程的建立到自动测试的完成。通过CAPL脚本+XML控制测试步骤，实现自动测试，生成测试报告。
pdf

蓝牙BLE协议中文版.pdf

蓝牙BLE协议中文版，帮助初学者更快掌握协议内容。协议为SIG官方协议的中文版，所有协议内容均与英文原版协议内容保持一致
zip

BaiduOCR.zip

按键精灵百度文字识别 自定义库 使用说明参考：https://blog.csdn.net/sinat_22215253/article/details/118272746
star 5星 · 资源好评率100%
pdf

AD20官方中文教程.pdf

官方提供的入门教材，其中重点讲解了一个简易电路板的开发过程，从元器件的选择，元器件的布置，到最后的产品输出，比较完整的一个实例，适合初次使用软件的开发人员使用。
pdf

电路分析基础第二版PDF电子书免费下载

《21世纪高等院校信息与通信工程规划教材：电路分析基础（第2版）》以电路理论的经典内容为核心，以提高学生的电路理论水平和分析解决问题的能力为出发点，以培养“厚基础、宽口径、会设计、可操作、能发展”，具有创新精神和实践能力人才为目的。《21世纪高等院校信息与通信工程规划教材：电路分析基础（第2版）》较全面地阐述了电路的基本理论，并适当引入电路新技术。内容遵从先易后难，由浅入深，循序渐进的原则。主要包
star 5星 · 资源好评率100%
zip

七参数坐标转换工具（可在WGS84、北京54、西安80、CGCS2000坐标系中任意两个转换）

七参数坐标转换工具（可在WGS84、北京54、西安80、CGCS2000坐标系中任意两个转换），也可以自定义参数转换
rar

完整版 Microsoft.ACE.OLEDB.12.0 驱动下载.rar

亲测好用，挺不错的资源，大家快来下载吧！挺有用的！需要的话可以来下载哦！Microsoft.ACE.OLEDB.12.0驱动下载，解决 未在本地计算机上注册“Microsoft.ACE.OLEDB.12.0”提供程序，权限问题
star 5星 · 资源好评率100%