theory专题
LEAN 类型理论之注解（Annotations of LEAN Type Theory）—— 定义上相等（Definitional Equality）
定义上相等（Definitional Equality）指的是意义上相等，即同义，包括了，定义的缩写（Abbreviatory Definition），alpha转换，相同替代（substituting equals for equals）等。下面是LEAN给定的何谓 定义上相等。 注：罗列的推演规则中，如自明其义的，则不多加解析其前提、结果、或特定注解。
day58-graph theory-part08-8.29
tasks for today： 1. 拓扑排序 117.软件构建 2. dijkstra算法 47.参加科学大会 --------------------------------------------------------------------------------- 1. 拓扑排序 117.软件构建 In this practice, it involves mainly t
day57-graph theory-part07-8.28
tasks for today: 1. prim算法 53.寻宝 2. kruskal算法 53.寻宝 ---------------------------------------------------------------------------- 1. prim算法 53.寻宝 In this practice, we see how prim algorithm is use
day56-graph theory-part06-8.26
tasks for today: 1. 108.冗余连接 2. 109.冗余连接II --------------------------------------------------------------------------------- 1. 108.冗余连接 in this practice, there is a rule needed to be identified:
2013年北京师范大学新生程序设计竞赛网络赛--D. Number theory
D. Number theory Time Limit: 1000ms Case Time Limit: 1000ms Memory Limit: 65536KB 64-bit integer IO format: %lld Java class name: Main Submit Status PID: 34055 Font Size:
day53-graph theory-part04-8.24
tasks for today: 1. 110.字符串接龙 2. 105.有向图的完全可达性 3. 106.岛屿的周长 ------------------------------------------------------------------------------------ 1. 110.字符串接龙 the shitty configuration on kc web i
day52-graph theory-part03-8.23
tasks for today: 1. 101.孤岛总面积 2. 102.沉默孤岛 3. 103.水流问题 4. 104.建造最大岛屿 -------------------------------------------------------------------------------------- 1. 101.孤岛总面积 pay attention to the requ
Theory of Cryptography (TCC 2020)
分类文章编号格和加密1-8区块链9-15隐私保护、密钥交换和群组协议16-22简明论证23-29零知识30-36安全计算37-49最有影响力论文50量子和采样51-57信息论密码学和理想模型58-64秘密分享和编码65-71 LWE and Encryption 1. Lossiness and Entropic Hardness for Ring-LWE Zvika Brakerski,
Game Theory In Competitive Programming|Part2（原创）
在上一个Part部分，我们介绍了Bash game、Nim game、Misere Nim game 这三个游戏的玩法、必胜策略，以及必胜策略的证明，并介绍了有关必胜态以及必败态的两条定理，接下来我们会以Part1为基础，深挖其中的理论。 文章目录 1、Grundy Numbers/Numbers and Mex的引入定义Mex定义运算Mex(set) 2、Sprague-Gru
Game Theory In Competitive Programming|Part1 (原创)
Game Theory In Competitive Programming|Part1 在算法竞赛中，博弈论是一个经常出现的题目类型。通常是两个人在给定规则下，每个人都按照最优策略进行博弈，我们的任务是找出获胜者。这通常是贪心算法、动态规划等算法的混合。下面，将对博弈论中的一些经典问题进行讨论。 文章目录 Game Theory In Competitive Programmin
Elements of Information Theory
版权声明：原创作品，允许转载，转载时请务必以超链接形式标明文章原始出版、作者信息和本声明。否则将追究法律责任。 http://blog.csdn.net/topmvp - topmvp Elements of Information Theory, Second Edition, covers the standard topics of information theory, such as
Code Design for Dependable Systems: Theory and Practical Applications
版权声明：原创作品，允许转载，转载时请务必以超链接形式标明文章原始出版、作者信息和本声明。否则将追究法律责任。 http://blog.csdn.net/topmvp - topmvp Theoretical and practical tools to master matrix code design strategy and technique Error correcting a
Uncertainty and Information: Foundations of Generalized Information Theory
版权声明：原创作品，允许转载，转载时请务必以超链接形式标明文章原始出版、作者信息和本声明。否则将追究法律责任。 http://blog.csdn.net/topmvp - topmvp Deal with information and uncertainty properly and efficiently using tools emerging from generalized info
Software Evolution and Feedback: Theory and Practice
版权声明：原创作品，允许转载，转载时请务必以超链接形式标明文章原始出版、作者信息和本声明。否则将追究法律责任。 http://blog.csdn.net/topmvp - topmvp Society is becoming increasingly dependant on software at all levels of human activity. At the same tim
Data Clustering: Theory, Algorithms, and Applications
版权声明：原创作品，允许转载，转载时请务必以超链接形式标明文章原始出版、作者信息和本声明。否则将追究法律责任。 http://blog.csdn.net/topmvp - topmvp Cluster analysis is an unsupervised process that divides a set of objects into homogeneous groups. This b
Game Sound: An Introduction to the History, Theory, and Practice of Video Game Music and Sound Desig
版权声明：原创作品，允许转载，转载时请务必以超链接形式标明文章原始出版、作者信息和本声明。否则将追究法律责任。 http://blog.csdn.net/topmvp - topmvp A distinguishing feature of video games is their interactivity, and sound plays an important role in th
Codeforces Round #594 (Div. 2) Ivan the Fool and the Probability Theory(DP)
题目链接：https://codeforces.com/contest/1248/problem/C 题目大意：n*m的长方形中，一共有两种颜色，问每一个块相邻最多有一个与之相同颜色的块的染色方案数 题目思路：想了好久想不出来..真的丢人啊！挺水的一个题.......首先我们可以发现，如果有相邻两块颜色一样，那么他们下一行一定是确定的，因为这两块的下面两个块颜色不能与之相同，直角是
UCB CS162 Stanford CS144 Information Theory(Math monk)
文章目录 1 Introduction2 History and Structure of OS3 Concurrency: processes, threads, and address spaces4 thread dispatching(派遣)1 IP service model2 TCP service model 1 Introduction http://inst.e
理解Mean-Variance Portfolio Theory In MPT
Markowitz Mean-Variance Portfolio Theory An investment instrument that can be bought and sold is often called an asset. Suppose we purchase an asset for x 0 x_0 x0 dollars on one date and then late
Dempster-Shafer Theory
最近开始研究 Dempter-Shafer Theory。 Wikipedia上好像说的很详细。 http://en.wikipedia.org/wiki/Dempster-Shafer
什么叫聊天中信息传达的框架效应framing effect，或展望理论Prospect theory
什么叫聊天中信息传达的框架效应，或展望理论 设计不能为产品带来良好体验？可能是你不懂心理学 框架效应- 维基百科，自由的百科全书 框架(社会科学)-展望理论 - 经济百科 jingjibaike · 3 Answer 框架效应The theory of framing effects是指人们对信息的理解和决策会受到信息呈现方式的影响，从而产生不同的行为或态度。这种效应在不同领域
博弈论入门（Game Theory）
博弈论（Game Theory） 一、巴什博弈（Bash Game）操作：代码：例题：1.Brave Game2. kiki's game 二、威佐夫博弈（Wythoff Game）操作：代码：例题：1.取石子游戏 三、尼姆博弈论（Nim Game）操作：代码：例题：1. Being a Good Boy in Spring Festival 四、斐波那契博弈论操作：代码：例题：1.
1.2 Probability Theory （下）
今天开始学Pattern Recognition and Machine Learning (PRML)，章节1.2，Probability Theory （下） 今天开始学Pattern Recognition and Machine Learning (PRML)，章节1.2，Probability Theory （下） 今天把1.2写完，这一节讲了很多重要的基础内容。 1.2.3 贝
李宏毅deep learning theory P1 can shallow network fit any function
shallow的network已经可以fit any function，deep的有什么优势 deep的network和shallow训练出来的有什么不同 1. can shallow network fit any function? 用神经网络去拟合一个L-lipschitz的函数，使得最大的差值error小于epsilon，需要分L/epsilon个
博弈论 斯坦福game theory stanford week 5.1_
title: 博弈论 斯坦福game theory stanford week 5-1 tags: note notebook: 6- 英文课程-15-game theory --- 博弈论 斯坦福game theory stanford week 5-1 练习 1. Question 1 Two players play the following normal form game. 1
VC Theory: Hoeffding Inequality
之前提过的 Professor Yaser Abu-Mostafa 的机器学习课程在 Lecture 5、6、7 三课中讲到了 VC Theory 的一些内容，用来回答他在课程中提到的“Can We Learn？”这个问题。更具体地来说，他这里主要解决了 binary classification 问题中的 Learnability 的问题，结论就是：如果 hypothesis space