Index

_

__eq__() (Calibration method), [1] (Graph method), [1] (SumSet method) __hash__() (Calibration method), [1] (Graph method), [1] (SumSet method) __post_init__() (Calibration method), [1] __str__() (CompositeCostFunction method), [1] (CostFunction method), [1] (PathBound method), [1] (PathComparison method), [1] (PathContainsEdges method), [1] (PathContainsVertices method), [1] (PathEndsAt method), [1] (PathPositionIs method), [1] (PathStartsAt method), [1]

__version__ (in module mqt.problemsolver)

A

A (class in mqt.problemsolver.qubo_tools.pathfinder.cost_functions) add_constraint() (PathFindingQuboGenerator method), [1] add_constraint_if_exists() (PathFindingQuboGenerator method), [1] add_penalty() (QuboGenerator method), [1] add_slack_variable() (SlackChainAssignment method) add_two_numbers() (CSP method) adjacency() (FormulaHelpers static method)

adjacency_matrix (Graph attribute), [1], [2], [3] all_edges (Graph attribute), [1] (Graph property), [1] all_vertices (Graph attribute), [1] (Graph property), [1] apply_factors_to_qc() (QAOA method) args (ExpandingSum attribute) auxiliary_cache (QuboGenerator attribute), [1]

B

backend (QAOA attribute), [1] (VQE attribute)

basis_gates (Calibration attribute), [1] BINARY (EncodingType attribute), [1] bitstring_to_vector() (in module mqt.problemsolver.satellite_solver.algorithms)

C

calc_needed_time_between_acquisition_attempts() (in module mqt.problemsolver.satellite_solver.utils) calculation_time_qaoa (SatelliteResult attribute) calculation_time_vqe (SatelliteResult attribute) Calibration (class in mqt.problemsolver.qubo_tools) (class in mqt.problemsolver.qubo_tools.device) chains (SlackChainAssignment attribute) check_equality() (CSP method) check_inequality() (CSP method) check_solution() (in module mqt.problemsolver.satellite_solver.utils) compile_qc() (QAOA method) CompositeCostFunction (class in mqt.problemsolver.qubo_tools.pathfinder) (class in mqt.problemsolver.qubo_tools.pathfinder.cost_functions) compute_expectation() (in module mqt.problemsolver.satellite_solver.algorithms) compute_indices() (SlackChainAssignment method) connections_dict (Calibration attribute), [1] considered_following_qubits (Result attribute) Constraint (class in mqt.problemsolver.csp) constraint_type (Constraint attribute) construct() (QuboGenerator method), [1] construct_embedded_qaoa_circuit() (QuboGenerator method), [1] construct_expansion() (QuboGenerator method), [1]

construct_interaction_graph() (QuboGenerator method), [1] construct_qaoa_circuit() (QuboGenerator method), [1] construct_qubo_matrix() (QuboGenerator method), [1] controlled_unitary() (TSP method) cost_func() (in module mqt.problemsolver.satellite_solver.algorithms) cost_op_from_qubo() (in module mqt.problemsolver.satellite_solver.utils) CostFunction (class in mqt.problemsolver.qubo_tools.pathfinder) (class in mqt.problemsolver.qubo_tools.pathfinder.cost_functions) count_required_variables() (QuboGenerator method), [1] create_acquisition_position() (in module mqt.problemsolver.satellite_solver.utils) create_condition_string() (in module mqt.problemsolver.equivalence_checking.equivalence_checking) create_grover() (CSP method) create_model_from_pair_list() (QAOA method) create_oracle() (CSP method) create_satellite_qubo() (in module mqt.problemsolver.satellite_solver.utils) create_tsp_qc() (TSP method) CSP (class in mqt.problemsolver.csp) cx_count_baseline_o0 (Result attribute) cx_count_baseline_o1 (Result attribute) cx_count_baseline_o2 (Result attribute) cx_count_baseline_o3 (Result attribute) cx_count_proposed (Result attribute)

D

decode_bit_array() (PathFindingQuboGenerator method), [1] (QuboGenerator method), [1] decode_bit_array_binary() (PathFindingQuboGenerator method), [1] decode_bit_array_domain_wall() (PathFindingQuboGenerator method), [1] decode_bit_array_one_hot() (PathFindingQuboGenerator method), [1] Decompose (class in mqt.problemsolver.qubo_tools.pathfinder.cost_functions)

deserialize() (Graph static method), [1] disable_caching (QuboGenerator attribute), [1] doit() (Decompose method) (ExpandingSum method) (SumSet method) DOMAIN_WALL (EncodingType attribute), [1]

E

Edge (in module mqt.problemsolver.qubo_tools.pathfinder.graph) edges (PathContainsEdges attribute), [1], [2], [3] eigenvalue_to_route() (TSP method) element_expr (SumSet attribute) encode_constraints() (CSP method) encode_eigenstate() (TSP method) encoding_type (PathFindingQuboGeneratorSettings attribute), [1] EncodingType (class in mqt.problemsolver.qubo_tools.pathfinder) (class in mqt.problemsolver.qubo_tools.pathfinder.cost_functions) eval_all_instances_qaoa() (in module mqt.problemsolver.partial_compiler.evaluator) eval_all_instances_satellite() (in module mqt.problemsolver.partial_compiler.evaluator) eval_all_instances_satellite_solver() (in module mqt.problemsolver.satellite_solver.evaluator)

eval_all_instances_satellite_solver_noisy() (in module mqt.problemsolver.satellite_solver.evaluator) evaluate() (in module mqt.problemsolver.resource_estimation.error_budget_optimization) (in module mqt.problemsolver.resource_estimation.error_budget_optimization.evaluate) evaluate_qaoa() (in module mqt.problemsolver.partial_compiler.evaluator) evaluate_result() (in module mqt.problemsolver.satellite_solver.algorithms) evaluate_satellite_solver() (in module mqt.problemsolver.satellite_solver.evaluator) evaluate_satellite_solver_noisy() (in module mqt.problemsolver.satellite_solver.evaluator) expand_higher_order_terms() (QuboGenerator method), [1] expand_higher_order_terms_greedy_minimization() (QuboGenerator method), [1] ExpandingSum (class in mqt.problemsolver.qubo_tools.pathfinder.cost_functions) expansion_cache (QuboGenerator attribute), [1] expr (SumSet attribute) extract_selected_graph() (TSP method)

F

final_u() (TSP method) find_counter_examples() (in module mqt.problemsolver.equivalence_checking.equivalence_checking) FormulaHelpers (class in mqt.problemsolver.qubo_tools.pathfinder.cost_functions)

from_adjacency_matrix() (Graph static method), [1] from_dict() (Calibration class method), [1] from_json() (PathFindingQuboGenerator static method), [1] from_tsplib_problem() (in module mqt.problemsolver.qubo_tools.pathfinder.tsplib)

G

generate_data() (in module mqt.problemsolver.resource_estimation.error_budget_optimization) (in module mqt.problemsolver.resource_estimation.error_budget_optimization.generate_data) generate_data_qiskit() (in module mqt.problemsolver.resource_estimation.fault_tolerant_optimization) (in module mqt.problemsolver.resource_estimation.fault_tolerant_optimization.generate_data) generate_data_tket() (in module mqt.problemsolver.resource_estimation.fault_tolerant_optimization) (in module mqt.problemsolver.resource_estimation.fault_tolerant_optimization.generate_data) get_all_phases() (TSP method) get_available_quantum_algorithms() (CSP method) (TSP method) get_average_satellite_position() (LocationRequest method) get_backend() (in module mqt.problemsolver.partial_compiler.qaoa) get_classical_result() (TSP method) get_connected_qubit_chain() (Calibration method), [1] get_coordinates() (LocationRequest method) get_cost() (QuboGenerator method), [1] get_encoding_variable_binary() (FormulaHelpers static method) get_encoding_variable_count() (QuboGenerator method), [1] get_encoding_variable_domain_wall() (FormulaHelpers static method) get_encoding_variable_one_hot() (FormulaHelpers static method) get_for_each_path() (FormulaHelpers static method) get_for_each_position() (FormulaHelpers static method) get_for_each_vertex() (FormulaHelpers static method) get_formula() (CompositeCostFunction method), [1] (CostFunction method), [1] get_formula_binary() (CostFunction method), [1] (PathIsValid method), [1] get_formula_domain_wall() (CostFunction method), [1] (PathIsValid method), [1] get_formula_general() (CompositeCostFunction method), [1] (CostFunction method), [1] (MaximizePathLength method), [1] (MinimizePathLength method), [1] (PathContainsEdgesAtLeastOnce method), [1] (PathContainsEdgesAtMostOnce method), [1] (PathContainsEdgesExactlyOnce method), [1] (PathContainsVerticesAtLeastOnce method), [1] (PathContainsVerticesAtMostOnce method), [1] (PathContainsVerticesExactlyOnce method), [1] (PathEndsAt method), [1] (PathIsValid method), [1] (PathPositionIs method), [1] (PathsShareNoEdges method), [1] (PathsShareNoVertices method), [1] (PrecedenceConstraint method), [1]

get_formula_one_hot() (CostFunction method), [1] (PathIsValid method), [1] get_heavy_chain() (Calibration method), [1] get_imaging_attempt() (LocationRequest method) get_kakuro_constraints() (CSP method) get_latitude_angle() (LocationRequest method) get_longitude() (in module mqt.problemsolver.satellite_solver.utils) get_longitude_angle() (LocationRequest method) get_shared_neighbor() (Calibration method), [1] get_solution() (QAOA method) (VQE method) get_success_ratio() (in module mqt.problemsolver.satellite_solver.utils) get_to_be_removed_gate_indices() (QAOA method) get_uncompiled_circuits() (QAOA method) get_variable_index() (PathFindingQuboGenerator method), [1] (QuboGenerator method), [1] GetVariableFunction (in module mqt.problemsolver.qubo_tools.pathfinder.cost_functions) Graph (class in mqt.problemsolver.qubo_tools.pathfinder) (class in mqt.problemsolver.qubo_tools.pathfinder.graph) graph (PathFindingQuboGenerator attribute), [1], [2], [3]

H

heavy (Calibration attribute), [1]

heavy_children (Calibration attribute), [1]

I

imaging_attempt (LocationRequest attribute) imaging_attempt_score (LocationRequest attribute) indices (SlackChainAssignment attribute)

init_qc() (CSP method) init_random_location_requests() (in module mqt.problemsolver.satellite_solver.utils) int_to_phase() (TSP method)

L

latex (SumSet attribute) layers (QAOA attribute)

LocationRequest (class in mqt.problemsolver.satellite_solver.imaging_location) logger (in module mqt.problemsolver.resource_estimation.error_budget_optimization.generate_data) loops (PathFindingQuboGeneratorSettings attribute), [1]

M

max_occurrences (PathContainsEdges attribute), [1], [2], [3] (PathContainsVertices attribute), [1], [2], [3] max_path_length (PathFindingQuboGeneratorSettings attribute), [1] MaximizePathLength (class in mqt.problemsolver.qubo_tools.pathfinder) (class in mqt.problemsolver.qubo_tools.pathfinder.cost_functions) measurement_confidences (Calibration attribute), [1] merge() (in module mqt.problemsolver.qubo_tools.pathfinder.cost_functions) min_occurrences (PathContainsEdges attribute), [1], [2], [3] (PathContainsVertices attribute), [1], [2], [3] MinimizePathLength (class in mqt.problemsolver.qubo_tools.pathfinder) (class in mqt.problemsolver.qubo_tools.pathfinder.cost_functions) module mqt.problemsolver mqt.problemsolver.csp mqt.problemsolver.equivalence_checking.equivalence_checking mqt.problemsolver.partial_compiler.evaluator mqt.problemsolver.partial_compiler.qaoa mqt.problemsolver.qubo_tools mqt.problemsolver.qubo_tools.device mqt.problemsolver.qubo_tools.pathfinder mqt.problemsolver.qubo_tools.pathfinder.cost_functions mqt.problemsolver.qubo_tools.pathfinder.graph mqt.problemsolver.qubo_tools.pathfinder.pathfinder mqt.problemsolver.qubo_tools.pathfinder.tsplib mqt.problemsolver.qubo_tools.qubo_generator mqt.problemsolver.resource_estimation mqt.problemsolver.resource_estimation.error_budget_optimization mqt.problemsolver.resource_estimation.error_budget_optimization.evaluate mqt.problemsolver.resource_estimation.error_budget_optimization.generate_data mqt.problemsolver.resource_estimation.error_budget_optimization.training mqt.problemsolver.resource_estimation.fault_tolerant_optimization mqt.problemsolver.resource_estimation.fault_tolerant_optimization.generate_data mqt.problemsolver.satellite_solver mqt.problemsolver.satellite_solver.algorithms mqt.problemsolver.satellite_solver.evaluator mqt.problemsolver.satellite_solver.imaging_location mqt.problemsolver.satellite_solver.utils mqt.problemsolver.tsp mqt.problemsolver module mqt.problemsolver.csp module mqt.problemsolver.equivalence_checking.equivalence_checking module mqt.problemsolver.partial_compiler.evaluator module

mqt.problemsolver.partial_compiler.qaoa module mqt.problemsolver.qubo_tools module mqt.problemsolver.qubo_tools.device module mqt.problemsolver.qubo_tools.pathfinder module mqt.problemsolver.qubo_tools.pathfinder.cost_functions module mqt.problemsolver.qubo_tools.pathfinder.graph module mqt.problemsolver.qubo_tools.pathfinder.pathfinder module mqt.problemsolver.qubo_tools.pathfinder.tsplib module mqt.problemsolver.qubo_tools.qubo_generator module mqt.problemsolver.resource_estimation module mqt.problemsolver.resource_estimation.error_budget_optimization module mqt.problemsolver.resource_estimation.error_budget_optimization.evaluate module mqt.problemsolver.resource_estimation.error_budget_optimization.generate_data module mqt.problemsolver.resource_estimation.error_budget_optimization.training module mqt.problemsolver.resource_estimation.fault_tolerant_optimization module mqt.problemsolver.resource_estimation.fault_tolerant_optimization.generate_data module mqt.problemsolver.satellite_solver module mqt.problemsolver.satellite_solver.algorithms module mqt.problemsolver.satellite_solver.evaluator module mqt.problemsolver.satellite_solver.imaging_location module mqt.problemsolver.satellite_solver.utils module mqt.problemsolver.tsp module

N

n_paths (PathFindingQuboGeneratorSettings attribute), [1] n_vertices (Graph attribute), [1], [2], [3] non_edges (Graph attribute), [1] (Graph property), [1] num_init (QAOA attribute) (VQE attribute)

num_qubits (Calibration attribute), [1] (QAOA attribute) (Result attribute) (SatelliteResult attribute)

O

objective_function (QuboGenerator attribute), [1], [2], [3] ONE_HOT (EncodingType attribute), [1] one_qubit (Calibration attribute), [1]

operand_one (Constraint attribute) operand_two (Constraint attribute) optimize_with_multiple_init_parameters() (in module mqt.problemsolver.satellite_solver.algorithms) ORBIT_DURATION (in module mqt.problemsolver.satellite_solver.imaging_location)

P

path (PathEndsAt attribute), [1], [2], [3] (PathPositionIs attribute), [1], [2], [3] path_ids (PathBound attribute), [1], [2], [3] (PathContainsEdges attribute), [1], [2], [3] (PathContainsVertices attribute), [1], [2], [3] path_one (PathComparison attribute), [1], [2], [3] path_two (PathComparison attribute), [1] PathBound (class in mqt.problemsolver.qubo_tools.pathfinder) (class in mqt.problemsolver.qubo_tools.pathfinder.cost_functions) PathComparison (class in mqt.problemsolver.qubo_tools.pathfinder) (class in mqt.problemsolver.qubo_tools.pathfinder.cost_functions) PathContainsEdges (class in mqt.problemsolver.qubo_tools.pathfinder) (class in mqt.problemsolver.qubo_tools.pathfinder.cost_functions) PathContainsEdgesAtLeastOnce (class in mqt.problemsolver.qubo_tools.pathfinder) (class in mqt.problemsolver.qubo_tools.pathfinder.cost_functions) PathContainsEdgesAtMostOnce (class in mqt.problemsolver.qubo_tools.pathfinder) (class in mqt.problemsolver.qubo_tools.pathfinder.cost_functions) PathContainsEdgesExactlyOnce (class in mqt.problemsolver.qubo_tools.pathfinder) (class in mqt.problemsolver.qubo_tools.pathfinder.cost_functions) PathContainsVertices (class in mqt.problemsolver.qubo_tools.pathfinder) (class in mqt.problemsolver.qubo_tools.pathfinder.cost_functions) PathContainsVerticesAtLeastOnce (class in mqt.problemsolver.qubo_tools.pathfinder) (class in mqt.problemsolver.qubo_tools.pathfinder.cost_functions) PathContainsVerticesAtMostOnce (class in mqt.problemsolver.qubo_tools.pathfinder) (class in mqt.problemsolver.qubo_tools.pathfinder.cost_functions) PathContainsVerticesExactlyOnce (class in mqt.problemsolver.qubo_tools.pathfinder) (class in mqt.problemsolver.qubo_tools.pathfinder.cost_functions) PathEndsAt (class in mqt.problemsolver.qubo_tools.pathfinder) (class in mqt.problemsolver.qubo_tools.pathfinder.cost_functions)

PathFindingQuboGenerator (class in mqt.problemsolver.qubo_tools.pathfinder) (class in mqt.problemsolver.qubo_tools.pathfinder.pathfinder) PathFindingQuboGeneratorSettings (class in mqt.problemsolver.qubo_tools.pathfinder) (class in mqt.problemsolver.qubo_tools.pathfinder.pathfinder) PathIsValid (class in mqt.problemsolver.qubo_tools.pathfinder) (class in mqt.problemsolver.qubo_tools.pathfinder.cost_functions) PathPositionIs (class in mqt.problemsolver.qubo_tools.pathfinder) (class in mqt.problemsolver.qubo_tools.pathfinder.cost_functions) PathsShareNoEdges (class in mqt.problemsolver.qubo_tools.pathfinder) (class in mqt.problemsolver.qubo_tools.pathfinder.cost_functions) PathsShareNoVertices (class in mqt.problemsolver.qubo_tools.pathfinder) (class in mqt.problemsolver.qubo_tools.pathfinder.cost_functions) PathStartsAt (class in mqt.problemsolver.qubo_tools.pathfinder) (class in mqt.problemsolver.qubo_tools.pathfinder.cost_functions) penalties (QuboGenerator attribute), [1], [2], [3] penalty (QAOA attribute) phase_to_float() (TSP method) plot_acquisition_requests() (in module mqt.problemsolver.satellite_solver.utils) plot_results() (in module mqt.problemsolver.resource_estimation.error_budget_optimization) (in module mqt.problemsolver.resource_estimation.error_budget_optimization.evaluate) position (LocationRequest attribute) (PathPositionIs attribute), [1], [2], [3] post (PrecedenceConstraint attribute), [1], [2], [3] pre (PrecedenceConstraint attribute), [1], [2], [3] PrecedenceConstraint (class in mqt.problemsolver.qubo_tools.pathfinder) (class in mqt.problemsolver.qubo_tools.pathfinder.cost_functions) print_problem() (CSP method) (TSP method) prod_from_to() (FormulaHelpers static method)

Q

QAOA (class in mqt.problemsolver.partial_compiler.qaoa) (class in mqt.problemsolver.satellite_solver.algorithms) qc (QAOA attribute) qc_baseline (QAOA attribute) qc_compiled (QAOA attribute)

QISKIT_STD_GATES (in module mqt.problemsolver.resource_estimation.error_budget_optimization.generate_data) qubo (QAOA attribute) (VQE attribute) QuboGenerator (class in mqt.problemsolver.qubo_tools) (class in mqt.problemsolver.qubo_tools.qubo_generator)

R

R_E (in module mqt.problemsolver.satellite_solver.imaging_location) R_S (in module mqt.problemsolver.satellite_solver.imaging_location) read() (Graph static method), [1] remove_gates (QAOA attribute) remove_pairs (QAOA attribute)

remove_unnecessary_gates() (QAOA method) repetitions (QAOA attribute) reps (QAOA attribute) Result (class in mqt.problemsolver.partial_compiler.evaluator) ROTATION_SPEED_SATELLITE (in module mqt.problemsolver.satellite_solver.imaging_location)

S

sample_most_likely() (in module mqt.problemsolver.satellite_solver.utils) sample_probability (QAOA attribute) (Result attribute) satellite_use_case (QAOA attribute) SatelliteResult (class in mqt.problemsolver.satellite_solver.evaluator) serialize() (Graph method), [1] SetCallback (in module mqt.problemsolver.qubo_tools.pathfinder.cost_functions) settings (PathFindingQuboGenerator attribute), [1], [2], [3] show_classical_solution() (TSP method) simulate() (CSP method) (TSP method) SINGLE_QUBIT_AND_CX_QISKIT_STDGATES (in module mqt.problemsolver.resource_estimation.fault_tolerant_optimization) (in module mqt.problemsolver.resource_estimation.fault_tolerant_optimization.generate_data) SINGLE_QUBIT_AND_CX_TKET_STDGATES (in module mqt.problemsolver.resource_estimation.fault_tolerant_optimization) (in module mqt.problemsolver.resource_estimation.fault_tolerant_optimization.generate_data) slack_dict (SlackChainAssignment attribute)

SlackChainAssignment (class in mqt.problemsolver.qubo_tools.qubo_generator) solve() (CSP method) (TSP method) solve_classically() (in module mqt.problemsolver.satellite_solver.utils) solve_using_qaoa() (in module mqt.problemsolver.satellite_solver.algorithms) solve_using_qpe() (TSP method) solve_using_vqe() (in module mqt.problemsolver.satellite_solver.algorithms) sort_acquisition_requests() (in module mqt.problemsolver.satellite_solver.utils) store() (Graph method), [1] success_rate_qaoa (SatelliteResult attribute) success_rate_vqe (SatelliteResult attribute) suggest_encoding() (PathFindingQuboGenerator static method), [1] sum_from_to() (FormulaHelpers static method) sum_set() (FormulaHelpers static method) summands (CompositeCostFunction attribute), [1], [2], [3] SumSet (class in mqt.problemsolver.qubo_tools.pathfinder.cost_functions)

T

t1 (Calibration attribute), [1] t2 (Calibration attribute), [1] time_baseline_o0 (Result attribute) time_baseline_o1 (Result attribute) time_baseline_o2 (Result attribute) time_baseline_o3 (Result attribute) time_proposed (Result attribute) to_be_removed_gates_indices (QAOA attribute)

to_be_satisfied_sum (Constraint attribute) to_graph() (in module mqt.problemsolver.qubo_tools.pathfinder.tsplib) train() (in module mqt.problemsolver.resource_estimation.error_budget_optimization) (in module mqt.problemsolver.resource_estimation.error_budget_optimization.training) transition_possible() (in module mqt.problemsolver.satellite_solver.utils) try_parameter_combinations() (in module mqt.problemsolver.equivalence_checking.equivalence_checking) TSP (class in mqt.problemsolver.tsp) two_qubit (Calibration attribute), [1]

U

u() (TSP method)

V

variable() (FormulaHelpers static method) verify_counter_examples() (in module mqt.problemsolver.equivalence_checking.equivalence_checking) version_info (in module mqt.problemsolver)

vertex_ids (PathContainsVertices attribute), [1], [2], [3] (PathEndsAt attribute), [1], [2], [3] (PathPositionIs attribute), [1], [2], [3] VQE (class in mqt.problemsolver.satellite_solver.algorithms)

X

X (class in mqt.problemsolver.qubo_tools.pathfinder.cost_functions)