Abstract

Consider an unweighted, directed graph G with the diameter D. In this paper, we introduce the framework for counting cycles and walks of given length in matrix multiplication time widetilde {O}(n^{omega }). The framework is based on the fast decomposition into Frobenius normal form and the Hankel matrix-vector multiplication. It allows us to solve the All-Nodes Shortest Cycles, All-Pairs All Walks problems efficiently and also give some improvement upon distance queries in unweighted graphs.

Highlights

  • The All-Pairs Shortest Paths (APSP) problem asks to find distances between all pairs of vertices in a graph

  • For a given graph G and k determining whether G contains a simple cycle of length exactly k is NP-hard

  • We introduced the framework based on Frobenius normal form and used it to solve some problems on directed, unweighted graphs in matrix multiplication time

Read more

Summary

Introduction

The All-Pairs Shortest Paths (APSP) problem asks to find distances between all pairs of vertices in a graph. After a long line of improvements [9] showed an O(Mnω) time algorithms for finding minimum weight perfect matching, shortest cycle, diameter and radius (some of these results were already known [21]). [9] showed an application of their techniques that improves upon [31] O(Mnωt) time algorithm for the following problem: determine the set of vertices that lie on some cycle of length at most t. Cygan et al [9] managed to solve this problem in O(Mnω) time using Baur-Strassen’s theorem All of these algorithm are effective merely in the case of a dense graphs. For graphs with the small number of edges there are more efficient algorithms (e.g., APSP in O(|V ||E|) time [27]).

Distance Queries
Counting Cycles
Preliminaries
Introduction to Cyclic Subspaces and Connection to Frobenius Matrices
Consequences of Frobenius Normal Form
Cyclic Subspaces
Matching Distance Queries on Directed Unweighted Graphs
Single Invariant Factor
Multiple Invariant Factors
Relation of the Graph Diameter and Frobenius Normal Form
Generalization to Multiple Invariant Factors
Queries with Multiple Invariant Factors
Almost Optimal Query
Hankel Matrix
Using Hankel Matrices to Get Richer Query
Applications
Counting and Determining the Lengths of Cycles
Conclusion and Open Problems
Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.