{"data":{"id":"10.48550/arxiv.1211.1505","type":"dois","attributes":{"doi":"10.48550/arxiv.1211.1505","prefix":"10.48550","suffix":"arxiv.1211.1505","identifiers":[{"identifier":"1211.1505","identifierType":"arXiv"}],"alternateIdentifiers":[{"alternateIdentifierType":"arXiv","alternateIdentifier":"1211.1505"}],"creators":[{"name":"Bodlaender, Hans L.","nameType":"Personal","givenName":"Hans L.","familyName":"Bodlaender","affiliation":[],"nameIdentifiers":[]},{"name":"Cygan, Marek","nameType":"Personal","givenName":"Marek","familyName":"Cygan","affiliation":[],"nameIdentifiers":[]},{"name":"Kratsch, Stefan","nameType":"Personal","givenName":"Stefan","familyName":"Kratsch","affiliation":[],"nameIdentifiers":[]},{"name":"Nederlof, Jesper","nameType":"Personal","givenName":"Jesper","familyName":"Nederlof","affiliation":[],"nameIdentifiers":[]}],"titles":[{"title":"Solving weighted and counting variants of connectivity problems parameterized by treewidth deterministically in single exponential time"}],"publisher":"arXiv","container":{},"publicationYear":2012,"subjects":[{"lang":"en","subject":"Data Structures and Algorithms (cs.DS)","subjectScheme":"arXiv"},{"lang":"en","subject":"Computational Complexity (cs.CC)","subjectScheme":"arXiv"},{"lang":"en","subject":"Discrete Mathematics (cs.DM)","subjectScheme":"arXiv"},{"subject":"FOS: Computer and information sciences","subjectScheme":"Fields of Science and Technology (FOS)"},{"subject":"FOS: Computer and information sciences","schemeUri":"http://www.oecd.org/science/inno/38235147.pdf","subjectScheme":"Fields of Science and Technology (FOS)"},{"lang":"en","subject":"F.2.2; G.2.8","subjectScheme":"ACM"}],"contributors":[],"dates":[{"date":"2012-11-07T10:38:52Z","dateType":"Submitted","dateInformation":"v1"},{"date":"2012-11-08T01:02:04Z","dateType":"Updated","dateInformation":"v1"},{"date":"2012-11","dateType":"Available","dateInformation":"v1"},{"date":"2012","dateType":"Issued"}],"language":null,"types":{"ris":"GEN","bibtex":"misc","citeproc":"article","schemaOrg":"CreativeWork","resourceType":"Article","resourceTypeGeneral":"Preprint"},"relatedIdentifiers":[],"relatedItems":[],"sizes":[],"formats":[],"version":"1","rightsList":[{"rights":"arXiv.org perpetual, non-exclusive license","rightsUri":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/"}],"descriptions":[{"description":"It is well known that many local graph problems, like Vertex Cover and Dominating Set, can be solved in 2^{O(tw)}|V|^{O(1)} time for graphs G=(V,E) with a given tree decomposition of width tw. However, for nonlocal problems, like the fundamental class of connectivity problems, for a long time we did not know how to do this faster than tw^{O(tw)}|V|^{O(1)}. Recently, Cygan et al. (FOCS 2011) presented Monte Carlo algorithms for a wide range of connectivity problems running in time $c^{tw}|V|^{O(1)} for a small constant c, e.g., for Hamiltonian Cycle and Steiner tree. Naturally, this raises the question whether randomization is necessary to achieve this runtime; furthermore, it is desirable to also solve counting and weighted versions (the latter without incurring a pseudo-polynomial cost in terms of the weights). We present two new approaches rooted in linear algebra, based on matrix rank and determinants, which provide deterministic c^{tw}|V|^{O(1)} time algorithms, also for weighted and counting versions. For example, in this time we can solve the traveling salesman problem or count the number of Hamiltonian cycles. The rank-based ideas provide a rather general approach for speeding up even straightforward dynamic programming formulations by identifying \"small\" sets of representative partial solutions; we focus on the case of expressing connectivity via sets of partitions, but the essential ideas should have further applications. The determinant-based approach uses the matrix tree theorem for deriving closed formulas for counting versions of connectivity problems; we show how to evaluate those formulas via dynamic programming.","descriptionType":"Abstract"},{"description":"36 pages","descriptionType":"Other"}],"geoLocations":[],"fundingReferences":[],"xml":"PD94bWwgdmVyc2lvbj0iMS4wIiBlbmNvZGluZz0idXRmLTgiPz4KPHJlc291cmNlIHhtbG5zPSJodHRwOi8vZGF0YWNpdGUub3JnL3NjaGVtYS9rZXJuZWwtNCIgeG1sbnM6eHNpPSJodHRwOi8vd3d3LnczLm9yZy8yMDAxL1hNTFNjaGVtYS1pbnN0YW5jZSIgeHNpOnNjaGVtYUxvY2F0aW9uPSJodHRwOi8vZGF0YWNpdGUub3JnL3NjaGVtYS9rZXJuZWwtNCBodHRwOi8vc2NoZW1hLmRhdGFjaXRlLm9yZy9tZXRhL2tlcm5lbC00LjMvbWV0YWRhdGEueHNkIj4KICA8aWRlbnRpZmllciBpZGVudGlmaWVyVHlwZT0iRE9JIj4xMC40ODU1MC9BUlhJVi4xMjExLjE1MDU8L2lkZW50aWZpZXI+CiAgPGFsdGVybmF0ZUlkZW50aWZpZXJzPgogICAgPGFsdGVybmF0ZUlkZW50aWZpZXIgYWx0ZXJuYXRlSWRlbnRpZmllclR5cGU9ImFyWGl2Ij4xMjExLjE1MDU8L2FsdGVybmF0ZUlkZW50aWZpZXI+CiAgPC9hbHRlcm5hdGVJZGVudGlmaWVycz4KICA8Y3JlYXRvcnM+CiAgICA8Y3JlYXRvcj4KICAgICAgPGNyZWF0b3JOYW1lIG5hbWVUeXBlPSJQZXJzb25hbCI+Qm9kbGFlbmRlciwgSGFucyBMLjwvY3JlYXRvck5hbWU+CiAgICAgIDxnaXZlbk5hbWU+SGFucyBMLjwvZ2l2ZW5OYW1lPgogICAgICA8ZmFtaWx5TmFtZT5Cb2RsYWVuZGVyPC9mYW1pbHlOYW1lPgogICAgPC9jcmVhdG9yPgogICAgPGNyZWF0b3I+CiAgICAgIDxjcmVhdG9yTmFtZSBuYW1lVHlwZT0iUGVyc29uYWwiPkN5Z2FuLCBNYXJlazwvY3JlYXRvck5hbWU+CiAgICAgIDxnaXZlbk5hbWU+TWFyZWs8L2dpdmVuTmFtZT4KICAgICAgPGZhbWlseU5hbWU+Q3lnYW48L2ZhbWlseU5hbWU+CiAgICA8L2NyZWF0b3I+CiAgICA8Y3JlYXRvcj4KICAgICAgPGNyZWF0b3JOYW1lIG5hbWVUeXBlPSJQZXJzb25hbCI+S3JhdHNjaCwgU3RlZmFuPC9jcmVhdG9yTmFtZT4KICAgICAgPGdpdmVuTmFtZT5TdGVmYW48L2dpdmVuTmFtZT4KICAgICAgPGZhbWlseU5hbWU+S3JhdHNjaDwvZmFtaWx5TmFtZT4KICAgIDwvY3JlYXRvcj4KICAgIDxjcmVhdG9yPgogICAgICA8Y3JlYXRvck5hbWUgbmFtZVR5cGU9IlBlcnNvbmFsIj5OZWRlcmxvZiwgSmVzcGVyPC9jcmVhdG9yTmFtZT4KICAgICAgPGdpdmVuTmFtZT5KZXNwZXI8L2dpdmVuTmFtZT4KICAgICAgPGZhbWlseU5hbWU+TmVkZXJsb2Y8L2ZhbWlseU5hbWU+CiAgICA8L2NyZWF0b3I+CiAgPC9jcmVhdG9ycz4KICA8dGl0bGVzPgogICAgPHRpdGxlPlNvbHZpbmcgd2VpZ2h0ZWQgYW5kIGNvdW50aW5nIHZhcmlhbnRzIG9mIGNvbm5lY3Rpdml0eSBwcm9ibGVtcyBwYXJhbWV0ZXJpemVkIGJ5IHRyZWV3aWR0aCBkZXRlcm1pbmlzdGljYWxseSBpbiBzaW5nbGUgZXhwb25lbnRpYWwgdGltZTwvdGl0bGU+CiAgPC90aXRsZXM+CiAgPHB1Ymxpc2hlcj5hclhpdjwvcHVibGlzaGVyPgogIDxwdWJsaWNhdGlvblllYXI+MjAxMjwvcHVibGljYXRpb25ZZWFyPgogIDxzdWJqZWN0cz4KICAgIDxzdWJqZWN0IHhtbDpsYW5nPSJlbiIgc3ViamVjdFNjaGVtZT0iYXJYaXYiPkRhdGEgU3RydWN0dXJlcyBhbmQgQWxnb3JpdGhtcyAoY3MuRFMpPC9zdWJqZWN0PgogICAgPHN1YmplY3QgeG1sOmxhbmc9ImVuIiBzdWJqZWN0U2NoZW1lPSJhclhpdiI+Q29tcHV0YXRpb25hbCBDb21wbGV4aXR5IChjcy5DQyk8L3N1YmplY3Q+CiAgICA8c3ViamVjdCB4bWw6bGFuZz0iZW4iIHN1YmplY3RTY2hlbWU9ImFyWGl2Ij5EaXNjcmV0ZSBNYXRoZW1hdGljcyAoY3MuRE0pPC9zdWJqZWN0PgogICAgPHN1YmplY3Qgc3ViamVjdFNjaGVtZT0iRmllbGRzIG9mIFNjaWVuY2UgYW5kIFRlY2hub2xvZ3kgKEZPUykiPkZPUzogQ29tcHV0ZXIgYW5kIGluZm9ybWF0aW9uIHNjaWVuY2VzPC9zdWJqZWN0PgogICAgPHN1YmplY3QgeG1sOmxhbmc9ImVuIiBzdWJqZWN0U2NoZW1lPSJBQ00iPkYuMi4yOyBHLjIuODwvc3ViamVjdD4KICA8L3N1YmplY3RzPgogIDxkYXRlcz4KICAgIDxkYXRlIGRhdGVUeXBlPSJTdWJtaXR0ZWQiIGRhdGVJbmZvcm1hdGlvbj0idjEiPjIwMTItMTEtMDdUMTA6Mzg6NTJaPC9kYXRlPgogICAgPGRhdGUgZGF0ZVR5cGU9IlVwZGF0ZWQiIGRhdGVJbmZvcm1hdGlvbj0idjEiPjIwMTItMTEtMDhUMDE6MDI6MDRaPC9kYXRlPgogICAgPGRhdGUgZGF0ZVR5cGU9IkF2YWlsYWJsZSIgZGF0ZUluZm9ybWF0aW9uPSJ2MSI+MjAxMi0xMTwvZGF0ZT4KICA8L2RhdGVzPgogIDxyZXNvdXJjZVR5cGUgcmVzb3VyY2VUeXBlR2VuZXJhbD0iUHJlcHJpbnQiPkFydGljbGU8L3Jlc291cmNlVHlwZT4KICA8dmVyc2lvbj4xPC92ZXJzaW9uPgogIDxyaWdodHNMaXN0PgogICAgPHJpZ2h0cyByaWdodHNVUkk9Imh0dHA6Ly9hcnhpdi5vcmcvbGljZW5zZXMvbm9uZXhjbHVzaXZlLWRpc3RyaWIvMS4wLyI+YXJYaXYub3JnIHBlcnBldHVhbCwgbm9uLWV4Y2x1c2l2ZSBsaWNlbnNlPC9yaWdodHM+CiAgPC9yaWdodHNMaXN0PgogIDxkZXNjcmlwdGlvbnM+CiAgICA8ZGVzY3JpcHRpb24gZGVzY3JpcHRpb25UeXBlPSJBYnN0cmFjdCI+SXQgaXMgd2VsbCBrbm93biB0aGF0IG1hbnkgbG9jYWwgZ3JhcGggcHJvYmxlbXMsIGxpa2UgVmVydGV4IENvdmVyIGFuZCBEb21pbmF0aW5nIFNldCwgY2FuIGJlIHNvbHZlZCBpbiAyXntPKHR3KX18Vnxee08oMSl9IHRpbWUgZm9yIGdyYXBocyBHPShWLEUpIHdpdGggYSBnaXZlbiB0cmVlIGRlY29tcG9zaXRpb24gb2Ygd2lkdGggdHcuIEhvd2V2ZXIsIGZvciBub25sb2NhbCBwcm9ibGVtcywgbGlrZSB0aGUgZnVuZGFtZW50YWwgY2xhc3Mgb2YgY29ubmVjdGl2aXR5IHByb2JsZW1zLCBmb3IgYSBsb25nIHRpbWUgd2UgZGlkIG5vdCBrbm93IGhvdyB0byBkbyB0aGlzIGZhc3RlciB0aGFuIHR3XntPKHR3KX18Vnxee08oMSl9LiBSZWNlbnRseSwgQ3lnYW4gZXQgYWwuIChGT0NTIDIwMTEpIHByZXNlbnRlZCBNb250ZSBDYXJsbyBhbGdvcml0aG1zIGZvciBhIHdpZGUgcmFuZ2Ugb2YgY29ubmVjdGl2aXR5IHByb2JsZW1zIHJ1bm5pbmcgaW4gdGltZSAkY157dHd9fFZ8XntPKDEpfSBmb3IgYSBzbWFsbCBjb25zdGFudCBjLCBlLmcuLCBmb3IgSGFtaWx0b25pYW4gQ3ljbGUgYW5kIFN0ZWluZXIgdHJlZS4gTmF0dXJhbGx5LCB0aGlzIHJhaXNlcyB0aGUgcXVlc3Rpb24gd2hldGhlciByYW5kb21pemF0aW9uIGlzIG5lY2Vzc2FyeSB0byBhY2hpZXZlIHRoaXMgcnVudGltZTsgZnVydGhlcm1vcmUsIGl0IGlzIGRlc2lyYWJsZSB0byBhbHNvIHNvbHZlIGNvdW50aW5nIGFuZCB3ZWlnaHRlZCB2ZXJzaW9ucyAodGhlIGxhdHRlciB3aXRob3V0IGluY3VycmluZyBhIHBzZXVkby1wb2x5bm9taWFsIGNvc3QgaW4gdGVybXMgb2YgdGhlIHdlaWdodHMpLgogIFdlIHByZXNlbnQgdHdvIG5ldyBhcHByb2FjaGVzIHJvb3RlZCBpbiBsaW5lYXIgYWxnZWJyYSwgYmFzZWQgb24gbWF0cml4IHJhbmsgYW5kIGRldGVybWluYW50cywgd2hpY2ggcHJvdmlkZSBkZXRlcm1pbmlzdGljIGNee3R3fXxWfF57TygxKX0gdGltZSBhbGdvcml0aG1zLCBhbHNvIGZvciB3ZWlnaHRlZCBhbmQgY291bnRpbmcgdmVyc2lvbnMuIEZvciBleGFtcGxlLCBpbiB0aGlzIHRpbWUgd2UgY2FuIHNvbHZlIHRoZSB0cmF2ZWxpbmcgc2FsZXNtYW4gcHJvYmxlbSBvciBjb3VudCB0aGUgbnVtYmVyIG9mIEhhbWlsdG9uaWFuIGN5Y2xlcy4gVGhlIHJhbmstYmFzZWQgaWRlYXMgcHJvdmlkZSBhIHJhdGhlciBnZW5lcmFsIGFwcHJvYWNoIGZvciBzcGVlZGluZyB1cCBldmVuIHN0cmFpZ2h0Zm9yd2FyZCBkeW5hbWljIHByb2dyYW1taW5nIGZvcm11bGF0aW9ucyBieSBpZGVudGlmeWluZyAic21hbGwiIHNldHMgb2YgcmVwcmVzZW50YXRpdmUgcGFydGlhbCBzb2x1dGlvbnM7IHdlIGZvY3VzIG9uIHRoZSBjYXNlIG9mIGV4cHJlc3NpbmcgY29ubmVjdGl2aXR5IHZpYSBzZXRzIG9mIHBhcnRpdGlvbnMsIGJ1dCB0aGUgZXNzZW50aWFsIGlkZWFzIHNob3VsZCBoYXZlIGZ1cnRoZXIgYXBwbGljYXRpb25zLiBUaGUgZGV0ZXJtaW5hbnQtYmFzZWQgYXBwcm9hY2ggdXNlcyB0aGUgbWF0cml4IHRyZWUgdGhlb3JlbSBmb3IgZGVyaXZpbmcgY2xvc2VkIGZvcm11bGFzIGZvciBjb3VudGluZyB2ZXJzaW9ucyBvZiBjb25uZWN0aXZpdHkgcHJvYmxlbXM7IHdlIHNob3cgaG93IHRvIGV2YWx1YXRlIHRob3NlIGZvcm11bGFzIHZpYSBkeW5hbWljIHByb2dyYW1taW5nLjwvZGVzY3JpcHRpb24+CiAgICA8ZGVzY3JpcHRpb24gZGVzY3JpcHRpb25UeXBlPSJPdGhlciI+MzYgcGFnZXM8L2Rlc2NyaXB0aW9uPgogIDwvZGVzY3JpcHRpb25zPgo8L3Jlc291cmNlPg==","url":"https://arxiv.org/abs/1211.1505","contentUrl":null,"metadataVersion":0,"schemaVersion":"http://datacite.org/schema/kernel-4","source":"mds","isActive":true,"state":"findable","reason":null,"viewCount":0,"viewsOverTime":[],"downloadCount":0,"downloadsOverTime":[],"referenceCount":0,"citationCount":0,"citationsOverTime":[],"partCount":0,"partOfCount":0,"versionCount":0,"versionOfCount":0,"created":"2022-03-11T17:50:02.000Z","registered":"2022-03-11T17:50:03.000Z","published":"2012","updated":"2022-03-11T17:50:03.000Z"},"relationships":{"client":{"data":{"id":"arxiv.content","type":"clients"}},"provider":{"data":{"id":"arxiv","type":"providers"}},"media":{"data":{"id":"10.48550/arxiv.1211.1505","type":"media"}},"references":{"data":[]},"citations":{"data":[]},"parts":{"data":[]},"partOf":{"data":[]},"versions":{"data":[]},"versionOf":{"data":[]}}}}