×

Streaming algorithms for bin packing and vector scheduling. (English) Zbl 1528.68408

Summary: Problems involving the efficient arrangement of simple objects, as captured by bin packing and makespan scheduling, are fundamental tasks in combinatorial optimization. These are well understood in the traditional online and offline cases, but have been less well-studied when the volume of the input is truly massive, and cannot even be read into memory. This is captured by the streaming model of computation, where the aim is to approximate the cost of the solution in one pass over the data, using small space. As a result, streaming algorithms produce concise input summaries that approximately preserve the optimum value. We design the first efficient streaming algorithms for these fundamental problems in combinatorial optimization. For Bin Packing, we provide a streaming asymptotic \((1+\varepsilon)\)-approximation with \(\widetilde{O}\bigg(\frac{1}{\varepsilon}\bigg)\), where \(\widetilde{O}\) hides logarithmic factors. Moreover, such a space bound is essentially optimal. Our algorithm implies a streaming \((d+\varepsilon)\)-approximation for Vector Bin Packing in \(d\) dimensions, running in space \(\widetilde{O}\bigg(\frac{d}{\varepsilon}\bigg)\). For the related Vector Scheduling problem, we show how to construct an input summary in space \(\widetilde{O}(d^2\cdot m/\varepsilon^2)\) that preserves the optimum value up to a factor of \(2-\frac{1}{m}+\varepsilon\), where \(m\) is the number of identical machines.

MSC:

68W27 Online algorithms; streaming algorithms
90B35 Deterministic scheduling theory in operations research
90C27 Combinatorial optimization

References:

[1] Albers, S., Better bounds for online scheduling, SIAM J. Comput., 29, 2, 459-473 (1999) · Zbl 0943.68183 · doi:10.1137/S0097539797324874
[2] Applegate, D., Buriol, L.S., Dillard, B.L., Johnson, D.S., Shor, P.W.: The cutting-stock approach to bin packing: theory and experiments. In: ALENEX, vol. 3, pp 1-15 (2003)
[3] Azar, Y., Cohen, I.R., Kamara, S., Shepherd, B.: Tight bounds for online vector bin packing. In: Proceedings of the 25th Annual ACM Symposium on Theory of Computing, STOC ’13 ACM, pp 961-970 (2013) · Zbl 1293.90053
[4] Azar, Y., Cohen, I.R., Panigrahi, D.: Randomized algorithms for online vector load balancing. In: Proceedings of the 29th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA ’18 SIAM, pp 980-991 (2018) · Zbl 1403.68356
[5] Balogh, J., Békési, J., Dósa, G., Epstein, L., Levin, A.: A new and improved algorithm for online bin packing. In: 26th Annual European Symposium on Algorithms (ESA 2018), of LIPIcs. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, vol. 112 , pp 5:1-5:14 (2018) · Zbl 1522.68758
[6] Balogh, J.; Békési, J.; Galambos, G., New lower bounds for certain classes of bin packing algorithms, Theor. Comput. Sci., 440-441, 1-13 (2012) · Zbl 1247.68339 · doi:10.1016/j.tcs.2012.04.017
[7] Bansal, N., Eliáš, M., Khan, A.: Improved approximation for vector bin packing. In: Proceedings of the 27th Annual ACM-SIAM Symposium On Discrete Algorithms, SODA ’16 SIAM, pp 1561-1579 (2016) · Zbl 1414.90301
[8] Bansal, N.; Oosterwijk, T.; Vredeveld, T.; Van der Zwaan, R., Approximating vector scheduling: almost matching upper and lower bounds, Algorithmica, 76, 4, 1077-1096 (2016) · Zbl 1355.68292 · doi:10.1007/s00453-016-0116-0
[9] Batu, T.; Berenbrink, P.; Sohler, C., A sublinear-time approximation scheme for bin packing, Theor. Comput. Sci., 410, 47-49, 5082-5092 (2009) · Zbl 1194.68254 · doi:10.1016/j.tcs.2009.08.006
[10] Beigel, R., Fu, B.: A dense hierarchy of sublinear time approximation schemes for bin packing. In: Frontiers in Algorithmics and Algorithmic Aspects in Information and Management, pp 172-181. Springer, New York (2012) · Zbl 1304.68208
[11] Chekuri, C.; Khanna, S., On multidimensional packing problems, SIAM J.Comput., 33, 4, 837-851 (2004) · Zbl 1101.68606 · doi:10.1137/S0097539799356265
[12] Chen, L., Jansen, K., Zhang, G.: On the optimality of approximation schemes for the classical scheduling problem. In: Proceedings of the 25th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA ’14 SIAM, pp 657-668 (2014) · Zbl 1421.68201
[13] Christensen, HI; Khan, A.; Pokutta, S.; Tetali, P., Approximation and online algorithms for multidimensional bin packing: a survey, Comput. Sci. Rev., 24, 63-79 (2017) · Zbl 1398.68007 · doi:10.1016/j.cosrev.2016.12.001
[14] Coffman, E.G. Jr, Csirik, J., Galambos, G., Martello, S., Vigo, D.: Bin packing approximation algorithms: survey and classification. In: Handbook of Combinatorial Optimization, pp 455-531. Springer, New York (2013)
[15] Cormode, G., Veselý, P.: Streaming algorithms for bin packing and vector scheduling. In: Bampis, E., Megow, N. (eds.) Approximation and Online Algorithms, pp 72-88. Springer International Publishing, Cham (2020) · Zbl 1528.68407
[16] Cormode, G., Veselý, P.: A tight lower bound for comparison-based quantile summaries. In: Proceedings of the 39th ACM SIGMOD- SIGACT-SIGAI Symposium on Principles of Database Systems, PODS’20, New York, NY, USA. ACM, pp 81-93 (2020)
[17] Dósa, G., Sgall, J.: First fit bin packing: a tight analysis. In: 30th International Symposium on Theoretical Aspects of Computer Science (STACS 2013), vol. 20 of LIPIcs. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, pp 538-549 (2013) · Zbl 1354.68118
[18] Feldkord, B., Feldotto, M., Gupta, A., Guruganesh, G., Kumar, A., Riechers, S., Wajc, D.: Fully-dynamic bin packing with little repacking. In: 45th International Colloquium on Automata, Languages, and Programming (ICALP 2018), vol. 107 of LIPIcs. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, pp 51:1-51:24 (2018) · Zbl 1499.68411
[19] Fernandez de la Vega, W.; Lueker, GS, Bin packing can be solved within 1 + ε in linear time, Combinatorica, 1, 4, 349-355 (1981) · Zbl 0485.68057 · doi:10.1007/BF02579456
[20] Fleischer, R.; Wahl, M., On-line scheduling revisited, J. Sched., 3, 6, 343-353 (2000) · Zbl 0966.90032 · doi:10.1002/1099-1425(200011/12)3:6<343::AID-JOS54>3.0.CO;2-2
[21] Garey, MR; Graham, RL; Johnson, DS; Yao, AC-C, Resource constrained scheduling as generalized bin packing, J. Combinat. Theory Series A, 21, 3, 257-298 (1976) · Zbl 0384.90053 · doi:10.1016/0097-3165(76)90001-7
[22] Garey, M.R., Johnson, D.S.: Computers and intractability: A guide to the theory of NP-completeness. Freeman (1979) · Zbl 0411.68039
[23] Gilmore, PC; Gomory, RE, A linear programming approach to the cutting-stock problem, Oper. Res., 9, 6, 849-859 (1961) · Zbl 0096.35501 · doi:10.1287/opre.9.6.849
[24] Gilmore, PC; Gomory, RE, A linear programming approach to the cutting stock problem—part ii, Oper. Res., 11, 6, 863-888 (1963) · Zbl 0124.36307 · doi:10.1287/opre.11.6.863
[25] Goemans, M.X., Rothvoß, T.: Polynomiality for bin packing with a constant number of item types. In: Proceedings of the 25th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA ’14. SIAM, pp 830-839 (2014) · Zbl 1421.68080
[26] Gormley, T., Reingold, N., Torng, E., Westbrook, J.: Generating adversaries for request-answer games. In: Proceedings of the 11th ACM-SIAM Symposium on Discrete Algorithms, SODA ’00 SIAM, pp 564-565 (2000) · Zbl 0962.91001
[27] Greenwald, M., Khanna, S.: Space-efficient online computation of quantile summaries. In: Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD ’01, pp 58-66 (2001)
[28] Harris, D.G., Srinivasan, A.: The Moser-Tardos framework with partial resampling. In: IEEE 54th Annual Symposium on Foundations of Computer Science FOCS ’13, pp 469-478 (2013) · Zbl 1476.05197
[29] Hoberg, R., Rothvoss, T.: A logarithmic additive integrality gap for bin packing. In: Proceedings of the 28th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA ’17 SIAM, pp 2616-2625 (2017) · Zbl 1423.90225
[30] Rudin, F. IIIJ: Improved bounds for the on-line scheduling problem. PhD thesis, The University of Texas at Dallas (2001)
[31] Im, S.; Kell, N.; Kulkarni, J.; Panigrahi, D., Tight bounds for online vector scheduling, SIAM J. Comput., 48, 1, 93-121 (2019) · Zbl 1419.68218 · doi:10.1137/17M111835X
[32] Jansen, K., Klein, K.-M., Verschae, J.: Closing the gap for makespan scheduling via sparsification techniques. In: 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016), vo. 55 of LIPIcs. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, pp 72:1-72:13 (2016) · Zbl 1388.68123
[33] Johnson, DS, Fast algorithms for bin packing, J. Comput. Syst. Sci., 8, 272-314 (1974) · Zbl 0284.68023 · doi:10.1016/S0022-0000(74)80026-7
[34] Karmarkar, N., Karp, R.M.: An efficient approximation scheme for the one-dimensional bin-packing problem. In: 23rd Annual Symposium on Foundations of Computer Science SFCS ’82, pp 312-320 (1982)
[35] Karnin, Z., Lang, K., Liberty, E.: Optimal quantile approximation in streams. In: 2016 IEEE 57th Annual Symposium on Foundations of Computer Science (FOCS), pp 71-78 (2016)
[36] Lee, CC; Lee, DT, A simple on-line bin-packing algorithm, J. ACM, 32, 562-572 (1985) · Zbl 0629.68045 · doi:10.1145/3828.3833
[37] Luo, G.; Wang, L.; Yi, K.; Cormode, G., Quantiles over data streams: experimental comparisons, new analyses, and further improvements, VLDB J., 25, 4, 449-472 (2016) · doi:10.1007/s00778-016-0424-7
[38] McGregor, A., Graph stream algorithms: a survey, SIGMOD Rec., 43, 1, 9-20 (2014) · doi:10.1145/2627692.2627694
[39] Muthukrishnan, S., Data streams: algorithms and applications, Foundat Trends®; Theoret Comput Sci, 1, 2, 117-236 (2005) · Zbl 1143.68385 · doi:10.1561/0400000002
[40] Shrivastava, N., Buragohain, C., Agrawal, D., Suri, S.: Medians and beyond: new aggregation techniques for sensor networks. In: Proceedings of the 2nd International Conference on Embedded Networked Sensor Systems, SenSys ’04 ACM, pp 239-249 (2004)
[41] Woeginger, GJ, There is no asymptotic PTAS for two-dimensional vector packing, Inf. Process. Lett., 64, 6, 293-297 (1997) · Zbl 1338.68122 · doi:10.1016/S0020-0190(97)00179-8
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.