Abstract
Let \(\mathcal{C}\) be an n-dimensional integral box, and π be a monotone property defined over the elements of \(\mathcal{C}\). We consider the problems of incrementally generating jointly the families \(\mathcal{F}_{\pi}\) and \(\mathcal{G}_{\pi}\) of all minimal subsets satisfying property π and all maximal subsets not satisfying property π, when π is given by a polynomial-time satisfiability oracle. Problems of this type arise in many practical applications. It is known that the above joint generation problem can be solved in incremental quasi-polynomial time. In this paper, we present an efficient implementation of this procedure. We present experimental results to evaluate our implementation for a number of interesting monotone properties π.
This research was supported by the National Science Foundation (Grant IIS-0118635). The third author is also grateful for the partial support by DIMACS, the National Science Foundation’s Center for Discrete Mathematics and Theoretical Computer Science.
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
Anthony, M., Biggs, N.: Computational Learning Theory. Cambridge Univ. Press, Cambridge (1992)
Agrawal, R., Imielinski, T., Swami, A.: Mining associations between sets of items in massive databases. In: Proc. 1993 ACM-SIGMOD Int. Conf., pp. 207–216 (1993)
Agrawal, R., Mannila, H., Srikant, R., Toivonen, H., Verkamo, A.I.: Fast discovery of association rules. In: Fayyad, U.M., Piatetsky-Shapiro, G., Smyth, P., Uthurusamy, R. (eds.) Advances in Knowledge Discovery and Data Mining, pp. 307–328. AAAI Press, Menlo Park (1996)
Boros, E., Elbassioni, K., Gurvich, V., Khachiyan, L., Makino, K.: Dual-bounded generating problems: All minimal integer solutions for a monotone system of linear inequalities. SIAM Journal on Computing 31(5), 1624–1643 (2002)
Boros, E., Elbassioni, K., Gurvich, V., Khachiyan, L.: Generating Dual-Bounded Hypergraphs. Optimization Methods and Software (OMS) 17(5), Part I, 749–781 (2002)
Boros, E., Elbassioni, K., Gurvich, V., Khachiyan, L., Makino, K.: An Intersection Inequality for Discrete Distributions and Related Generation Problems. In: Baeten, J.C.M., Lenstra, J.K., Parrow, J., Woeginger, G.J. (eds.) ICALP 2003. LNCS, vol. 2719, pp. 543–555. Springer, Heidelberg (2003)
Boros, E., Elbassioni, K., Gurvich, V., Khachiyan, L.: An Efficient Implementation of a Quasi-Polynomial Algorithm for Generating Hypergraph Transversals. In: Di Battista, G., Zwick, U. (eds.) ESA 2003. LNCS, vol. 2832, pp. 556–567. Springer, Heidelberg (2003)
Boros, E., Elbassioni, K., Gurvich, V., Khachiyan, L.: On enumerating minimal dicuts and strongly connected subgraphs, to appear in the 10th Conference on Integer Programming and Combinatorial Optimization (IPCO X), DIMACS Technical Report 2003-35, Rutgers University, http://dimacs.rutgers.edu/TechnicalReports/2003.html
Boros, E., Gurvich, V., Khachiyan, L., Makino, K.: On the complexity of generating maximal frequent and minimal infrequent sets. In: Alt, H., Ferreira, A. (eds.) STACS 2002. LNCS, vol. 2285, pp. 133–141. Springer, Heidelberg (2002)
Bioch, J.C., Ibaraki, T.: Complexity of identification and dualization of positive Boolean functions. Information and Computation 123, 50–63 (1995)
Chazelle, B., (Scot) Drysdale III, R.L., Lee, D.T.: Computing the largest empty rectangle. SIAM Journal on Computing 15(1), 550–555 (1986)
Colbourn, C.J.: The combinatorics of network reliability. Oxford Univ. Press, Oxford (1987)
Edmonds, J., Gryz, J., Liang, D., Miller, R.J.: Mining for empty rectangles in large data sets. In: Van den Bussche, J., Vianu, V. (eds.) ICDT 2001. LNCS, vol. 1973, pp. 174–188. Springer, Heidelberg (2000)
Eiter, T., Gottlob, G.: Identifying the minimal transversals of a hypergraph and related problems. SIAM Journal on Computing 24, 1278–1304 (1995)
Fredman, M.L., Khachiyan, L.: On the complexity of dualization of monotone disjunctive normal forms. Journal of Algorithms 21, 618–628 (1996)
Gurvich, V., Khachiyan, L.: On generating the irredundant conjunctive and disjunctive normal forms of monotone Boolean functions. Discrete Applied Mathematics 96-97, 363–373 (1999)
Gunopulos, D., Khardon, R., Mannila, H., Toivonen, H.: Data mining, hypergraph transversals and machine learning. In: Proc. 16th ACM-PODS Conf., pp. 209–216 (1997)
Gurvich, V.: To theory of multistep games. USSR Comput. Math. and Math Phys. 13-6, 1485–1500 (1973)
Gurvich, V.: Nash-solvability of games in pure strategies. USSR Comput. Math. and Math. Phys. 15, 357–371 (1975)
Lawler, E., Lenstra, J.K., Rinnooy Kan, A.H.G.: Generating all maximal independent sets: NP-hardness and polynomial-time algorithms. SIAM Journal on Computing 9, 558–565 (1980)
Liu, B., Ku, L.-P., Hsu, W.: Discovering interesting holes in data. In: Proc. IJCAI, Nagoya, Japan, pp. 930–935 (1997)
Liu, B., Wang, K., Mun, L.-F., Qi, X.-Z.: Using decision tree induction for discovering holes in data. In: Proc. 5th Pacific Rim Int. Conf. on Artificial Intelligence, pp. 182–193 (1998)
Orlowski, M.: A new algorithm for the large empty rectangle problem. Algorithmica 5(1), 65–73 (1990)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Boros, E., Elbassioni, K., Gurvich, V., Khachiyan, L. (2004). An Efficient Implementation of a Joint Generation Algorithm. In: Ribeiro, C.C., Martins, S.L. (eds) Experimental and Efficient Algorithms. WEA 2004. Lecture Notes in Computer Science, vol 3059. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24838-5_9
Download citation
DOI: https://doi.org/10.1007/978-3-540-24838-5_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22067-1
Online ISBN: 978-3-540-24838-5
eBook Packages: Springer Book Archive