Matching is as easy as matrix inversion
Combinatorica
The monadic second-order logic of graphs. I. recognizable sets of finite graphs
Information and Computation
Inclusion and exclusion algorithm for the Hamiltonian Path Problem
Information Processing Letters
Polynomial time approximation schemes for Euclidean traveling salesman and other geometric problems
Journal of the ACM (JACM)
Dynamic Programming Treatment of the Travelling Salesman Problem
Journal of the ACM (JACM)
Which problems have strongly exponential complexity?
Journal of Computer and System Sciences
A dynamic programming approach to sequencing problems
ACM '61 Proceedings of the 1961 16th ACM national meeting
A generating function approach to the Traveling Salesman Problem
ACM '77 Proceedings of the 1977 annual conference
Exact algorithms for NP-hard problems: a survey
Combinatorial optimization - Eureka, you shrink!
Algorithm Design
Computational Complexity: A Modern Approach
Computational Complexity: A Modern Approach
Fast Exact Algorithms for Hamiltonicity in Claw-Free Graphs
Graph-Theoretic Concepts in Computer Science
Treewidth: structure and algorithms
SIROCCO'07 Proceedings of the 14th international conference on Structural information and communication complexity
Trimmed Moebius Inversion and Graphs of Bounded Degree
Theory of Computing Systems - Special Title: Symposium on Theoretical Aspects of Computer Science; Guest Editors: Susanne Albers, Pascal Weil
On the possibility of faster SAT algorithms
SODA '10 Proceedings of the twenty-first annual ACM-SIAM symposium on Discrete Algorithms
Determinant Sums for Undirected Hamiltonicity
FOCS '10 Proceedings of the 2010 IEEE 51st Annual Symposium on Foundations of Computer Science
Exact Exponential Algorithms
Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Solving Connectivity Problems Parameterized by Treewidth in Single Exponential Time
FOCS '11 Proceedings of the 2011 IEEE 52nd Annual Symposium on Foundations of Computer Science
Known algorithms on graphs of bounded treewidth are probably optimal
Proceedings of the twenty-second annual ACM-SIAM symposium on Discrete Algorithms
Catalan structures and dynamic programming in H-minor-free graphs
Journal of Computer and System Sciences
Dynamic programming meets the principle of inclusion and exclusion
Operations Research Letters
On Problems as Hard as CNF-SAT
CCC '12 Proceedings of the 2012 IEEE Conference on Computational Complexity (CCC)
An improved exact algorithm for cubic graph TSP
COCOON'07 Proceedings of the 13th annual international conference on Computing and Combinatorics
ICALP'13 Proceedings of the 40th international conference on Automata, Languages, and Programming - Volume Part I
Hi-index | 0.00 |
For an even integer t ≥ 2, the Matching Connectivity matrix Ht is a matrix that has rows and columns both labeled by all perfect matchings of the complete graph Kt on t vertices; an entry Ht[M1,M2] is 1 if M1∪ M2 is a Hamiltonian cycle and 0 otherwise. Motivated by the computational study of the Hamiltonicity problem, we present three results on the structure of Ht: We first show that Ht has rank exactly 2t/2-1 over GF(2) via an appropriate factorization that explicitly provides families of matchings Xt forming bases for Ht. Second, we show how to quickly change representation between such bases. Third, we notice that the sets of matchings Xt induce permutation matrices within Ht. We use the factorization to derive an 1.888n nO(1) time Monte Carlo algorithm that solves the Hamiltonicity problem in directed bipartite graphs. Our algorithm as well counts the number of Hamiltonian cycles modulo two in directed bipartite or undirected graphs in the same time bound. Moreover, we use the fast basis change algorithm from the second result to present a Monte Carlo algorithm that given an undirected graph on n vertices along with a path decomposition of width at most pw decides Hamiltonicity in (2+√2)pw nO(1) time. Finally, we use the third result to show that for every ε 0 this cannot be improved to (2+√2-ε)pwnO(1) time unless the Strong Exponential Time Hypothesis fails, i.e., a faster algorithm for this problem would imply the breakthrough result of an O((2-ε')n) time algorithm for CNF-Sat.