{"@context":"https:\/\/schema.org\/","@type":"ScholarlyArticle","@id":"#article9367","name":"The Complexity of Problems in P Given Correlated Instances","abstract":"Instances of computational problems do not exist in isolation. Rather, multiple and correlated instances of the same problem arise naturally in the real world. The challenge is how to gain computationally from correlations when they can be found. \r\n[DGH, ITCS 2015] showed that significant computational gains can be made by having access to auxiliary instances which are correlated to the primary problem instance via the solution space. They demonstrate this for constraint satisfaction problems, which are NP-hard in the general worst case form.\r\n\r\nHere, we set out to study the impact of having access to correlated instances on the complexity of polynomial time problems. Namely, for a problem P that is conjectured to require time n^c for c>0, \r\nwe ask whether access to a few instances of P that are correlated in some natural way can be used to solve P on one of them (the designated \"primary instance\") faster than the conjectured lower bound of n^c. \r\n\r\nWe focus our attention on a number of problems: the Longest Common Subsequence (LCS), the minimum Edit Distance between sequences, and Dynamic Time Warping Distance (DTWD) of curves, for all of which the best known algorithms achieve O(n^2\/polylog(n)) runtime via dynamic programming. These problems form an interesting case in point to study, as it has been shown that a O(n^(2 - epsilon)) time algorithm for a worst-case instance would imply improved algorithms \r\nfor a host of other problems as well as disprove complexity hypotheses such as the Strong Exponential Time Hypothesis.\r\n\r\nWe show how to use access to a logarithmic number of auxiliary correlated instances, to design novel o(n^2) time algorithms for LCS, EDIT, DTWD, and more generally improved algorithms for computing any tuple-based similarity measure - a generalization which we define within on strings. For the multiple sequence alignment problem on k strings, this yields an O(nk\\log n) algorithm \r\ncontrasting with classical O(n^k) dynamic programming. \r\n\r\nOur results hold for several correlation models between the primary and the auxiliary instances. In the most general correlation model we address, we assume that the primary instance is a worst-case instance and the auxiliary instances are chosen with uniform distribution subject to the constraint that their alignments are\r\nepsilon-correlated with the optimal alignment of the primary instance. We emphasize that optimal solutions for the auxiliary instances will not generally coincide with optimal solutions for the worst case primary instance.\r\n\r\nWe view our work as pointing out a new avenue for looking for significant improvements for sequence alignment problems and\r\ncomputing similarity measures, by taking advantage of access to sequences which are correlated through natural generating processes. \r\nIn this first work we show how to take advantage of mathematically inspired simple clean models of correlation - the intriguing question, looking forward, is to find correlation models which coincide with evolutionary models and other relationships and for which our approach to multiple sequence alignment gives provable guarantees.","keywords":["Correlated instances","Longest Common Subsequence","Fine-grained complexity"],"author":[{"@type":"Person","name":"Goldwasser, Shafi","givenName":"Shafi","familyName":"Goldwasser"},{"@type":"Person","name":"Holden, Dhiraj","givenName":"Dhiraj","familyName":"Holden"}],"position":13,"pageStart":"13:1","pageEnd":"13:19","dateCreated":"2017-11-28","datePublished":"2017-11-28","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Goldwasser, Shafi","givenName":"Shafi","familyName":"Goldwasser"},{"@type":"Person","name":"Holden, Dhiraj","givenName":"Dhiraj","familyName":"Holden"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.ITCS.2017.13","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","citation":"http:\/\/dx.doi.org\/10.1145\/2688073.2688082","isPartOf":{"@type":"PublicationVolume","@id":"#volume6270","volumeNumber":67,"name":"8th Innovations in Theoretical Computer Science Conference (ITCS 2017)","dateCreated":"2017-11-28","datePublished":"2017-11-28","editor":{"@type":"Person","name":"Papadimitriou, Christos H.","givenName":"Christos H.","familyName":"Papadimitriou"},"isAccessibleForFree":true,"publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","hasPart":"#article9367","isPartOf":{"@type":"Periodical","@id":"#series116","name":"Leibniz International Proceedings in Informatics","issn":"1868-8969","isAccessibleForFree":true,"publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","hasPart":"#volume6270"}}}