介绍
5 岁的孩子能够掌握计算机科学前沿问题的情况并不常见,但这是有可能发生的。 例如,假设一位名叫爱丽丝的幼儿园学生有两个苹果,但她更喜欢橙子。 幸运的是,她的同学们开发了一个健康的水果交易系统,并严格执行汇率:比如说,放弃一个苹果,你就可以得到一根香蕉。 爱丽丝能否通过捡起和卸下香蕉或哈密瓜来执行一系列交易,从而得到她最喜欢的水果?
听起来很简单。 “你可以去小学告诉孩子们,”说 克里斯托夫·哈斯,牛津大学计算机科学家。 “人们会想,‘那一定很容易。’”
但爱丽丝困境背后的数学问题——称为向量加法系统的可达性问题——出人意料地微妙。 虽然有些情况很容易解决,但计算机科学家们花了近半个世纪的时间才对这个问题有了全面的了解。 现在,通过过去几年的一系列突破,他们已经确定了这个问题到底有多复杂。
事实证明,这个幼稚的问题极其荒谬,几乎是卡通化的复杂——如此复杂,以至于几乎所有其他问题都如此复杂。 著名的困难计算问题 看起来就像是儿戏。 试着量化解决这个问题所需的努力,很快你就会面临如此大的数字,甚至计算它们的数字也会让你找到你从未听说过的数字。 这些数字常常让人与宇宙的规模进行比较,但即使是这些类比也不够。 “这不公平,”说 格奥尔格·蔡采是德国凯泽斯劳滕马克斯·普朗克软件系统研究所的计算机科学家。 “宇宙真是太小了。”
触手可及?
从本质上讲,可达性问题与称为向量的数学对象有关,向量是有序的数字列表。 这些列表中的条目称为分量,向量中分量的数量称为其维数。 例如,爱丽丝的水果库存可以用四维向量来描述(a, b, c, d), 其组成部分代表她在任何给定时间有多少个苹果、香蕉、哈密瓜和橙子。
矢量加法系统(VAS)是表示系统中状态之间可能的转换的矢量集合。 对于爱丽丝来说,转移向量 (−1, −1, 1, 0) 代表用苹果和香蕉交换哈密瓜。 VAS 可达性问题询问是否存在任何允许的转换组合可以将您从特定的初始状态带到特定的目标状态,或者用数学术语来说,是否存在将起始向量转换为目标向量的转换向量之和。 只有一个问题:描述系统状态的向量的任何分量都不能低于零。
“这对于现实模型来说是一个非常自然的限制,”说 沃伊切赫·切尔温斯基,华沙大学计算机科学家。 “苹果的数量不能为负数。”
介绍
在某些系统中,很容易确定目标向量是否可达。 但情况并非总是如此。 计算机科学家对看起来简单的向量加法系统最感兴趣,在这些系统中,确定可达性有多困难并不明显。 为了研究这些案例,研究人员首先定义一个数字来量化给定系统的大小。 这个数字,表示为 n,包含维度数、转换数和其他因素。 然后他们询问可达性问题的难度会以多快的速度增加 n 变大。
为了回答这个问题,研究人员使用了两种互补的方法。 首先,他们搜索特别棘手的向量加法系统的示例,在这些系统中确定可达性需要一些最小程度的努力。 这些最低水平被称为问题复杂性的“下限”——他们对研究人员说,“对于给定的系统来说,最棘手的系统 n 至少有这么难。”
其次,研究人员试图建立“上限”——即使在最恶劣的系统中,可达性的难度也受到限制。 这些人说,“对于给定的情况,最棘手的情况是 n 最多就这么难。” 为了准确确定最棘手的系统中可达性的难度,研究人员尝试将下限向上推,将上限向下推,直到它们相遇。
噩梦的东西
矢量加法系统有着悠久的历史。 自 1960 世纪 XNUMX 年代以来,计算机科学家就使用它们来建模程序,将计算分解为许多小块,并同时处理这些小块。 这种“并发计算”现在已经无处不在,但研究人员仍然没有完全理解其数学基础。
1976年,计算机科学家 理查德·利普顿 朝着理解 VAS 可达性问题的复杂性迈出了第一步。 他开发了一种构建系统的程序,其中确定一个状态是否可以从另一个状态到达的最快方法是绘制它们之间的一系列转换。 这使他能够使用两个精心选择的状态之间的最短路径的长度来衡量可达性问题的难度。
利普顿当时 证明 他可以构建一个规模系统 n 其中两个状态之间的最短路径涉及超过 $latex 2^{2^n}$ 转换。 这意味着确定系统可达性所需的工作量有相应的双指数下限。 这是一个令人震惊的发现——双指数增长是计算机科学家的噩梦。 事实上,即使是普通的指数增长,研究人员也常常犹豫不决,相比之下,指数增长就相形见绌了:$latex {2^5}= 32$,但 $latex 2^{2^5}$ 超过 4 亿。
介绍
大多数研究人员认为利普顿已经设计出了最复杂的矢量加法系统,这意味着他将下限提高到尽可能高的水平。 在这种情况下,唯一缺少的是与之相匹配的上限——也就是说,证明不存在比确定可达性更困难的系统。 但没有人知道如何证明这一点。 计算机科学家恩斯特·迈尔(Ernst Mayr)最接近,当他 证明 1981 年,原则上总是可以确定任何向量加法系统的可达性。 但他的证明并没有对问题的难度给出任何定量的上限。 有地板,但看不到天花板。
“我当然断断续续地考虑过这个问题,”利普顿说。 “但过了一段时间我就放弃了,据我所知,40 年来没有人取得任何进展。”
2015 年,计算机科学家 热罗姆·勒鲁 和 西尔万·施密茨 终于成立了 定量上限 - 如此之高,以至于研究人员认为这只是第一步,可以降低以满足利普顿的下限。
但事实并非如此。 2019 年,研究人员发现了一个远高于 Lipton 的下限,颠覆了数十年的传统观点。 VAS 可达性问题比任何人预想的都要复杂得多。
权力之塔
2019年令人震惊的结果源于失败。 2018 年,Czerwiński 反驳了 Leroux 和 菲利普·马佐维茨基现在在华沙大学担任计算机科学家,这将有助于在相关问题上取得进展。 在随后的讨论中,研究人员偶然发现了一种构建超复杂向量加法系统的有前途的新方法,这可能意味着 VAS 可达性问题的新下限,而该问题的进展已经停滞了很长时间。
“在我看来,一切都与 VAS 可达性有关,”Czerwiński 回忆道。 在一个教学负担较轻的学期,他决定与勒鲁、马佐维茨基和另外两名研究人员一起专注于这个问题—— 斯瓦沃米尔·拉索塔 华沙大学和 兰科·拉齐奇 华威大学。
几个月后,他们的努力得到了回报。 切尔文斯基和他的同事 证明 他们可以构建矢量加法系统,其中两个状态之间的最短路径通过称为四分法的数学运算与系统的大小相关,这使得噩梦般的双指数增长看起来很温和。
Tetration 是连接数学中最熟悉的运算的模式的直接扩展,从加法开始。 加在一起 n 一个数字的副本,结果相当于将该数字乘以 n。 如果相乘的话 n 数字的副本,相当于求幂,或者将数字提高到 n次幂。 Tetration(通常由一对向上的箭头表示)是此序列中的下一步: n 意味着对其求幂 n 产生力量之塔的时间 n 故事高。
很难理解 tetration 失控的速度有多快:$latex 2 uparrowuparrow 3$ 或 $latex 2^{2^2}$ 是 16,$latex 2 uparrowuparrow 4$ 刚刚超过 65,000,并且$latex 2 uparrowuparrow 5$ 是一个近 20,000 位数字。 从物理上来说,写下 $latex 2 uparrowuparrow 6$ 的所有数字是不可能的——生活在如此小的宇宙中是一种负担。
在他们具有里程碑意义的结果中,Czerwiński 和他的同事证明了存在大小为 n 其中确定可达性的最佳方法是绘制一条涉及超过 $latex 2 uparrowuparrow n$ 转换的路径,这意味着一个新的下限,使 Lipton 的下限相形见绌。 尽管四分法令人头晕目眩,但它仍然不是问题复杂性的最终定论。
至五金十亿及以上
就在 VAS 可达性复杂性令人震惊的新下限出现后几个月,Leroux 和 Schmitz 推下去 他们三年前建立的上限,但他们并没有完全达到四分之二。 相反,他们证明了可达性问题的复杂性不会比称为阿克曼函数的数学怪物增长得更快。
要理解该函数,请采用用于定义四分法的模式来得出其严峻的结论。 序列中的下一个操作称为五次操作,表示重复四次操作; 接下来是另一个用于重复五次操作的操作(六次操作),依此类推。
阿克曼函数,表示为 $latex A(n)$,是当您在数轴上的每一处停止操作的阶梯上移动一步时所得到的: $latex A(1) = 1 + 1$, $latex A (2) = 2 × 2$、$latex A(3) = 3^3$、$latex A(4)=4 uparrowuparrow 4=4^{4^{4^4}}$,依此类推。 $latex A(4)$ 中的位数本身就是一个大约等于 1 quinquagintillion 的巨大数字 - 这是 1 后跟 153 个零的异想天开且很少需要的名称。 “别担心阿克曼五岁,”建议 哈维尔·埃斯帕扎,慕尼黑工业大学计算机科学家。
介绍
Leroux 和 Schmitz 的结果在下限和上限之间留下了很大的差距——VAS 可达性问题的精确复杂性可能位于范围的任一端或之间的任何位置。 切尔文斯基并不打算让这种差距继续存在。 “我们一直在努力解决这个问题,因为很明显这是我们一生中做过的最重要的事情,”他说。
最后的突破出现在 2021 年,当时 Czerwiński 正在为一名名叫 Łukasz Orlikowski 的二年级本科生提供咨询。 他为 Orlikowski 分配了该问题的一个简单变体,以帮助他加快速度,Orlikowski 的工作帮助他们两人开发了一种新技术,该技术也适用于一般可达性问题。 这让他们能够 提高下限 基本上——一直到勒鲁和施密茨的阿克曼上限。 勒鲁独立工作,获得 等效结果 大约在同一时间。
最后,研究人员确定了可达性问题的真正复杂性。 Czerwiński、Orlikowski 和 Leroux 的下界表明,存在一系列逐渐变大的向量加法系统,其中两个状态之间的最短路径与阿克曼函数成比例增长。 勒鲁和施密茨的上限表明,可达性问题不会变得比这更复杂——对于那些希望有一个万无一失的实际程序来解决它的人来说,这几乎没有什么安慰。 这是一个引人注目的例子,说明看似简单的计算问题是多么微妙。
从未完成
在确定 VAS 可达性问题的确切复杂性后,研究人员继续研究该问题,因为该问题的许多变体仍未得到解答。 例如,阿克曼上限和下限不区分不同的增加方式 n, 例如增加向量的维度或增加允许的转换数量。
最近,切尔文斯基和他的同事们 取得了进展 通过研究具有固定维度的向量加法系统的变体的复杂性增加的速度,来梳理这些不同的影响。 但还有更多工作要做——即使在向量加法系统很容易可视化的三维空间中,可达性问题的确切复杂性仍然未知。
“在某种程度上,这对我们来说很尴尬,”马佐维茨基说。
研究人员希望更好地理解相对简单的情况将有助于他们开发新工具来研究比矢量加法系统更复杂的其他计算模型。 目前,我们对这些更复杂的模型几乎一无所知。
“我认为这是理解可计算性的非常基本的探索的一部分,”泽采说。
广达 正在进行一系列调查,以更好地为我们的观众服务。 就拿我们的 计算机科学读者调查 您将有机会免费赢取 广达 商品。
- :具有
- :是
- :不是
- :在哪里
- ][p
- $UP
- 000
- 1
- 16
- 20
- 2015
- 2018
- 2019
- 2021
- 40
- a
- 关于
- 关于它
- AC
- ACM
- 加
- 增加
- 建议
- 指导
- 后
- 爱丽丝
- 所有类型
- 允许
- 几乎
- 还
- 时刻
- an
- 和
- 另一个
- 回答
- 预期
- 任何
- 任何人
- 分析数据
- 除了
- Apple
- 应用的
- 方法
- 约
- 保健
- 围绕
- AS
- 问
- 分配
- 假定
- At
- 听众
- 香蕉
- BE
- 因为
- 开始
- 如下。
- 最佳
- 更好
- 之间
- 大
- 最大
- 亿
- 界
- 界限
- 午休
- 突破
- 突破
- 但是
- by
- 被称为
- 来了
- CAN
- 可以得到
- 不能
- 哈密瓜
- 小心
- 案件
- 例
- 摔角
- 天花板
- 世纪
- 当然
- 儿童
- 选择
- 清除
- 同事
- 采集
- 组合
- 对照
- 比较
- 补充
- 复杂
- 复杂
- 元件
- 组件
- 全面
- 计算
- 计算
- 一台
- 计算机科学
- 结论
- 开展
- 推测
- 已联繫
- 连接
- 建设
- 构建
- 持续
- 常规
- 熟
- 相应
- 可以
- 计数
- 目前
- 几十年
- 决定
- 定义
- 定义
- 描述
- 描述
- 确定
- 确定
- 开发
- 发达
- DID
- 不同
- 困难
- 数字
- 尺寸
- 发现
- 发现
- 讨论
- 反驳
- 不同
- 区分
- do
- 完成
- 别
- 翻番
- 向下
- 下降
- ,我们将参加
- 每
- 此前
- 容易
- 易
- 影响
- 努力
- 工作的影响。
- 或
- 阐述
- 包含
- 结束
- 更多
- 进入
- 等于
- 本质
- 建立
- 成熟
- 甚至
- EVER
- 究竟
- 例子
- 交换
- 只
- 执行
- 存在
- 指数
- 指数增长
- 延期
- 面对
- 因素
- 失败
- 秋季
- 熟悉
- 远
- 快
- 最快
- 喜爱
- 少数
- 最后
- 终于
- 牢牢
- 姓氏:
- 固定
- 地板
- 专注焦点
- 其次
- 针对
- 幸好
- Foundations
- 止
- 前沿
- 充分
- 功能
- 根本
- 差距
- 给
- 其他咨询
- 德国
- 得到
- GitHub上
- 给
- 特定
- Go
- 把握
- 增长
- 严峻
- 增长
- 成长
- 事业发展
- 民政事务总署
- 半
- 手
- 发生
- 发生
- 硬
- 更难
- 有
- he
- 头
- 健康
- 听说
- 帮助
- 帮助
- 这里
- 高
- 更高
- 他
- 他的
- 历史
- 击中
- 抱有希望
- 希望
- 创新中心
- How To
- HTTP
- HTTPS
- i
- IEEE
- if
- 默示
- 不可能
- in
- 增加
- 增加
- 的确
- 独立地
- 初始
- 例
- 代替
- 研究所
- 打算
- 有兴趣
- 成
- 库存
- 邀请
- 参与
- 涉及
- IT
- 它的
- 本身
- 只是
- 只有一个
- 司法
- 不停
- 类
- 知道
- 阶梯
- 里程碑
- 大
- 大
- 最少
- 左
- 长度
- 让
- Level
- 各级
- 责任
- 谎言
- 光
- 喜欢
- 范围
- Line
- 书单
- 小
- 生活
- 活的
- 加载
- 长
- 看
- 看起来像
- 降低
- 制成
- 杂志
- 使
- 制作
- 许多
- 地图
- 数学
- 数学的
- 数学
- 最大
- 意
- 衡量
- 满足
- 介意
- 最低限度
- 失踪
- 模型
- 模型
- 个月
- 更多
- 最先进的
- 移动
- 倍增
- 必须
- my
- 姓名
- 命名
- 自然
- 几乎
- 打印车票
- 负
- 决不要
- 全新
- 下页
- 没有
- 没什么
- 现在
- 数
- 数字
- 对象
- 获得
- 明显
- of
- 折扣
- 经常
- on
- 一
- 仅由
- 操作
- 运营
- or
- 普通
- 其他名称
- 我们的
- 输出
- 超过
- 牛津
- 支付
- 对
- 部分
- 尤其
- 过去
- 径
- 模式
- 物理
- 选择
- 件
- 柏拉图
- 柏拉图数据智能
- 柏拉图数据
- 播放
- 可能
- 或者
- 功率
- 权力
- 实用
- 几乎
- 精确的
- 恰恰
- 小学
- 原理
- 市场问题
- 问题
- 程序
- 生产
- 训练课程
- 进展
- 逐步
- 有希望
- 证明
- 比例
- 证明
- 证明
- 推动
- 放
- 量子杂志
- 量化
- 量
- 探索
- 题
- 有疑问吗?
- 很快
- 凸
- 提高
- 范围
- 很少
- 价格表
- 达到
- 达
- 读者
- 现实
- 有关
- 相对
- 留
- 遗迹
- 重复
- 代表
- 代表
- 代表
- 代表
- 必须
- 需要
- 研究人员
- 限制
- 导致
- 说
- 同
- 对工资盗窃
- 鳞片
- 学校
- 科学
- 科学家
- 科学家
- 搜索
- 似乎
- 似乎
- 序列
- 系列
- 服务
- 她
- 短
- 显示
- 视力
- 简易
- 同时
- 自
- 尺寸
- 小
- So
- 软件
- 解决
- 解决
- 一些
- 或很快需要,
- 声音
- 具体的
- 速度
- 站
- 开始
- 开始
- 州/领地
- 州
- 步
- 仍
- Stop 停止
- 故事
- 简单的
- 学生
- 学习
- 留学
- 随后
- 基本上
- 这样
- 系统
- 产品
- 采取
- 目标
- 教诲
- 文案
- 技术
- 展示
- 条款
- 比
- 这
- 其
- 他们
- 然后
- 那里。
- 博曼
- 他们
- 事
- 认为
- Free Introduction
- 那些
- 思想
- 三
- 次
- 时
- 至
- 一起
- 也有
- 了
- 工具
- 对于
- 塔
- 行业
- 变换
- 过渡
- 转换
- true
- 尝试
- 原来
- 二
- 普及
- 相关
- 理解
- 理解
- 宇宙
- 大学
- 牛津大学
- 不明
- 直到
- 上
- us
- 使用
- 用过的
- 变种
- 非常
- 查看
- 想像
- 华沙
- 是
- 方法..
- 方法
- we
- 网页
- 井
- 什么是
- ,尤其是
- 是否
- 这
- 而
- 谁的
- 将
- 赢
- 智慧
- Word
- 工作
- 加工
- 担心
- 将
- 包装
- 写
- 年
- 但
- 产量
- 完全
- 您一站式解决方案
- 和风网
- 零