Matches in SemOpenAlex for { <https://semopenalex.org/work/W3087228452> ?p ?o ?g. }
- W3087228452 abstract "Despite the interest in the complexity class MA, the randomized analog of NP, just a few natural MA-complete problems are known. The first problem was found by (Bravyi and Terhal, SIAM Journal of Computing 2009); it was then followed by (Crosson, Bacon and Brown, PRE 2010) and (Bravyi, Quantum Information and Computation 2015). Surprisingly, two of these problems are defined using terminology from quantum computation, while the third is inspired by quantum computation and keeps a physical terminology. This prevents classical complexity theorists from studying these problems, delaying potential progress, e.g., on the NP vs. MA question. Here, we define two new combinatorial problems and prove their MA-completeness. The first problem, ACAC, gets as input a succinctly described graph, with some marked vertices. The problem is to decide whether there is a connected component with only unmarked vertices, or the graph is far from having this property. The second problem, SetCSP, generalizes standard constraint satisfaction problem (CSP) into constraints involving sets of strings. Technically, our proof that SetCSP is MA-complete is based on an observation by (Aharonov and Grilo, FOCS 2019), in which it was noted that a restricted case of Bravyi and Terhal's problem (namely, the uniform case) is already MA-complete; a simple trick allows to state this restricted case using combinatorial language. The fact that the first, more natural, problem of ACAC is MA-hard follows quite naturally from this proof, while the containment of ACAC in MA is based on the theory of random walks. We notice that the main result of Aharonov and Grilo carries over to the SetCSP problem in a straightforward way, implying that finding a gap-amplification procedure for SetCSP (as in Dinur's PCP proof) is equivalent to MA=NP. This provides an alternative new path towards the major problem of derandomizing MA." @default.
- W3087228452 created "2020-09-25" @default.
- W3087228452 creator A5005794608 @default.
- W3087228452 creator A5090313356 @default.
- W3087228452 date "2020-03-29" @default.
- W3087228452 modified "2023-09-27" @default.
- W3087228452 title "Two combinatorial MA-complete problems" @default.
- W3087228452 cites W1494952201 @default.
- W3087228452 cites W1527197079 @default.
- W3087228452 cites W1603547203 @default.
- W3087228452 cites W1670983858 @default.
- W3087228452 cites W1901622511 @default.
- W3087228452 cites W1993180032 @default.
- W3087228452 cites W1998918799 @default.
- W3087228452 cites W1999877046 @default.
- W3087228452 cites W2015880590 @default.
- W3087228452 cites W2021736779 @default.
- W3087228452 cites W2026036943 @default.
- W3087228452 cites W2038691311 @default.
- W3087228452 cites W2041432245 @default.
- W3087228452 cites W2058172107 @default.
- W3087228452 cites W2084019889 @default.
- W3087228452 cites W2096390054 @default.
- W3087228452 cites W2106285343 @default.
- W3087228452 cites W2118180752 @default.
- W3087228452 cites W2136462002 @default.
- W3087228452 cites W2158747250 @default.
- W3087228452 cites W2177219880 @default.
- W3087228452 cites W2951276437 @default.
- W3087228452 cites W2963380028 @default.
- W3087228452 cites W2998808137 @default.
- W3087228452 hasPublicationYear "2020" @default.
- W3087228452 type Work @default.
- W3087228452 sameAs 3087228452 @default.
- W3087228452 citedByCount "1" @default.
- W3087228452 countsByYear W30872284522020 @default.
- W3087228452 crossrefType "posted-content" @default.
- W3087228452 hasAuthorship W3087228452A5005794608 @default.
- W3087228452 hasAuthorship W3087228452A5090313356 @default.
- W3087228452 hasConcept C105795698 @default.
- W3087228452 hasConcept C11413529 @default.
- W3087228452 hasConcept C114614502 @default.
- W3087228452 hasConcept C118539577 @default.
- W3087228452 hasConcept C118615104 @default.
- W3087228452 hasConcept C121332964 @default.
- W3087228452 hasConcept C138885662 @default.
- W3087228452 hasConcept C154945302 @default.
- W3087228452 hasConcept C199622910 @default.
- W3087228452 hasConcept C2777212361 @default.
- W3087228452 hasConcept C33923547 @default.
- W3087228452 hasConcept C41008148 @default.
- W3087228452 hasConcept C41895202 @default.
- W3087228452 hasConcept C45374587 @default.
- W3087228452 hasConcept C49937458 @default.
- W3087228452 hasConcept C547195049 @default.
- W3087228452 hasConcept C58053490 @default.
- W3087228452 hasConcept C62520636 @default.
- W3087228452 hasConcept C84114770 @default.
- W3087228452 hasConceptScore W3087228452C105795698 @default.
- W3087228452 hasConceptScore W3087228452C11413529 @default.
- W3087228452 hasConceptScore W3087228452C114614502 @default.
- W3087228452 hasConceptScore W3087228452C118539577 @default.
- W3087228452 hasConceptScore W3087228452C118615104 @default.
- W3087228452 hasConceptScore W3087228452C121332964 @default.
- W3087228452 hasConceptScore W3087228452C138885662 @default.
- W3087228452 hasConceptScore W3087228452C154945302 @default.
- W3087228452 hasConceptScore W3087228452C199622910 @default.
- W3087228452 hasConceptScore W3087228452C2777212361 @default.
- W3087228452 hasConceptScore W3087228452C33923547 @default.
- W3087228452 hasConceptScore W3087228452C41008148 @default.
- W3087228452 hasConceptScore W3087228452C41895202 @default.
- W3087228452 hasConceptScore W3087228452C45374587 @default.
- W3087228452 hasConceptScore W3087228452C49937458 @default.
- W3087228452 hasConceptScore W3087228452C547195049 @default.
- W3087228452 hasConceptScore W3087228452C58053490 @default.
- W3087228452 hasConceptScore W3087228452C62520636 @default.
- W3087228452 hasConceptScore W3087228452C84114770 @default.
- W3087228452 hasLocation W30872284521 @default.
- W3087228452 hasOpenAccess W3087228452 @default.
- W3087228452 hasPrimaryLocation W30872284521 @default.
- W3087228452 hasRelatedWork W1556128349 @default.
- W3087228452 hasRelatedWork W1975452925 @default.
- W3087228452 hasRelatedWork W2096390054 @default.
- W3087228452 hasRelatedWork W2136083928 @default.
- W3087228452 hasRelatedWork W2142482847 @default.
- W3087228452 hasRelatedWork W2184656354 @default.
- W3087228452 hasRelatedWork W2188580701 @default.
- W3087228452 hasRelatedWork W2232175465 @default.
- W3087228452 hasRelatedWork W2252183760 @default.
- W3087228452 hasRelatedWork W2277660667 @default.
- W3087228452 hasRelatedWork W2521565376 @default.
- W3087228452 hasRelatedWork W2933823943 @default.
- W3087228452 hasRelatedWork W2950312321 @default.
- W3087228452 hasRelatedWork W2950680601 @default.
- W3087228452 hasRelatedWork W2952253660 @default.
- W3087228452 hasRelatedWork W2953140627 @default.
- W3087228452 hasRelatedWork W2953292089 @default.
- W3087228452 hasRelatedWork W2998825411 @default.
- W3087228452 hasRelatedWork W3134793479 @default.
- W3087228452 hasRelatedWork W4514142 @default.