-
Notifications
You must be signed in to change notification settings - Fork 0
/
QB4.qs
157 lines (127 loc) · 5.35 KB
/
QB4.qs
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
namespace Quantum.QB4
{
open Microsoft.Quantum.Intrinsic;
open Microsoft.Quantum.Canon;
open Microsoft.Quantum.Convert;
@EntryPoint()
operation QB4Run () : Unit
{
mutable num0000 = 0;
mutable num0001 = 0;
mutable num0010 = 0;
mutable num0011 = 0;
mutable num0100 = 0;
mutable num0101 = 0;
mutable num0110 = 0;
mutable num0111 = 0;
mutable num1000 = 0;
mutable num1001 = 0;
mutable num1010 = 0;
mutable num1011 = 0;
mutable num1100 = 0;
mutable num1101 = 0;
mutable num1110 = 0;
mutable num1111 = 0;
using (qubits = Qubit[4])
{
for (test in 1..10000)
{
Set (Zero, qubits[0]);
Set (Zero, qubits[1]);
Set (Zero, qubits[2]);
Set (Zero, qubits[3]);
//Demo of pass through (NOP)
//Set (Zero, qubits[0]);
//Set (Zero, qubits[1]);
//Set (Zero, qubits[2]);
//Set (Zero, qubits[3]);
//Demo of NOT gate
Set (Zero, qubits[0]);
X(qubits[0]);
//Demo of Hadamard
//Set (Zero, qubits[0]);
//H(qubits[0]);
//Demo of SWAP
//Set (One, qubits[0]);
//SWAP (qubits[0],qubits[1]);
//Demo of Controlled-NOT ( CNOT )
//Set (One, qubits[0]);
//Set (Zero, qubits[1]);
//CNOT(qubits[0],qubits[1]);
//Demo of Bell State
//Set (Zero, qubits[0]);
//Set (Zero, qubits[1]);
//H(qubits[0]);
//CNOT(qubits[0],qubits[1]);
//Demo of Toffoli Gate in general configuration
//Set (One, qubits[0]);
//Set (One, qubits[1]);
//Set (One, qubits[2]);
//CCNOT(qubits[0],qubits[1],qubits[2]);
//Demo of Toffoli Gate in NOT configuration
//Set (One, qubits[0]); // Always 1
//Set (One, qubits[1]); // Always 1
//Set (One, qubits[2]); // Input of NOT gate. Gets inverted by NOT
//CCNOT(qubits[0],qubits[1],qubits[2]);
//Demo of Toffoli Gate in AND configuration
//Set (One, qubits[0]); // Input 1 of AND
//Set (One, qubits[1]); // Input 2 of AND
//Set (Zero, qubits[2]);// Initialized to 0. Gets the result of AND
//CCNOT(qubits[0],qubits[1],qubits[2]);
//Demo of Toffoli Gate in FANOUT configuration
//Set (One, qubits[0]); // Always 1
//Set (One, qubits[1]); // Input & Pass through.
//Set (Zero, qubits[2]); //Initialized to 0. Gets a result of the fanout from qubits[1]
//CCNOT(qubits[0],qubits[1],qubits[2]);
let res0 = M (qubits[0]);
let res1 = M (qubits[1]);
let res2 = M (qubits[2]);
let res3 = M (qubits[3]);
if(res3 == Zero and res2 == Zero and res1 == Zero and res0 == Zero){set num0000 = num0000 + 1;}
if(res3 == Zero and res2 == Zero and res1 == Zero and res0 == One ){set num0001 = num0001 + 1;}
if(res3 == Zero and res2 == Zero and res1 == One and res0 == Zero){set num0010 = num0010 + 1;}
if(res3 == Zero and res2 == Zero and res1 == One and res0 == One ){set num0011 = num0011 + 1;}
if(res3 == Zero and res2 == One and res1 == Zero and res0 == Zero){set num0100 = num0100 + 1;}
if(res3 == Zero and res2 == One and res1 == Zero and res0 == One ){set num0101 = num0101 + 1;}
if(res3 == Zero and res2 == One and res1 == One and res0 == Zero){set num0110 = num0110 + 1;}
if(res3 == Zero and res2 == One and res1 == One and res0 == One ){set num0111 = num0111 + 1;}
if(res3 == One and res2 == Zero and res1 == Zero and res0 == Zero){set num1000 = num1000 + 1;}
if(res3 == One and res2 == Zero and res1 == Zero and res0 == One ){set num1001 = num1001 + 1;}
if(res3 == One and res2 == Zero and res1 == One and res0 == Zero){set num1010 = num1010 + 1;}
if(res3 == One and res2 == Zero and res1 == One and res0 == One ){set num1011 = num1011 + 1;}
if(res3 == One and res2 == One and res1 == Zero and res0 == Zero){set num1100 = num1100 + 1;}
if(res3 == One and res2 == One and res1 == Zero and res0 == One ){set num1101 = num1101 + 1;}
if(res3 == One and res2 == One and res1 == One and res0 == Zero){set num1110 = num1110 + 1;}
if(res3 == One and res2 == One and res1 == One and res0 == One ){set num1111 = num1111 + 1;}
}
Set(Zero, qubits[0]);
Set(Zero, qubits[1]);
Set(Zero, qubits[2]);
Set(Zero, qubits[3]);
}
Message("0000 -> " + DoubleAsString(IntAsDouble(num0000)/10000.0));
Message("0001 -> " + DoubleAsString(IntAsDouble(num0001)/10000.0));
Message("0010 -> " + DoubleAsString(IntAsDouble(num0010)/10000.0));
Message("0011 -> " + DoubleAsString(IntAsDouble(num0011)/10000.0));
Message("0100 -> " + DoubleAsString(IntAsDouble(num0100)/10000.0));
Message("0101 -> " + DoubleAsString(IntAsDouble(num0101)/10000.0));
Message("0110 -> " + DoubleAsString(IntAsDouble(num0110)/10000.0));
Message("0111 -> " + DoubleAsString(IntAsDouble(num0111)/10000.0));
Message("1000 -> " + DoubleAsString(IntAsDouble(num1000)/10000.0));
Message("1001 -> " + DoubleAsString(IntAsDouble(num1001)/10000.0));
Message("1010 -> " + DoubleAsString(IntAsDouble(num1010)/10000.0));
Message("1011 -> " + DoubleAsString(IntAsDouble(num1011)/10000.0));
Message("1100 -> " + DoubleAsString(IntAsDouble(num1100)/10000.0));
Message("1101 -> " + DoubleAsString(IntAsDouble(num1101)/10000.0));
Message("1110 -> " + DoubleAsString(IntAsDouble(num1110)/10000.0));
Message("1111 -> " + DoubleAsString(IntAsDouble(num1111)/10000.0));
}
operation Set (desired: Result, q1: Qubit) : Unit
{
let current = M(q1);
if (desired != current)
{
X(q1);
}
}
}