Abstract
In the k-Feedback Arc/Vertex Set problem we are given a directed graph D and a positive integer k and the objective is to check whether it is possible to delete at most k arcs/vertices from D to make it acyclic. Dom et al. (J. Discrete Algorithm 8(1):76–86, 2010) initiated a study of the Feedback Arc Set problem on bipartite tournaments (k-FASBT) in the realm of parameterized complexity. They showed that k-FASBT can be solved in time O(3.373k n 6) on bipartite tournaments having n vertices. However, until now there was no known polynomial sized problem kernel for k-FASBT. In this paper we obtain a cubic vertex kernel for k-FASBT. This completes the kernelization picture for the Feedback Arc/Vertex Set problem on tournaments and bipartite tournaments, as for all other problems polynomial kernels were known before. We obtain our kernel using a non-trivial application of “independent modules” which could be of independent interest.
Similar content being viewed by others
References
Abu-Khzam, F.N.: A kernelization algorithm for d-hitting set. J. Comput. Syst. Sci. 76(7), 524–531 (2010)
Ailon, N., Charikar, M., Newman, A.: Aggregating inconsistent information: ranking and clustering. In: STOC, pp. 684–693 (2005)
Alon, N.: Ranking tournaments. SIAM J. Discrete Math. 20(1), 137–142 (2006)
Alon, N., Lokshtanov, D., Saurabh, S.: Fast FAST. In: ICALP. LNCS, vol. 5555, pp. 49–58 (2009)
Bang-Jensen, J., Gutin, G.: Digraphs: Theory. Algorithms and Applications. Springer Monographs in Mathematics. Springer, Berlin (2009)
Bang-Jensen, J., Thomassen, C.: A polynomial algorithm for the 2-path problem for semicomplete digraphs. SIAM J. Discrete Math. 5(3), 366–376 (1992)
Bessy, S., Fomin, F.V., Gaspers, S., Paul, C., Perez, A., Saurabh, S., Thomassé, S.: Kernels for feedback arc set in tournaments. In: FSTTCS, pp. 37–47 (2009)
Bodlaender, H.L., Downey, R.G., Fellows, M.R., Hermelin, D.: On problems without polynomial kernels. J. Comput. Syst. Sci. 75(8), 423–434 (2009)
Bodlaender, H.L., Fomin, F.V., Lokshtanov, D., Penninkx, E., Saurabh, S., Thilikos, D.M.: (Meta) Kernelization. In: FOCS, pp. 629–638 (2009)
Cai, M.C., Deng, X., Zang, W.: A min-max theorem on feedback vertex sets. Math. Oper. Res. 27(2), 361–371 (2002)
Charbit, P., Thomassé, S., Yeo, A.: The minimum feedback arc set problem is NP-hard for tournaments. Comb. Probab. Comput. 16(1), 1–4 (2007)
Cohen, W.W., Schapire, R.E., Singer, Y.: Learning to order things. In: NIPS, pp. 451–457 (1997)
Dell, H., van Melkebeek, D.: Satisfiability allows no nontrivial sparsification unless the polynomial-time hierarchy collapses. In: STOC, pp. 251–260 (2010)
Dom, M., Guo, J., Hüffner, F., Niedermeier, R., Truß, A.: Fixed-parameter tractability results for feedback set problems in tournaments. J. Discrete Algorithms 8(1), 76–86 (2010)
Dom, M., Lokshtanov, D., Saurabh, S.: Incompressibility through colors and IDs. In: ICALP. LNCS, vol. 5555, pp. 378–389 (2009)
Dwork, C., Kumar, R., Naor, M., Sivakumar, D.: Rank aggregation methods for the web. In: WWW, pp. 613–622 (2001)
Fomin, F.V., Lokshtanov, D., Saurabh, S., Thilikos, D.M.: Bidimensionality and kernels. In: SODA, pp. 503–510 (2010)
Guo, J.: A more effective linear kernelization for cluster editing. Theor. Comput. Sci. 410(8–10), 718–726 (2009)
Guo, J., Hüffner, F., Moser, H.: Feedback arc set in bipartite tournaments is np-complete. Inf. Process. Lett. 102(2–3), 62–65 (2007)
Gupta, S.: Feedback arc set problem in bipartite tournaments. Inf. Process. Lett. 105(4), 150–154 (2008)
Habib, M., Paul, C.: A survey of the algorithmic aspects of modular decomposition. Comput. Sci. Rev. 4(1), 41–59 (2010)
Karpinski, M., Schudy, W.: Faster algorithms for feedback arc set tournament, kemeny rank aggregation and betweenness tournament. CoRR abs/1006.4396 (2010)
Kemeny, J.: Mathematics without numbers. Daedalus 88, 571–591 (1959)
Kemeny, J., Snell, J.: Mathematical Models in the Social Sciences. Blaisdell, Boston (1962)
Kenyon-Mathieu, C., Schudy, W.: How to rank with few errors. In: STOC, pp. 95–103 (2007)
Misra, P., Raman, V., Ramanujan, M.S., Saurabh, S.: A polynomial kernel for feedback arc set on bipartite tournaments. In: ISAAC, pp. 333–343 (2011)
Raman, V., Saurabh, S.: Parameterized algorithms for feedback set problems and their duals in tournaments. Theor. Comput. Sci. 351(3), 446–458 (2006)
Sanghvi, B., Koul, N., Honavar, V.: Identifying and eliminating inconsistencies in map**s across hierarchical ontologies. In: OTM Conferences (2). LNCS, vol. 6427, pp. 999–1008 (2010)
Speckenmeyer, E.: On feedback problems in digraphs. In: WG. LNCS, vol. 411, pp. 218–231 (1989)
Tedder, M., Corneil, D.G., Habib, M., Paul, C.: Simpler linear-time modular decomposition via recursive factorizing permutations. In: ICALP. LNCS, pp. 634–645 (2008)
Thomassé, S.: A 4k 2 kernel for feedback vertex set. ACM Trans. Algorithms 6(2) (2010)
**ao, M., Guo, J.: A quadratic vertex kernel for feedback arc set in bipartite tournaments. In: MFCS. LNCS, vol. 7464, pp. 825–835 (2012)
van Zuylen, A.: Linear programming based approximation algorithms for feedback set problems in bipartite tournaments. Theor. Comput. Sci. 412(23), 2556–2561 (2011)
van Zuylen, A., Hegde, R., Jain, K., Williamson, D.P.: Deterministic pivoting algorithms for constrained ranking and clustering problems. In: SODA, pp. 405–414 (2007)
Author information
Authors and Affiliations
Corresponding author
Additional information
A preliminary version of this work [26] appeared in the proceedings of The 22nd International Symposium on Algorithms and Computation (ISAAC 2011).
Rights and permissions
About this article
Cite this article
Misra, P., Raman, V., Ramanujan, M.S. et al. A Polynomial Kernel for Feedback Arc Set on Bipartite Tournaments. Theory Comput Syst 53, 609–620 (2013). https://doi.org/10.1007/s00224-013-9453-4
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00224-013-9453-4