Counting and Detecting Small Subgraphs via Equations
(2013) In SIAM Journal on Discrete Mathematics 27(2). p.892-909- Abstract
- We present a general technique for detecting and counting small subgraphs. It consists of forming special linear combinations of the numbers of occurrences of different induced subgraphs of fixed size in a graph. These combinations can be efficiently computed by rectangular matrix multiplication. Our two main results utilizing the technique are as follows. Let H be a fixed graph with k vertices and an independent set of size s. 1. Detecting if an n-vertex graph contains a (not necessarily induced) subgraph isomorphic to H can be done in time O(n(omega(inverte right perpendicular(k-s)/2inverted letf perpendicular,1,1 right perpendicular(k- s)/2inverted letf perpendicular))), where omega(p, q, r) is the exponent of fast arithmetic matrix... (More)
- We present a general technique for detecting and counting small subgraphs. It consists of forming special linear combinations of the numbers of occurrences of different induced subgraphs of fixed size in a graph. These combinations can be efficiently computed by rectangular matrix multiplication. Our two main results utilizing the technique are as follows. Let H be a fixed graph with k vertices and an independent set of size s. 1. Detecting if an n-vertex graph contains a (not necessarily induced) subgraph isomorphic to H can be done in time O(n(omega(inverte right perpendicular(k-s)/2inverted letf perpendicular,1,1 right perpendicular(k- s)/2inverted letf perpendicular))), where omega(p, q, r) is the exponent of fast arithmetic matrix multiplication of an n(p) x n(q) matrix by an n(q) x n(r) matrix. 2. When s = 2, counting the number of (not necessarily induced) subgraphs isomorphic to H can be done in the same time, i.e., in time O(n(omega(inverted right perpendicular(k-2)/2inverted left perpendicular,1, inverted right perpendicular(k-2)/2inverted left perpendicular))). It follows in particular that we can count the number of subgraphs isomorphic to any H on four vertices that is not K-4 in time O(n(omega)), where omega = omega(1, 1, 1) is known to be smaller than 2.373. Similarly, we can count the number of subgraphs isomorphic to any H on five vertices that is not K-5 in time O(n(omega(2,1,1))), where omega(2, 1, 1) is known to be smaller than 3.257. Finally, we derive input-sensitive variants of our time upper bounds. They are partially expressed in terms of the number m of edges of the input graph and do not rely on fast matrix multiplication. (Less)
Please use this url to cite or link to this publication:
https://lup.lub.lu.se/record/3979396
- author
- Kowaluk, Miroslaw ; Lingas, Andrzej LU and Lundell, Eva-Marta LU
- organization
- publishing date
- 2013
- type
- Contribution to journal
- publication status
- published
- subject
- keywords
- subgraph and induced subgraph isomorphism, counting and detection of, subgraphs, linear equations, exact algorithms, rectangular matrix, multiplication
- in
- SIAM Journal on Discrete Mathematics
- volume
- 27
- issue
- 2
- pages
- 892 - 909
- publisher
- Society for Industrial and Applied Mathematics
- external identifiers
-
- wos:000321042800018
- scopus:84880414451
- ISSN
- 0895-4801
- DOI
- 10.1137/110859798
- language
- English
- LU publication?
- yes
- id
- 77224fca-27ac-4e31-82b7-d43f262cd7ca (old id 3979396)
- date added to LUP
- 2016-04-01 14:09:25
- date last changed
- 2025-10-14 10:06:29
@article{77224fca-27ac-4e31-82b7-d43f262cd7ca,
abstract = {{We present a general technique for detecting and counting small subgraphs. It consists of forming special linear combinations of the numbers of occurrences of different induced subgraphs of fixed size in a graph. These combinations can be efficiently computed by rectangular matrix multiplication. Our two main results utilizing the technique are as follows. Let H be a fixed graph with k vertices and an independent set of size s. 1. Detecting if an n-vertex graph contains a (not necessarily induced) subgraph isomorphic to H can be done in time O(n(omega(inverte right perpendicular(k-s)/2inverted letf perpendicular,1,1 right perpendicular(k- s)/2inverted letf perpendicular))), where omega(p, q, r) is the exponent of fast arithmetic matrix multiplication of an n(p) x n(q) matrix by an n(q) x n(r) matrix. 2. When s = 2, counting the number of (not necessarily induced) subgraphs isomorphic to H can be done in the same time, i.e., in time O(n(omega(inverted right perpendicular(k-2)/2inverted left perpendicular,1, inverted right perpendicular(k-2)/2inverted left perpendicular))). It follows in particular that we can count the number of subgraphs isomorphic to any H on four vertices that is not K-4 in time O(n(omega)), where omega = omega(1, 1, 1) is known to be smaller than 2.373. Similarly, we can count the number of subgraphs isomorphic to any H on five vertices that is not K-5 in time O(n(omega(2,1,1))), where omega(2, 1, 1) is known to be smaller than 3.257. Finally, we derive input-sensitive variants of our time upper bounds. They are partially expressed in terms of the number m of edges of the input graph and do not rely on fast matrix multiplication.}},
author = {{Kowaluk, Miroslaw and Lingas, Andrzej and Lundell, Eva-Marta}},
issn = {{0895-4801}},
keywords = {{subgraph and induced subgraph isomorphism; counting and detection of; subgraphs; linear equations; exact algorithms; rectangular matrix; multiplication}},
language = {{eng}},
number = {{2}},
pages = {{892--909}},
publisher = {{Society for Industrial and Applied Mathematics}},
series = {{SIAM Journal on Discrete Mathematics}},
title = {{Counting and Detecting Small Subgraphs via Equations}},
url = {{http://dx.doi.org/10.1137/110859798}},
doi = {{10.1137/110859798}},
volume = {{27}},
year = {{2013}},
}