×

Rural postman parameterized by the number of components of required edges. (English) Zbl 1350.68144

Summary: In the Directed Rural Postman Problem (DRPP), given a strongly connected directed multigraph \(D = (V, A)\) with nonnegative integral weights on the arcs, a subset \(R\) of required arcs and a nonnegative integer \(\ell\), decide whether \(D\) has a closed directed walk containing every arc of \(R\) and of weight at most \(\ell\). Let \(k\) be the number of weakly connected components in the subgraph of \(D\) induced by \(R\). M. Sorge et al. [J. Discrete Algorithms 16, 12–33 (2012; Zbl 1255.68076)] asked whether the DRPP is fixed-parameter tractable (FPT) when parameterized by \(k\), i.e., whether there is an algorithm of running time \(O^\ast(f(k))\) where \(f\) is a function of \(k\) only and the \(O^\ast\) notation suppresses polynomial factors. Using an algebraic approach, we prove that DRPP has a randomized algorithm of running time \(O^\ast(2^k)\) when \(\ell\) is bounded by a polynomial in the number of vertices in \(D\). The same result holds for the undirected version of DRPP.

MSC:

68Q25 Analysis of algorithms and problem complexity
68W20 Randomized algorithms
90C27 Combinatorial optimization
90C35 Programming involving graphs or networks

Citations:

Zbl 1255.68076
Full Text: DOI

References:

[1] Assad, A. A.; Golden, B. L., Arc routing methods and applications, (Network Routing. Network Routing, Handbooks in Operations Research and Management Science, vol. 8 (1995), Elsevier), 375-483 · Zbl 0870.90056
[2] Bang-Jensen, J.; Gutin, G., Digraphs: Theory, Algorithms and Applications (2009), Springer: Springer London · Zbl 1170.05002
[3] van Bevern, R.; Niedermeier, R.; Sorge, M.; Weller, M., Complexity of arc routing problems, (Corberán, A.; Laporte, G., Arc Routing: Problems, Methods and Applications (2014), SIAM), Chapter 2 · Zbl 1377.90114
[4] Björklund, A., Determinant sums for undirected Hamiltonicity, (FOCS (2010)), 173-182
[5] Björklund, A.; Husfeldt, T.; Koivisto, M., Set partitioning via inclusion-exclusion, SIAM J. Comput., 39, 2, 546-563 (2009) · Zbl 1215.05056
[6] Cygan, M.; Gabow, H. N.; Sankowski, P., Algorithmic applications of Baur-Strassen’s theorem: shortest cycles, diameter and matchings, (FOCS (2012)), 531-540
[7] Cygan, M.; Nederlof, J.; Pilipczuk, M.; Pilipczuk, M.; van Rooij, J. M.M.; Wojtaszczyk, J. O., Solving connectivity problems parameterized by treewidth in single exponential time, (FOCS (2011)), 150-159 · Zbl 1292.68122
[8] Dorn, F.; Moser, H.; Niedermeier, R.; Weller, M., Efficient algorithms for Eulerian extension, SIAM J. Discrete Math.. (WG 2010. WG 2010, Lect. Notes Comput. Sci., vol. 6410 (2010)), 27, 1, 100-111 (2013), Preliminary version · Zbl 1309.68080
[9] Downey, R. G.; Fellows, M. R., Fundamentals of Parameterized Complexity (2013), Springer · Zbl 1358.68006
[10] Dror, M., Arc Routing: Theory, Solutions, and Applications (2000), Kluwer · Zbl 0947.00016
[11] Eiselt, H. A.; Gendreau, M.; Laporte, G., Arc routing problems, part II: the rural postman problem, Oper. Res., 43, 3, 399-414 (1995) · Zbl 0853.90042
[12] Flum, J.; Grohe, M., Parameterized Complexity Theory (2006), Springer · Zbl 1143.68016
[13] Frederickson, G. N., Approximation algorithms for NP-hard routing problems (1977), Faculty of the Graduate School of the University of Maryland, PhD thesis
[14] Frederickson, G. N., Approximation algorithms for some postman problems, J. ACM, 26, 3, 538-554 (1979) · Zbl 0405.90076
[15] Golovnev, A.; Kulikov, A. S.; Mihajlin, I., Solving SCS for bounded length strings in fewer than \(2^n\) steps, Inf. Process. Lett., 114, 8, 421-425 (2014) · Zbl 1296.68203
[16] Höhn, W.; Jacobs, T.; Megow, N., On Eulerian extensions and their application to no-wait flowshop scheduling, J. Sched., 15, 3, 295-309 (2012) · Zbl 1280.90050
[17] Horn, R. A.; Johnson, C. R., Topics in Matrix Analysis (1991), Cambridge UP · Zbl 0729.15001
[18] Kulikov, A. S., Open problem: fast algorithm for DRPP w.r.t. the number of weakly connected components, Dagstuhl Semin., 3, 8, 59 (2013)
[19] Le Gall, F., Powers of tensors and fast matrix multiplication, (ISSAC (2014)), 296-303 · Zbl 1325.65061
[20] Lenstra, J. K.; Rinnooy Kan, A. H.G., On general routing problems, Networks, 6, 3, 273-280 (1976) · Zbl 0366.90092
[21] Lovász, L.; Plummer, M. D., Matching Theory (1986), Akadémiai Kiadó: Akadémiai Kiadó Budapest · Zbl 0618.05001
[22] Marx, D.; Pilipczuk, M., Everything you always wanted to know about the parameterized complexity of subgraph isomorphism (but were afraid to ask), (STACS 2014. STACS 2014, LIPIcs, vol. 25 (2014)), 542-553 (Aug 25, 2013), extended abstract · Zbl 1359.68139
[23] Mulmuley, K.; Vazirani, U. V.; Vazirani, V. V., Matching is as easy as matrix inversion, Combinatorica, 7, 1, 105-113 (1987) · Zbl 0632.68041
[24] Niedermeier, R., Invitation to Fixed-Parameter Algorithms (2006), Oxford UP · Zbl 1095.68038
[25] Papadimitriou, C. H., On the complexity of edge traversing, J. ACM, 23, 3, 544-554 (1976) · Zbl 0351.90079
[26] Rote, G., Division-free algorithms for the determinant and the Pfaffian: algebraic and combinatorial approaches, (Comput. Discrete Math.. Comput. Discrete Math., Lect. Notes Comput. Sci., vol. 2122 (2001)), 119-135 · Zbl 1010.65022
[27] Schwartz, J. T., Fast probabilistic algorithms for verification of polynomial identities, J. ACM, 27, 4, 701-717 (1980) · Zbl 0452.68050
[29] Sorge, M.; van Bevern, R.; Niedermeier, R.; Weller, M., From few components to an Eulerian graph by adding arcs, (The WG 2011. The WG 2011, Lect. Notes Comput. Sci., vol. 6986 (2011)), 307-319 · Zbl 1341.05144
[30] Sorge, M.; van Bevern, R.; Niedermeier, R.; Weller, M., A new view on rural postman based on Eulerian extension and matching, J. Discret. Algorithms. (22nd IWOCA. 22nd IWOCA, Lect. Notes Comput. Sci., vol. 7056 (2011)), 16, 310-322 (2012), Preliminary version · Zbl 1344.68091
[31] Vassilevska Williams, V., Multiplying matrices faster than Coppersmith-Winograd, (STOC (2012)), 887-898 · Zbl 1286.65056
[32] Wahlström, M., Abusing the Tutte matrix: an algebraic instance compression for the K-set-cycle problem, (STACS 2013 (2013)), 20:341-352 · Zbl 1354.68135
[34] Zippel, R. E., Probabilistic algorithms for sparse polynomials, (Symbolic and Algebraic Computation. Symbolic and Algebraic Computation, EUROSAM (1979)), 216-226 · Zbl 0418.68040
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.