Lista 4 - Deustch Josza

01,0\n01,1\n10,1\n10,0\n11,0\n11,1\n\n4 1 1 1\n1 1 1 4\n\n\n3)\n00,0 00,1 01,0 01,1 10,0 10,1 11,0 11,1\n 4) Para n = 1, temos que o coeficiente escalar é:\n2^-1/2 -> n = k.\n\n=> H⊗k = 2^-k/2.\nPara n = k + 1, o coeficiente será:\n2^-1/2.\n\n=> (2^-k/2)(2^-1/2) = 2^-(k/2 + 1/2) = 2^-(k + 1)/2.\n\n5) Isso dependerá do quão longe a função esta de ser constante ou balanceada. se estiver \"perto\" de ser constante, ao medirmos provavelmente obteremos o estado |0>, se longe obteríamos |1>.\n lista 4\nAluno: Wagner Albuquerque\n\n1)\nf: {0,1}^n -> f: {0,1}\nExistem: 2^(2^n) funções, sendo 2 constantes.\n\n2^n C_{2^n-1} = ((2^n)!) / ((2^n - 1)! (2^n - 1)!)^2 -> Balanceadas!\n\n2)\n00 01 10 11\n\nX⊕R\n\n00,0 00,1 01,0 01,1 10,0 10,1 11,0 11,1\n @author: Wagner Albuquerques\nCurso: Intro. Comp. Quântica\nAlgoritmo de Deutsch-Josza.py\nfrom quantum import Qregister, H, I, U\n\ndef is_constant(f, n):\n q = Qregister(n + 1)\n q.apply(H(n + 1))\n q.apply(f(n, '0' * n + '1'))\n q.apply(H(n + 1))\n return q.measure()[: -1] == '0' * n\n\ndef f1(x):\n return x\n\ndef f2(x):\n return x\n\ndef f3(x, y):\n return x ^ y\n\ndef f4(x, y, z):\n return 0\n\nprint('f(x) = x is {}.'.format('constant' if is_constant(f1, 1) else 'balanced'))\nprint('f(x) = 1 is {}.'.format('constant' if is_constant(f2, 1) else 'balanced'))\nprint('f(x, y) = x ^ y is {}.'.format('constant' if is_constant(f3, 2) else 'balanced'))\nprint('f(x, y, z) = 0 is {}.'.format('constant' if is_constant(f4, 3) else 'balanced'))