自定义博客皮肤VIP专享

*博客头图：

点击选择上传的图片

格式为PNG、JPG，宽度*高度大于1920*100像素，不超过2MB，主视觉建议放在右侧，请参照线上博客头图

请上传大于1920*100像素的图片！

博客底图：

点击选择上传的图片

图片格式为PNG、JPG，不超过1MB，可上下左右平铺至整个背景

栏目图：

点击选择上传的图片

图片格式为PNG、JPG，图片宽度*高度为300*38像素，不超过0.5MB

主标题颜色：

RGB颜色，例如：#AFAFAF

Hover：

RGB颜色，例如：#AFAFAF

副标题颜色：

RGB颜色，例如：#AFAFAF

预览取消提交

自定义博客皮肤

-+

上一步保存

扩展の灰(Extended Ash/Cooevjnz)

御坂的抱枕，名字就叫灰哦，御坂抱着抱枕这样说道。

博客等级

码龄12年

342
原创

171
点赞

105
收藏

60
粉丝

关注

私信

热门文章

分类专栏

最新评论

有没有比图灵机能力更强的计算模型？
huyuenshen: 以下是我自行构建的一种超计算模型（由于文采不好，下述内容由AI生成，但是定义当然是我自己给的）：一、基本构成 FITTM 是一个定义在超限序数时间、二维连续空间与实数状态上的超计算模型，由以下要素构成： 1. 连续状态内部状态 s \in \mathbb{R} ，为任意实数。 2. 二维连续纸带纸带为整个欧氏平面 \mathbb{R}^2 ，每一点 (x,y) \in \mathbb{R}^2 存储一个实数值。纸带整体为函数： \zeta: \mathbb{R}^2 \to \mathbb{R} 3. 读写头位置读写头位于平面上某点 P=(x,y) \in \mathbb{R}^2 。 4. 可定义转移函数（仅要求可定义，无光滑性约束）三个在集合论语言中可定义的函数： - f_1(s, z) \to s' 输入当前状态 s 、当前位置纸带值 z ，输出下一状态。 - f_2(s, z) \to (\Delta x, \Delta y) 输入当前状态 s 、当前位置纸带值 z ，输出位移向量。 - f_3(s, z) \to v 输入当前状态 s 、当前位置纸带值 z ，输出统一写入值。 5. 停机约定若状态 s = 1 ，机器停机，输出当前纸带指定位置的值。二、单步运行规则（后继序数步：\alpha \to \alpha+1）设当前配置： - 状态：s - 头位置：P=(x,y) - 纸带：\zeta - 读取值：z = \zeta(P) 执行以下步骤： 1. 计算新状态： s' = f_1(s, z) 2. 计算位移与目标位置： (\Delta x, \Delta y) = f_2(s,z),\quad Q=(x+\Delta x,\ y+\Delta y) 3. 计算写入值： v = f_3(s,z) 4. 纸带更新（核心规则）对平面任意点 R： - 若 R 属于线段 \overline{PQ} 且 R \neq Q \zeta'(R) = v - 否则 \zeta'(R) = \zeta(R) 5. 移动读写头到终点 Q。 6. 状态更新为 s'。三、极限序数步规则（\lambda 为极限序数）对任意极限时刻 \lambda（如 \omega, \omega+\omega, \omega^2 等）： 1. 状态极限 - 若 \lim\limits_{\alpha \to \lambda} s(\alpha) 收敛，则 s(\lambda) = \lim s(\alpha) - 否则 s(\lambda) = 0 2. 位置极限 - 若 x(\alpha), y(\alpha) 均收敛，则 P(\lambda) = \left(\lim x(\alpha), \lim y(\alpha)\right) - 否则 P(\lambda) = (0,0) 3. 纸带极限对任意点 R： - 若存在 \beta < \lambda，使得对所有 \alpha \in [\beta, \lambda)，\zeta(\alpha,R)=v 恒定 \zeta(\lambda,R) = v - 否则 \zeta(\lambda,R) = 0 极限步执行完毕后，机器以极限配置继续运行。四、可定义性要求（唯一约束）函数 f_1,f_2,f_3 只需满足：在标准集合论语言 \mathcal{L}_{\in} 中可定义（允许实数参数）。不要求连续、可微、解析。这是保证模型能退化回标准 ITTM 的最低且最自然的约束。五、退化到标准 ITTM 的嵌入定理（核心性质） FITTM 严格包含经典无限时间图灵机 ITTM： 1. 将 ITTM 有限状态编码为离散实数； 2. 将 ITTM 一维纸带嵌入 FITTM 纸带的直线 y=0,\ x\in\mathbb{Z}； 3. 令位移函数仅输出 (\pm1,0) 或 (0,0)； 4. 令写入值仅为 0/1； 5. 则 FITTM 的线段写入恰好等价于 ITTM 的单格改写。在该编码下： FITTM 的每一步行为与 ITTM 完全一致。即： ITTM 是 FITTM 的一个离散子模型， FITTM 是 ITTM 的连续强扩张。六、可计算能力结论（直接对应你的目标） 1. FITTM 可在超限时间内计算标准忙碌海狸函数 \mathrm{BB}(n)； 2. FITTM 可判定所有算术集、大量超算术集与二阶算术语句； 3. FITTM 强于标准 ITTM，且兼容 ITTM 的全部可计算结构； 4. 模型不自相矛盾、良定义、无歧义，可直接用于理论分析。一句话最终定位 FITTM = 允许实数状态 + 二维连续纸带 + 沿运动线段批量写入 + 仅可定义转移 + 超限时间运行的强超计算模型，严格包含 ITTM，并能计算标准忙碌海狸函数。
SPFA的两个优化
cbs_cbs: 第二个优化我用菊花图似乎能卡掉，但是洛谷数据竟然能过，很离谱
Jzoj3498 图形变换
扩展的灰: 关注了，不过现在我已经不搞这些了
Jzoj3498 图形变换
向彪-blockchain: 特别喜欢博主的写作风格，支持一波。方便的话可以加个关注。共同学习！一起进步！
C++蜂鸣器歌曲1
dogcat987: good

----二分/三分

关注

文章平均质量分 62

关注数：文章数：20 文章阅读量：12324 文章收藏量：1

作者: 扩展的灰

扩展的灰(Extended Ash)

展开

专栏收录文章