Posted on Categories:Computational Complexity, 数学代写, 计算复杂度

数学代写|计算复杂度理论代写Computational Complexity Theory代考|ENCM517 Time versus alternations: time-space tradeoffs for SAT

如果你也在 怎样代写计算复杂度理论 Computational Complexity Theory ENCM517这个学科遇到相关的难题,请随时右上角联系我们的24/7代写客服。计算复杂度理论 Computational Complexity Theory在计算机科学中,一个算法的计算复杂性或简单的复杂性是运行该算法所需的资源数量。特别关注的是计算时间(一般以所需的基本操作的数量来衡量)和内存存储要求。一个问题的复杂性是允许解决该问题的最佳算法的复杂性。

计算复杂度理论 Computational Complexity Theory对明确给出的算法的复杂性的研究被称为算法分析,而对问题的复杂性的研究被称为计算复杂性理论。这两个领域都是高度相关的,因为算法的复杂性总是这个算法所解决的问题的复杂性的一个上限。此外,为了设计有效的算法,将特定算法的复杂性与要解决的问题的复杂性进行比较往往是最基本的。另外,在大多数情况下,人们对一个问题的复杂性的唯一认识是它低于已知的最有效算法的复杂性。因此,算法分析和复杂性理论之间有很大的重叠。

计算复杂度理论 Computational Complexity Theory代写,免费提交作业要求, 满意后付款,成绩80\%以下全额退款,安全省心无顾虑。专业硕 博写手团队,所有订单可靠准时,保证 100% 原创。 最高质量的计算复杂度理论 Computational Complexity Theory作业代写,服务覆盖北美、欧洲、澳洲等 国家。 在代写价格方面,考虑到同学们的经济条件,在保障代写质量的前提下,我们为客户提供最合理的价格。 由于作业种类很多,同时其中的大部分作业在字数上都没有具体要求,因此计算复杂度理论 Computational Complexity Theory作业代写的价格不固定。通常在专家查看完作业要求之后会给出报价。作业难度和截止日期对价格也有很大的影响。

avatest™帮您通过考试

avatest™的各个学科专家已帮了学生顺利通过达上千场考试。我们保证您快速准时完成各时长和类型的考试,包括in class、take home、online、proctor。写手整理各样的资源来或按照您学校的资料教您,创造模拟试题,提供所有的问题例子,以保证您在真实考试中取得的通过率是85%以上。如果您有即将到来的每周、季考、期中或期末考试,我们都能帮助您!

在不断发展的过程中,avatest™如今已经成长为论文代写,留学生作业代写服务行业的翘楚和国际领先的教育集团。全体成员以诚信为圆心,以专业为半径,以贴心的服务时刻陪伴着您, 用专业的力量帮助国外学子取得学业上的成功。

•最快12小时交付 

•200+ 英语母语导师 

•70分以下全额退款

想知道您作业确定的价格吗? 免费下单以相关学科的专家能了解具体的要求之后在1-3个小时就提出价格。专家的 报价比上列的价格能便宜好几倍。

我们在数学Mathematics代写方面已经树立了自己的口碑, 保证靠谱, 高质且原创的数学Mathematics代写服务。我们的专家在计算复杂度Computational Complexity代写方面经验极为丰富,各种计算复杂度Computational Complexity相关的作业也就用不着 说。

数学代写|计算复杂度理论代写Computational Complexity Theory代考|ENCM517 Time versus alternations: time-space tradeoffs for SAT

数学代写|计算复杂度理论代写Computational Complexity Theory代考|Time versus alternations: time-space tradeoffs for SAT

Despite the fact that SAT is widely believed to require exponential (or at least super-polynomial) time to solve, and to require linear (or at least super-logarithmic) space, we currently have no way to prove these conjectures. In fact, as far as we know, SAT may have both a linear time algorithm and a logarithmic space one. Nevertheless, we can prove that SAT does not have an algorithm that runs simultaneously in linear time and logarithmic space. In fact, we can prove the following stronger theorem:
THEOREM $5.13$ (??)
For every two functions $S, T: \mathbb{N} \rightarrow \mathbb{N}$, define $\operatorname{TISP}(T(n), S(n))$ to be the set of languages decided by a $T M M$ that on every input $x$ takes at most $O(T(|x|))$ steps and uses at most $O(S(|x|))$ cells of its read/write tapes. Then, SAT $\notin \mathbf{T I S P}\left(n^{1.1}, n^{0.1}\right)$.

The class $\operatorname{TISP}(T(n), S(n))$ is typically defined with respect to TM’s with RAM memory (i.e., TM’s that have random access to their tapes; such machines can be defined in a similar way to the definition of oracle TM’s in Section 3.5). Theorem $5.13$ and its proof carries over for that model as well. We also note that a stronger result is known for both models: for every $c<(\sqrt{5}+1) / 2$, there exists $d>0$ such that SAT $\notin \mathbf{T I S P}\left(n^c, n^d\right)$ and furthermore, $d$ approaches 1 from below as $c$ approaches 1 from above.
ProOF: We will show that
$$
\boldsymbol{N T I M E}(n) \nsubseteq \mathbb{\operatorname { T I S }}\left(n^{1.2}, n^{0.2}\right)
$$

数学代写|计算复杂度理论代写Computational Complexity Theory代考|Defining the hierarchy via oracle machines

Recall the definition of oracle machines from Section 3.5. These are machines that are executed with access to a special tape they can use to make queries of the form “is $q \in O$ ” for some language $O$. For every $O \subseteq{0,1}^*$, oracle TM $M$ and input $x$, we denote by $M^O(x)$ the output of $M$ on $x$ with access to $O$ as an oracle. We have the following characterization of the polynomial hierarchy:
THEOREM $5.15$
For every $i \geq 2, \boldsymbol{\Sigma}i^p=\mathbf{N P}^{\boldsymbol{\Sigma}{i-1} \mathrm{SAT}}$, where the latter class denotes the set of languages decided by polynomial-time NDTMs with access to the oracle $\boldsymbol{\Sigma}_{i-1}$ SAT.

Proof: We showcase the idea by proving that $\boldsymbol{\Sigma}_2^p=\mathbf{N P}^{\mathrm{SAT}}$. Suppose that $L \in \boldsymbol{\Sigma}_2^p$. Then, there is a polynomial-time TM $M$ and a polynomial $q$ such that
$$
x \in L \Leftrightarrow \exists u_1 \in{0,1}^{q(|x|)} \forall u_2 \in{0,1}^{q(|x|)} M\left(x, u_1, u_2\right)=1
$$
yet for every fixed $u_1$ and $x$, the statement “for every $u_2, M\left(x, u_1, u_2\right)=1$ ” is the negation of an NP-statement and hence its truth can be determined using an oracle for SAT. We get that there is a simple NDTM $N$ that given oracle access for SAT can decide $L$ : on input $x$, non-deterministically guess $u_1$ and use the oracle to decide if $\forall u_2 M\left(x, u_1, u_2\right)=1$. We see that $x \in L$ iff there exists a choice $u_1$ that makes $N$ accept.

数学代写|计算复杂度理论代写Computational Complexity Theory代考|ENCM517 Time versus alternations: time-space tradeoffs for SAT

计算复杂度代写

数学代写|计算复杂度理论代写Computational Complexity Theory代 考|Time versus alternations: time-space tradeoffs for SAT


尽管人们普遍认为 SAT 需要指数 (或至少超多项式) 时间来求解,并且需要线性 (或至少超对数) 空间,但我 们目前无法证明这些猜想。事实上,据我们所知,SAT可能既有线性时间算法,也有对数空间算法。尽管如 此,我们可以证明 SAT 没有同时在线性时间和对数空间运行的算法。事实上,我们可以证明下面更强的定理 : $5.13$ (??)
对于每两个函数 $S, T: \mathbb{N} \rightarrow \mathbb{N}$ ,定义 $\operatorname{TISP}(T(n), S(n))$ 成为由 a 决定的语言集 $T M M$ 在每个输入上 $x$ 最 多需要 $O(T(|x|))$ 步䯅和最多使用 $O(S(|x|))$ 其读/写磁带的单元格。然后,SAT $\notin \operatorname{TISP}\left(n^{1.1}, n^{0.1}\right)$.
班上TISP $(T(n), S(n))$ 通常是根据带有 RAM 内存的 TM 来定义的(即,可以随机访问其磁带的 TM;此类 机器的定义方式类似于第 $3.5$ 节中 oracle TM 的定义) 。定理 $5.13$ 它的证明也适用于该模型。我们还注意到, 这两种模型都有更强的结果: 对于每个 $c<(\sqrt{5}+1) / 2$ ,那里存在 $d>0$ 这样SAT $\notin \mathbf{T I S P}\left(n^c, n^d\right)$ 而 且, $d$ 从下面接近 1 作为 $c$ 从上方接近 ${ }^{\circ}$ 。
ProOF: 我们将证明
$$
\boldsymbol{N T I M E}(n) \nsubseteq \operatorname{TIS}\left(n^{1.2}, n^{0.2}\right)
$$

数学代写|计算复杂度理论代写Computational Complexity Theory代 考|Defining the hierarchy via oracle machines


回想一下 $3.5$ 节中预言机的定义。这些机器在执行时可以访问特殊磁带,它们可以用来进行“是”形式的查询 $q \in O^{\prime \prime}$ 对于某些语言 $O$. 对于每一个 $O \subseteq 0,1^*$ ,甲骨文TM $M$ 并输入 $x$ ,我们用 $M^O(x)$ 的输出 $M$ 在 $x$ 可以访问 $O$ 作为神谕。我们有多项式层次结构的以下特征
: $5.15$
对于每一个 $i \geq 2, \boldsymbol{\Sigma} i^p=\mathbf{N P}^{\Sigma i-1 \mathrm{SAT}}$ ,其中后一类表示由多项式时间 NDTM 决定的语言集,可以访问 oracle $\boldsymbol{\Sigma}_{i-1}$ 周六。
证明: 我们通过证明来展示这个想法 $\boldsymbol{\Sigma}_2^p=\mathbf{N P}^{\mathrm{SAT}}$. 假设 $L \in \boldsymbol{\Sigma}_2^p$. 那么,有一个多项式时间TM $M$ 和一个多 项式 $q$ 这样
$$
x \in L \Leftrightarrow \exists u_1 \in 0,1^{q(|x|)} \forall u_2 \in 0,1^{q(|x|)} M\left(x, u_1, u_2\right)=1
$$
然而对于每一个固定的 $u_1$ 和 $x$ ,声明“对于每个 $u_2, M\left(x, u_1, u_2\right)=1$ ” 是 NP 语句的否定,因此可以使用 SAT 的 oracle 确定其真值。我们知道有一个简单的 NDTM $N$ 给定 SAT 的 oracle 访问权限可以决定 $L$ : 输入 $x$ , 非确定性猜测 $u_1$ 并使用 oracle 来决定是否 $\forall u_2 M\left(x, u_1, u_2\right)=1$. 我们看到 $x \in L$ 如果存在选择 $u_1$ 这使得 $N$ 接受。

数学代写|计算复杂度代写Computational Complexity代考

数学代写|计算复杂度代写Computational Complexity代考 请认准UprivateTA™. UprivateTA™为您的留学生涯保驾护航。

微观经济学代写

微观经济学是主流经济学的一个分支,研究个人和企业在做出有关稀缺资源分配的决策时的行为以及这些个人和企业之间的相互作用。my-assignmentexpert™ 为您的留学生涯保驾护航 在数学Mathematics作业代写方面已经树立了自己的口碑, 保证靠谱, 高质且原创的数学Mathematics代写服务。我们的专家在图论代写Graph Theory代写方面经验极为丰富,各种图论代写Graph Theory相关的作业也就用不着 说。

线性代数代写

线性代数是数学的一个分支,涉及线性方程,如:线性图,如:以及它们在向量空间和通过矩阵的表示。线性代数是几乎所有数学领域的核心。

博弈论代写

现代博弈论始于约翰-冯-诺伊曼(John von Neumann)提出的两人零和博弈中的混合策略均衡的观点及其证明。冯-诺依曼的原始证明使用了关于连续映射到紧凑凸集的布劳威尔定点定理,这成为博弈论和数学经济学的标准方法。在他的论文之后,1944年,他与奥斯卡-莫根斯特恩(Oskar Morgenstern)共同撰写了《游戏和经济行为理论》一书,该书考虑了几个参与者的合作游戏。这本书的第二版提供了预期效用的公理理论,使数理统计学家和经济学家能够处理不确定性下的决策。

微积分代写

微积分,最初被称为无穷小微积分或 “无穷小的微积分”,是对连续变化的数学研究,就像几何学是对形状的研究,而代数是对算术运算的概括研究一样。

它有两个主要分支,微分和积分;微分涉及瞬时变化率和曲线的斜率,而积分涉及数量的累积,以及曲线下或曲线之间的面积。这两个分支通过微积分的基本定理相互联系,它们利用了无限序列和无限级数收敛到一个明确定义的极限的基本概念 。

计量经济学代写

什么是计量经济学?
计量经济学是统计学和数学模型的定量应用,使用数据来发展理论或测试经济学中的现有假设,并根据历史数据预测未来趋势。它对现实世界的数据进行统计试验,然后将结果与被测试的理论进行比较和对比。

根据你是对测试现有理论感兴趣,还是对利用现有数据在这些观察的基础上提出新的假设感兴趣,计量经济学可以细分为两大类:理论和应用。那些经常从事这种实践的人通常被称为计量经济学家。

MATLAB代写

MATLAB 是一种用于技术计算的高性能语言。它将计算、可视化和编程集成在一个易于使用的环境中,其中问题和解决方案以熟悉的数学符号表示。典型用途包括:数学和计算算法开发建模、仿真和原型制作数据分析、探索和可视化科学和工程图形应用程序开发,包括图形用户界面构建MATLAB 是一个交互式系统,其基本数据元素是一个不需要维度的数组。这使您可以解决许多技术计算问题,尤其是那些具有矩阵和向量公式的问题,而只需用 C 或 Fortran 等标量非交互式语言编写程序所需的时间的一小部分。MATLAB 名称代表矩阵实验室。MATLAB 最初的编写目的是提供对由 LINPACK 和 EISPACK 项目开发的矩阵软件的轻松访问,这两个项目共同代表了矩阵计算软件的最新技术。MATLAB 经过多年的发展,得到了许多用户的投入。在大学环境中,它是数学、工程和科学入门和高级课程的标准教学工具。在工业领域,MATLAB 是高效研究、开发和分析的首选工具。MATLAB 具有一系列称为工具箱的特定于应用程序的解决方案。对于大多数 MATLAB 用户来说非常重要,工具箱允许您学习应用专业技术。工具箱是 MATLAB 函数(M 文件)的综合集合,可扩展 MATLAB 环境以解决特定类别的问题。可用工具箱的领域包括信号处理、控制系统、神经网络、模糊逻辑、小波、仿真等。

Posted on Categories:Computational Complexity, 数学代写, 计算复杂度

数学代写|计算复杂度理论代写Computational Complexity Theory代考|CS58400 PSPACE completeness

如果你也在 怎样代写计算复杂度理论 Computational Complexity Theory CS58400这个学科遇到相关的难题,请随时右上角联系我们的24/7代写客服。计算复杂度理论 Computational Complexity Theory在计算机科学中,一个算法的计算复杂性或简单的复杂性是运行该算法所需的资源数量。特别关注的是计算时间(一般以所需的基本操作的数量来衡量)和内存存储要求。一个问题的复杂性是允许解决该问题的最佳算法的复杂性。

计算复杂度理论 Computational Complexity Theory对明确给出的算法的复杂性的研究被称为算法分析,而对问题的复杂性的研究被称为计算复杂性理论。这两个领域都是高度相关的,因为算法的复杂性总是这个算法所解决的问题的复杂性的一个上限。此外,为了设计有效的算法,将特定算法的复杂性与要解决的问题的复杂性进行比较往往是最基本的。另外,在大多数情况下,人们对一个问题的复杂性的唯一认识是它低于已知的最有效算法的复杂性。因此,算法分析和复杂性理论之间有很大的重叠。

计算复杂度理论 Computational Complexity Theory代写,免费提交作业要求, 满意后付款,成绩80\%以下全额退款,安全省心无顾虑。专业硕 博写手团队,所有订单可靠准时,保证 100% 原创。 最高质量的计算复杂度理论 Computational Complexity Theory作业代写,服务覆盖北美、欧洲、澳洲等 国家。 在代写价格方面,考虑到同学们的经济条件,在保障代写质量的前提下,我们为客户提供最合理的价格。 由于作业种类很多,同时其中的大部分作业在字数上都没有具体要求,因此计算复杂度理论 Computational Complexity Theory作业代写的价格不固定。通常在专家查看完作业要求之后会给出报价。作业难度和截止日期对价格也有很大的影响。

avatest™帮您通过考试

avatest™的各个学科专家已帮了学生顺利通过达上千场考试。我们保证您快速准时完成各时长和类型的考试,包括in class、take home、online、proctor。写手整理各样的资源来或按照您学校的资料教您,创造模拟试题,提供所有的问题例子,以保证您在真实考试中取得的通过率是85%以上。如果您有即将到来的每周、季考、期中或期末考试,我们都能帮助您!

在不断发展的过程中,avatest™如今已经成长为论文代写,留学生作业代写服务行业的翘楚和国际领先的教育集团。全体成员以诚信为圆心,以专业为半径,以贴心的服务时刻陪伴着您, 用专业的力量帮助国外学子取得学业上的成功。

•最快12小时交付 

•200+ 英语母语导师 

•70分以下全额退款

想知道您作业确定的价格吗? 免费下单以相关学科的专家能了解具体的要求之后在1-3个小时就提出价格。专家的 报价比上列的价格能便宜好几倍。

我们在数学Mathematics代写方面已经树立了自己的口碑, 保证靠谱, 高质且原创的数学Mathematics代写服务。我们的专家在计算复杂度Computational Complexity代写方面经验极为丰富,各种计算复杂度Computational Complexity相关的作业也就用不着 说。

数学代写|计算复杂度理论代写Computational Complexity Theory代考|CS58400 PSPACE completeness

数学代写|计算复杂度理论代写Computational Complexity Theory代考|PSPACE completeness

As already indicated, we do not know if $\mathbf{P} \neq$ PSPACE, though we strongly believe that the answer is YES. Notice, $\mathbf{P}=$ PSPACE implies $\mathbf{P}=\mathbf{N P}$. Since complete problems can help capture the essence of a complexity class, we now present some complete problems for PSPACE.
DEFINITION $4.8$
A language $A$ is PSPACE-hard if for every $L \in$ PSPACE, $L \leq_p A$. If in addition $A \in$ PSPACE then $A$ is PSPACE-complete.

Using our observations about polynomial-time reductions from Chapter ?? we see that if any PSPACE-complete language is in $\mathbf{P}$ then so is every other language in PSPACE. Viewed contrapostively, if PSPACE $\neq \mathbf{P}$ then a PSPACE-complete language is not in $\mathbf{P}$. Intuitively, a PSPACE-complete language is the “most difficult” problem of PSPACE. Just as NP trivially contains NP-complete problems, so does PSPACE. The following is one (Exercise 3):
SPACETM $=\left{\left\langle M, w, 1^n\right\rangle:\right.$ DTM $M$ accepts $w$ in space $\left.n\right}$.

数学代写|计算复杂度理论代写Computational Complexity Theory代考|Savitch’s theore

The astute reader may notice that because the above proof uses the notion of a configuration graph and does not require this graph to have out-degree one, it actually yields a stronger statement: that TQBF is not just hard for PSPACE but in fact even for NPSPACE!. Since TQBF $\in$ PSPACE this implies that PSPACE = NSPACE, which is quite surprising since our intuition is that the corresponding classes for time ( $\mathbf{P}$ and $\mathbf{N P})$ are different. In fact, using the ideas of the above proof, one can obtain the following theorem:
THEOREM $4.12$ (SAVITCH [SAV70])
For any space-constructible $S: \mathbb{N} \rightarrow \mathbb{N}$ with $S(n) \geq \log n, \operatorname{NSPACE}(S(n)) \subseteq \mathbf{S P A C E}\left(S(n)^2\right)$
We remark that the running time of the algorithm obtained from this theorem can be as high as $2^{\Omega\left(s(n)^2\right)}$.
Proof: The proof closely follows the proof that TQBF is PSPACE-complete. Let $L \in \operatorname{NSPACE}(S(n))$ be a language decided by a TM $M$ such that for every $x \in{0,1}^n$, the configuration graph $G=G_{M, x}$ has at most $M=2^{O(S(n))}$ vertices. We describe a recursive procedure REACH? $(u, v, i)$ that returns “YES” if there is a path from $u$ to $v$ of length at most $2^i$ and “NO” otherwise. Note that REACH? $(s, t,\lceil\log M\rceil)$ is “YES” iff $t$ is reachable from $s$. Again, the main observation is that there is a path from $u$ to $v$ of length at most $2^i$ iff there’s a vertex $z$ with paths from $u$ to $z$ and from $z$ to $v$ of lengths at most $2^{i-1}$. Thus, on input $u, v, i$, REACH? will enumerate over all vertices $z$ (at a cost of $O(\log M)$ space) and output “YES” if it finds one $z$ such that REACH? $(u, z, i-1)=$ “YES” and REACH? $(z, v, i-1)=$ “YES”. Once again, the crucial observation is that although the algorithm makes $n$ recursive invocations, it can reuse the space in each of these invocations. Thus, if we let $s_{M, i}$ be the space complexity of REACH? $(u, v, i)$ on an $M$-vertex graph we get that $s_{M, i}=s_{M, i-1}+O(\log M)$ and thus $s_{M, \log M}=O\left(\log ^2 M\right)=O\left(S(n)^2\right)$.

数学代写|计算复杂度理论代写Computational Complexity Theory代考|CS58400 PSPACE completeness

计算复杂度代写

数学代写|计算复杂度理论代写Computational Complexity Theory代考|PSPACE completeness


如前所述,我们不知道是否 $\mathbf{P} \neq$ PSPACE,尽管我们双信答案是肯定的。注意, $\mathbf{P}=$ PSPACE意味着 $\mathbf{P}=\mathbf{N P}$. 由于完整的问题 可以陣助捕捉复杂性类的本质,我们现在为 PSPACE 提出一些完整的问题。
定义 $4.8$
一种语言 $A$ 是 PSPACE-hard 如果对于每个 $L \in$ 空间, $L \leq p$. 如果另外 $A \in$ 然后是PSPACE $A$ 是 PSPACE 完备的。
使用我们对章节 ?? 中的多项式时间缩减的观㟯 我们看到如果任何 PSPACE-complete 语言在 $\mathbf{P}$ 那么 PSPACE 中的所有其他语言 也是如此。对比来看,如果 PSPACE $\neq \mathbf{P}$ 那么 PSPACE-complete 语言不在 $\mathbf{P}$. 直观上,PSPACE 完备语言是 PSPACE 中”最难” 的问题。正如 NP 平凡地包含 NP 完全问题一样,PSPACE 也是如此。下面是一个(练习3):

数学代写|计算䀢杂度理论代写Computational Complexity Theory代羊|Savitch’s theore

精明的读者可能会注意到,因为上面的证明使用了组态图的概念,并且不要求该图的出度为 1 ,所以 它实际上产生了一个更强的陈述:TQBF 不仅对 PSPACE 是困难的,事实上甚至对NP空间!由于 $T Q B F \in P S P A C E$ 这意味着 PSPACE = NSPACE,这非常令人惊讶,因为我们的直觉是时间对应的类 $(\mathbf{P}$ 和 $\mathbf{N P})$ 是不同的。实际上,利用上述证明的思路,可以得到如下定理 : 4.12(SAVITCH [SAV70])
对于任何空间可构造的 $S: \mathbb{N} \rightarrow \mathbb{N}$ 和 $S(n) \geq \log n, \operatorname{NSPACE}(S(n)) \subseteq \mathbf{S P A C E}\left(S(n)^2\right)$ 我们注意到从这个定理得到的算法的运行时间可以高达 $2^{\Omega\left(s(n)^2\right)}$.
证明: 该证明紧跟 TQBF 是 PSPACE 完备的证明。让 $L \in \operatorname{NSPACE}(S(n))$ 是由 TM 决定的语言 $M$ 这样对于每个 $x \in 0,1^n$ ,配置图 $G=G_{M, x}$ 至多有 $M=2^{O(S(n)) \text { 顶点。我们描述一个递归程序 }}$ REACH? $(u, v, i)$ 如果存在来自的路径,则返回“YES” $u$ 到 $v$ 最多长度 $2^i$ 否则为“否”。请注意达到? $(s, t,\lceil\log M\rceil)$ 是“是”当且仅当 $t$ 可以从 $s$. 同样,主要的观察结果是有一条路径来自 $u$ 到 $v$ 最多长度 $2^i$ 当且仅当有一个顶点 $z$ 路径来自 $u$ 到 $z$ 从 $z$ 到 $v$ 最多长度 $2^{i-1}$. 因此,在输入 $u, v, i$ ,抵达? 将枚举所有 顶点 $z$ (代价是 $O(\log M)$ 空格),如果找到则输出“YES” $z$ 这样达到?( $(u, z, i-1)=$ “是”和达到? $(z, v, i-1)=$ “是的”。再一次,关键的观察是,尽管该算法使 $n$ 递归调用,它可以在每个调用中重 用空间。因此,如果我们让 $s_{M, i}$ 是REACH的空间复杂度? $(u, v, i)$ 在一个 $M$-我们得到的顶点图 $s_{M, i}=s_{M, i-1}+O(\log M)$ 因此 $s_{M, \log M}=O\left(\log ^2 M\right)=O\left(S(n)^2\right)$.

数学代写|计算复杂度代写Computational Complexity代考

数学代写|计算复杂度代写Computational Complexity代考 请认准UprivateTA™. UprivateTA™为您的留学生涯保驾护航。

微观经济学代写

微观经济学是主流经济学的一个分支,研究个人和企业在做出有关稀缺资源分配的决策时的行为以及这些个人和企业之间的相互作用。my-assignmentexpert™ 为您的留学生涯保驾护航 在数学Mathematics作业代写方面已经树立了自己的口碑, 保证靠谱, 高质且原创的数学Mathematics代写服务。我们的专家在图论代写Graph Theory代写方面经验极为丰富,各种图论代写Graph Theory相关的作业也就用不着 说。

线性代数代写

线性代数是数学的一个分支,涉及线性方程,如:线性图,如:以及它们在向量空间和通过矩阵的表示。线性代数是几乎所有数学领域的核心。

博弈论代写

现代博弈论始于约翰-冯-诺伊曼(John von Neumann)提出的两人零和博弈中的混合策略均衡的观点及其证明。冯-诺依曼的原始证明使用了关于连续映射到紧凑凸集的布劳威尔定点定理,这成为博弈论和数学经济学的标准方法。在他的论文之后,1944年,他与奥斯卡-莫根斯特恩(Oskar Morgenstern)共同撰写了《游戏和经济行为理论》一书,该书考虑了几个参与者的合作游戏。这本书的第二版提供了预期效用的公理理论,使数理统计学家和经济学家能够处理不确定性下的决策。

微积分代写

微积分,最初被称为无穷小微积分或 “无穷小的微积分”,是对连续变化的数学研究,就像几何学是对形状的研究,而代数是对算术运算的概括研究一样。

它有两个主要分支,微分和积分;微分涉及瞬时变化率和曲线的斜率,而积分涉及数量的累积,以及曲线下或曲线之间的面积。这两个分支通过微积分的基本定理相互联系,它们利用了无限序列和无限级数收敛到一个明确定义的极限的基本概念 。

计量经济学代写

什么是计量经济学?
计量经济学是统计学和数学模型的定量应用,使用数据来发展理论或测试经济学中的现有假设,并根据历史数据预测未来趋势。它对现实世界的数据进行统计试验,然后将结果与被测试的理论进行比较和对比。

根据你是对测试现有理论感兴趣,还是对利用现有数据在这些观察的基础上提出新的假设感兴趣,计量经济学可以细分为两大类:理论和应用。那些经常从事这种实践的人通常被称为计量经济学家。

MATLAB代写

MATLAB 是一种用于技术计算的高性能语言。它将计算、可视化和编程集成在一个易于使用的环境中,其中问题和解决方案以熟悉的数学符号表示。典型用途包括:数学和计算算法开发建模、仿真和原型制作数据分析、探索和可视化科学和工程图形应用程序开发,包括图形用户界面构建MATLAB 是一个交互式系统,其基本数据元素是一个不需要维度的数组。这使您可以解决许多技术计算问题,尤其是那些具有矩阵和向量公式的问题,而只需用 C 或 Fortran 等标量非交互式语言编写程序所需的时间的一小部分。MATLAB 名称代表矩阵实验室。MATLAB 最初的编写目的是提供对由 LINPACK 和 EISPACK 项目开发的矩阵软件的轻松访问,这两个项目共同代表了矩阵计算软件的最新技术。MATLAB 经过多年的发展,得到了许多用户的投入。在大学环境中,它是数学、工程和科学入门和高级课程的标准教学工具。在工业领域,MATLAB 是高效研究、开发和分析的首选工具。MATLAB 具有一系列称为工具箱的特定于应用程序的解决方案。对于大多数 MATLAB 用户来说非常重要,工具箱允许您学习应用专业技术。工具箱是 MATLAB 函数(M 文件)的综合集合,可扩展 MATLAB 环境以解决特定类别的问题。可用工具箱的领域包括信号处理、控制系统、神经网络、模糊逻辑、小波、仿真等。

Posted on Categories:Computational Complexity, 数学代写, 计算复杂度

数学代写|计算复杂度理论代写Computational Complexity Theory代考|MAST31213 What if P = NP?

如果你也在 怎样代写计算复杂度理论 Computational Complexity Theory MAST31213这个学科遇到相关的难题,请随时右上角联系我们的24/7代写客服。计算复杂度理论 Computational Complexity Theory在计算机科学中,一个算法的计算复杂性或简单的复杂性是运行该算法所需的资源数量。特别关注的是计算时间(一般以所需的基本操作的数量来衡量)和内存存储要求。一个问题的复杂性是允许解决该问题的最佳算法的复杂性。

计算复杂度理论 Computational Complexity Theory对明确给出的算法的复杂性的研究被称为算法分析,而对问题的复杂性的研究被称为计算复杂性理论。这两个领域都是高度相关的,因为算法的复杂性总是这个算法所解决的问题的复杂性的一个上限。此外,为了设计有效的算法,将特定算法的复杂性与要解决的问题的复杂性进行比较往往是最基本的。另外,在大多数情况下,人们对一个问题的复杂性的唯一认识是它低于已知的最有效算法的复杂性。因此,算法分析和复杂性理论之间有很大的重叠。

计算复杂度理论 Computational Complexity Theory代写,免费提交作业要求, 满意后付款,成绩80\%以下全额退款,安全省心无顾虑。专业硕 博写手团队,所有订单可靠准时,保证 100% 原创。 最高质量的计算复杂度理论 Computational Complexity Theory作业代写,服务覆盖北美、欧洲、澳洲等 国家。 在代写价格方面,考虑到同学们的经济条件,在保障代写质量的前提下,我们为客户提供最合理的价格。 由于作业种类很多,同时其中的大部分作业在字数上都没有具体要求,因此计算复杂度理论 Computational Complexity Theory作业代写的价格不固定。通常在专家查看完作业要求之后会给出报价。作业难度和截止日期对价格也有很大的影响。

avatest™帮您通过考试

avatest™的各个学科专家已帮了学生顺利通过达上千场考试。我们保证您快速准时完成各时长和类型的考试,包括in class、take home、online、proctor。写手整理各样的资源来或按照您学校的资料教您,创造模拟试题,提供所有的问题例子,以保证您在真实考试中取得的通过率是85%以上。如果您有即将到来的每周、季考、期中或期末考试,我们都能帮助您!

在不断发展的过程中,avatest™如今已经成长为论文代写,留学生作业代写服务行业的翘楚和国际领先的教育集团。全体成员以诚信为圆心,以专业为半径,以贴心的服务时刻陪伴着您, 用专业的力量帮助国外学子取得学业上的成功。

•最快12小时交付 

•200+ 英语母语导师 

•70分以下全额退款

想知道您作业确定的价格吗? 免费下单以相关学科的专家能了解具体的要求之后在1-3个小时就提出价格。专家的 报价比上列的价格能便宜好几倍。

我们在数学Mathematics代写方面已经树立了自己的口碑, 保证靠谱, 高质且原创的数学Mathematics代写服务。我们的专家在计算复杂度Computational Complexity代写方面经验极为丰富,各种计算复杂度Computational Complexity相关的作业也就用不着 说。

数学代写|计算复杂度理论代写Computational Complexity Theory代考|MAST31213 What if P = NP?

数学代写|计算复杂度理论代写Computational Complexity Theory代考|What if P = NP?

If $\mathbf{P}=\mathbf{N P}$ – specifically, if an $\mathbf{N P}$-complete problem like 3SAT had a very efficient algorithm running in say $O\left(n^2\right)$ time – then the world would be mostly a Utopia. Mathematicians could be replaced by efficient theorem-discovering programs (a fact pointed out in Kurt Gödel’s 1956 letter and discovered three decades later). In general for every search problem whose answer can be efficiently verified (or has a short certificate of correctness), we will be able to find the correct answer or the short certificate in polynomial time. AI software would be perfect since we could easily do exhaustive searches in a large tree of possibilities. Inventors and engineers would be greatly aided by software packages that can design the perfect part or gizmo for the job at hand. VLSI designers will be able to whip up optimum circuits, with minimum power requirements. Whenever a scientist has some experimental data, she would be able to automatically obtain the simplest theory (under any reasonable measure of simplicity we choose) that best explains these measurements; by the principle of Occam’s Razor the simplest explanation is likely to be the right one. Of course, in some cases it took scientists centuries to come up with the simplest theories explaining the known data. This approach can be used to solve also non-scientific problems: one could find the simplest theory that explains, say, the list of books from the New York Times’ bestseller list. (NB: All these applications will be a consequence of our study of the Polynomial Hierarchy in Chapter 5.)

Somewhat intriguingly, this Utopia would have no need for randomness. As we will later see, if $\mathbf{P}=\mathbf{N P}$ then randomized algorithms would buy essentially no efficiency gains over deterministic algorithms; see Chapter 7. (Philosophers should ponder this one.)

This Utopia would also come at one price: there would be no privacy in the digital domain. Any encryption scheme would have a trivial decoding algorithm. There would be no digital cash, no SSL, RSA or PGP (see Chapter 10). We would just have to learn to get along better without these, folks.

This utopian world may seem ridiculous, but the fact that we can’t rule it out shows how little we know about computation. Taking the half-full cup point of view, it shows how many wonderful things are still waiting to be discovered.

数学代写|计算复杂度理论代写Computational Complexity Theory代考|What if NP = coNP?

If $\mathbf{N P}=\mathbf{c o N P}$, the consequences still seem dramatic. Mostly, they have to do with existence of short certificates for statements that do not seem to have any. To give an example, remember the NP-complete problem of finding whether or not a set of multivariate polynomials has a common root, in other words, deciding whether a system of equations of the following type has a solution:
$$
\begin{aligned}
f_1\left(x_1, \ldots, x_n\right) & =0 \
f_2\left(x_1, \ldots, x_n\right) & =0 \
\vdots & \
f_m\left(x_1, \ldots, x_n\right) & =0
\end{aligned}
$$
where each $f_i$ is a quadratic polynomial.

If a solution exists, then that solution serves as a certificate to this effect (of course, we have to also show that the solution can be described using a polynomial number of bits, which we omit). The problem of deciding that the system does not have a solution is of course in coNP. Can we give a certificate to the effect that the system does not have a solution? Hilbert’s Nullstellensatz Theorem seems to do that: it says that the system is infeasible iff there is a sequence of polynomials $g_1, g_2, \ldots, g_m$ such that $\sum_i f_i g_i=1$, where 1 on the right hand side denotes the constant polynomial 1.

What is happening? Does the Nullstellensatz prove coNP $=\mathbf{N P}$ ? No, because the degrees of the $g_i$ ‘s – and hence the number of bits used to represent them- could be exponential in $n, m$. (And it is simple to construct $f_i$ ‘s for which this is necessary.)

数学代写|计算复杂度理论代写Computational Complexity Theory代考|MAST31213 What if P = NP?

计算复杂度代写

数学代写|计算复杂度理论代写Computational Complexity Theory代考|What if P = NP?

如果– 具体来说,如果一个- 像 3SAT 这样的完整问题有一个非常有效的算法运行在说时间——那么世界将主要是一个乌托邦。数学家可以被高效的定理发现程序所取代(这一事实在 Kurt Gödel 1956 年的信中指出并在 30 年后被发现)。一般来说,对于每个答案可以被有效验证(或具有简短的正确性证书)的搜索问题,我们将能够在多项式时间内找到正确答案或简短的证书。人工智能软件将是完美的,因为我们可以轻松地在大量可能性树中进行详尽搜索。可以为手头工作设计完美零件或小发明的软件包将极大地帮助发明家和工程师。VLSI 设计人员将能够以最低的功率要求设计出最佳电路。每当科学家有一些实验数据时,她将能够自动获得最能解释这些测量的最简单理论(在我们选择的任何合理的简单度量下);根据奥卡姆剃刀原理,最简单的解释很可能是正确的。当然,在某些情况下,科学家需要几个世纪的时间才能提出解释已知数据的最简单的理论。这种方法也可以用来解决非科学问题:人们可以找到最简单的理论来解释,比如说,纽约时报畅销书排行榜中的书籍清单。(注意:所有这些应用都是我们在第 5 章中学习多项式层次结构的结果。)在某些情况下,科学家需要几个世纪的时间才能提出解释已知数据的最简单的理论。这种方法也可以用来解决非科学问题:人们可以找到最简单的理论来解释,比如说,纽约时报畅销书排行榜中的书籍清单。(注意:所有这些应用都是我们在第 5 章中学习多项式层次结构的结果。)在某些情况下,科学家需要几个世纪的时间才能提出解释已知数据的最简单的理论。这种方法也可以用来解决非科学问题:人们可以找到最简单的理论来解释,比如说,纽约时报畅销书排行榜中的书籍清单。(注意:所有这些应用都是我们在第 5 章中学习多项式层次结构的结果。)

有点有趣的是,这个乌托邦不需要随机性。正如我们稍后将看到的,如果那么随机算法基本上不会比确定性算法获得任何效率提升;见第 7 章。(哲学家应该思考这一点。)

这个乌托邦也将付出一个代价:数字领域将没有隐私。任何加密方案都会有一个简单的解码算法。没有数字现金,没有 SSL、RSA 或 PGP(见第 10 章)。伙计们,我们只需要学会在没有这些的情况下更好地相处。

这个乌托邦世界可能看起来很荒谬,但我们不能排除它的事实表明我们对计算知之甚少。以半满杯的角度来看,可见还有多少美好等待着我们去发现。

数学代写|计算复杂度理论代写Computational Complexity Theory代考|What if NP = coNP?


如果NP $=\mathbf{c o N P}$ ,后果似乎仍然很严重。大多数情况下,它们与似乎没有任何声明的短证书的存在有关。举个例子,记住寻 找一组多元多项式是否有共同根的 NP 完全问题,换句话说,决定以下类型的方程组是否有解:
$$
f_1\left(x_1, \ldots, x_n\right)=0 f_2\left(x_1, \ldots, x_n\right) \quad=0 \vdots f_m\left(x_1, \ldots, x_n\right) \quad=0
$$
每个 $f_i$ 是二次多项式。
如果存在解决方宴,那么该解快方案将作为证明(当然,我们还必须证明该解决方案可以使用我们省峈的多项式位数来描述)。决 定系统没有解决方案的问题当然在 coNP 中。能不能给个证书,大意是系统没有解决方案? Hilbert 的 Nullstellensatz 定理似平 就是这样做的: 它说如果存在一系列多项式,则该系统是不可行的 $g_1, g_2, \ldots, g_m$ 这样 $\sum_i f_i g_i=1$ ,其中右侧的 1 表示常数多项 式 1 。
怎么了? Nullstellensatz 是否证明了 coNP $=\mathbf{N P}$ ? 不,因为度数 $g_i$ 的一-以及因此用于表示它们的位数一-可能是指数级的 $n, m$. (而且构造简单 $f_i$ 这是必要的。)

数学代写|计算复杂度代写Computational Complexity代考

数学代写|计算复杂度代写Computational Complexity代考 请认准UprivateTA™. UprivateTA™为您的留学生涯保驾护航。

微观经济学代写

微观经济学是主流经济学的一个分支,研究个人和企业在做出有关稀缺资源分配的决策时的行为以及这些个人和企业之间的相互作用。my-assignmentexpert™ 为您的留学生涯保驾护航 在数学Mathematics作业代写方面已经树立了自己的口碑, 保证靠谱, 高质且原创的数学Mathematics代写服务。我们的专家在图论代写Graph Theory代写方面经验极为丰富,各种图论代写Graph Theory相关的作业也就用不着 说。

线性代数代写

线性代数是数学的一个分支,涉及线性方程,如:线性图,如:以及它们在向量空间和通过矩阵的表示。线性代数是几乎所有数学领域的核心。

博弈论代写

现代博弈论始于约翰-冯-诺伊曼(John von Neumann)提出的两人零和博弈中的混合策略均衡的观点及其证明。冯-诺依曼的原始证明使用了关于连续映射到紧凑凸集的布劳威尔定点定理,这成为博弈论和数学经济学的标准方法。在他的论文之后,1944年,他与奥斯卡-莫根斯特恩(Oskar Morgenstern)共同撰写了《游戏和经济行为理论》一书,该书考虑了几个参与者的合作游戏。这本书的第二版提供了预期效用的公理理论,使数理统计学家和经济学家能够处理不确定性下的决策。

微积分代写

微积分,最初被称为无穷小微积分或 “无穷小的微积分”,是对连续变化的数学研究,就像几何学是对形状的研究,而代数是对算术运算的概括研究一样。

它有两个主要分支,微分和积分;微分涉及瞬时变化率和曲线的斜率,而积分涉及数量的累积,以及曲线下或曲线之间的面积。这两个分支通过微积分的基本定理相互联系,它们利用了无限序列和无限级数收敛到一个明确定义的极限的基本概念 。

计量经济学代写

什么是计量经济学?
计量经济学是统计学和数学模型的定量应用,使用数据来发展理论或测试经济学中的现有假设,并根据历史数据预测未来趋势。它对现实世界的数据进行统计试验,然后将结果与被测试的理论进行比较和对比。

根据你是对测试现有理论感兴趣,还是对利用现有数据在这些观察的基础上提出新的假设感兴趣,计量经济学可以细分为两大类:理论和应用。那些经常从事这种实践的人通常被称为计量经济学家。

MATLAB代写

MATLAB 是一种用于技术计算的高性能语言。它将计算、可视化和编程集成在一个易于使用的环境中,其中问题和解决方案以熟悉的数学符号表示。典型用途包括:数学和计算算法开发建模、仿真和原型制作数据分析、探索和可视化科学和工程图形应用程序开发,包括图形用户界面构建MATLAB 是一个交互式系统,其基本数据元素是一个不需要维度的数组。这使您可以解决许多技术计算问题,尤其是那些具有矩阵和向量公式的问题,而只需用 C 或 Fortran 等标量非交互式语言编写程序所需的时间的一小部分。MATLAB 名称代表矩阵实验室。MATLAB 最初的编写目的是提供对由 LINPACK 和 EISPACK 项目开发的矩阵软件的轻松访问,这两个项目共同代表了矩阵计算软件的最新技术。MATLAB 经过多年的发展,得到了许多用户的投入。在大学环境中,它是数学、工程和科学入门和高级课程的标准教学工具。在工业领域,MATLAB 是高效研究、开发和分析的首选工具。MATLAB 具有一系列称为工具箱的特定于应用程序的解决方案。对于大多数 MATLAB 用户来说非常重要,工具箱允许您学习应用专业技术。工具箱是 MATLAB 函数(M 文件)的综合集合,可扩展 MATLAB 环境以解决特定类别的问题。可用工具箱的领域包括信号处理、控制系统、神经网络、模糊逻辑、小波、仿真等。

Posted on Categories:Computational Complexity, 数学代写, 计算复杂度

数学代写|计算复杂度代写Computational Complexity代考|ENCM517 Warmup: Expressiveness of boolean formulae

如果你也在 怎样代写计算复杂度Computational Complexity ENCM517这个学科遇到相关的难题,请随时右上角联系我们的24/7代写客服。计算复杂度Computational Complexity在计算机科学中,一个算法的计算复杂性或简单的复杂性是运行该算法所需的资源数量。特别关注的是计算时间(一般以所需的基本操作的数量来衡量)和内存存储要求。一个问题的复杂性是允许解决该问题的最佳算法的复杂性。

计算复杂度Computational Complexity对明确给出的算法的复杂性的研究被称为算法分析,而对问题的复杂性的研究被称为计算复杂性理论。这两个领域都是高度相关的,因为算法的复杂性总是这个算法所解决的问题的复杂性的一个上限。此外,为了设计有效的算法,将特定算法的复杂性与要解决的问题的复杂性进行比较往往是最基本的。另外,在大多数情况下,人们对一个问题的复杂性的唯一认识是它低于已知的最有效算法的复杂性。因此,算法分析和复杂性理论之间有很大的重叠。

计算复杂度Computational Complexity代写,免费提交作业要求, 满意后付款,成绩80\%以下全额退款,安全省心无顾虑。专业硕 博写手团队,所有订单可靠准时,保证 100% 原创。 最高质量的计算复杂度Computational Complexity作业代写,服务覆盖北美、欧洲、澳洲等 国家。 在代写价格方面,考虑到同学们的经济条件,在保障代写质量的前提下,我们为客户提供最合理的价格。 由于作业种类很多,同时其中的大部分作业在字数上都没有具体要求,因此计算复杂度Computational Complexity作业代写的价格不固定。通常在专家查看完作业要求之后会给出报价。作业难度和截止日期对价格也有很大的影响。

avatest™帮您通过考试

avatest™的各个学科专家已帮了学生顺利通过达上千场考试。我们保证您快速准时完成各时长和类型的考试,包括in class、take home、online、proctor。写手整理各样的资源来或按照您学校的资料教您,创造模拟试题,提供所有的问题例子,以保证您在真实考试中取得的通过率是85%以上。如果您有即将到来的每周、季考、期中或期末考试,我们都能帮助您!

在不断发展的过程中,avatest™如今已经成长为论文代写,留学生作业代写服务行业的翘楚和国际领先的教育集团。全体成员以诚信为圆心,以专业为半径,以贴心的服务时刻陪伴着您, 用专业的力量帮助国外学子取得学业上的成功。

•最快12小时交付 

•200+ 英语母语导师 

•70分以下全额退款

想知道您作业确定的价格吗? 免费下单以相关学科的专家能了解具体的要求之后在1-3个小时就提出价格。专家的 报价比上列的价格能便宜好几倍。

我们在数学Mathematics代写方面已经树立了自己的口碑, 保证靠谱, 高质且原创的数学Mathematics代写服务。我们的专家在计算复杂度Computational Complexity代写方面经验极为丰富,各种计算复杂度Computational Complexity相关的作业也就用不着 说。

数学代写|计算复杂度代写Computational Complexity代考|ENCM517 Warmup: Expressiveness of boolean formulae

数学代写|计算复杂度代写Computational Complexity代考|Warmup: Expressiveness of boolean formulae

As a warmup for the proof of Lemma $2.12$ we show how to express various conditions using CNF formulae.
EXAMPLE $2.13$
The formula $(a \vee \bar{b}) \wedge(\bar{a} \vee b)$ is in CNF form. It is satisfied by only those values of $a, b$ that are equal. Thus, the formula
$$
\left(x_1 \vee \bar{y}_1\right) \wedge\left(\bar{x}_1 \vee y_1\right) \wedge \cdots \wedge\left(x_n \vee \bar{y}_n\right) \wedge\left(\bar{x}_n \vee y_n\right)
$$
is True if and only if the strings $x, y \in{0,1}^n$ are equal to one another.
Thus, though $=$ is not a standard boolean operator like $\vee$ or $\wedge$, we will use it as a convenient shorthand since the formula $\phi_1=\phi_2$ is equivalent to (in other words, has the same satisfying assignments as $)\left(\phi_1 \vee \overline{\phi_2}\right) \wedge\left(\phi_1 \vee \phi_2\right)$

In fact, CNF formulae of sufficient size can express every Boolean condition, as shown by the following simple claim: (this fact is sometimes known as universality of the operations AND, OR and NOT)
CLAIM $2.14$
For every Boolean function $f:{0,1}^{\ell} \rightarrow{0,1}$ there is an $\ell$-variable CNF formula $\varphi$ of size $\ell 2^{\ell}$ such that $\varphi(u)=f(u)$ for every $u \in{0,1}^{\ell}$, where the size of a CNF formula is defined to be the number of $\wedge / \vee$ symbols it contains.

数学代写|计算复杂度代写Computational Complexity代考|Proof of Lemma 2.12

Let $L$ be an NP language and let $M$ be the polynomial time TM such that that for every $x \in{0,1}^$, $x \in L \Leftrightarrow M(x, u)=1$ for some $u \in{0,1}^{p(|x|)}$, where $p: \mathbb{N} \rightarrow \mathbb{N}$ is some polynomial. We show $L$ is polynomial-time Karp reducible to SAT by describing a way to transform in polynomial-time every string $x \in{0,1}^$ into a CNF formula $\varphi_x$ such that $x \in L$ iff $\varphi_x$ is satisfiable.

How can we construct such a formula $\varphi_x$ ? By Claim $2.14$, the function that maps $u \in{0,1}^{p(|x|)}$ to $M(x, u)$ can be expressed as a CNF formula $\psi_x$ (i.e., $\psi_x(u)=M(x, u)$ for every $\left.u \in{0,1}^{p(|x|)}\right)$. Thus a string $u$ such that $M(x, u)=1$ exists if and only if $\psi_x$ is satisfiable. But this is not useful for us, since the size of the formula $\psi_x$ obtained from Claim $2.14$ can be as large as $p(|x|) 2^{p(|x|)}$. To get a smaller formula we use the fact that $M$ runs in polynomial time, and that each basic step of a Turing machine is highly local (in the sense that it examines and changes only a few bits of the machine’s tapes).

In the course of the proof we will make the following simplifying assumptions about the TM M: (1) $M$ only has two tapes: an input tape and a work/output tape and (2) $M$ is an oblivious TM in the sense that its head movement does not depend on the contents of its input tape. In particular, this means that $M$ ‘s computation takes the same time for all inputs of size $n$ and for each time step $i$ the location of $M$ ‘s heads at the $i^{\text {th }}$ step depends only on $i$ and $M$ ‘s input length.
We can make these assumptions without loss of generality because for every $T(n)$-time TM $M$ there exists a two-tape oblivious TM $\tilde{M}$ computing the same function in $O\left(T(n)^2\right)$ time (see Remark $1.10$ and Exercise 8 of Chapter 1). ${ }^4$ Thus in particular, if $L$ is in NP then there exists a two-tape oblivious polynomial-time TM $M$ and a polynomial $p$ such that $x \in L \Leftrightarrow \exists u \in$ ${0,1}^{p(|x|)}$ s.t. $M(x, u)=1$.

The advantage of assuming that $M$ is oblivious is that for any given input length, we can define functions inputpos $(i), \operatorname{prev}(i)$ where inputpos $(i)$ denotes the location of the input tape head at the $i^{\text {th }}$ step and prev $(i)$ denotes the last step before $i$ that $M$ visited the same location on its work tape, see Figure 2.3. ${ }^5$ These values can be computed in polynomial time by simulating $M$ on, say, the all-zeroes input.

数学代写|计算复杂度代写Computational Complexity代考|ENCM517 Warmup: Expressiveness of boolean formulae

计算复杂度代写


数学代写|计算复杂度代写计算复杂度代考|预热:布尔公式的表达


作为引理$2.12$证明的一个热身,我们展示了如何用CNF公式表示各种条件。
EXAMPLE $2.13$
公式$(a \vee \bar{b}) \wedge(\bar{a} \vee b)$为CNF形式。它只能由$a, b$的那些相等的值来满足。因此,当且仅当字符串$x, y \in{0,1}^n$彼此相等时,公式
$$
\left(x_1 \vee \bar{y}_1\right) \wedge\left(\bar{x}_1 \vee y_1\right) \wedge \cdots \wedge\left(x_n \vee \bar{y}_n\right) \wedge\left(\bar{x}_n \vee y_n\right)
$$
为True。因此,尽管$=$不是像$\vee$或$\wedge$那样的标准布尔运算符,但我们将它用作方便的简写,因为公式$\phi_1=\phi_2$等价于(换句话说,具有与$)\left(\phi_1 \vee \overline{\phi_2}\right) \wedge\left(\phi_1 \vee \phi_2\right)$ 相同的令人满意的赋值


事实上,足够大的CNF公式可以表示每一个布尔条件,如下简单声明所示:(这个事实有时被称为AND, OR和NOT操作的普适性)
CLAIM $2.14$
对于每个布尔函数$f:{0,1}^{\ell} \rightarrow{0,1}$都有一个$\ell$变量的CNF公式$\varphi$,其大小为$\ell 2^{\ell}$,这样对于每个$u \in{0,1}^{\ell}$都有$\varphi(u)=f(u)$,其中CNF公式的大小被定义为它包含$\wedge / \vee$符号的数量

数学代写|计算复杂度代写计算复杂度代考|引理证明2.12

设$L$为NP语言,设$M$为多项式时间TM,使得对于每一个$x \in{0,1}^$, $x \in L \Leftrightarrow M(x, u)=1$对于某个$u \in{0,1}^{p(|x|)}$,其中$p: \mathbb{N} \rightarrow \mathbb{N}$是某个多项式。我们通过描述一种方法,在多项式时间内将每个字符串$x \in{0,1}^$转换为CNF公式$\varphi_x$,使得$x \in L$ iff $\varphi_x$是可满足的,从而证明$L$是多项式时间卡普可约为SAT的

我们如何构造这样一个公式$\varphi_x$ ?通过声明$2.14$,将$u \in{0,1}^{p(|x|)}$映射到$M(x, u)$的函数可以表示为CNF公式$\psi_x$(即,$\psi_x(u)=M(x, u)$对应每个$\left.u \in{0,1}^{p(|x|)}\right)$。因此,当且仅当$\psi_x$可满足时,一个字符串$u$使得$M(x, u)=1$存在。但是这对我们没有用处,因为从Claim $2.14$获得的公式$\psi_x$的大小可能与$p(|x|) 2^{p(|x|)}$一样大。为了得到一个更小的公式,我们使用$M$在多项式时间内运行的事实,图灵机的每个基本步骤都是高度局部性的(在这种意义上,它只检查和更改机器磁带的少数位) 在证明过程中,我们将对TM M作以下简化假设:(1) $M$ 只有两个磁带:一个输入磁带和一个工作/输出磁带和(2) $M$ 它的头部运动不依赖于输入磁带的内容,从这个意义上说,它是一个健忘的TM。特别地,这意味着 $M$ 的计算对于所有大小的输入都需要相同的时间 $n$ 对于每个时间步 $i$ 的位置 $M$ 他的头在 $i^{\text {th }}$ 步长只取决于 $i$ 和 $M$ 的输入长度。我们可以在不丧失一般性的情况下做出这些假设,因为对于每一个 $T(n)$时间TM $M$ 存在一种双带无关TM $\tilde{M}$ 计算相同的函数 $O\left(T(n)^2\right)$ 时间(见备注) $1.10$ 和第一章的练习8)。 ${ }^4$ 因此,特别是,如果 $L$ 在NP中,那么存在一个双带无关多项式时间TM $M$ 一个多项式 $p$ 如此这般 $x \in L \Leftrightarrow \exists u \in$ ${0,1}^{p(|x|)}$ s.t。 $M(x, u)=1$.


假设$M$是无关的好处是,对于任何给定的输入长度,我们可以定义函数inputpos $(i), \operatorname{prev}(i)$,其中inputpos $(i)$表示输入磁带头在$i^{\text {th }}$步骤上的位置,prev $(i)$表示$i$之前的最后一步,$M$访问了其工作磁带上的相同位置,参见图2.3。${ }^5$这些值可以通过在全零输入上模拟$M$在多项式时间内计算出来

数学代写|计算复杂度代写Computational Complexity代考

数学代写|计算复杂度代写Computational Complexity代考 请认准UprivateTA™. UprivateTA™为您的留学生涯保驾护航。

微观经济学代写

微观经济学是主流经济学的一个分支,研究个人和企业在做出有关稀缺资源分配的决策时的行为以及这些个人和企业之间的相互作用。my-assignmentexpert™ 为您的留学生涯保驾护航 在数学Mathematics作业代写方面已经树立了自己的口碑, 保证靠谱, 高质且原创的数学Mathematics代写服务。我们的专家在图论代写Graph Theory代写方面经验极为丰富,各种图论代写Graph Theory相关的作业也就用不着 说。

线性代数代写

线性代数是数学的一个分支,涉及线性方程,如:线性图,如:以及它们在向量空间和通过矩阵的表示。线性代数是几乎所有数学领域的核心。

博弈论代写

现代博弈论始于约翰-冯-诺伊曼(John von Neumann)提出的两人零和博弈中的混合策略均衡的观点及其证明。冯-诺依曼的原始证明使用了关于连续映射到紧凑凸集的布劳威尔定点定理,这成为博弈论和数学经济学的标准方法。在他的论文之后,1944年,他与奥斯卡-莫根斯特恩(Oskar Morgenstern)共同撰写了《游戏和经济行为理论》一书,该书考虑了几个参与者的合作游戏。这本书的第二版提供了预期效用的公理理论,使数理统计学家和经济学家能够处理不确定性下的决策。

微积分代写

微积分,最初被称为无穷小微积分或 “无穷小的微积分”,是对连续变化的数学研究,就像几何学是对形状的研究,而代数是对算术运算的概括研究一样。

它有两个主要分支,微分和积分;微分涉及瞬时变化率和曲线的斜率,而积分涉及数量的累积,以及曲线下或曲线之间的面积。这两个分支通过微积分的基本定理相互联系,它们利用了无限序列和无限级数收敛到一个明确定义的极限的基本概念 。

计量经济学代写

什么是计量经济学?
计量经济学是统计学和数学模型的定量应用,使用数据来发展理论或测试经济学中的现有假设,并根据历史数据预测未来趋势。它对现实世界的数据进行统计试验,然后将结果与被测试的理论进行比较和对比。

根据你是对测试现有理论感兴趣,还是对利用现有数据在这些观察的基础上提出新的假设感兴趣,计量经济学可以细分为两大类:理论和应用。那些经常从事这种实践的人通常被称为计量经济学家。

MATLAB代写

MATLAB 是一种用于技术计算的高性能语言。它将计算、可视化和编程集成在一个易于使用的环境中,其中问题和解决方案以熟悉的数学符号表示。典型用途包括:数学和计算算法开发建模、仿真和原型制作数据分析、探索和可视化科学和工程图形应用程序开发,包括图形用户界面构建MATLAB 是一个交互式系统,其基本数据元素是一个不需要维度的数组。这使您可以解决许多技术计算问题,尤其是那些具有矩阵和向量公式的问题,而只需用 C 或 Fortran 等标量非交互式语言编写程序所需的时间的一小部分。MATLAB 名称代表矩阵实验室。MATLAB 最初的编写目的是提供对由 LINPACK 和 EISPACK 项目开发的矩阵软件的轻松访问,这两个项目共同代表了矩阵计算软件的最新技术。MATLAB 经过多年的发展,得到了许多用户的投入。在大学环境中,它是数学、工程和科学入门和高级课程的标准教学工具。在工业领域,MATLAB 是高效研究、开发和分析的首选工具。MATLAB 具有一系列称为工具箱的特定于应用程序的解决方案。对于大多数 MATLAB 用户来说非常重要,工具箱允许您学习应用专业技术。工具箱是 MATLAB 函数(M 文件)的综合集合,可扩展 MATLAB 环境以解决特定类别的问题。可用工具箱的领域包括信号处理、控制系统、神经网络、模糊逻辑、小波、仿真等。

Posted on Categories:Computational Complexity, 数学代写, 计算复杂度

数学代写|计算复杂度代写Computational Complexity代考|CS278 Reducibility and NP-completeness

如果你也在 怎样代写计算复杂度Computational Complexity CS278这个学科遇到相关的难题,请随时右上角联系我们的24/7代写客服。计算复杂度Computational Complexity在计算机科学中,一个算法的计算复杂性或简单的复杂性是运行该算法所需的资源数量。特别关注的是计算时间(一般以所需的基本操作的数量来衡量)和内存存储要求。一个问题的复杂性是允许解决该问题的最佳算法的复杂性。

计算复杂度Computational Complexity对明确给出的算法的复杂性的研究被称为算法分析,而对问题的复杂性的研究被称为计算复杂性理论。这两个领域都是高度相关的,因为算法的复杂性总是这个算法所解决的问题的复杂性的一个上限。此外,为了设计有效的算法,将特定算法的复杂性与要解决的问题的复杂性进行比较往往是最基本的。另外,在大多数情况下,人们对一个问题的复杂性的唯一认识是它低于已知的最有效算法的复杂性。因此,算法分析和复杂性理论之间有很大的重叠。

计算复杂度Computational Complexity代写,免费提交作业要求, 满意后付款,成绩80\%以下全额退款,安全省心无顾虑。专业硕 博写手团队,所有订单可靠准时,保证 100% 原创。 最高质量的计算复杂度Computational Complexity作业代写,服务覆盖北美、欧洲、澳洲等 国家。 在代写价格方面,考虑到同学们的经济条件,在保障代写质量的前提下,我们为客户提供最合理的价格。 由于作业种类很多,同时其中的大部分作业在字数上都没有具体要求,因此计算复杂度Computational Complexity作业代写的价格不固定。通常在专家查看完作业要求之后会给出报价。作业难度和截止日期对价格也有很大的影响。

avatest™帮您通过考试

avatest™的各个学科专家已帮了学生顺利通过达上千场考试。我们保证您快速准时完成各时长和类型的考试,包括in class、take home、online、proctor。写手整理各样的资源来或按照您学校的资料教您,创造模拟试题,提供所有的问题例子,以保证您在真实考试中取得的通过率是85%以上。如果您有即将到来的每周、季考、期中或期末考试,我们都能帮助您!

在不断发展的过程中,avatest™如今已经成长为论文代写,留学生作业代写服务行业的翘楚和国际领先的教育集团。全体成员以诚信为圆心,以专业为半径,以贴心的服务时刻陪伴着您, 用专业的力量帮助国外学子取得学业上的成功。

•最快12小时交付 

•200+ 英语母语导师 

•70分以下全额退款

想知道您作业确定的价格吗? 免费下单以相关学科的专家能了解具体的要求之后在1-3个小时就提出价格。专家的 报价比上列的价格能便宜好几倍。

我们在数学Mathematics代写方面已经树立了自己的口碑, 保证靠谱, 高质且原创的数学Mathematics代写服务。我们的专家在计算复杂度Computational Complexity代写方面经验极为丰富,各种计算复杂度Computational Complexity相关的作业也就用不着 说。

数学代写|计算复杂度代写Computational Complexity代考|CS278 Reducibility and NP-completeness

数学代写|计算复杂度代写Computational Complexity代考|Reducibility and NP-completeness

It turns out that the independent set problem is at least as hard as any other language in NP: if it has a polynomial-time algorithm then so do all the problems in NP. This fascinating property is called NP-hardness. Since most scientists conjecture that $\mathbf{N P} \neq \mathbf{P}$, the fact that a language is NP-hard can be viewed as evidence that it cannot be decided in polynomial time.

How can we prove that a language $B$ is at least as hard as some other language $A$ ? The crucial tool we use is the notion of a reduction (see Figure 2.1):
Definition $2.7$ (REdUCTIONS, NP-HARDNESS AND NP-COMPLETENESS)
We say that a language $A \subseteq{0,1}^$ is polynomial-time Karp reducible to a language $B \subseteq{0,1}^$ (sometimes shortened to just “polynomial-time reducible” ${ }^2$ ) denoted by $A \leq p B$ if there is a polynomial-time computable function
that for every $x \in{0,1}^*, x \in A$ if and only if $f(x) \in B$. We say that $B$ is NP-hard if $A \leq p B$ for every $A \in$ NP. We say that $B$ is NP-complete if $B$ is NP-hard and $B \in \mathbf{N P}$.

数学代写|计算复杂度代写Computational Complexity代考|The Cook-Levin Theorem: Computation is Local

Around 1971, Cook and Levin independently discovered the notion of NP-completeness and gave examples of combinatorial NP-complete problems whose definition seems to have nothing to do with Turing machines. Soon after, Karp showed that NP-completeness occurs widely and many problems of practical interest are NP-complete. To date, thousands of computational problems in a variety of disciplines have been found to be NP-complete.

Some of the simplest examples of NP-complete problems come from propositional logic. A Boolean formula over the variables $u_1, \ldots, u_n$ consists of the variables and the logical operators AND $(\wedge)$, $\operatorname{NOT}(\neg)$ and OR $(\vee)$; see Appendix A for their definitions. For example, $(a \wedge b) \vee(a \wedge c) \vee(b \wedge c)$ is a Boolean formula that is TruE if and only if the majority of the variables $a, b, c$ are TrUE. If $\varphi$ is a Boolean formula over variables $u_1, \ldots, u_n$, and $z \in{0,1}^n$, then $\varphi(z)$ denotes the value of $\varphi$ when the variables of $\varphi$ are assigned the values $z$ (where we identify 1 with TRUE and 0 with FALSE). A formula $\varphi$ is satisfiable if there there exists some assignment $z$ such that $\varphi(z)$ is TruE. Otherwise, we say that $\varphi$ is unsatisfiable.

A Boolean formula over variables $u_1, \ldots, u_n$ is in CNF form (shorthand for Conjunctive Normal Form) if it is an AND of OR’s of variables or their negations. For example, the following is a 3CNF formula:
$$
\left(u_1 \vee \bar{u}_2 \vee u_3\right) \wedge\left(u_2 \vee \bar{u}_3 \vee u_4\right) \wedge\left(\bar{u}_1 \vee u_3 \vee \bar{u}_4\right) .
$$
where $\bar{u}$ denotes the negation of the variable $u$.

数学代写|计算复杂度代写Computational Complexity代考|CS278 Reducibility and NP-completeness

计算复杂度代写


数学代写|计算复杂度代写计算复杂度代考|可约性和np -完备性


事实证明,独立集问题至少和NP中的任何其他语言一样难:如果它有多项式时间算法,那么NP中的所有问题都是如此。这种迷人的特性被称为np硬度。由于大多数科学家推测$\mathbf{N P} \neq \mathbf{P}$,一门语言是NP-hard这一事实可以被视为它不能在多项式时间内确定的证据

我们如何证明一门语言$B$至少和另一门语言$A$一样难?我们使用的关键工具是约简的概念(见图2.1):
定义$2.7$(约简,np -硬度和np -完整性)
我们说一种语言$A \subseteq{0,1}^$是多项式时间卡普可约简到一种语言$B \subseteq{0,1}^$(有时缩写为“多项式时间可约简”${ }^2$)表示为$A \leq p B$如果有一个多项式时间可计算函数
对于每个$x \in{0,1}^*, x \in A$当且仅当$f(x) \in B$。如果$A \leq p B$对应每一个$A \in$ NP,我们就说$B$是NP-hard。如果$B$是NP-hard和$B \in \mathbf{N P}$,我们说$B$是NP-complete的。

数学代写|计算复杂度代写计算复杂度代考| Cook-Levin定理:计算是局部的


大约在1971年,Cook和Levin独立地发现了np -完备性的概念,并给出了组合np -完备性问题的例子,其定义似乎与图灵机无关。不久之后,卡普证明了np完备性广泛存在,许多实际意义上的问题都是np完备的。到目前为止,在各种学科中已有数以千计的计算问题被发现是np -完备的


np完全问题的一些最简单的例子来自命题逻辑。变量$u_1, \ldots, u_n$上的布尔公式由变量和逻辑运算符and $(\wedge)$, $\operatorname{NOT}(\neg)$和OR $(\vee)$组成;它们的定义见附录A。例如,$(a \wedge b) \vee(a \wedge c) \vee(b \wedge c)$是一个布尔公式,当且仅当$a, b, c$的大部分变量为TruE时,该公式为TruE。如果$\varphi$是一个关于变量$u_1, \ldots, u_n$和$z \in{0,1}^n$的布尔公式,那么当$\varphi$的变量被赋值$z$时,$\varphi(z)$表示$\varphi$的值(其中我们将1标识为TRUE, 0标识为FALSE)。如果存在一些赋值$z$,使得$\varphi(z)$为TruE,则公式$\varphi$是可满足的。否则,我们说$\varphi$是不能满足的。


变量$u_1, \ldots, u_n$上的布尔公式是CNF形式(连词正常形式的缩写),如果它是变量的与或或的否定。例如,下面是一个3CNF公式:
$$
\left(u_1 \vee \bar{u}_2 \vee u_3\right) \wedge\left(u_2 \vee \bar{u}_3 \vee u_4\right) \wedge\left(\bar{u}_1 \vee u_3 \vee \bar{u}_4\right) .
$$
其中$\bar{u}$表示变量$u$的负数

数学代写|计算复杂度代写Computational Complexity代考

数学代写|计算复杂度代写Computational Complexity代考 请认准UprivateTA™. UprivateTA™为您的留学生涯保驾护航。

微观经济学代写

微观经济学是主流经济学的一个分支,研究个人和企业在做出有关稀缺资源分配的决策时的行为以及这些个人和企业之间的相互作用。my-assignmentexpert™ 为您的留学生涯保驾护航 在数学Mathematics作业代写方面已经树立了自己的口碑, 保证靠谱, 高质且原创的数学Mathematics代写服务。我们的专家在图论代写Graph Theory代写方面经验极为丰富,各种图论代写Graph Theory相关的作业也就用不着 说。

线性代数代写

线性代数是数学的一个分支,涉及线性方程,如:线性图,如:以及它们在向量空间和通过矩阵的表示。线性代数是几乎所有数学领域的核心。

博弈论代写

现代博弈论始于约翰-冯-诺伊曼(John von Neumann)提出的两人零和博弈中的混合策略均衡的观点及其证明。冯-诺依曼的原始证明使用了关于连续映射到紧凑凸集的布劳威尔定点定理,这成为博弈论和数学经济学的标准方法。在他的论文之后,1944年,他与奥斯卡-莫根斯特恩(Oskar Morgenstern)共同撰写了《游戏和经济行为理论》一书,该书考虑了几个参与者的合作游戏。这本书的第二版提供了预期效用的公理理论,使数理统计学家和经济学家能够处理不确定性下的决策。

微积分代写

微积分,最初被称为无穷小微积分或 “无穷小的微积分”,是对连续变化的数学研究,就像几何学是对形状的研究,而代数是对算术运算的概括研究一样。

它有两个主要分支,微分和积分;微分涉及瞬时变化率和曲线的斜率,而积分涉及数量的累积,以及曲线下或曲线之间的面积。这两个分支通过微积分的基本定理相互联系,它们利用了无限序列和无限级数收敛到一个明确定义的极限的基本概念 。

计量经济学代写

什么是计量经济学?
计量经济学是统计学和数学模型的定量应用,使用数据来发展理论或测试经济学中的现有假设,并根据历史数据预测未来趋势。它对现实世界的数据进行统计试验,然后将结果与被测试的理论进行比较和对比。

根据你是对测试现有理论感兴趣,还是对利用现有数据在这些观察的基础上提出新的假设感兴趣,计量经济学可以细分为两大类:理论和应用。那些经常从事这种实践的人通常被称为计量经济学家。

MATLAB代写

MATLAB 是一种用于技术计算的高性能语言。它将计算、可视化和编程集成在一个易于使用的环境中,其中问题和解决方案以熟悉的数学符号表示。典型用途包括:数学和计算算法开发建模、仿真和原型制作数据分析、探索和可视化科学和工程图形应用程序开发,包括图形用户界面构建MATLAB 是一个交互式系统,其基本数据元素是一个不需要维度的数组。这使您可以解决许多技术计算问题,尤其是那些具有矩阵和向量公式的问题,而只需用 C 或 Fortran 等标量非交互式语言编写程序所需的时间的一小部分。MATLAB 名称代表矩阵实验室。MATLAB 最初的编写目的是提供对由 LINPACK 和 EISPACK 项目开发的矩阵软件的轻松访问,这两个项目共同代表了矩阵计算软件的最新技术。MATLAB 经过多年的发展,得到了许多用户的投入。在大学环境中,它是数学、工程和科学入门和高级课程的标准教学工具。在工业领域,MATLAB 是高效研究、开发和分析的首选工具。MATLAB 具有一系列称为工具箱的特定于应用程序的解决方案。对于大多数 MATLAB 用户来说非常重要,工具箱允许您学习应用专业技术。工具箱是 MATLAB 函数(M 文件)的综合集合,可扩展 MATLAB 环境以解决特定类别的问题。可用工具箱的领域包括信号处理、控制系统、神经网络、模糊逻辑、小波、仿真等。

Posted on Categories:Computational Complexity, 数学代写, 计算复杂度

数学代写|计算复杂度代写Computational Complexity代考|COS522 Big-Oh notation

如果你也在 怎样代写计算复杂度Computational Complexity COS522这个学科遇到相关的难题,请随时右上角联系我们的24/7代写客服。计算复杂度Computational Complexity在计算机科学中,一个算法的计算复杂性或简单的复杂性是运行该算法所需的资源数量。特别关注的是计算时间(一般以所需的基本操作的数量来衡量)和内存存储要求。一个问题的复杂性是允许解决该问题的最佳算法的复杂性。

计算复杂度Computational Complexity对明确给出的算法的复杂性的研究被称为算法分析,而对问题的复杂性的研究被称为计算复杂性理论。这两个领域都是高度相关的,因为算法的复杂性总是这个算法所解决的问题的复杂性的一个上限。此外,为了设计有效的算法,将特定算法的复杂性与要解决的问题的复杂性进行比较往往是最基本的。另外,在大多数情况下,人们对一个问题的复杂性的唯一认识是它低于已知的最有效算法的复杂性。因此,算法分析和复杂性理论之间有很大的重叠。

计算复杂度Computational Complexity代写,免费提交作业要求, 满意后付款,成绩80\%以下全额退款,安全省心无顾虑。专业硕 博写手团队,所有订单可靠准时,保证 100% 原创。 最高质量的计算复杂度Computational Complexity作业代写,服务覆盖北美、欧洲、澳洲等 国家。 在代写价格方面,考虑到同学们的经济条件,在保障代写质量的前提下,我们为客户提供最合理的价格。 由于作业种类很多,同时其中的大部分作业在字数上都没有具体要求,因此计算复杂度Computational Complexity作业代写的价格不固定。通常在专家查看完作业要求之后会给出报价。作业难度和截止日期对价格也有很大的影响。

avatest™帮您通过考试

avatest™的各个学科专家已帮了学生顺利通过达上千场考试。我们保证您快速准时完成各时长和类型的考试,包括in class、take home、online、proctor。写手整理各样的资源来或按照您学校的资料教您,创造模拟试题,提供所有的问题例子,以保证您在真实考试中取得的通过率是85%以上。如果您有即将到来的每周、季考、期中或期末考试,我们都能帮助您!

在不断发展的过程中,avatest™如今已经成长为论文代写,留学生作业代写服务行业的翘楚和国际领先的教育集团。全体成员以诚信为圆心,以专业为半径,以贴心的服务时刻陪伴着您, 用专业的力量帮助国外学子取得学业上的成功。

•最快12小时交付 

•200+ 英语母语导师 

•70分以下全额退款

想知道您作业确定的价格吗? 免费下单以相关学科的专家能了解具体的要求之后在1-3个小时就提出价格。专家的 报价比上列的价格能便宜好几倍。

我们在数学Mathematics代写方面已经树立了自己的口碑, 保证靠谱, 高质且原创的数学Mathematics代写服务。我们的专家在计算复杂度Computational Complexity代写方面经验极为丰富,各种计算复杂度Computational Complexity相关的作业也就用不着 说。

数学代写|计算复杂度代写Computational Complexity代考|COS522 Big-Oh notation

数学代写|计算复杂度代写Computational Complexity代考|Big-Oh notation

As mentioned above, we will typically measure the computational efficiency algorithm as the number of a basic operations it performs as a function of its input length. That is, the efficiency of an algorithm can be captured by a function $T$ from the set of natural numbers $\mathbb{N}$ to itself such that $T(n)$ is equal to the maximum number of basic operations that the algorithm performs on inputs of length $n$. However, this function is sometimes be overly dependant on the low-level details of our definition of a basic operation. For example, the addition algorithm will take about three times more operations if it uses addition of single digit binary (i.e., base 2) numbers as a basic operation, as opposed to decimal (i.e., base 10) numbers. To help us ignore these low level details and focus on the big picture, the following well known notation is very useful:

DEFINITION $1.2$ (BIG-OH NOTATION)
If $f, g$ are two functions from $\mathbb{N}$ to $\mathbb{N}$, then we (1) say that $f=O(g)$ if there exists a constant $c$ such that $f(n) \leq c \cdot g(n)$ for every sufficiently large $n$, (2) say that $f=\Omega(g)$ if $g=O(f)$, (3) say that $f=\Theta(g)$ is $f=O(g)$ and $g=O(f),(4)$ say that $f=o(g)$ if for every $\epsilon>0, f(n) \leq \epsilon \cdot g(n)$ for every sufficiently large $n$, and $(5)$ say that $f=\omega(g)$ if $g=o(f)$.

To emphasize the input parameter, we often write $f(n)=O(g(n))$ instead of $f=O(g)$, and use similar notation for $o, \Omega, \omega, \Theta$.

数学代写|计算复杂度代写Computational Complexity代考|Modeling computation and effiffifficiency

We start with an informal description of computation. Let $f$ be a function that takes a string of bits (i.e., a member of the set ${0,1}^$ ) and outputs, say, either 0 or 1 . Informally speaking, an algorithm for computing $f$ is a set of mechanical rules, such that by following them we can compute $f(x)$ given any input $x \in{0,1}^$. The set of rules being followed is fixed (i.e., the same rules must work for all possible inputs) though each rule in this set may be applied arbitrarily many times. Each rule involves one or more of the following “elementary” operations:

  1. Read a bit of the input.Read a bit (or possibly a symbol from a slightly larger alphabet, say a digit in the set ${0, \ldots, 9})$ from the “scratch pad” or working space we allow the algorithm to use.
  2. Based on the values read,
  3. Write a bit/symbol to the scratch pad.
  4. Either stop and output 0 or 1 , or choose a new rule from the set that will be applied next.
  5. Finally, the running time is the number of these basic operations performed. Below, we formalize all of these notions.
数学代写|计算复杂度代写Computational Complexity代考|COS522 Big-Oh notation

计算复杂度代写


数学代写|计算复杂度代写计算复杂度代考|Big-Oh符号

.


如前所述,我们通常将算法的计算效率衡量为执行的基本操作的数量作为其输入长度的函数。也就是说,算法的效率可以通过函数$T$从自然数$\mathbb{N}$到自身的集合中获取,这样$T(n)$等于算法对长度为$n$的输入执行的最大基本操作数。然而,这个函数有时过于依赖基本操作定义的底层细节。例如,如果加法算法使用单位数二进制数(即以2为基数)的加法作为基本操作,而不是十进制数(即以10为基数)的加法,那么它将需要大约三倍多的操作。为了帮助我们忽略这些底层的细节,把注意力集中在大局上,下面的符号非常有用:

定义 $1.2$ (BIG-OH NOTATION)
$f, g$ 是两个函数 $\mathbb{N}$ 到 $\mathbb{N}$,那么我们(1)说 $f=O(g)$ 如果存在一个常数 $c$ 如此这般 $f(n) \leq c \cdot g(n)$ 对于每一个足够大的 $n$,(2)说 $f=\Omega(g)$ 如果 $g=O(f)$,(3)说 $f=\Theta(g)$ 是 $f=O(g)$ 和 $g=O(f),(4)$ 说出来 $f=o(g)$ 如果对于每一个 $\epsilon>0, f(n) \leq \epsilon \cdot g(n)$ 对于每一个足够大的 $n$,以及 $(5)$ 说出来 $f=\omega(g)$ 如果 $g=o(f)$.

为了强调输入参数,我们通常写$f(n)=O(g(n))$而不是$f=O(g)$,并使用类似的符号表示$o, \Omega, \omega, \Theta$

数学代写|计算复杂度代写Computational Complexity代考|建模计算和效率

.计算复杂度代考|


我们从计算的非正式描述开始。设$f$是一个函数,它接受一串位(即${0,1}^$集合的一个成员)并输出0或1。非正式地说,计算$f$的算法是一组机械规则,这样我们就可以在给定输入$x \in{0,1}^$的情况下计算$f(x)$。所遵循的规则集是固定的(即,相同的规则必须适用于所有可能的输入),尽管该集合中的每个规则可以任意应用多次。每个规则都包含以下一个或多个“基本”操作

  1. 读取输入的一个bit。从我们允许算法使用的“草稿板”或工作空间中读取一点(或者可能是稍大一点的字母表中的一个符号,比如集合${0, \ldots, 9})$中的一个数字)。
  2. 根据读取的值,
  3. 向刮痧板上写入位/符号。
  4. 要么停止并输出0或1,要么从接下来将应用的集合中选择一个新规则。
  5. 最后,运行时间是执行这些基本操作的次数。下面,我们将这些概念形式化。
数学代写|计算复杂度代写Computational Complexity代考

数学代写|计算复杂度代写Computational Complexity代考 请认准UprivateTA™. UprivateTA™为您的留学生涯保驾护航。

微观经济学代写

微观经济学是主流经济学的一个分支,研究个人和企业在做出有关稀缺资源分配的决策时的行为以及这些个人和企业之间的相互作用。my-assignmentexpert™ 为您的留学生涯保驾护航 在数学Mathematics作业代写方面已经树立了自己的口碑, 保证靠谱, 高质且原创的数学Mathematics代写服务。我们的专家在图论代写Graph Theory代写方面经验极为丰富,各种图论代写Graph Theory相关的作业也就用不着 说。

线性代数代写

线性代数是数学的一个分支,涉及线性方程,如:线性图,如:以及它们在向量空间和通过矩阵的表示。线性代数是几乎所有数学领域的核心。

博弈论代写

现代博弈论始于约翰-冯-诺伊曼(John von Neumann)提出的两人零和博弈中的混合策略均衡的观点及其证明。冯-诺依曼的原始证明使用了关于连续映射到紧凑凸集的布劳威尔定点定理,这成为博弈论和数学经济学的标准方法。在他的论文之后,1944年,他与奥斯卡-莫根斯特恩(Oskar Morgenstern)共同撰写了《游戏和经济行为理论》一书,该书考虑了几个参与者的合作游戏。这本书的第二版提供了预期效用的公理理论,使数理统计学家和经济学家能够处理不确定性下的决策。

微积分代写

微积分,最初被称为无穷小微积分或 “无穷小的微积分”,是对连续变化的数学研究,就像几何学是对形状的研究,而代数是对算术运算的概括研究一样。

它有两个主要分支,微分和积分;微分涉及瞬时变化率和曲线的斜率,而积分涉及数量的累积,以及曲线下或曲线之间的面积。这两个分支通过微积分的基本定理相互联系,它们利用了无限序列和无限级数收敛到一个明确定义的极限的基本概念 。

计量经济学代写

什么是计量经济学?
计量经济学是统计学和数学模型的定量应用,使用数据来发展理论或测试经济学中的现有假设,并根据历史数据预测未来趋势。它对现实世界的数据进行统计试验,然后将结果与被测试的理论进行比较和对比。

根据你是对测试现有理论感兴趣,还是对利用现有数据在这些观察的基础上提出新的假设感兴趣,计量经济学可以细分为两大类:理论和应用。那些经常从事这种实践的人通常被称为计量经济学家。

MATLAB代写

MATLAB 是一种用于技术计算的高性能语言。它将计算、可视化和编程集成在一个易于使用的环境中,其中问题和解决方案以熟悉的数学符号表示。典型用途包括:数学和计算算法开发建模、仿真和原型制作数据分析、探索和可视化科学和工程图形应用程序开发,包括图形用户界面构建MATLAB 是一个交互式系统,其基本数据元素是一个不需要维度的数组。这使您可以解决许多技术计算问题,尤其是那些具有矩阵和向量公式的问题,而只需用 C 或 Fortran 等标量非交互式语言编写程序所需的时间的一小部分。MATLAB 名称代表矩阵实验室。MATLAB 最初的编写目的是提供对由 LINPACK 和 EISPACK 项目开发的矩阵软件的轻松访问,这两个项目共同代表了矩阵计算软件的最新技术。MATLAB 经过多年的发展,得到了许多用户的投入。在大学环境中,它是数学、工程和科学入门和高级课程的标准教学工具。在工业领域,MATLAB 是高效研究、开发和分析的首选工具。MATLAB 具有一系列称为工具箱的特定于应用程序的解决方案。对于大多数 MATLAB 用户来说非常重要,工具箱允许您学习应用专业技术。工具箱是 MATLAB 函数(M 文件)的综合集合,可扩展 MATLAB 环境以解决特定类别的问题。可用工具箱的领域包括信号处理、控制系统、神经网络、模糊逻辑、小波、仿真等。