Biscuitの赛博小窝 - 还没想好喵

确定的有穷自动机

2026-05-06

形式语言与自动机

无标签

定义：一个确定的有穷自动机（DFA）是一个五元组A ,(Q, \Sigma, \delta, q_0, F)，其中：

809 字

|

4 分钟

2026-05-06

形式语言与自动机

无标签

对于自动机 A，我们定义它接受的语言为 L(A) = \{w \in \Sigma^* \mid \hat{\delta}(q_0, w) \in F\}，称为正则语言。

291 字

|

1 分钟

拉格朗日对偶和KKT 条件

2026-05-05

06-优化算法

无标签

拉格朗日函数并没有“消灭约束”，而是把“是否违反约束”转化成了 “代价惩罚” 。

934 字

|

5 分钟

线性规划的对偶问题

2026-05-05

06-优化算法

无标签

回顾拉格朗日函数及其对偶函数和对偶问题，这里不过多赘述

1329 字

|

7 分钟

凸集，凸函数，凸优化

2026-05-05

06-优化算法

无标签

关于凸优化的基础知识，包括凸集、凸函数的定义和性质，以及它们在优化问题中的应用。

1172 字

|

6 分钟

2026-04-29

06-优化算法

无标签

线性规划是运筹学的一个重要分支，用于解决目标函数和约束条件都是线性的优化问题。本文将介绍线性规划的基本概念、数学模型以及求解方法。

1968 字

|

10 分钟

自信息量与信息熵

2026-04-23

无标签

自信息量与信息熵的定义与计算

868 字

|

4 分钟

KL散度与交叉熵

2026-04-23

无标签

KL散度与交叉熵的定义与计算

780 字

|

4 分钟

15