相信许多留学生对数学代考都不陌生，国外许多大学都引进了网课的学习模式。网课学业有利有弊，学生不需要到固定的教室学习，只需要登录相应的网站研讨线上课程即可。但也正是其便利性，线上课程的数量往往比正常课程多得多。留学生课业深重，时刻名贵，既要学习知识，又要结束多种类型的课堂作业，physics作业代写，物理代写，论文写作等；网课考试很大程度增加了他们的负担。所以，您要是有这方面的困扰，不要犹疑，订购myassignments-help代考渠道的数学代考服务，价格合理，给你前所未有的学习体会。
我们的数学代考服务适用于那些对课程结束没有掌握，或许没有满足的时刻结束网课的同学。高度匹配专业科目，按需结束您的网课考试、数学代写需求。担保买卖支持，100%退款保证，免费赠送Turnitin检测报告。myassignments-help的Math作业代写服务，是你留学路上忠实可靠的小帮手！
计算机代写|计算复杂度理论代写Computational complexity theory代考|Equivalence to alternating Turing machines
So far we have defined the alternating hierarchy in terms of logical formulas. Let’s continue by justifying the claim that this had something to do with alternating Turing machines.
An alternating Turing machine generalizes a nondeterministic Turing machine by allowing both $\mathrm{OR}$ and $\mathrm{AND}$ nondeterministic transitions. This produces a branching tree of computations, just as in a nondeterministic machine, but instead of applying the rule that the machine accepts if any branch accepts, we apply a more complicated rule that essentially corresponds to evaluating a game tree.
Each leaf node of the tree, corresponding to a halting configuration of the machine, is assigned a value true or false depending on whether that configuration accepts or rejects. A deterministic node (with exactly one successor) gets the same value as its successor. Nondeterministic OR nodes get the OR if their successors’ values, while nondeterministic AND nodes get the AND of their successors’ values. The machine as a whole accepts if and only if the root node gets the value true.
An alternating Turing machine can easily implement a sequence of quantifiers, by representing each $\exists$ quantifier as a sequence of OR branches and each $\forall$ quantifier as a sequence of AND branches, where following each branch the machine writes the next bit of the appropriate variable to a work tape. Given a $\boldsymbol{\Sigma}_k^p$ language, this requires $k$ layers of alternating $\mathrm{OR}$ and $\mathrm{AND}$ branches, followed by a deterministic polynomial-time computation. So we can represent $\boldsymbol{\Sigma}_k^p$ languages (and similarly $\boldsymbol{\Pi}_k^p$ languages) using alternating Turing machines with this restriction on branching.
In the other direction, suppose that we have an alternating Turing machine, where on each branch of the computation we have a sequence of OR branches, followed by AND branches, followed by OR branches, with at most $k$ such subsequences of branches of the same type and at most polynomially-many steps altogether on each branch. We would like to argue that the language decided by this machine is in $\boldsymbol{\Sigma}_k^p$.
计算机代写|计算复杂度理论代写Computational complexity theory代考|Equivalence to oracle definition
We generally don’t distinguish between the alternating and oracle versions of the polynomial-time hierarchy, because they give the same classes. This is a little surprising since the alternating version requires us to choose all of our quantified variables at once, while the oracle version lets us choose oracle queries interactively, but it turns out we can use the existential quantifier at the front of a $\Sigma_k^p$ formula to guess what queries we intend to make and then reject and discard any branches where we guessed wrong.
Before jumping into the full result, let’s show how this works for $\boldsymbol{\Sigma}_2^p=$ $\mathbf{N P}^{\mathrm{NP}}$. For the moment we will use $\boldsymbol{\Sigma}_2^p$ specifically to refer to the alternating definition of the class, which we can think of as all predicates of the form $\exists w_1 \forall w_2 M\left(x, w_1, w_2\right)$ where $w_1$ and $w_2$ have size polynomial in $|x|$ and $M$ is a polynomial-time-computable predicate.
Showing $\boldsymbol{\Sigma}_2^p \subseteq \mathbf{N P} \mathbf{N P}^{\mathbf{N P}}$ is trivial. Given a $\boldsymbol{\Sigma}_2^p$ formula $\exists w_1 \forall w_2 M\left(x, w_1, w_2\right)$, construct an NP $\mathbf{N P}$ machine that guesses $w_1$, then uses an oracle call to test if $\exists w_2 \neg M\left(x, w_1, w_2\right)$ holds. Accept if the oracle rejects and reject if the oracle accepts. This makes the computation accept if $\exists w_1 \neg \exists w_2 M\left(x, w_1, w_2\right) \equiv$ $\exists w_1 \forall w_2 M\left(x, w_1, w_2\right)$.
计算复杂度理论代考
计算机代写|计算复杂度理论代写Computational complexity theory代考|Equivalence to alternating Turing machines
到目前为止，我们已经根据逻辑公式定义了交替层次结构。让我们继续证明这与交替图灵机有关的说法。
交替图灵机通过允许两者来概括非确定性图灵机欧R和一个否丁不确定的转换。这会产生一个计算的分支树，就像在非确定性机器中一样，但我们不是应用机器接受任何分支接受的规则，而是应用一个更复杂的规则，该规则本质上对应于评估博弈树。
树的每个叶节点，对应于机器的停止配置，根据该配置是接受还是拒绝，被分配一个值 true 或 false。确定性节点（只有一个后继节点）获得与其后继节点相同的值。非确定性 OR 节点在其后继值的情况下获得 OR，而非确定性 AND 节点获得其后继值的 AND。当且仅当根节点的值为真时，机器作为一个整体接受。
交替图灵机可以很容易地实现一系列量词，通过表示每个∃量词作为 OR 分支的序列，每个∀作为一系列 AND 分支的量词，其中在每个分支之后，机器将适当变量的下一位写入工作磁带。给定一个小号kp语言，这需要k层层交替欧R和一个否丁分支，然后是确定性多项式时间计算。所以我们可以代表小号kp语言（以及类似的πkp语言）使用具有这种分支限制的交替图灵机。
在另一个方向上，假设我们有一个交替图灵机，在计算的每个分支上我们都有一系列 OR 分支，然后是 AND 分支，然后是 OR 分支，最多k这种相同类型的分支的子序列，并且每个分支上的步骤最多为多项式。我们想争辩说，这台机器决定的语言是小号kp.
计算机代写|计算复杂度理论代写Computational complexity theory代考|Equivalence to oracle definition
我们通常不区分多项式时间层次结构的交替版本和预言版本，因为它们给出相同的类。这有点令人惊讶，因为交替版本要求我们一次选择所有量化变量，而 oracle 版本让我们交互式地选择 oracle 查询，但事实证明我们可以在 a 的前面使用存在量词小号kp公式来猜测我们打算进行什么查询，然后拒绝并丢弃我们猜错的任何分支。
在进入完整结果之前，让我们展示一下它是如何工作的小号2p= 否P否P. 目前我们将使用小号2p具体指的是类的交替定义，我们可以认为是所有谓词的形式∃在1∀在2米(X,在1,在2)在哪里在1和在2有大小多项式|X|和米是多项式时间可计算谓词。
显示小号2p⊆否P否P否P是微不足道的。给定一个小号2p公式∃在1∀在2米(X,在1,在2), 构建一个 NP否P猜测的机器在1，然后使用 oracle 调用来测试是否∃在2¬米(X,在1,在2)持有。如果神谕拒绝则接受，如果神谕接受则拒绝。这使得计算接受如果∃在1¬∃在2米(X,在1,在2)≡ ∃在1∀在2米(X,在1,在2).
myassignments-help数学代考价格说明
1、客户需提供物理代考的网址，相关账户，以及课程名称，Textbook等相关资料~客服会根据作业数量和持续时间给您定价~使收费透明，让您清楚的知道您的钱花在什么地方。
2、数学代写一般每篇报价约为600—1000rmb，费用根据持续时间、周作业量、成绩要求有所浮动(持续时间越长约便宜、周作业量越多约贵、成绩要求越高越贵)，报价后价格觉得合适，可以先付一周的款，我们帮你试做，满意后再继续，遇到Fail全额退款。
3、myassignments-help公司所有MATH作业代写服务支持付半款，全款，周付款，周付款一方面方便大家查阅自己的分数，一方面也方便大家资金周转，注意:每周固定周一时先预付下周的定金，不付定金不予继续做。物理代写一次性付清打9.5折。
Math作业代写、数学代写常见问题
留学生代写覆盖学科？
代写学科覆盖Math数学,经济代写，金融,计算机,生物信息，统计Statistics,Financial Engineering，Mathematical Finance，Quantitative Finance，Management Information Systems,Business Analytics,Data Science等。代写编程语言包括Python代写、Physics作业代写、物理代写、R语言代写、R代写、Matlab代写、C++代做、Java代做等。
数学作业代写会暴露客户的私密信息吗？
我们myassignments-help为了客户的信息泄露，采用的软件都是专业的防追踪的软件，保证安全隐私，绝对保密。您在我们平台订购的任何网课服务以及相关收费标准，都是公开透明，不存在任何针对性收费及差异化服务，我们随时欢迎选购的留学生朋友监督我们的服务，提出Math作业代写、数学代写修改建议。我们保障每一位客户的隐私安全。
留学生代写提供什么服务？
我们提供英语国家如美国、加拿大、英国、澳洲、新西兰、新加坡等华人留学生论文作业代写、物理代写、essay润色精修、课业辅导及网课代修代写、Quiz，Exam协助、期刊论文发表等学术服务，myassignments-help拥有的专业Math作业代写写手皆是精英学识修为精湛；实战经验丰富的学哥学姐！为你解决一切学术烦恼！
物理代考靠谱吗？
靠谱的数学代考听起来简单，但实际上不好甄别。我们能做到的靠谱，是把客户的网课当成自己的网课；把客户的作业当成自己的作业；并将这样的理念传达到全职写手和freelancer的日常培养中，坚决辞退糊弄、不守时、抄袭的写手！这就是我们要做的靠谱！
数学代考下单流程
提早与客服交流，处理你心中的顾虑。操作下单，上传你的数学代考/论文代写要求。专家结束论文，准时交给，在此过程中可与专家随时交流。后续互动批改
付款操作：我们数学代考服务正常多种支付方法，包含paypal，visa，mastercard，支付宝，union pay。下单后与专家直接互动。
售后服务：论文结束后保证完美经过turnitin查看，在线客服全天候在线为您服务。如果你觉得有需求批改的当地能够免费批改，直至您对论文满意为止。如果上交给教师后有需求批改的当地，只需求告诉您的批改要求或教师的comments，专家会据此批改。
保密服务：不需求提供真实的数学代考名字和电话号码，请提供其他牢靠的联系方法。我们有自己的工作准则，不会泄露您的个人信息。
myassignments-help擅长领域包含但不是全部:
myassignments-help服务请添加我们官网的客服或者微信/QQ，我们的服务覆盖：Assignment代写、Business商科代写、CS代考、Economics经济学代写、Essay代写、Finance金融代写、Math数学代写、report代写、R语言代考、Statistics统计学代写、物理代考、作业代写、加拿大代考、加拿大统计代写、北美代写、北美作业代写、北美统计代考、商科Essay代写、商科代考、数学代考、数学代写、数学作业代写、physics作业代写、物理代写、数据分析代写、新西兰代写、澳洲Essay代写、澳洲代写、澳洲作业代写、澳洲统计代写、澳洲金融代写、留学生课业指导、经济代写、统计代写、统计作业代写、美国Essay代写、美国代考、美国数学代写、美国统计代写、英国Essay代写、英国代考、英国作业代写、英国数学代写、英国统计代写、英国金融代写、论文代写、金融代考、金融作业代写。