DOCSLIB.ORG

Oh! Boatman, Haste! Pp♯ 4 4 4 4 4

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Oh! Boatman, Haste! Pp♯ 4 4 4 4 4 The Poetry written and respectfully dedicated to Mrs. Charles F. Dennet, of Boston, by George P. Morris. Oh! Boatman, Haste! A Popular Western Refrain The Music arranged from Emmett’s Melody of Dance, Boatman, Dance Words by G. P. Morris Esq. (1802-1864) Daniel Decatur Emmett Esq. (1815-1904) Andante con molto esspressione Arranged by George Loder Esq. (1816-1868) 2 Solo > 33 4 ! ! ! ! ! > 3 1st Tenor 2 > 3 4 ! ! ! ! ! > 3 3 Chorus 2nd Tenor 3 2 Ad Libitum. > 3 4 ! ! ! ! ! > 3 2 Bass > 3 4 ! ! ! ! ! 3 3 > U 3 2 U > :> > 3 3 4 >: > > > 3> > >: > Piano *p > > > > > > pp> >: > > > cresc.> Forte. > ¶ 2 > > > > > > > > > > > > > > 3 4 > /> > > > > > > > > > 3 3 " 2> > 2> > > > 6 p solo 3 ! ! 3 3 ( * > > > >: > > > > > Oh! boat man haste! the twi light hour Is U 3 > > 3 3 > > > > > > 2> > > >: * * * * * pf. > > > > > >> p > > > > > > > > ¶ > > > > > > = > > 3 > > > > > > > 3 3 > > = > * * * * * U > > > > 11 solo 3 >: 3 3 > > > > >: > > > > > > > :> > > > > > > clo sing gen tly o’er the lea! The sun, whose se tting shuts the flow’r, His look’d his last up 3 3 3 * > * * pf. > > > > > > > > > > > ¶ /> > > >> > > > > > > > 33 > > * = = * 3 > > > = = > > Public Domain 2 16 Animato. L solo 33 > > >: > > 3 > : > > : > > > > > > = on the sea! Oh! row, then, boat man, row! Oh! row, then, boat man, row! 3 3 3 * pf. > > > > > > > > > > L pp > > > > > > > > ¶ >> > > > > > > > > > > > > > > > 33 > > * = = = = 3 > > = = = = M f 21 p f U L solo 33 + + > > > > * > > * 3 > > > > > > > > > > > > Row! A ha! We’ve moon and star! And our skiff with the stream is flow ing, Heigh ho! f T. I 3 ! ! ! ! 3 3 > > Heigh ho! f T. II 3 ! ! ! ! 3 3 > > Heigh ho! f B. 3 ! ! ! ! 3 3 > > Heigh ho! 3 L 3 3 > * + > + + > + > > > pf. >f > > > > > > p > > > > f > > > > > > > > > > > > > ¶ > > > > > > > > > > > > > 3 > > * * * > > > > 3 3 * > > > > > > > > > > > > > > M 3 26 p pp solo > > L 33 > > > > > > > > > > > 3 > > > > > Ah! heigh ho! E cho re sponds to my sad heigh ho! Heigh ho! Ah! heigh ho! p pp T. I 3 > > > >L 3 3 > > > > * > * 3> > > > ah heigh ho! Heigh ho! ah heigh ho! Heigh ho! ah heigh ho! p pp L T. II 33 * * 3 > > > > > > > > > > > > > ah heigh ho! Heigh ho! ah heigh ho! Heigh ho! ah heigh ho! p pp B. 3 > > > >L 3 3 > > > > * > * > > > > ah heigh ho! Heigh ho! ah heigh ho! Heigh ho! ah heigh ho! pp 3 U U U U 3 3 + > > > > > pf. > > > > > > > > > > > > > > > > p> > > > > > 3> > ¶ > > > > > > > > 33 > > > * > * > > * > > > > 3 > > > > > > > > > pp 4 31 Ad lib. L solo 33 > > > > ! ! ! 3 > 2> > > > >: > > E cho re sponds to my sad heigh ho! Colla voce. T. I 3 > L ! ! ! 3 3 * > * > > > Heigh ho! ah heigh ho! Colla voce. L T. II 3 3 3 > * > * > > > ! ! ! Heigh ho! ah heigh ho! Colla voce. L B. 3 > ! ! ! 3 3 > * > * > > > Heigh ho! ah heigh ho! Colla voce. 3 L > > > > > > 3 3 * * > > > > > > > 2> > pf. > > > > > f p > > > >> > > > ¶ > > L > > > > > > > > > > > 3 > > > > > * ( 3 3 > * > * > > > > > > 5 36 p solo 3 3 3 ( * > > > >: > > > > > > > > > >: > > > Oh! boat man, haste! the sen try calls The mid night hour on yon der shore! And U 3 3 3 >: > * + + + + + + + > pf. > >> p > > > > > > > > > U >V V >V >V V >V >V V >V >V V >V > > > ¶ > > /> > > > 33 > > * > * > * * > * > > > * 3 > > > > 2> > 41 pp U L solo 33 > > > :> > > >: > > > > 3 > > > > : > > : > > > silv’ ry sweet the e cho falls As mus ic drip ping from the oar! Oh! row, then, boat man, L > > > > > 3 > > > > > > > > > >V V > >V V > > > > 3 3 > > > > > > + V + >V + >V >V >V > * pf. ppX >X X >X X >X X >X X >X X >X X >X X >X > > > > > W W W L > ¶ >W > > >W >W > > > > > > > > > > > > 33 > > > > > * = 3 > > > > > = 46 f Lentando. p L solo 33 >: > > > > 3 > > > = > : > > > > > > row! Oh! row, then, boat man, row! Row A far Sail moon and star! While our mf 3 L 3 3 * pf. > > > > > > > > > > > > > > > > > > > > > > > > 3> 3> 3> ¶ > > > > > > > > > > > U U 33 = > > > > > > * 3 = > > > = > > > > mf 6 51 mf p solo > 33 > * > > * > > > > > > 3 > 2> > > > > > > > skiff with the stream is flow ing, Heigh ho! Ah! heigh ho! E cho re sponds to my f p T. I 3 ! ! 3 3 > > > > > > * > * Heigh ho! ah heigh ho! Heigh ho! f p T. II 33 ! ! * * 3 > > > > > > > Heigh ho! ah heigh ho! Heigh ho! f p B. 3 ! ! 3 3 > > > > > > * > * Heigh ho! ah heigh ho! Heigh ho! 3 3 3 > > > + > > > + > > > > > pf. > > > > > > f > > > > > > > > > > > > > > > > > > > p> > ¶ > > > > 3 > > > > > > 3 3 > * > * > > > > > * > * > 7 56 pp Ad lib. UL solo > L U 33 > > > > > > > > > 3 > > > 2> > > > >: > > sad heigh ho! Heigh ho! Ah! heigh ho! E cho re sponds to my sad heigh ho! pp Colla voce. T. I 3 > > > 3> > >L > L 3 3 > > * > * > > > ah heigh ho! Heigh ho! ah heigh ho! Heigh ho! ah heigh ho! pp Colla voce. L T. II 3 L 3 3 > > > > > > > > > * > * > > > ah heigh ho! Heigh ho! ah heigh ho! Heigh ho! ah heigh ho! pp Colla voce. L L B. 3 > > > > > 3 3 > > > > > * > * > > > ah heigh ho! Heigh ho! ah heigh ho! Heigh ho! ah heigh ho! pp Colla voce. 3 U U U U L 3 3 * * > pf. > > > > > > > > > > > > > > > > > 3> > > >> > ¶ > > > > > > > > L 33 > > * > > > > 3 > > > > > > * > * > > > > > pp 8 61 p solo 3 ! ! ! 3 3 ( * > > > >: > > > > > Oh! boat man, haste! the morn ing beam Glides U 3 > > > > > > > 3 3 > > >2> > > >: > * * * * * pf. f p > > >> > > > > > > U > > ¶ > > > > > > >> > > > > > 3 > > > > > > > > 3 3 > > > * ( > * * * > * * > > > 67 solo 3 >U: 3 3 > > > > >: > > > :> > > > :> > >: > > > > through the flee cy clouds a bove! So breaks, on life’s dark murm’ ring stream, The ro sy dawn of 3 > > 3 3 * * > * > > * pf. > > > > > > > > > > > ¶ /> > > >> > > > > > > > 33 > > * = = * 3 2> * * > = = > > 72 L solo 33 >: > >: > > 3 > : > > : > > > > > > = wo man’s love! Oh! row, then, boat man, row! Oh! row, then, boat man, row! 3 3 3 * pf. > > > > > > > > > > > L > > > > > > > > ¶ >> > > > > > > > > > > > > > > 33 > > * = = > > 3 > > = = > > > = M 9 f 77 U U L solo 3 L c 3 > > > > > > 3 > : > > > > > > > 2> > >: > > Row! ’Tis day! A way, a way To land with the stream we are flow ing! 3 L L 3 3 > > > > > pf. > > > > > > > > > > > > > > > >f > > > 2> > > > > > > > > > ¶ U L L 3 > /> > 3 3 3> 3> > 2 > > * > * * > 3> 3> > > > 81 f U solo > 33 > > * > > > > > > 3 > > > Heigh ho! Dear one, ho! Beau ty re sponds to my f T. I 3 > > > 3 3 > > > * > * Heigh ho! Dear one, ho! Heigh ho! f T. II 3 3 3 > > > > > > * > * Heigh ho! Dear one, ho! Heigh ho! f B. 3 > > 3 3 > > > > * > * Heigh ho! Dear one, ho! Heigh ho! 3 3 3 , > , > , > , > , > , > pf. f > > > > > > >> > > >> > > > > ¶ > > >> > > >> > > > > > > > > > > >> 3 > > > > 3 3 > > * > * > > > 10 84 U solo 3 > > > > L 3 3 > > > > glad heigh ho! Heigh ho! Dear one, ho! T. I 3 >L 3 3 > > > > 3> > > ah heigh ho! Heigh ho! Dear one, ho! L T. II 33 3 > > > > > > > > ah heigh ho! Heigh ho! Dear one, ho! > B. L 33 > > > 3 > > > > > ah heigh ho! Heigh ho! Dear one, ho! L 3 > > 3 3 , > , > , > > , > > , > >> , > pf. > > > > > > >> 3> > >> > > >> > > ¶ > > > > > > >> > > > > > > 33 > > > 3 > > > > > 11 87 L solo 33 > > > > ! ! ! ! 3 > 2> > > > >: > > Beau ty re sponds to my glad heigh ho! Colla voce. T. I 3 > > > >L > ! ! ! ! 3 3 * * Heigh ho! ah heigh ho! Colla voce. L T. II 3 ! ! ! ! 3 3 > * > * > > > Heigh ho! ah heigh ho! Colla voce. > B. L L ! ! ! ! 33 > * > * > > 3 > Heigh ho! ah heigh ho! 3 L > > > > > > > 3 3 > * > * > > > > > > >2> > >: * pf. > > > > > > > > >> > > > >> > > > ¶ L > > > > > > > >> > > > > > 3 > > > > > > 3 3 > * > * > > > * ( > * > > > ¡¢£¤ ¥¦§¨©© © © § ¥ ¡ ¥ ¥ ¤ ¦ ¢ £ ¢ ¡ ¢ £ ¤ ¥ ¦ ¤ £ ¢ " #$% & "'( ) "&* ! + ¢ ¦ , - ¢ . ¤ ¢ ¦ - / ¤ 0 ¦ / ¥ - ¢ ¤ ¡ , 0 ¥ / £ ¦ ¥ - ,. 1 £ , 2 3 0 ¦ ¢ ¢ 4 5 - ¢¥¢/ £ /¥6 ¦¢¥£- ¦ - / / ¥¢¥, ¡¢¥£- ¥ ¤ ¥ ¢ ¢ / ¦ - / - £¡¦7/8 £ ¤ . ¢ ¥ ¡ ¥ ¦ - / ¦ ¥ ¢ 9.
Load more

Recommended publications
  • Computational Complexity: a Modern Approach
    i Computational Complexity: A Modern Approach Draft of a book: Dated January 2007 Comments welcome! Sanjeev Arora and Boaz Barak Princeton University [email protected] Not to be reproduced or distributed without the authors’ permission This is an Internet draft. Some chapters are more finished than others. References and attributions are very preliminary and we apologize in advance for any omissions (but hope you will nevertheless point them out to us). Please send us bugs, typos, missing references or general comments to [email protected] — Thank You!! DRAFT ii DRAFT Chapter 9 Complexity of counting “It is an empirical fact that for many combinatorial problems the detection of the existence of a solution is easy, yet no computationally efficient method is known for counting their number.... for a variety of problems this phenomenon can be explained.” L. Valiant 1979 The class NP captures the difficulty of finding certificates. However, in many contexts, one is interested not just in a single certificate, but actually counting the number of certificates. This chapter studies #P, (pronounced “sharp p”), a complexity class that captures this notion. Counting problems arise in diverse fields, often in situations having to do with estimations of probability. Examples include statistical estimation, statistical physics, network design, and more. Counting problems are also studied in a field of mathematics called enumerative combinatorics, which tries to obtain closed-form mathematical expressions for counting problems. To give an example, in the 19th century Kirchoff showed how to count the number of spanning trees in a graph using a simple determinant computation. Results in this chapter will show that for many natural counting problems, such efficiently computable expressions are unlikely to exist.
    [Show full text]
  • The Complexity Zoo
    The Complexity Zoo Scott Aaronson www.ScottAaronson.com LATEX Translation by Chris Bourke [email protected] 417 classes and counting 1 Contents 1 About This Document 3 2 Introductory Essay 4 2.1 Recommended Further Reading ......................... 4 2.2 Other Theory Compendia ............................ 5 2.3 Errors? ....................................... 5 3 Pronunciation Guide 6 4 Complexity Classes 10 5 Special Zoo Exhibit: Classes of Quantum States and Probability Distribu- tions 110 6 Acknowledgements 116 7 Bibliography 117 2 1 About This Document What is this? Well its a PDF version of the website www.ComplexityZoo.com typeset in LATEX using the complexity package. Well, what’s that? The original Complexity Zoo is a website created by Scott Aaronson which contains a (more or less) comprehensive list of Complexity Classes studied in the area of theoretical computer science known as Computa- tional Complexity. I took on the (mostly painless, thank god for regular expressions) task of translating the Zoo’s HTML code to LATEX for two reasons. First, as a regular Zoo patron, I thought, “what better way to honor such an endeavor than to spruce up the cages a bit and typeset them all in beautiful LATEX.” Second, I thought it would be a perfect project to develop complexity, a LATEX pack- age I’ve created that defines commands to typeset (almost) all of the complexity classes you’ll find here (along with some handy options that allow you to conveniently change the fonts with a single option parameters). To get the package, visit my own home page at http://www.cse.unl.edu/~cbourke/.
    [Show full text]
  • CS286.2 Lectures 5-6: Introduction to Hamiltonian Complexity, QMA-Completeness of the Local Hamiltonian Problem
    CS286.2 Lectures 5-6: Introduction to Hamiltonian Complexity, QMA-completeness of the Local Hamiltonian problem Scribe: Jenish C. Mehta The Complexity Class BQP The complexity class BQP is the quantum analog of the class BPP. It consists of all languages that can be decided in quantum polynomial time. More formally, Definition 1. A language L 2 BQP if there exists a classical polynomial time algorithm A that ∗ maps inputs x 2 f0, 1g to quantum circuits Cx on n = poly(jxj) qubits, where the circuit is considered a sequence of unitary operators each on 2 qubits, i.e Cx = UTUT−1...U1 where each 2 2 Ui 2 L C ⊗ C , such that: 2 i. Completeness: x 2 L ) Pr(Cx accepts j0ni) ≥ 3 1 ii. Soundness: x 62 L ) Pr(Cx accepts j0ni) ≤ 3 We say that the circuit “Cx accepts jyi” if the first output qubit measured in Cxjyi is 0. More j0i specifically, letting P1 = j0ih0j1 be the projection of the first qubit on state j0i, j0i 2 Pr(Cx accepts jyi) =k (P1 ⊗ In−1)Cxjyi k2 The Complexity Class QMA The complexity class QMA (or BQNP, as Kitaev originally named it) is the quantum analog of the class NP. More formally, Definition 2. A language L 2 QMA if there exists a classical polynomial time algorithm A that ∗ maps inputs x 2 f0, 1g to quantum circuits Cx on n + q = poly(jxj) qubits, such that: 2q i. Completeness: x 2 L ) 9jyi 2 C , kjyik2 = 1, such that Pr(Cx accepts j0ni ⊗ 2 jyi) ≥ 3 2q 1 ii.
    [Show full text]
  • Complexity Theory
    Complexity Theory Course Notes Sebastiaan A. Terwijn Radboud University Nijmegen Department of Mathematics P.O. Box 9010 6500 GL Nijmegen the Netherlands [email protected] Copyright c 2010 by Sebastiaan A. Terwijn Version: December 2017 ii Contents 1 Introduction 1 1.1 Complexity theory . .1 1.2 Preliminaries . .1 1.3 Turing machines . .2 1.4 Big O and small o .........................3 1.5 Logic . .3 1.6 Number theory . .4 1.7 Exercises . .5 2 Basics 6 2.1 Time and space bounds . .6 2.2 Inclusions between classes . .7 2.3 Hierarchy theorems . .8 2.4 Central complexity classes . 10 2.5 Problems from logic, algebra, and graph theory . 11 2.6 The Immerman-Szelepcs´enyi Theorem . 12 2.7 Exercises . 14 3 Reductions and completeness 16 3.1 Many-one reductions . 16 3.2 NP-complete problems . 18 3.3 More decision problems from logic . 19 3.4 Completeness of Hamilton path and TSP . 22 3.5 Exercises . 24 4 Relativized computation and the polynomial hierarchy 27 4.1 Relativized computation . 27 4.2 The Polynomial Hierarchy . 28 4.3 Relativization . 31 4.4 Exercises . 32 iii 5 Diagonalization 34 5.1 The Halting Problem . 34 5.2 Intermediate sets . 34 5.3 Oracle separations . 36 5.4 Many-one versus Turing reductions . 38 5.5 Sparse sets . 38 5.6 The Gap Theorem . 40 5.7 The Speed-Up Theorem . 41 5.8 Exercises . 43 6 Randomized computation 45 6.1 Probabilistic classes . 45 6.2 More about BPP . 48 6.3 The classes RP and ZPP .
    [Show full text]
  • Probabilistic Proof Systems: a Primer
    Probabilistic Proof Systems: A Primer Oded Goldreich Department of Computer Science and Applied Mathematics Weizmann Institute of Science, Rehovot, Israel. June 30, 2008 Contents Preface 1 Conventions and Organization 3 1 Interactive Proof Systems 4 1.1 Motivation and Perspective ::::::::::::::::::::::: 4 1.1.1 A static object versus an interactive process :::::::::: 5 1.1.2 Prover and Veri¯er :::::::::::::::::::::::: 6 1.1.3 Completeness and Soundness :::::::::::::::::: 6 1.2 De¯nition ::::::::::::::::::::::::::::::::: 7 1.3 The Power of Interactive Proofs ::::::::::::::::::::: 9 1.3.1 A simple example :::::::::::::::::::::::: 9 1.3.2 The full power of interactive proofs ::::::::::::::: 11 1.4 Variants and ¯ner structure: an overview ::::::::::::::: 16 1.4.1 Arthur-Merlin games a.k.a public-coin proof systems ::::: 16 1.4.2 Interactive proof systems with two-sided error ::::::::: 16 1.4.3 A hierarchy of interactive proof systems :::::::::::: 17 1.4.4 Something completely di®erent ::::::::::::::::: 18 1.5 On computationally bounded provers: an overview :::::::::: 18 1.5.1 How powerful should the prover be? :::::::::::::: 19 1.5.2 Computational Soundness :::::::::::::::::::: 20 2 Zero-Knowledge Proof Systems 22 2.1 De¯nitional Issues :::::::::::::::::::::::::::: 23 2.1.1 A wider perspective: the simulation paradigm ::::::::: 23 2.1.2 The basic de¯nitions ::::::::::::::::::::::: 24 2.2 The Power of Zero-Knowledge :::::::::::::::::::::: 26 2.2.1 A simple example :::::::::::::::::::::::: 26 2.2.2 The full power of zero-knowledge proofs ::::::::::::
    [Show full text]
  • A Short History of Computational Complexity
    The Computational Complexity Column by Lance FORTNOW NEC Laboratories America 4 Independence Way, Princeton, NJ 08540, USA [email protected] http://www.neci.nj.nec.com/homepages/fortnow/beatcs Every third year the Conference on Computational Complexity is held in Europe and this summer the University of Aarhus (Denmark) will host the meeting July 7-10. More details at the conference web page http://www.computationalcomplexity.org This month we present a historical view of computational complexity written by Steve Homer and myself. This is a preliminary version of a chapter to be included in an upcoming North-Holland Handbook of the History of Mathematical Logic edited by Dirk van Dalen, John Dawson and Aki Kanamori. A Short History of Computational Complexity Lance Fortnow1 Steve Homer2 NEC Research Institute Computer Science Department 4 Independence Way Boston University Princeton, NJ 08540 111 Cummington Street Boston, MA 02215 1 Introduction It all started with a machine. In 1936, Turing developed his theoretical com- putational model. He based his model on how he perceived mathematicians think. As digital computers were developed in the 40's and 50's, the Turing machine proved itself as the right theoretical model for computation. Quickly though we discovered that the basic Turing machine model fails to account for the amount of time or memory needed by a computer, a critical issue today but even more so in those early days of computing. The key idea to measure time and space as a function of the length of the input came in the early 1960's by Hartmanis and Stearns.
    [Show full text]
  • 6.845 Quantum Complexity Theory, Lecture 16
    6.896 Quantum Complexity Theory Oct. 28, 2008 Lecture 16 Lecturer: Scott Aaronson 1 Recap Last time we introduced the complexity class QMA (quantum Merlin-Arthur), which is a quantum version for NP. In particular, we have seen Watrous’s Group Non-Membership (GNM) protocol which enables a quantum Merlin to prove to a quantum Arthur that some element x of a group G is not a member of H, a subgroup of G. Notice that this is a problem that people do not know how to solve in classical world. To understand the limit of QMA, we have proved that QMA ⊆ P P (and also QMA ⊆ P SP ACE). We have also talked about QMA-complete problems, which are the quantum version of NP ­ complete problem. In particular we have introduced the Local Hamiltonians problem, which is the quantum version of the SAT problem. We also have a quantum version of the Cook-Levin theorem, due to Kitaev, saying that the Local Hamiltonians problem is QMA complete. We will prove Kitaev’s theorem in this lecture. 2 Local Hamiltonians is QMA-complete De¯nition 1 (Local Hamiltonians Problem) Given m measurements E1; : : : ; Em each of which acts on at most k (out of n) qubits where k is a constant, the Local Hamiltonians problem is to decide which of the following two statements is true, promised that one is true: Pm 1. 9 an n-qubit state j'i such that i=1 Pr[Ei accepts j'i] ¸ b; or Pm 2. 8 n-qubit state j'i, i=1 Pr[Ei accepts j'i] · a.
    [Show full text]
  • 1 Class PP(Probabilistic Poly-Time) 2 Complete Problems for BPP?
    E0 224: Computational Complexity Theory Instructor: Chandan Saha Lecture 20 22 October 2014 Scribe: Abhijat Sharma 1 Class PP(Probabilistic Poly-time) Recall that when we define the class BPP, we have to enforce the condition that the success probability of the PTM is bounded, "strictly" away from 1=2 (in our case, we have chosen a particular value 2=3). Now, we try to explore another class of languages where the success (or failure) probability can be very close to 1=2 but still equality is not possible. Definition 1 A language L ⊆ f0; 1g∗ is said to be in PP if there exists a polynomial time probabilistic turing machine M, such that P rfM(x) = L(x)g > 1=2 Thus, it is clear from the above definition that BPP ⊆ PP, however there are problems in PP that are much harder than those in BPP. Some examples of such problems are closely related to the counting versions of some problems, whose decision problems are in NP. For example, the problem of counting how many satisfying assignments exist for a given boolean formula. We will discuss this class in more details, when we discuss the complexity of counting problems. 2 Complete problems for BPP? After having discussed many properties of the class BPP, it is natural to ask whether we have any BPP- complete problems. Unfortunately, we do not know of any complete problem for the class BPP. Now, we examine why we appears tricky to define complete problems for BPP in the same way as other complexity classes.
    [Show full text]
  • Lecture 24: QMA: Quantum Merlin-Arthur 1 Introduction 2 Merlin
    Quantum Computation (CMU 18-859BB, Fall 2015) Lecture 24: QMA: Quantum Merlin-Arthur December 2, 2015 Lecturer: Ryan O'Donnell Scribe: Sidhanth Mohanty 1 Introduction In this lecture, we shall probe into the complexity class QMA, which is the quantum analog of NP. Recall that NP is the set of all decision problems with a one-way deterministic proof system. More formally, NP is the set of all decision problems for which we can perform the following setup. Given a string x and a decision problem L, there is an omniscient prover who sends a string π 2 f0; 1gn to a polytime deterministic algorithm called a verifier V , and V (x; π) runs in polynomial time and returns 1 if x is a YES-instance and 0 if x is a NO-instance. The verifier must satisfy the properties of soundness and completeness: in particular, if x is a YES-instance of L, then there exists π for which V (x; π) = 1 and if x is a NO-instance of L, then for any π that the prover sends, V (x; π) = 0. From now on, think of the prover as an unscrupulous adversary and for any protocol the prover should not be able to cheat the verifier into producing the wrong answer. 2 Merlin-Arthur: An upgrade to NP If we take the requirements for a problem to be in NP and change the conditions slightly by allowing the verifier V to be a BPP algorithm, we get a new complexity class, MA. A decision problem L is in MA iff there exists a probabilistic polytime verifier V (called Arthur) such that when x is a YES-instance of L, there is π (which we get from the omniscient prover 3 Merlin) for which Pr(V (x; π) = 1) ≥ 4 and when x is a NO-instance of L, for every π, 1 3 Pr(V (x; π) = 1) ≤ 4 .
    [Show full text]
  • Advanced Complexity Theory Spring 2016
    A Survey of the Complexity of Succinctly Encoded Problems May 5, 2016 Abstract Succinctness is one of the few ways that we have to get a handle on the complexity of large classes such as NEXP and EXPSPACE. The study of succinctly encoded problems was started by Galperin and Wigderson [3], who showed that many simple graph properties such as connect- edness are NP-complete when the graph is represented by a succinct circuit. Papadimitriou and Yannakakis [4], building upon this work, were able to show that a large number of NP-complete graph properties, such as CLIQUE and HAMILTONIAN PATH, become NEXP-complete when the graph is given as a succinct circuit. Wagner [6] examines the relationship between suc- cinct circuits and other forms of succinct representation and proves facts about the hardness of problems in each representation. Das, Scharpfener, and Toran [2] also look at different forms of succinct representation, specifically using more restricted types of circuit such as CNFs and DNFs, and show hardness results for Graph Isomorphism under these representations. This survey will present the main results of these papers in a unified fashion. 1 Introduction Many computational problems have instances which can be encoded extremely efficiently. For example, many digital circuit design problems in VLSI make use of the highly regular structure of the circuits in question to achieve a smaller description of these circuits. In this case, restricting the search space to circuits which can be represented efficiently speeds up the process of finding the optimal circuit. Also, the efficient representation allows a smaller amount of space to be used.
    [Show full text]
  • Complexity Theory
    Complexity Theory Jan Kretˇ ´ınsky´ Chair for Foundations of Software Reliability and Theoretical Computer Science Technical University of Munich Summer 2019 Partially based on slides by Jorg¨ Kreiker Lecture 1 Introduction Agenda • computational complexity and two problems • your background and expectations • organization • basic concepts • teaser • summary Computational Complexity • quantifying the efficiency of computations • not: computability, descriptive complexity, . • computation: computing a function f : f0; 1g∗ ! f0; 1g∗ • everything else matter of encoding • model of computation? • efficiency: how many resources used by computation • time: number of basic operations with respect to input size • space: memory usage person does not get along with • largest party? Jack James, John, Kate • naive computation James Jack, Hugo, Sayid • John Jack, Juliet, Sun check all sets of people for compatibility Kate Jack, Claire, Jin • number of subsets of n Hugo James, Claire, Sun element set is2 n Claire Hugo, Kate, Juliet • intractable Juliet John, Sayid, Claire • can we do better? Sun John, Hugo, Jin • observation: for a given set Sayid James, Juliet, Jin compatibility checking is easy Jin Sayid, Sun, Kate Dinner Party Example (Dinner Party) You want to throw a dinner party. You have a list of pairs of friends who do not get along. What is the largest party you can throw such that you do not invite any two who don’t get along? • largest party? • naive computation • check all sets of people for compatibility • number of subsets of n element set is2 n • intractable • can we do better? • observation: for a given set compatibility checking is easy Dinner Party Example (Dinner Party) You want to throw a dinner party.
    [Show full text]
  • Restricted Relativizations of Probabilistic Polynomial Time
    Theoretical Computer Science 93 (1992) 265-277 265 Elsevier Restricted relativizations of probabilistic polynomial time Seinosuke Toda Dvpurtment of Computer Science und In/ormution Mutkematic..s. Unirrrsity of Elrctro-conlmun~~utions, Chqfi-ahi. Tokyo 182. Jupun Communicated by R. Book Received December 1988 Revised September 1989, December 1989 Toda, S., Restricted relativizations of probabilistic polynomial time, Theoretical Computer Science 93 (1992) 265-277. We consider several questions on the computational power of PP. the class of sets accepted by polynomial time-bounded probabilistic Turing machines with two-sided unbounded error prob- ability. In particular, we consider the questions whether PP is as powerful as PSPACE and whether PP is more powerful than PH (the polynomial-time hierarchy). These questions have remained open. In fact, only a few results have been shown even in the relativized case. In the present paper we deal with the above questions in a manner similar to Long (1985). Bal&ar et al. (1986), and Long and Selman (1986). We introduce a quantitative restriction on access to a given oracle for probabilistic oracle machines. The restriction, denoted as PP,(.), allows polynomial time-bounded probabilistic oracle machines to query only polynomially many positive strings but exponentially many nuqariw strings in its computation tree. We show that for every oracle A that PP,(NP(A)) is included in PP(A). This strengthens the result shown recently by Beige] et al. (1989). In fact. we have their result as an immediate consequence. We next show some positive relativization results on the above questions. We show that separating PP from PSPACE with some sparse oracle implies the separation of PP from PSPACE in the nonrelativized case.
    [Show full text]