10,095 research outputs found
An Efficient Algorithm for Enumerating Chordless Cycles and Chordless Paths
A chordless cycle (induced cycle) of a graph is a cycle without any
chord, meaning that there is no edge outside the cycle connecting two vertices
of the cycle. A chordless path is defined similarly. In this paper, we consider
the problems of enumerating chordless cycles/paths of a given graph
and propose algorithms taking time for each chordless cycle/path. In
the existing studies, the problems had not been deeply studied in the
theoretical computer science area, and no output polynomial time algorithm has
been proposed. Our experiments showed that the computation time of our
algorithms is constant per chordless cycle/path for non-dense random graphs and
real-world graphs. They also show that the number of chordless cycles is much
smaller than the number of cycles. We applied the algorithm to prediction of
NMR (Nuclear Magnetic Resonance) spectra, and increased the accuracy of the
prediction
Interpreting and using CPDAGs with background knowledge
We develop terminology and methods for working with maximally oriented
partially directed acyclic graphs (maximal PDAGs). Maximal PDAGs arise from
imposing restrictions on a Markov equivalence class of directed acyclic graphs,
or equivalently on its graphical representation as a completed partially
directed acyclic graph (CPDAG), for example when adding background knowledge
about certain edge orientations. Although maximal PDAGs often arise in
practice, causal methods have been mostly developed for CPDAGs. In this paper,
we extend such methodology to maximal PDAGs. In particular, we develop
methodology to read off possible ancestral relationships, we introduce a
graphical criterion for covariate adjustment to estimate total causal effects,
and we adapt the IDA and joint-IDA frameworks to estimate multi-sets of
possible causal effects. We also present a simulation study that illustrates
the gain in identifiability of total causal effects as the background knowledge
increases. All methods are implemented in the R package pcalg.Comment: 17 pages, 6 figures, UAI 201
Linear Time Subgraph Counting, Graph Degeneracy, and the Chasm at Size Six
We consider the problem of counting all k-vertex subgraphs in an input graph, for any constant k. This problem (denoted SUB-CNT_k) has been studied extensively in both theory and practice. In a classic result, Chiba and Nishizeki (SICOMP 85) gave linear time algorithms for clique and 4-cycle counting for bounded degeneracy graphs. This is a rich class of sparse graphs that contains, for example, all minor-free families and preferential attachment graphs. The techniques from this result have inspired a number of recent practical algorithms for SUB-CNT_k. Towards a better understanding of the limits of these techniques, we ask: for what values of k can SUB_CNT_k be solved in linear time?
We discover a chasm at k=6. Specifically, we prove that for k < 6, SUB_CNT_k can be solved in linear time. Assuming a standard conjecture in fine-grained complexity, we prove that for all k ? 6, SUB-CNT_k cannot be solved even in near-linear time
Extended h-Index Parameterized Data Structures for Computing Dynamic Subgraph Statistics
We present techniques for maintaining subgraph frequencies in a dynamic
graph, using data structures that are parameterized in terms of h, the h-index
of the graph. Our methods extend previous results of Eppstein and Spiro for
maintaining statistics for undirected subgraphs of size three to directed
subgraphs and to subgraphs of size four. For the directed case, we provide a
data structure to maintain counts for all 3-vertex induced subgraphs in O(h)
amortized time per update. For the undirected case, we maintain the counts of
size-four subgraphs in O(h^2) amortized time per update. These extensions
enable a number of new applications in Bioinformatics and Social Networking
research
Faster and Simpler Distributed Algorithms for Testing and Correcting Graph Properties in the CONGEST-Model
In this paper we present distributed testing algorithms of graph properties
in the CONGEST-model [Censor-Hillel et al. 2016]. We present one-sided error
testing algorithms in the general graph model.
We first describe a general procedure for converting -testers with
a number of rounds , where denotes the diameter of the graph, to
rounds, where is the number of
processors of the network. We then apply this procedure to obtain an optimal
tester, in terms of , for testing bipartiteness, whose round complexity is
, which improves over the -round algorithm by Censor-Hillel et al. (DISC 2016). Moreover, for
cycle-freeness, we obtain a \emph{corrector} of the graph that locally corrects
the graph so that the corrected graph is acyclic. Note that, unlike a tester, a
corrector needs to mend the graph in many places in the case that the graph is
far from having the property.
In the second part of the paper we design algorithms for testing whether the
network is -free for any connected of size up to four with round
complexity of . This improves over the
-round algorithms for testing triangle freeness by
Censor-Hillel et al. (DISC 2016) and for testing excluded graphs of size by
Fraigniaud et al. (DISC 2016).
In the last part we generalize the global tester by Iwama and Yoshida (ITCS
2014) of testing -path freeness to testing the exclusion of any tree of
order . We then show how to simulate this algorithm in the CONGEST-model in
rounds
Sparse Kneser graphs are Hamiltonian
For integers and , the Kneser graph is the
graph whose vertices are the -element subsets of and whose
edges connect pairs of subsets that are disjoint. The Kneser graphs of the form
are also known as the odd graphs. We settle an old problem due to
Meredith, Lloyd, and Biggs from the 1970s, proving that for every ,
the odd graph has a Hamilton cycle. This and a known conditional
result due to Johnson imply that all Kneser graphs of the form
with and have a Hamilton cycle. We also prove that
has at least distinct Hamilton cycles for .
Our proofs are based on a reduction of the Hamiltonicity problem in the odd
graph to the problem of finding a spanning tree in a suitably defined
hypergraph on Dyck words
- …