行而上

2024年12月17日

摘要：数字签名方案的定义消息的真实性在公钥加密的环境下是比私钥环境更重要的问题，因为在公钥加密中任何人都可以加密消息并发送给接收方。类比消息认证码MAC，在非对称密码学中我们用数字签名(digital signature)来做消息认证。定义如下：一个数字签名方案是一个三元组\((\text{Gen}, 阅读全文

posted @ 2024-12-17 02:46 行而上阅读(212) 评论(0) 推荐(0)

公钥加密

摘要：寻求新的解决方案在私钥加密的背景下，我们假设消息的发送方与接收方提前约定了只有双方知道的密钥。然而，私钥的约定必须提前在一个安全的信道上完成，这在很多时候是不方便甚至无法实现的。考虑\(n\)个人的团队需要安全地互相通信的场景。如果需要用私钥加密保证团队中的人两两能够安全通信，那么每个人都要提前阅读全文

posted @ 2024-12-17 02:45 行而上阅读(177) 评论(0) 推荐(0)

哈希函数

摘要：密码学中的哈希函数(hash functions)和通常意义下的哈希函数一样，都起到“把复杂对象映射到简单对象”的功能。从二进制串的角度，哈希函数能把长的二进制串映射到短的二进制串。抗冲突性(Collision Resistance) \(\newcommand{\A}{\mathcal{A}}\ 阅读全文

posted @ 2024-12-17 02:45 行而上阅读(149) 评论(0) 推荐(0)

2024年9月12日

夏目漱石《草枕》

摘要：一 01 一边在山路攀登，一边这样思忖。发挥才智，则锋芒毕露；凭借感情，则流于世俗；坚持己见，则多方掣肘。总之，人世难居。愈是难居，愈想迁移到安然的地方。当觉悟到无论走到何处都是同样难居时，便产生诗，产生画。创造人世的，既不是神，也不是鬼，而是左邻右舍的芸芸众生。这些凡人创造的人世尚且难居，还有阅读全文

posted @ 2024-09-12 03:17 行而上阅读(235) 评论(0) 推荐(0)

2024年8月20日

认证加密

摘要：我们已经独立地讨论了“安全”的两个方面：保密性与真实性。现在我们要考虑如何构造一个能够兼顾两个方面的安全性的方案。选择密文攻击(Chosen-Ciphertext Attacks, CCA) 我们回到普通的私钥加密的场景，这里只有消息\(m\)和私钥\(k\)，没有标签\(t\)。在只考虑被动的没阅读全文

posted @ 2024-08-20 00:44 行而上阅读(331) 评论(0) 推荐(0)

2024年8月16日

消息认证码

摘要： \(\newcommand{\A}{\mathcal{A}}\)在上一章里当我们讨论“安全(security)”时，其实我们指的是消息的保密性(secrecy)。消息具有保密性，是指具有防止被一个窃听者得知其内容的能力。但有时相比于保密性，我们更在意消息的真实性(authetication)。例如在阅读全文

posted @ 2024-08-16 03:44 行而上阅读(215) 评论(0) 推荐(0)

2024年8月9日

私钥加密

摘要： "What's that you are reading?" "It's about Crytography." "Like secret messages?" "Not secret, that's the brilliant part. Messages that anyone can see 阅读全文

posted @ 2024-08-09 21:29 行而上阅读(222) 评论(0) 推荐(0)

2024年5月28日

代数结构10 域

摘要：域的基本概念如果一个代数结构有加法运算和乘法运算，且存在加法和乘法的单位元，所有元素关于加法是阿贝尔群，所有非零元素关于乘法也是阿贝尔群，这个代数结构就称为域。域一定是整环，因为所有非零元素都有乘法逆元，所以不可能有零因子。我们特别要求，在域中加法和乘法的单位元不能相等。在这样的要求下，最小的域是阅读全文

posted @ 2024-05-28 21:46 行而上阅读(596) 评论(0) 推荐(0)

2024年5月20日

代数结构09 整环

摘要：整环是无零因子的有幺交换环。整环可以看作对整数环\(\Z(+,\cdot)\)的抽象。相比于一般的环，整环这一抽象保留了整数环中“整除”的概念，使得我们能够讨论其元素的“因子”与“分解”。多项式环在讨论整环之前，我们先特别讨论一下多项式环。给定环\(R\)，可以给出多项式环\(R[x]=\{a_ 阅读全文

posted @ 2024-05-20 21:23 行而上阅读(716) 评论(0) 推荐(0)

2024年5月17日

Zorn's Lemma

摘要： Zorn's Lemma陈述如下：在偏序集\(P\)中，如果\(P\)的每一条链都有一个\(P\)中元素作为上界，那么\(P\)中存在极大元。 Proof 反证法，假如\(P\)中没有极大元。那么对于\(P\)的任意一条链\(C\subseteq P\)，我们一定能在\(P\setminus C\) 阅读全文

posted @ 2024-05-17 21:07 行而上阅读(281) 评论(0) 推荐(0)

2024年5月9日

单纯形法的平滑分析

摘要：我们采用这样的形式来讨论线性规划：\(\max c^\top x\) subject to \(Ax\leq b\)，其中\(x,c\in \R^n\)，\(A \in \R^{m\times n},b\in \R^m\)。其中\(P=\{x\mid Ax\leq b\}\)称为可行域，是\(\R^ 阅读全文

posted @ 2024-05-09 23:26 行而上阅读(267) 评论(0) 推荐(0)

2024年5月7日

线性模型

摘要：机器学习(Machine Learning)是指面对一个特定问题，我们不直接给出特定的算法，而是通过某种方式让计算机自身获得一个解决这个特定问题的算法的编程模式。机器学习面对的问题主要有两种，一种称为监督学习(Supervised Learning)，一种称为非监督学习(Unsupervised L 阅读全文

posted @ 2024-05-07 20:36 行而上阅读(72) 评论(0) 推荐(0)

2024年5月6日

黑塞《盖特露德》

摘要： P130 我知道父亲喜欢带点哲学性质的话题，所以我比以往更亲近他，高兴地听他诉说那些经验丰富又实用的生活智慧。我向他诉说了一些我的烦忧，这是我以前因为害臊而从来没做过的事。这时，我脑海里浮现出一句莫德的名言，便说给父亲听。莫德曾经说过——虽不是认真的——他觉得青春年华是人生中最痛苦的一段时光，他认为阅读全文

posted @ 2024-05-06 14:35 行而上阅读(69) 评论(0) 推荐(0)

2024年5月4日

代数结构08 环的基本性质

摘要：环环的定义与基本性质下面我们定义一种新的代数结构。如果一个集合\(R\)上有两种二元运算\(+\)与\(\cdot\)分别满足\((R,+)\)构成一个交换群，\((R,\cdot)\)满足封闭性和结合律，同时加法对乘法满足分配律（\(\forall a,b,c\in R,a\cdot (b+c 阅读全文

posted @ 2024-05-04 00:35 行而上阅读(2030) 评论(0) 推荐(0)

2024年5月3日

支持向量机

摘要： SVM 在二分类问题的逻辑回归中，我们训练出向量\(\beta\)，使得我们能够用\(\dfrac{1}{1+e^{-X_i^\top \beta}}\)来作为样本\(X_i\)被分类为\(y_i=1\)的概率。我们知道sigmoid函数是单调函数，因此实际上我们是在关注\(X_i^\top \be 阅读全文

posted @ 2024-05-03 00:35 行而上阅读(69) 评论(0) 推荐(0)

2024年4月21日

代数结构07 群的直积

摘要：外直积与内直积(External Direct Product & Internal Direct Product)\(\newcommand{\ord}{\text{ord}}\) 定义与性质假设我们有两个群，它们可以是毫不相关的，记为\(H,K\)。我们可以用笛卡尔积的方式生成二元组的集合\( 阅读全文

posted @ 2024-04-21 23:02 行而上阅读(1056) 评论(0) 推荐(0)

2024年4月19日

高斯信道

摘要：正态分布正态分布的微分熵 \(\newcommand{\d}{\text{ d}}\)\(\newcommand{\E}{\mathbb{E}}\)当\(X\)满足正态分布\(N(\mu,\sigma^2)\)时，\(f(x)=\dfrac{1}{\sqrt{2\pi\sigma^2}}e^{-\ 阅读全文

posted @ 2024-04-19 22:54 行而上阅读(308) 评论(0) 推荐(0)

2024年4月16日

微分熵

摘要：微分熵(Differential Entropy)\(\newcommand{\d}{\text{ d}}\) 对于连续的随机变量\(X\)，假如它有概率密度函数\(f(x)\)，那么我们仿照离散熵的表达式，定义\(X\)的微分熵为\(h(X)=-\displaystyle\int_S f(x)\l 阅读全文

posted @ 2024-04-16 23:15 行而上阅读(1144) 评论(1) 推荐(0)

2024年4月13日

代数结构06 有限群的结构

摘要：我们可以从有限群的大小\(|G|\)的质因数分解出发研究有限群的结构。有限交换群首先，我们研究交换群。对于交换群而言，所有子群都是正规子群。因此，所有的商集都会形成商群。由此我们能得到一些重要性质。设\(G\)是有限交换群，\(|G|=n\)。假如\(n\)有素因子\(p\)，也即存在素数\( 阅读全文

posted @ 2024-04-13 15:53 行而上阅读(603) 评论(0) 推荐(0)

代数结构05 群在集合上的作用

摘要：给定一个群\((G,\cdot)\)和一个非空集合\(X\)，如果我们能够定义一个\(G\)中元素和\(X\)中元素的运算\(\circ\)满足以下三条性质，就称群\(G\)作用在\(X\)上：① \(\forall g\in G,f_g:x\to g\circ x\)是一个\(X\)到\(X\)的阅读全文

posted @ 2024-04-13 15:52 行而上阅读(423) 评论(0) 推荐(0)

代数结构02 循环群对称群置换群

摘要：循环群(Cyclic Group) 生成子群对于任意群\(G\)的非空子集\(A\)，定义\(\lang A\rang =\bigcap\limits_{i \in I}H_i\)，其中\(H_i\)是所有包含\(A\)的\(G\)的子群。因为子群的交依然是子群，因此\(\lang A\rang\ 阅读全文

posted @ 2024-04-13 15:51 行而上阅读(1087) 评论(0) 推荐(0)

代数结构03 陪集与正规子群

摘要：陪集(Coset) 对于\(G\)的一个子群\(H\)，每个\(g\in G\)我们都可以定义\(H\to G\)的映射\(f_g(x)=g\circ x\)，这一定是单射，因为消去律成立。对于给定的\(H\)，不同的\(g\)就给出了不同的单射，单射的像一定落在\(G\)中（封闭性），构成\(G\ 阅读全文

posted @ 2024-04-13 15:51 行而上阅读(673) 评论(0) 推荐(0)

代数结构04 群的同态与同构

摘要：群的同构(Isomorphism) 现在我们能够更深刻地理解“群”到底是什么。群描述且仅描述一个给定集合以及定义在该集合上的唯一的一个二元运算。任意给定群里的两个元素，我们总能通过“运算”这一方式确定是群里的哪个元素与这两个元素对应。如果我们抛开群中每个元素的具体名字不看，元素个数与这种由每两个元素阅读全文

posted @ 2024-04-13 15:51 行而上阅读(1664) 评论(0) 推荐(0)

代数结构01 群与子群

摘要：群(Group)的定义一般当我们谈论代数时，我们指的是用字母表示数。例如实数域上的代数，我们可以写出\(x\)来表示实数集合上的任意某个元素。我们使用原本的加法符号\(x+y\)表示某两个实数的和，它可能表示\(2+3\)，也可能表示\(12+35\)。这其实是对“数”这一概念的抽象化，使得表达式阅读全文

posted @ 2024-04-13 15:50 行而上阅读(466) 评论(0) 推荐(0)

2024年4月9日

信道容量

摘要： Channel(信道)\(\newcommand{\X}{\mathcal{X}}\newcommand{\Y}{\mathcal{Y}}\) “通信”(Communication)到底是什么？严格地说，当我们说\(A\)与\(B\)通信时，我们指的是\(A\)通过一些物理作用改变了\(B\)的物理阅读全文

posted @ 2024-04-09 20:43 行而上阅读(250) 评论(0) 推荐(0)

To The Things Themselves