Cook–Levin theorem: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
← Older edit
en>David Eppstein
Undid revision 589710894 by Flamableconcrete (talk) CL theorem (and G&J) are both primarily about completeness, not hardness
en>David Eppstein
→‎Contributions: clarify vague statement
 
Line 1: Line 1:
In [[computational complexity theory]], an '''Arthur–Merlin protocol''' is an [[interactive proof system]] in which the verifier's coin tosses are constrained to be public (i.e. known to the prover too). This notion was introduced by {{Harvtxt|Babai|1985}}. {{Harvtxt|Goldwasser|Sipser|1986}} proved that all languages with interactive proofs of arbitrary length with private coins also have interactive proofs with public coins.
MID-SIZED property builders in Singapore have joined the massive boys in increasing abroad - particularly in London and Australia - and are expected to continue in pursuit of better margins amid stiff competition at residence, stated a senior executive from OCBC Financial institution.<br><br>Asia's leading suppliers of enterprise area options; deals in excessive-tech & industrial parks, e-infrastructure, business networking and many others; flagship initiatives embrace Singapore Science Parks (I, II & III), International Tech Park, Bangalore, and so on International property & hotel conglomerate concerned in actual property improvement & investment, hotel ownership & operations & provision of hospitality solutions; operates in 21 countries in Asia, Europe, Australasia, North America and many others Builders of residential, industrial, industrial & combined-use properties; has properties in London & Shangai too It may be that Singapore's inability to sustain massive financial sectors aside from property and  [http://drive.ilovetheory.com/content/singapore-property-itemizing-0 property developers in singapore list] banking is because of the lack of a home market. Real Estate Company Charging GST<br><br>2014 All Property Options Pte Ltd, Agency Licence No. L3010404H. All rights reserved. The 195,000 sq ft freehold website was acquired by the Group in December 2007. The development includes three 24-storey blocks with 289 apartment units and full condominium amenities. Tuesday's measures – which tightened mortgage terms for state-constructed properties and delayed public-housing eligibility for sure non-citizens – follow a series of presidency curbs that stretch again over 4 years. It also prompted some investors to unload their stakes in Singaporean property developers on Wednesday, amid a broader market droop. The property three way partnership is the primary concrete example of that pledge. District 18, 999 yr LH condominium District 9, Freehold Condominium<br><br>GPS Funding Gross sales operates like an entrepreneur group drawing on wealth of experiences with in depth perception domestically and having a global perspective. We are in a position to provide investment strategies that tailored to the clients profile. Our shoppers starting from Wealth Fund managers, Multinational Corporations, Small Medium Enterprise corporations, Property Developers and Extremely Networth Individual. En-bloc Gross sales Division Sustainability, property development, sustainability initiatives, tripple bottom line, measuring sustainability, reporting, metrics and benchmarks Should you've enjoyed what you've read thus far why not sign up for our FREE property alert and on-line journal PropertyWire Confidential. District 23, ninety nine years Leasehold condominium BUILD TO ALTER<br><br>TROPIKA EAST  NON-PUBLIC CONDOMINIUM HOUSE  FOO KIM LIN HIGHWAY (JALAN EUNOS), SINGAPORE (DISTRICT 14) WOODHAVEN  PRIVATE TOWNHOUSES  WOODGROVE AVENUE, SINGAPORE (DISTRICT 25) Look by means of the unit plans and determine what unit sort you would like. A worth psf (per sq. foot) range is normally supplied so that you'd be capable of estimate a rough value for every unit type. (You would possibly need to use the mortgage calculator on the suitable of this web page to determine the instalments payable for purchasing property in Singapore.) Wheelock Properties Ltd - Previously generally known as Marco Polo Developments Restricted, it is a reputed property developer and investor company in Singapore, focusing mainly on luxury residences. If you have not started your search for a bank, it is time to start it now!<br><br>A leading prime workplace developer in Singapore, Keppel Land contributes to enhancing the city's skyline with landmark developments equivalent to Marina Bay Monetary Centre, Ocean Financial Centre and One Raffles Quay. A few of Singapore's debtors, many of whom already have excessive debt hundreds, might grow to be stretched if interest rates rise and there are considerations they might dump their properties into an already slowing market if their payments rise. It is not clear that costs are following sales decrease. Whereas prices may seem like falling, usually latest gross sales are on lower floors or have a loft ceiling, which decreases the greenback-per-sq.-foot value, Cheong noted. Foreign change, interest rate and other financial dangers Anson, Singapore Geylang, Singapore<br><br>GOODMAN CREST  CLUSTER STRATA HOUSE  CRESCENT STREET, SINGAPORE (DISTRICT 15) GREEN ASSORTMENT, THE  CLUSTER STRATA HOUSE  COVE DRIVE, SINGAPORE (DISTRICT 04) GREENWICH, THE  PERSONAL CONDOMINIUM CONDO  SELETAR HIGHWAY, SINGAPORE (DISTRICT 28) GREENWOOD, THE  CLUSTER STRATA HOME  GREENWOOD , SINGAPORE (DISTRICT 11) HEDGES PARK CONDOMINIUM  PERSONAL CONDOMINIUM CONDO  FLORA DRIVE, SINGAPORE (DISTRICT 17) HIJAUAN  NON-PUBLIC CONDOMINIUM CONDO  CAVENAGH ROAD, SINGAPORE (DISTRICT 09) HILLSGROVE  CLUSTER STRATA HOME  HILLSIDE DRIVE, SINGAPORE (DISTRICT 19) HILLTOPS  PERSONAL CONDOMINIUM RESIDENCE  CAIRNHILL CIRCLE, SINGAPORE (DISTRICT 09) L'VIV  PRIVATE CONDOMINIUM APARTMENT  NEWTON STREET, SINGAPORE (DISTRICT 11) If the world of the property is less than the realm acknowledged in the<br><br>Over time, now we have developed residential, commercal as well as industrial properties, which attraction to the expectations of our customers. Our residential properties have been geared up with the newest conveniences, which attraction to existence that befit that of the new millennium. Some of our residential tasks embody Hullet Rise and Shaw Plaza-Twin Heights. HAVING been infused with fresh cash for acquisitions and a new spirit of daring, Frasers Centrepoint Restricted (FCL) may shake up the market next 12 months. FCL surprised the market in September with an aggressive bid for a Yishun site. It's growing the 512-unit Hillview Peak venture in Higher Bukit Timah, though sales for that venture have been gradual. Restriction on Foreign Ownership
 
The basic assumption is that Arthur is a standard computer (or verifier) equipped with a [[Random number generation|random number generating device]], while Merlin is effectively an [[oracle (computer science)|oracle]] with infinite computational power (also known as a prover); but Merlin is not necessarily honest, so Arthur must analyze the information provided by Merlin in response to Arthur's queries and decide the problem itself. A problem is considered to be solvable by this protocol if whenever the answer is "yes", Merlin has some series of responses which will cause Arthur to accept at least 2/3 of the time, and if whenever the answer is "no", Arthur will never accept more than 1/3 of the time. Thus, Arthur acts as a probabilistic polynomial-time verifier, assuming it is allotted polynomial time to make its decisions and queries.
 
==MA==
 
The simplest such protocol is the 1-message protocol where Merlin sends Arthur a message, and then Arthur decides whether to accept or not by running a probabilistic polynomial time computation. (This is similar to the verifier-based definition of NP, the only difference being that Arthur is allowed to use randomness here.) Merlin does not have access to Arthur's coin tosses in this protocol, since it is a single message protocol and Arthur tosses his coins only after receiving Merlin's message. This protocol is called ''MA''. Informally, a language ''L'' is in '''MA''' if for all strings in the language, there is a polynomial sized proof that Merlin can send Arthur to convince him of this fact with high probability, and for all strings not in the language there is no proof that convinces Arthur with high probability. However, Arthur is not necessarily a '''BPP''' verifier as it is not known whether '''MA''' is contained in the class '''<math> \exists . BPP</math>'''.<ref>https://complexityzoo.uwaterloo.ca/Complexity_Zoo:E#existsbpp</ref>
 
Formally, the complexity class '''MA''' is the set of decision problems that can be decided in polynomial time by an Arthur–Merlin protocol where Merlin's only move precedes any computation by Arthur. In other words, a language ''L'' is in '''MA''' if there exists a polynomial-time deterministic Turing machine ''M'' and polynomials ''p'', ''q'' such that for every input string ''x'' of length ''n'' = |''x''|,
*if ''x'' is in ''L'', then <math>\exists z\in\{0,1\}^{q(n)}\,\Pr\nolimits_{y\in\{0,1\}^{p(n)}}(M(x,y,z)=1)\ge2/3,</math>
*if ''x'' is not in ''L'', then <math>\forall z\in\{0,1\}^{q(n)}\,\Pr\nolimits_{y\in\{0,1\}^{p(n)}}(M(x,y,z)=0)\ge2/3.</math>
 
The second condition can alternately be written as
*if ''x'' is not in ''L'', then <math>\forall z\in\{0,1\}^{q(n)}\,\Pr\nolimits_{y\in\{0,1\}^{p(n)}}(M(x,y,z)=1)\le1/3.</math>
 
To compare this with the informal definition above, ''z'' is the alleged proof from Merlin (whose size is bounded by a polynomial) and ''y'' is the random string that Arthur uses, which is also polynomially bounded.
 
==AM==
The [[complexity class]] '''AM''' (or '''AM[2]''') is the set of [[decision problem]]s that can be decided in polynomial time by an Arthur&ndash;Merlin protocol with two messages. There is only one query/response pair: Arthur tosses some random coins and sends the outcome of ''all'' his coin tosses to Merlin, Merlin responds with a purported proof, and Arthur deterministically verifies the proof. In this protocol, Arthur is only allowed to send outcomes of coin tosses to Merlin, and in the final stage Arthur must decide whether to accept or reject using only his previously generated random coin flips and Merlin's message.
 
In other words, a language ''L'' is in '''AM''' if there exists a polynomial-time deterministic Turing machine ''M'' and polynomials ''p'', ''q'' such that for every input string ''x'' of length ''n'' = |''x''|,
*if ''x'' is in ''L'', then <math>\Pr\nolimits_{y\in\{0,1\}^{p(n)}}(\exists z\in\{0,1\}^{q(n)}\,M(x,y,z)=1)\ge2/3,</math>
*if ''x'' is not in ''L'', then <math>\Pr\nolimits_{y\in\{0,1\}^{p(n)}}(\forall z\in\{0,1\}^{q(n)}\,M(x,y,z)=0)\ge2/3.</math>
 
The second condition here can be rewritten as
*if ''x'' is not in ''L'', then <math>\Pr\nolimits_{y\in\{0,1\}^{p(n)}}(\exists z\in\{0,1\}^{q(n)}\,M(x,y,z)=1)\le1/3.</math>
 
As above, ''z'' is the alleged proof from Merlin (whose size is bounded by a polynomial) and ''y'' is the random string that Arthur uses, which is also polynomially bounded.
 
The complexity class '''AM[''k'']''' is the set of problems that can be decided in polynomial time, with ''k'' queries and responses. '''AM''' as defined above is '''AM[2]'''. '''AM[3]''' would start with one message from Merlin to Arthur, then a message from Arthur to Merlin and then finally a message from Merlin to Arthur. The last message should always be from Merlin to Arthur, since it never helps for Arthur to send a message to Merlin before deciding his answer.
 
==Properties==
 
* Both '''MA''' and '''AM''' remain unchanged if their definitions are changed to require perfect completeness, which means that Arthur accepts with probability 1 (instead of 2/3) when ''x'' is in the language.<ref>For a proof, see {{cite web|url=http://www.cs.cornell.edu/courses/cs6810/2009sp/scribe/lecture17.pdf|title=Lecture 17: Arthur-Merlin games, Zero-knowledge proofs|author=Rafael Pass and Jean-Baptiste Jeannin|date=March 24, 2009|accessdate=June 23, 2010}}</ref>
 
* For any fixed ''k'' ≥ 2, the class '''AM[''k'']''' is equal to '''AM[2]'''. If ''k'' can vary polynomially on input size, the class '''AM'''[poly(''n'')] is a much stronger class, '''[[IP (complexity)|IP]]''', which is known to be equal to '''[[PSPACE]]'''.
 
* '''MA''' is contained in '''AM''', since '''MA'''[3] = '''AM''', and Arthur can, after receiving Merlin's certificate, flip the required number of coins, send them to Merlin, and ignore the response.
 
* It is open whether '''AM''' and '''MA''' are different. Under plausible circuit lower bounds (similar to those implying '''P'''='''BPP'''), they are both equal to '''NP'''.
 
* '''AM''' is the same as the class '''BP.NP''' where '''BP''' denotes the bounded-error probabilistic operator. Also, '''<math> \exists . BPP</math>''' ( also written as '''ExistsBPP''') is a subset of '''MA'''. Whether '''MA''' is equal to '''<math> \exists . BPP</math>''' is an open question.
 
* The conversion to a private coin protocol, in which Merlin cannot predict the outcome of Arthur's random decisions, will increase the number of rounds of interaction by at most 2 in the general case. So the private-coin version of '''AM''' is equal to the public-coin version.
 
* '''MA''' contains both '''[[NP (complexity)|NP]]''' and '''[[BPP (complexity)|BPP]]'''. For BPP this is immediate, since Arthur can simply ignore Merlin and solve the problem directly; for NP, Merlin need only send Arthur a certificate, which Arthur can validate deterministically in polynomial time.
 
* Both '''MA''' and '''AM''' are contained in the [[polynomial hierarchy]]. In particular, '''MA''' is contained in the intersection of Σ<sub>2</sub><sup>P</sup> and Π<sub>2</sub><sup>P</sup> and '''AM''' is contained in Π<sub>2</sub><sup>P</sup>. Even more, '''MA''' is contained in subclass '''[[S2P (complexity)|{{nowrap|S{{su|p=P|b=2}}}}]]''',<ref>[http://www.ccs.neu.edu/home/koods/papers/russell98symmetric.pdf Symmetric Alternation captures BPP]</ref> a complexity class expressing "symmetric alternation". This is a generalization of [[Sipser–Lautemann theorem]].
 
* '''AM''' is contained in '''NP/poly''', the class of decision problems computable in non-deterministic polynomial time with a polynomial size [[advice (complexity)|advice]]. The proof is a variation of [[P/poly#Adleman's theorem|Adleman's theorem]].
 
* '''MA''' is contained in '''[[PP (complexity)|PP]]'''; this result is due to Vereshchagin.
 
* '''MA''' is contained in its quantum version, '''[[QMA]]'''.
 
* '''AM''' contains the [[graph isomorphism problem|problem]] of deciding if two graphs are ''not'' isomorphic. The protocol using private coins is the following and can be transformed to a public coin protocol. Given two graphs ''G'' and ''H'', Arthur randomly chooses one of them, and chooses a random permutation of its vertices, presenting the permuted graph ''I'' to Merlin. Merlin has to answer if ''I'' was created from ''G'' or ''H''. If the graphs are nonisomorphic, Merlin will be able to answer with full certainty (by checking if ''I'' is isomorphic to ''G''). However, if the graphs are isomorphic, it is both possible that ''G'' or ''H'' was used to create ''I'', and equally likely. In this case, Merlin has no way to tell them apart and can convince Arthur with probability at most 1/2, and this can be amplified to 1/4 by repetition. This is in fact a [[zero knowledge proof]].
 
* If '''AM''' contains '''coNP''' then '''[[Polynomial hierarchy|PH]]''' = '''AM'''. This is evidence that graph isomorphism is unlikely to be NP-complete, since it implies collapse of polynomial hierarchy.
 
* It is known, assuming [[extended Riemann hypothesis|ERH]], that for any ''d'' the problem
::Given a collection of multivarariate polynomials <math>f_i</math> each with integer coefficients and of degree at most ''d'', do they have a common complex zero?
: is in '''AM'''.<ref>[[Madhu Sudan]], Algebra and Computation lecture notes [http://people.csail.mit.edu/madhu/FT98/course.html], lecture 22</ref>
 
==Footnotes==
{{reflist}}
 
==References==
* {{Citation | last1=Babai | first1=László | author1-link=László Babai | title=STOC '85: Proceedings of the seventeenth annual ACM symposium on Theory of computing | publisher=ACM | isbn=978-0-89791-151-1 | year=1985 | chapter=Trading group theory for randomness | pages=421–429}}.
* {{Citation | last1=Goldwasser | first1=Shafi | author1-link=Shafi Goldwasser | last2=Sipser | first2=Michael | author2-link=Michael Sipser | title=STOC '86: Proceedings of the eighteenth annual ACM symposium on Theory of computing | publisher=ACM | isbn=978-0-89791-193-1 | year=1986 | chapter=Private coins versus public coins in interactive proof systems | pages=59–68}}.
*{{Citation
| last1=Arora | first1=Sanjeev | authorlink1=Sanjeev Arora
| last2=Barak | first2=Boaz
| title=Computational Complexity: A Modern Approach
| url = http://www.cs.princeton.edu/theory/complexity/
| publisher=[[Cambridge University Press|Cambridge]]
| year=2009
| isbn=978-0-521-42426-4
}}.
* [http://theory.lcs.mit.edu/~madhu/ST05/ Madhu Sudan's MIT course on advanced complexity]
 
==External links==
*{{CZoo|MA|M#ma}}
*{{CZoo|AM|A#am}}
 
{{ComplexityClasses}}
 
{{DEFAULTSORT:Arthur-Merlin protocol}}
[[Category:Probabilistic complexity theory]]

Latest revision as of 20:49, 25 November 2014

MID-SIZED property builders in Singapore have joined the massive boys in increasing abroad - particularly in London and Australia - and are expected to continue in pursuit of better margins amid stiff competition at residence, stated a senior executive from OCBC Financial institution.

Asia's leading suppliers of enterprise area options; deals in excessive-tech & industrial parks, e-infrastructure, business networking and many others; flagship initiatives embrace Singapore Science Parks (I, II & III), International Tech Park, Bangalore, and so on International property & hotel conglomerate concerned in actual property improvement & investment, hotel ownership & operations & provision of hospitality solutions; operates in 21 countries in Asia, Europe, Australasia, North America and many others Builders of residential, industrial, industrial & combined-use properties; has properties in London & Shangai too It may be that Singapore's inability to sustain massive financial sectors aside from property and property developers in singapore list banking is because of the lack of a home market. Real Estate Company Charging GST

2014 All Property Options Pte Ltd, Agency Licence No. L3010404H. All rights reserved. The 195,000 sq ft freehold website was acquired by the Group in December 2007. The development includes three 24-storey blocks with 289 apartment units and full condominium amenities. Tuesday's measures – which tightened mortgage terms for state-constructed properties and delayed public-housing eligibility for sure non-citizens – follow a series of presidency curbs that stretch again over 4 years. It also prompted some investors to unload their stakes in Singaporean property developers on Wednesday, amid a broader market droop. The property three way partnership is the primary concrete example of that pledge. District 18, 999 yr LH condominium District 9, Freehold Condominium

GPS Funding Gross sales operates like an entrepreneur group drawing on wealth of experiences with in depth perception domestically and having a global perspective. We are in a position to provide investment strategies that tailored to the clients profile. Our shoppers starting from Wealth Fund managers, Multinational Corporations, Small Medium Enterprise corporations, Property Developers and Extremely Networth Individual. En-bloc Gross sales Division Sustainability, property development, sustainability initiatives, tripple bottom line, measuring sustainability, reporting, metrics and benchmarks Should you've enjoyed what you've read thus far why not sign up for our FREE property alert and on-line journal PropertyWire Confidential. District 23, ninety nine years Leasehold condominium BUILD TO ALTER

TROPIKA EAST NON-PUBLIC CONDOMINIUM HOUSE FOO KIM LIN HIGHWAY (JALAN EUNOS), SINGAPORE (DISTRICT 14) WOODHAVEN PRIVATE TOWNHOUSES WOODGROVE AVENUE, SINGAPORE (DISTRICT 25) Look by means of the unit plans and determine what unit sort you would like. A worth psf (per sq. foot) range is normally supplied so that you'd be capable of estimate a rough value for every unit type. (You would possibly need to use the mortgage calculator on the suitable of this web page to determine the instalments payable for purchasing property in Singapore.) Wheelock Properties Ltd - Previously generally known as Marco Polo Developments Restricted, it is a reputed property developer and investor company in Singapore, focusing mainly on luxury residences. If you have not started your search for a bank, it is time to start it now!

A leading prime workplace developer in Singapore, Keppel Land contributes to enhancing the city's skyline with landmark developments equivalent to Marina Bay Monetary Centre, Ocean Financial Centre and One Raffles Quay. A few of Singapore's debtors, many of whom already have excessive debt hundreds, might grow to be stretched if interest rates rise and there are considerations they might dump their properties into an already slowing market if their payments rise. It is not clear that costs are following sales decrease. Whereas prices may seem like falling, usually latest gross sales are on lower floors or have a loft ceiling, which decreases the greenback-per-sq.-foot value, Cheong noted. Foreign change, interest rate and other financial dangers Anson, Singapore Geylang, Singapore

GOODMAN CREST CLUSTER STRATA HOUSE CRESCENT STREET, SINGAPORE (DISTRICT 15) GREEN ASSORTMENT, THE CLUSTER STRATA HOUSE COVE DRIVE, SINGAPORE (DISTRICT 04) GREENWICH, THE PERSONAL CONDOMINIUM CONDO SELETAR HIGHWAY, SINGAPORE (DISTRICT 28) GREENWOOD, THE CLUSTER STRATA HOME GREENWOOD , SINGAPORE (DISTRICT 11) HEDGES PARK CONDOMINIUM PERSONAL CONDOMINIUM CONDO FLORA DRIVE, SINGAPORE (DISTRICT 17) HIJAUAN NON-PUBLIC CONDOMINIUM CONDO CAVENAGH ROAD, SINGAPORE (DISTRICT 09) HILLSGROVE CLUSTER STRATA HOME HILLSIDE DRIVE, SINGAPORE (DISTRICT 19) HILLTOPS PERSONAL CONDOMINIUM RESIDENCE CAIRNHILL CIRCLE, SINGAPORE (DISTRICT 09) L'VIV PRIVATE CONDOMINIUM APARTMENT NEWTON STREET, SINGAPORE (DISTRICT 11) If the world of the property is less than the realm acknowledged in the

Over time, now we have developed residential, commercal as well as industrial properties, which attraction to the expectations of our customers. Our residential properties have been geared up with the newest conveniences, which attraction to existence that befit that of the new millennium. Some of our residential tasks embody Hullet Rise and Shaw Plaza-Twin Heights. HAVING been infused with fresh cash for acquisitions and a new spirit of daring, Frasers Centrepoint Restricted (FCL) may shake up the market next 12 months. FCL surprised the market in September with an aggressive bid for a Yishun site. It's growing the 512-unit Hillview Peak venture in Higher Bukit Timah, though sales for that venture have been gradual. Restriction on Foreign Ownership

Retrieved from "https://en.formulasearchengine.com/index.php?title=Cook–Levin_theorem&oldid=233204"