Abstract
We present a randomized subexponential time, polynomial space parameterized algorithm for the k -Weighted Feedback Arc Set in Tournaments (k -FAST) problem. We also show that our algorithm can be derandomized by slightly increasing the running time. To derandomize our algorithm we construct a new kind of universal hash functions, that we coin universal coloring families. For integers m,k and r, a family \({\mathcal F}\) of functions from [m] to [r] is called a universal (m,k,r)-coloring family if for any graph G on the set of vertices [m] with at most k edges, there exists an \(f \in {\mathcal F}\) which is a proper vertex coloring of G. Our algorithm is the first non-trivial subexponential time parameterized algorithm outside the framework of bidimensionality.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ailon, N., Charikar, M., Newman, A.: Aggregating inconsistent information: ranking and clustering. In: ACM Symposium on Theory of Computing (STOC), pp. 684–693 (2005)
Alon, N.: Ranking tournaments. SIAM J. Discrete Math. 20, 137–142 (2006)
Alon, N., Babai, L., Itai, A.: A fast and simple randomized parallel algorithm for the maximal independent set problem. Journal of Algorithms 7, 567–583 (1986)
Alon, N., Yuster, R., Zwick, U.: Color-coding. J. Assoc. Comput. Mach. 42, 844–856 (1995)
Borda, J.: Mémoire sur les élections au scrutin, Histoire de l’Académie Royale des Sciences (1781)
Cai, L., Juedes, D.W.: On the existence of subexponential parameterized algorithms. J. Comput. Syst. Sci. 67, 789–807 (2003)
Cohen, W.W., Schapire, R.E., Singer, Y.: Learning to order things. In: Advances in neural information processing systems (NIPS), pp. 451–457 (1997)
Condorcet, M.: Essai sur l’application de l’analyse à la probabilité des décisions rendues à la pluralité des voix (1785)
Coppersmith, D., Fleischer, L., Rudra, A.: Ordering by weighted number of wins gives a good ranking for weighted tournaments. In: ACM-SIAM Symposium on Discrete Algorithms (SODA), pp. 776–782 (2006)
Demaine, E.D., Fomin, F.V., Hajiaghayi, M.T., Thilikos, D.M.: Subexponential parameterized algorithms on bounded-genus graphs and -minor-free graphs. J. ACM 52, 866–893 (2005)
Demaine, E.D., Hajiaghayi, M.: The bidimensionality theory and its algorithmic applications. Comput. J. 51, 292–302 (2008)
Dom, M., Guo, J., Hüffner, F., Niedermeier, R., Truß, A.: Fixed-parameter tractability results for feedback set problems in tournaments. In: Calamoneri, T., Finocchi, I., Italiano, G.F. (eds.) CIAC 2006. LNCS, vol. 3998, pp. 320–331. Springer, Heidelberg (2006)
Dorn, F., Fomin, F.V., Thilikos, D.M.: Subexponential parameterized algorithms. Computer Science Review 2, 29–39 (2008)
Dwork, C., Kumar, R., Naor, M., Sivakumar, D.: Rank aggregation revisited (2001)
Dwork, C., Kumar, R., Naor, M., Sivakumar, D.: Rank aggregation methods for the web. In: WWW10 (2001)
Erdös, P., Moon, J.W.: On sets on consistent arcs in tournaments. Canadian Mathematical Bulletin 8, 269–271 (1965)
Fernandez de la Vega, W.: On the maximal cardinality of a consistent set of arcs in a random tournament. J. Combinatorial Theory, Ser. B 35, 328–332 (1983)
Flum, J., Grohe, M.: Parameterized Complexity Theory. Texts in Theoretical Computer Science. An EATCS Series. Springer, Secaucus (2006)
Guo, J., Moser, H., Niedermeier, R.: Iterative compression for exactly solving np-hard minimization problems. In: Algorithmics of Large and Complex Networks. LNCS, Springer, Heidelberg (to appear, 2008)
Jung, H.: On subgraphs without cycles in tournaments. Combinatorial Theory and its Applications II, pp. 675–677 (1970)
Reid, K.B.: On sets of arcs containing no cycles in tournaments. Canad. Math Bulletin 12, 261–264 (1969)
Reid, K.D., Parker, E.T.: Disproof of a conjecture of Erdös and Moseron tournaments. J. Combin. Theory 9, 225–238 (1970)
Kemeny, J.: Mathematics without numbers. Daedalus 88, 571–591 (1959)
Kemeny, J., Snell, J.: Mathematical models in the social sciences, Blaisdell (1962)
Kenyon-Mathieu, C., Schudy, W.: How to rank with few errors. In: STOC 2007, pp. 95–103. ACM Press, New York (2007)
Nilli, A.: Perfect hashing and probability. Combinatorics, Probability and Computing 3, 407–409 (1994)
Raman, V., Saurabh, S.: Parameterized algorithms for feedback set problems and their duals in tournaments. Theoretical Computer Science 351, 446–458 (2006)
Seshu, S., Reed, M.: Linear Graphs and Electrical Networks. Addison-Wesley, Reading (1961)
Slater, P.: Inconsistencies in a schedule of paired comparisons. Biometrika 48, 303–312 (1961)
Speckenmeyer, E.: On feedback problems in diagraphs. In: Nagl, M. (ed.) WG 1989. LNCS, vol. 411, pp. 218–231. Springer, Heidelberg (1990)
Spencer, J.: Optimal ranking of tournaments. Networks 1, 135–138 (1971)
Spencer, J.: Optimal ranking of unrankable tournaments. Period. Math. Hungar. 11, 131–144 (1980)
van Zuylen, A.: Deterministic approximation algorithms for ranking and clusterings, Tech. Report 1431, Cornell ORIE (2005)
van Zuylen, A., Hegde, R., Jain, K., Williamson, D.P.: Deterministic pivoting algorithms for constrained ranking and clustering problems. In: ACM-SIAM Symposium on Discrete Algorithms (SODA), pp. 405–414 (2007)
Younger, D.: Minimum feedback arc sets for a directed graph. IEEE Trans. Circuit Theory 10, 238–245 (1963)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Alon, N., Lokshtanov, D., Saurabh, S. (2009). Fast FAST . In: Albers, S., Marchetti-Spaccamela, A., Matias, Y., Nikoletseas, S., Thomas, W. (eds) Automata, Languages and Programming. ICALP 2009. Lecture Notes in Computer Science, vol 5555. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02927-1_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-02927-1_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02926-4
Online ISBN: 978-3-642-02927-1
eBook Packages: Computer ScienceComputer Science (R0)