-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathflip.txt
115 lines (108 loc) · 3.3 KB
/
flip.txt
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
Do Gate Operations Normalization
Reducde to 6->6
MAX MODULE NUM is : 5
bool []
phasing [cirq.CZ]
sp [cirq.H]
entangle []
[cirq.CZ, cirq.H]
{}
dict_keys([])
{}
Rule Selection Rotuine
C_RULE_ID ['triple_span', 'span', 'open_and_close_B', 'open_and_close_P', 'open_and_close_NC']
P_RULE_ID ['span', 'open_and_close_B']
NC_RULE_ID ['add']
prior module generating
module_gate_num is 3
prior module gen at level 1 done
prior module gen at level 2 done
prior module gen at level 3 done
prior module gen done
Modular Search state search!
concrete_criterion : False
naive_module_gen : True
**Initial State is**
EMPTY STATE
********************
Initdiffers
[('Bool', {1, 2})]
===================
curr state
EMPTY STATE
curr_targ_differ ('Bool', {1, 2})
check_order : stacked, targ_diff [] ('Bool', {1, 2})
cost (0, 0, 0, 0)
Choose Best Count Attribute!
{'|000⟩': 'IDENTICAL', '|001⟩': 'IDENTICAL', '|010⟩': 'IDENTICAL', '|011⟩': 'IDENTICAL', '|100⟩': ('Bool', {1, 2}), '|101⟩': ('Bool', {1, 2}), '|110⟩': ('Bool', {1, 2}), '|111⟩': ('Bool', {1, 2})}
['Bool']
GEN for ('Bool', {1, 2})
GEN DONE 6
** cnt_num_of_passed_module after seeing all modules in pool ** 6
===================
curr state
Moment #0
-[ H(0)]
Moment #1
-[ CZ(0, 1)]
Moment #2
-[ H(0)]
curr_targ_differ ('Bool', {0, 1, 2})
check_order : stacked, targ_diff [('Bool', {1, 2})] ('Bool', {0, 1, 2})
cost (1, 3, 0, 0)
Choose Best Count Attribute!
{'|000⟩': 'IDENTICAL', '|001⟩': 'IDENTICAL', '|010⟩': ('Bool', {0}), '|011⟩': ('Bool', {0}), '|100⟩': ('Bool', {1, 2}), '|101⟩': ('Bool', {1, 2}), '|110⟩': ('Bool', {0, 1, 2}), '|111⟩': ('Bool', {0, 1, 2})}
['Bool']
GEN for ('Bool', {0, 1, 2})
GEN DONE 6
** cnt_num_of_passed_module after seeing all modules in pool ** 6
===================
curr state
Moment #0
-[ H(0)]
Moment #1
-[ CZ(0, 2)]
Moment #2
-[ H(0)]
curr_targ_differ ('Bool', {0, 1, 2})
check_order : stacked, targ_diff [('Bool', {1, 2})] ('Bool', {0, 1, 2})
cost (1, 3, 0, 0)
Choose Best Count Attribute!
{'|000⟩': 'IDENTICAL', '|001⟩': ('Bool', {0}), '|010⟩': 'IDENTICAL', '|011⟩': ('Bool', {0}), '|100⟩': ('Bool', {1, 2}), '|101⟩': ('Bool', {0, 1, 2}), '|110⟩': ('Bool', {1, 2}), '|111⟩': ('Bool', {0, 1, 2})}
['Bool']
GEN for ('Bool', {0, 1, 2})
GEN DONE 6
** cnt_num_of_passed_module after seeing all modules in pool ** 6
===================
curr state
Moment #0
-[ H(1)]
Moment #1
-[ CZ(0, 1)]
Moment #2
-[ H(1)]
curr_targ_differ ('Bool', {2})
check_order : stacked, targ_diff [('Bool', {1, 2})] ('Bool', {2})
cost (1, 3, 0, 0)
Choose Best Count Attribute!
{'|000⟩': 'IDENTICAL', '|001⟩': 'IDENTICAL', '|010⟩': 'IDENTICAL', '|011⟩': 'IDENTICAL', '|100⟩': ('Bool', {2}), '|101⟩': ('Bool', {2}), '|110⟩': ('Bool', {2}), '|111⟩': ('Bool', {2})}
['Bool']
GEN for ('Bool', {2})
GEN DONE 4
MODULES were [('Bool', {1, 2}), ('Bool', {2})]
================================
Synthesis Result
Benchmark : flip
Mode : Ours
================================
Synthesized QC
┌──┐
0: ───────@─────@────────
│ │
1: ───H───@────H┼────────
│
2: ───H─────────@────H───
└──┘
Stacked Moduels
[('Bool', {1, 2}), ('Bool', {2})]
Elapsed Time : 1.4