From 7e8bd4f1f306843c8faf271406e19abd2a224030 Mon Sep 17 00:00:00 2001
From: John Garvin <john.garvin@quantinuum.com>
Date: Thu, 28 Sep 2023 13:58:53 -0500
Subject: [PATCH] Add initial routing code.

---
 pytket/phir/routing.py | 34 ++++++++++++++++++++++++++++++++++
 1 file changed, 34 insertions(+)
 create mode 100644 pytket/phir/routing.py

diff --git a/pytket/phir/routing.py b/pytket/phir/routing.py
new file mode 100644
index 0000000..eaabb46
--- /dev/null
+++ b/pytket/phir/routing.py
@@ -0,0 +1,34 @@
+# Copyright (c) 2023 Quantinuum LLC.
+# INSERT LICENSE HERE
+"""
+Routing functions. For simulation we don't need to create a sequence of
+transport operations; we are only interested in the time cost to transport from
+one state to another.
+"""
+
+from __future__ import annotations
+
+
+def inverse(lst: list[int]) -> list[int]:
+    """Inverse of a permutation list. If a[i] = x, then inverse(a)[x] = i."""
+    inv = [-1] * len(lst)
+    for (i, elem) in enumerate(lst):
+        if not 0 <= elem < len(lst):
+            raise ValueError(f"List contains element not in range: {elem}")
+        if inv[elem] != -1:
+            raise ValueError(f"List contains duplicate elements: {lst}")
+        inv[elem] = i
+    return inv
+
+def transport_cost(init: list[int], goal: list[int], swap_cost: float) -> float:
+    """Cost of transport from init to goal.
+
+    This is based on the number of parallel swaps performed by Odd-Even
+    Transposition Sort, which is the maximum distance that any qubit travels.
+    """
+    if len(init) != len(goal):
+        raise ValueError(
+            f"init and goal lists have different lengths: {len(init)} vs. {len(goal)}"
+        )
+    n_swaps = max(abs(g - i) for (i, g) in zip(inverse(init), inverse(goal)))
+    return n_swaps * swap_cost