Mac binaries
[jabaws.git] / website / archive / binaries / mac / src / muscle / diaglist.cpp
diff --git a/website/archive/binaries/mac/src/muscle/diaglist.cpp b/website/archive/binaries/mac/src/muscle/diaglist.cpp
new file mode 100644 (file)
index 0000000..4f7ea86
--- /dev/null
@@ -0,0 +1,378 @@
+#include "muscle.h"\r
+#include "diaglist.h"\r
+#include "pwpath.h"\r
+\r
+#define MAX(x, y)      ((x) > (y) ? (x) : (y))\r
+#define MIN(x, y)      ((x) < (y) ? (x) : (y))\r
+\r
+void DiagList::Add(const Diag &d)\r
+       {\r
+       if (m_uCount == MAX_DIAGS)\r
+               Quit("DiagList::Add, overflow %u", m_uCount);\r
+       m_Diags[m_uCount] = d;\r
+       ++m_uCount;\r
+       }\r
+\r
+void DiagList::Add(unsigned uStartPosA, unsigned uStartPosB, unsigned uLength)\r
+       {\r
+       Diag d;\r
+       d.m_uStartPosA = uStartPosA;\r
+       d.m_uStartPosB = uStartPosB;\r
+       d.m_uLength = uLength;\r
+       Add(d);\r
+       }\r
+\r
+const Diag &DiagList::Get(unsigned uIndex) const\r
+       {\r
+       if (uIndex >= m_uCount)\r
+               Quit("DiagList::Get(%u), count=%u", uIndex, m_uCount);\r
+       return m_Diags[uIndex];\r
+       }\r
+\r
+void DiagList::LogMe() const\r
+       {\r
+       Log("DiagList::LogMe, count=%u\n", m_uCount);\r
+       Log("  n  StartA  StartB  Length\n");\r
+       Log("---  ------  ------  ------\n");\r
+       for (unsigned n = 0; n < m_uCount; ++n)\r
+               {\r
+               const Diag &d = m_Diags[n];\r
+               Log("%3u  %6u  %6u  %6u\n",\r
+                 n, d.m_uStartPosA, d.m_uStartPosB, d.m_uLength);\r
+               }\r
+       }\r
+\r
+void DiagList::FromPath(const PWPath &Path)\r
+       {\r
+       Clear();\r
+\r
+       const unsigned uEdgeCount = Path.GetEdgeCount();\r
+       unsigned uLength = 0;\r
+       unsigned uStartPosA;\r
+       unsigned uStartPosB;\r
+       for (unsigned uEdgeIndex = 0; uEdgeIndex < uEdgeCount; ++uEdgeIndex)\r
+               {\r
+               const PWEdge &Edge = Path.GetEdge(uEdgeIndex);\r
+\r
+       // Typical cases\r
+               if (Edge.cType == 'M')\r
+                       {\r
+                       if (0 == uLength)\r
+                               {\r
+                               uStartPosA = Edge.uPrefixLengthA - 1;\r
+                               uStartPosB = Edge.uPrefixLengthB - 1;\r
+                               }\r
+                       ++uLength;\r
+                       }\r
+               else\r
+                       {\r
+                       if (uLength >= g_uMinDiagLength)\r
+                               Add(uStartPosA, uStartPosB, uLength);\r
+                       uLength = 0;\r
+                       }\r
+               }\r
+\r
+// Special case for last edge\r
+       if (uLength >= g_uMinDiagLength)\r
+               Add(uStartPosA, uStartPosB, uLength);\r
+       }\r
+\r
+bool DiagList::NonZeroIntersection(const Diag &d) const\r
+       {\r
+       for (unsigned n = 0; n < m_uCount; ++n)\r
+               {\r
+               const Diag &d2 = m_Diags[n];\r
+               if (DiagOverlap(d, d2) > 0)\r
+                       return true;\r
+               }\r
+       return false;\r
+       }\r
+\r
+// DialogOverlap returns the length of the overlapping\r
+// section of the two diagonals along the diagonals\r
+// themselves; in other words, the length of\r
+// the intersection of the two sets of cells in\r
+// the matrix.\r
+unsigned DiagOverlap(const Diag &d1, const Diag &d2)\r
+       {\r
+// Determine where the diagonals intersect the A\r
+// axis (extending them if required). If they\r
+// intersect at different points, they do not\r
+// overlap. Coordinates on a diagonal are\r
+// given by B = A + c where c is the value of\r
+// A at the intersection with the A axis.\r
+// Hence, c = B - A for any point on the diagonal.\r
+       int c1 = (int) d1.m_uStartPosB - (int) d1.m_uStartPosA;\r
+       int c2 = (int) d2.m_uStartPosB - (int) d2.m_uStartPosA;\r
+       if (c1 != c2)\r
+               return 0;\r
+\r
+       assert(DiagOverlapA(d1, d2) == DiagOverlapB(d1, d2));\r
+       return DiagOverlapA(d1, d2);\r
+       }\r
+\r
+// DialogOverlapA returns the length of the overlapping\r
+// section of the projection of the two diagonals onto\r
+// the A axis.\r
+unsigned DiagOverlapA(const Diag &d1, const Diag &d2)\r
+       {\r
+       unsigned uMaxStart = MAX(d1.m_uStartPosA, d2.m_uStartPosA);\r
+       unsigned uMinEnd = MIN(d1.m_uStartPosA + d1.m_uLength - 1,\r
+         d2.m_uStartPosA + d2.m_uLength - 1);\r
+\r
+       int iLength = (int) uMinEnd - (int) uMaxStart + 1;\r
+       if (iLength < 0)\r
+               return 0;\r
+       return (unsigned) iLength;\r
+       }\r
+\r
+// DialogOverlapB returns the length of the overlapping\r
+// section of the projection of the two diagonals onto\r
+// the B axis.\r
+unsigned DiagOverlapB(const Diag &d1, const Diag &d2)\r
+       {\r
+       unsigned uMaxStart = MAX(d1.m_uStartPosB, d2.m_uStartPosB);\r
+       unsigned uMinEnd = MIN(d1.m_uStartPosB + d1.m_uLength - 1,\r
+         d2.m_uStartPosB + d2.m_uLength - 1);\r
+\r
+       int iLength = (int) uMinEnd - (int) uMaxStart + 1;\r
+       if (iLength < 0)\r
+               return 0;\r
+       return (unsigned) iLength;\r
+       }\r
+\r
+// Returns true if the two diagonals can be on the\r
+// same path through the DP matrix. If DiagCompatible\r
+// returns false, they cannot be in the same path\r
+// and hence "contradict" each other.\r
+bool DiagCompatible(const Diag &d1, const Diag &d2)\r
+       {\r
+       if (DiagOverlap(d1, d2) > 0)\r
+               return true;\r
+       return 0 == DiagOverlapA(d1, d2) && 0 == DiagOverlapB(d1, d2);\r
+       }\r
+\r
+// Returns the length of the "break" between two diagonals.\r
+unsigned DiagBreak(const Diag &d1, const Diag &d2)\r
+       {\r
+       int c1 = (int) d1.m_uStartPosB - (int) d1.m_uStartPosA;\r
+       int c2 = (int) d2.m_uStartPosB - (int) d2.m_uStartPosA;\r
+       if (c1 != c2)\r
+               return 0;\r
+\r
+       int iMaxStart = MAX(d1.m_uStartPosA, d2.m_uStartPosA);\r
+       int iMinEnd = MIN(d1.m_uStartPosA + d1.m_uLength - 1,\r
+         d2.m_uStartPosA + d1.m_uLength - 1);\r
+       int iBreak = iMaxStart - iMinEnd - 1;\r
+       if (iBreak < 0)\r
+               return 0;\r
+       return (unsigned) iBreak;\r
+       }\r
+\r
+// Merge diagonals that are continuations of each other with\r
+// short breaks of up to length g_uMaxDiagBreak.\r
+// In a sorted list of diagonals, we only have to check\r
+// consecutive entries.\r
+void MergeDiags(DiagList &DL)\r
+       {\r
+       return;\r
+#if    DEBUG\r
+       if (!DL.IsSorted())\r
+               Quit("MergeDiags: !IsSorted");\r
+#endif\r
+\r
+// TODO: Fix this!\r
+// Breaks must be with no offset (no gaps)\r
+       const unsigned uCount = DL.GetCount();\r
+       if (uCount <= 1)\r
+               return;\r
+\r
+       DiagList NewList;\r
+\r
+       Diag MergedDiag;\r
+       const Diag *ptrPrev = &DL.Get(0);\r
+       for (unsigned i = 1; i < uCount; ++i)\r
+               {\r
+               const Diag *ptrDiag = &DL.Get(i);\r
+               unsigned uBreakLength = DiagBreak(*ptrPrev, *ptrDiag);\r
+               if (uBreakLength <= g_uMaxDiagBreak)\r
+                       {\r
+                       MergedDiag.m_uStartPosA = ptrPrev->m_uStartPosA;\r
+                       MergedDiag.m_uStartPosB = ptrPrev->m_uStartPosB;\r
+                       MergedDiag.m_uLength = ptrPrev->m_uLength + ptrDiag->m_uLength\r
+                         + uBreakLength;\r
+                       ptrPrev = &MergedDiag;\r
+                       }\r
+               else\r
+                       {\r
+                       NewList.Add(*ptrPrev);\r
+                       ptrPrev = ptrDiag;\r
+                       }\r
+               }\r
+       NewList.Add(*ptrPrev);\r
+       DL.Copy(NewList);\r
+       }\r
+\r
+void DiagList::DeleteIncompatible()\r
+       {\r
+       assert(IsSorted());\r
+\r
+       if (m_uCount < 2)\r
+               return;\r
+\r
+       bool *bFlagForDeletion = new bool[m_uCount];\r
+       for (unsigned i = 0; i < m_uCount; ++i)\r
+               bFlagForDeletion[i] = false;\r
+\r
+       for (unsigned i = 0; i < m_uCount; ++i)\r
+               {\r
+               const Diag &di = m_Diags[i];\r
+               for (unsigned j = i + 1; j < m_uCount; ++j)\r
+                       {\r
+                       const Diag &dj = m_Diags[j];\r
+\r
+               // Verify sorted correctly\r
+                       assert(di.m_uStartPosA <= dj.m_uStartPosA);\r
+\r
+               // If two diagonals are incompatible and\r
+               // one is is much longer than the other,\r
+               // keep the longer one.\r
+                       if (!DiagCompatible(di, dj))\r
+                               {\r
+                               if (di.m_uLength > dj.m_uLength*4)\r
+                                       bFlagForDeletion[j] = true;\r
+                               else if (dj.m_uLength > di.m_uLength*4)\r
+                                       bFlagForDeletion[i] = true;\r
+                               else\r
+                                       {\r
+                                       bFlagForDeletion[i] = true;\r
+                                       bFlagForDeletion[j] = true;\r
+                                       }\r
+                               }\r
+                       }\r
+               }\r
+\r
+       for (unsigned i = 0; i < m_uCount; ++i)\r
+               {\r
+               const Diag &di = m_Diags[i];\r
+               if (bFlagForDeletion[i])\r
+                       continue;\r
+\r
+               for (unsigned j = i + 1; j < m_uCount; ++j)\r
+                       {\r
+                       const Diag &dj = m_Diags[j];\r
+                       if (bFlagForDeletion[j])\r
+                               continue;\r
+\r
+               // Verify sorted correctly\r
+                       assert(di.m_uStartPosA <= dj.m_uStartPosA);\r
+\r
+               // If sort order in B different from sorted order in A,\r
+               // either diags are incompatible or we detected a repeat\r
+               // or permutation.\r
+                       if (di.m_uStartPosB >= dj.m_uStartPosB || !DiagCompatible(di, dj))\r
+                               {\r
+                               bFlagForDeletion[i] = true;\r
+                               bFlagForDeletion[j] = true;\r
+                               }\r
+                       }\r
+               }\r
+\r
+       unsigned uNewCount = 0;\r
+       Diag *NewDiags = new Diag[m_uCount];\r
+       for (unsigned i = 0; i < m_uCount; ++i)\r
+               {\r
+               if (bFlagForDeletion[i])\r
+                       continue;\r
+\r
+               const Diag &d = m_Diags[i];\r
+               NewDiags[uNewCount] = d;\r
+               ++uNewCount;\r
+               }\r
+       memcpy(m_Diags, NewDiags, uNewCount*sizeof(Diag));\r
+       m_uCount = uNewCount;\r
+       delete[] NewDiags;\r
+       }\r
+\r
+void DiagList::Copy(const DiagList &DL)\r
+       {\r
+       Clear();\r
+       unsigned uCount = DL.GetCount();\r
+       for (unsigned i = 0; i < uCount; ++i)\r
+               Add(DL.Get(i));\r
+       }\r
+\r
+// Check if sorted in increasing order of m_uStartPosA\r
+bool DiagList::IsSorted() const\r
+       {\r
+       return true;\r
+       unsigned uCount = GetCount();\r
+       for (unsigned i = 1; i < uCount; ++i)\r
+               if (m_Diags[i-1].m_uStartPosA > m_Diags[i].m_uStartPosA)\r
+                       return false;\r
+       return true;\r
+       }\r
+\r
+// Sort in increasing order of m_uStartPosA\r
+// Dumb bubble sort, but don't care about speed\r
+// because don't get long lists.\r
+void DiagList::Sort()\r
+       {\r
+       if (m_uCount < 2)\r
+               return;\r
+\r
+       bool bContinue = true;\r
+       while (bContinue)\r
+               {\r
+               bContinue = false;\r
+               for (unsigned i = 0; i < m_uCount - 1; ++i)\r
+                       {\r
+                       if (m_Diags[i].m_uStartPosA > m_Diags[i+1].m_uStartPosA)\r
+                               {\r
+                               Diag Tmp = m_Diags[i];\r
+                               m_Diags[i] = m_Diags[i+1];\r
+                               m_Diags[i+1] = Tmp;\r
+                               bContinue = true;\r
+                               }\r
+                       }\r
+               }\r
+       }\r
+\r
+//void TestDiag()\r
+//     {\r
+//     Diag d1;\r
+//     Diag d2;\r
+//     Diag d3;\r
+//\r
+//     d1.m_uStartPosA = 0;\r
+//     d1.m_uStartPosB = 1;\r
+//     d1.m_uLength = 32;\r
+//\r
+//     d2.m_uStartPosA = 55;\r
+//     d2.m_uStartPosB = 70;\r
+//     d2.m_uLength = 36;\r
+//\r
+//     d3.m_uStartPosA = 102;\r
+//     d3.m_uStartPosB = 122;\r
+//     d3.m_uLength = 50;\r
+//\r
+//     DiagList DL;\r
+//     DL.Add(d1);\r
+//     DL.Add(d2);\r
+//     DL.Add(d3);\r
+//\r
+//     Log("Before DeleteIncompatible:\n");\r
+//     DL.LogMe();\r
+//     DL.DeleteIncompatible();\r
+//\r
+//     Log("After DeleteIncompatible:\n");\r
+//     DL.LogMe();\r
+//\r
+//     MergeDiags(DL);\r
+//     Log("After Merge:\n");\r
+//     DL.LogMe();\r
+//\r
+//     DPRegionList RL;\r
+//     DiagListToDPRegionList(DL, RL, 200, 200);\r
+//     RL.LogMe();\r
+//     }\r