Standard

Families with infants : Speeding up algorithms for NP-hard problems using FFT. / Golovnev, Alexander; Kulikov, Alexander S.; Mihajlin, Ivan.

в: ACM Transactions on Algorithms, Том 12, № 3, 35, 04.2016.

Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

Harvard

Golovnev, A, Kulikov, AS & Mihajlin, I 2016, 'Families with infants: Speeding up algorithms for NP-hard problems using FFT', ACM Transactions on Algorithms, Том. 12, № 3, 35. https://doi.org/10.1145/2847419

APA

Golovnev, A., Kulikov, A. S., & Mihajlin, I. (2016). Families with infants: Speeding up algorithms for NP-hard problems using FFT. ACM Transactions on Algorithms, 12(3), [35]. https://doi.org/10.1145/2847419

Vancouver

Golovnev A, Kulikov AS, Mihajlin I. Families with infants: Speeding up algorithms for NP-hard problems using FFT. ACM Transactions on Algorithms. 2016 Апр.;12(3). 35. https://doi.org/10.1145/2847419

Author

Golovnev, Alexander ; Kulikov, Alexander S. ; Mihajlin, Ivan. / Families with infants : Speeding up algorithms for NP-hard problems using FFT. в: ACM Transactions on Algorithms. 2016 ; Том 12, № 3.

BibTeX

@article{84321fe80b9e478485638660903d2d2b,
title = "Families with infants: Speeding up algorithms for NP-hard problems using FFT",
abstract = "Assume that a group of n people is going to an excursion and our task is to seat them into buses with several constraints each saying that a pair of people does not want to see each other in the same bus. This is a well-known graph coloring problem (with n being the number of vertices) and it can be solved in O∗(2n) time by the inclusion-exclusion principle as shown by Bj{\"o}rklund, Husfeldt, and Koivisto in 2009. Another approach to solve this problem in O∗ (2n) time is to use the Fast Fourier Transform (FFT). For this, given a graph G one constructs a polynomial PG(x) of degree O∗ (2n) with the following property: G is k-colorable if and only if the coefficient of xm (for some particular value of m) in the k-th power of P(x) is nonzero. Then, it remains to compute this coefficient using FFT. Assume now that we have additional constraints: the group of people contains several infants and these infants should be accompanied by their relatives in a bus. We show that if the number of infants is linear, then the problem can be solved in O∗ ((2 - ϵ)n) time, where ϵ is a positive constant independent of n. We use this approach to improve known bounds for several NP-hard problems (the traveling salesman problem, the graph coloring problem, the problem of counting perfect matchings) on graphs of bounded average degree, as well as to simplify the proofs of several known results.",
keywords = "Algorithms, Chromatic number, Counting perfect matchings, Fast Fourier transform, NP-hard problem, Traveling salesman",
author = "Alexander Golovnev and Kulikov, {Alexander S.} and Ivan Mihajlin",
year = "2016",
month = apr,
doi = "10.1145/2847419",
language = "English",
volume = "12",
journal = "ACM Transactions on Algorithms",
issn = "1549-6325",
publisher = "Association for Computing Machinery",
number = "3",

}

RIS

TY - JOUR

T1 - Families with infants

T2 - Speeding up algorithms for NP-hard problems using FFT

AU - Golovnev, Alexander

AU - Kulikov, Alexander S.

AU - Mihajlin, Ivan

PY - 2016/4

Y1 - 2016/4

N2 - Assume that a group of n people is going to an excursion and our task is to seat them into buses with several constraints each saying that a pair of people does not want to see each other in the same bus. This is a well-known graph coloring problem (with n being the number of vertices) and it can be solved in O∗(2n) time by the inclusion-exclusion principle as shown by Björklund, Husfeldt, and Koivisto in 2009. Another approach to solve this problem in O∗ (2n) time is to use the Fast Fourier Transform (FFT). For this, given a graph G one constructs a polynomial PG(x) of degree O∗ (2n) with the following property: G is k-colorable if and only if the coefficient of xm (for some particular value of m) in the k-th power of P(x) is nonzero. Then, it remains to compute this coefficient using FFT. Assume now that we have additional constraints: the group of people contains several infants and these infants should be accompanied by their relatives in a bus. We show that if the number of infants is linear, then the problem can be solved in O∗ ((2 - ϵ)n) time, where ϵ is a positive constant independent of n. We use this approach to improve known bounds for several NP-hard problems (the traveling salesman problem, the graph coloring problem, the problem of counting perfect matchings) on graphs of bounded average degree, as well as to simplify the proofs of several known results.

AB - Assume that a group of n people is going to an excursion and our task is to seat them into buses with several constraints each saying that a pair of people does not want to see each other in the same bus. This is a well-known graph coloring problem (with n being the number of vertices) and it can be solved in O∗(2n) time by the inclusion-exclusion principle as shown by Björklund, Husfeldt, and Koivisto in 2009. Another approach to solve this problem in O∗ (2n) time is to use the Fast Fourier Transform (FFT). For this, given a graph G one constructs a polynomial PG(x) of degree O∗ (2n) with the following property: G is k-colorable if and only if the coefficient of xm (for some particular value of m) in the k-th power of P(x) is nonzero. Then, it remains to compute this coefficient using FFT. Assume now that we have additional constraints: the group of people contains several infants and these infants should be accompanied by their relatives in a bus. We show that if the number of infants is linear, then the problem can be solved in O∗ ((2 - ϵ)n) time, where ϵ is a positive constant independent of n. We use this approach to improve known bounds for several NP-hard problems (the traveling salesman problem, the graph coloring problem, the problem of counting perfect matchings) on graphs of bounded average degree, as well as to simplify the proofs of several known results.

KW - Algorithms

KW - Chromatic number

KW - Counting perfect matchings

KW - Fast Fourier transform

KW - NP-hard problem

KW - Traveling salesman

UR - http://www.scopus.com/inward/record.url?scp=84968782878&partnerID=8YFLogxK

U2 - 10.1145/2847419

DO - 10.1145/2847419

M3 - Article

AN - SCOPUS:84968782878

VL - 12

JO - ACM Transactions on Algorithms

JF - ACM Transactions on Algorithms

SN - 1549-6325

IS - 3

M1 - 35

ER -

ID: 49823827