通信复杂性简介

文艺复兴以来,源远流长的科学精神和逐步形成的科学规范,使西方国家在自然科学的各个领域取得了垄断性的优势;也正是这样的优势,使美国在信息技术发展的六十多年间名家辈出、独领风骚。
对各种计算问题的计算过程所消耗的时间、空间等资源数量的多少进行量化,进而对各种计算问题进行分类,并研究各类计算问题之间的相互联系,研究近似求解无法精确求解的问题的难度,力争最终解决计算机中最核心的问题,围绕这些任务逐渐发展和形成的理论、技术和方法,形成了理论机计算机科学中的一门基础性学科,即计算复杂性理论,它是为各种计算问题合理选择算法、配置资源并进行软件开发活动的基础。
-----机械工业出版社

目录

    • 一.双方通信复杂性
    • 二.单色矩形
    • 三.Communication Complexity and Rank
    • 四.The Lifting Theorem

一.双方通信复杂性

以确定性协议为例:
A protocol π \pi π ==> a rooted binary tree
协议在输入(x,y)上的输出结果对应二叉树上的叶子
通信复杂性简介_第1张图片
树的长度:根节点到叶子结点的最长路径。
函数g的通信复杂性:计算g的协议树的最小长度。

二.单色矩形

在这里插入图片描述
协议树中的所有叶子结点对应的矩形形成了一个 X × Y X \times Y X×Y的划分。
定理:如果g的通信复杂性为 c c c,则 X × Y X \times Y X×Y被划分成最多 2 c 2^c 2c个单色矩形。

三.Communication Complexity and Rank

居中并且带尺寸的图片:
通信复杂性简介_第2张图片
函数g对应一个矩阵

Theorem. The communication complexity of M M M is at most r a n k ( M ) + 1 rank(M) + 1 rank(M)+1.

Theorem. If M is not the all 1’s matrix, then the communication complexity of M M M is at least log ⁡ ( r a n k ( M ) + 1 ) \log(rank(M) + 1) log(rank(M)+1).

四.The Lifting Theorem

决策树复杂性(即查询复杂性):
A decision tree is an extremely simple model of computation. It captures the complexity of an algorithm that reads the input bit by bit. The only cost paid is the number of bits read by the algorithm.

在这里插入图片描述
通信复杂性简介_第3张图片
The Lifting Theorem:基于决策树复杂性的下界得到通信复杂性的下界。
通信复杂性简介_第4张图片

你可能感兴趣的:(TCS)