{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,2]],"date-time":"2025-07-02T11:49:29Z","timestamp":1751456969526,"version":"3.37.3"},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"9","license":[{"start":{"date-parts":[[2022,4,29]],"date-time":"2022-04-29T00:00:00Z","timestamp":1651190400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2022,4,29]],"date-time":"2022-04-29T00:00:00Z","timestamp":1651190400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["379157101"],"award-info":[{"award-number":["379157101"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"crossref","award":["379157101"],"award-info":[{"award-number":["379157101"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Algorithmica"],"published-print":{"date-parts":[[2022,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>For <jats:italic>n<\/jats:italic>-vertex graphs with treewidth <jats:inline-formula><jats:alternatives><jats:tex-math>$$k = O(n^{1\/2-\\epsilon })$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mi>k<\/mml:mi>\n                    <mml:mo>=<\/mml:mo>\n                    <mml:mi>O<\/mml:mi>\n                    <mml:mo>(<\/mml:mo>\n                    <mml:msup>\n                      <mml:mi>n<\/mml:mi>\n                      <mml:mrow>\n                        <mml:mn>1<\/mml:mn>\n                        <mml:mo>\/<\/mml:mo>\n                        <mml:mn>2<\/mml:mn>\n                        <mml:mo>-<\/mml:mo>\n                        <mml:mi>\u03f5<\/mml:mi>\n                      <\/mml:mrow>\n                    <\/mml:msup>\n                    <mml:mo>)<\/mml:mo>\n                  <\/mml:mrow>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula> and an arbitrary <jats:inline-formula><jats:alternatives><jats:tex-math>$$\\epsilon &gt;0$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mi>\u03f5<\/mml:mi>\n                    <mml:mo>&gt;<\/mml:mo>\n                    <mml:mn>0<\/mml:mn>\n                  <\/mml:mrow>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula>, we present a word-RAM algorithm to compute vertex separators using only <jats:italic>O<\/jats:italic>(<jats:italic>n<\/jats:italic>) bits of working memory. As an application of our algorithm, we give an <jats:italic>O<\/jats:italic>(1)-approximation algorithm for tree decomposition. Our algorithm computes a tree decomposition in <jats:inline-formula><jats:alternatives><jats:tex-math>$$c^k n (\\log \\log n) \\log ^* n$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:msup>\n                      <mml:mi>c<\/mml:mi>\n                      <mml:mi>k<\/mml:mi>\n                    <\/mml:msup>\n                    <mml:mi>n<\/mml:mi>\n                    <mml:mrow>\n                      <mml:mo>(<\/mml:mo>\n                      <mml:mo>log<\/mml:mo>\n                      <mml:mo>log<\/mml:mo>\n                      <mml:mi>n<\/mml:mi>\n                      <mml:mo>)<\/mml:mo>\n                    <\/mml:mrow>\n                    <mml:msup>\n                      <mml:mo>log<\/mml:mo>\n                      <mml:mo>\u2217<\/mml:mo>\n                    <\/mml:msup>\n                    <mml:mi>n<\/mml:mi>\n                  <\/mml:mrow>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula> time using <jats:italic>O<\/jats:italic>(<jats:italic>n<\/jats:italic>) bits for some constant <jats:inline-formula><jats:alternatives><jats:tex-math>$$c &gt; 0$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mi>c<\/mml:mi>\n                    <mml:mo>&gt;<\/mml:mo>\n                    <mml:mn>0<\/mml:mn>\n                  <\/mml:mrow>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula>. Together with the result of Banerjee et al. (Proceedings of 21st international conference on computing and combinatorics (COCOON 2015). LNCS, vol 9198, Springer, pp 349\u2013360, 2015. <jats:ext-link xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" ext-link-type=\"uri\" xlink:href=\"https:\/\/doi.org\/10.1007\/978-3-319-21398-9_28\">https:\/\/doi.org\/10.1007\/978-3-319-21398-9_28<\/jats:ext-link>) we are able to compute a solution for all monadic-second-order problems (MSO) with <jats:inline-formula><jats:alternatives><jats:tex-math>$$O(n + \\tau (k) \\cdot p (\\log _{p} n) \\log n)$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mi>O<\/mml:mi>\n                    <mml:mo>(<\/mml:mo>\n                    <mml:mi>n<\/mml:mi>\n                    <mml:mo>+<\/mml:mo>\n                    <mml:mi>\u03c4<\/mml:mi>\n                    <mml:mrow>\n                      <mml:mo>(<\/mml:mo>\n                      <mml:mi>k<\/mml:mi>\n                      <mml:mo>)<\/mml:mo>\n                    <\/mml:mrow>\n                    <mml:mo>\u00b7<\/mml:mo>\n                    <mml:mi>p<\/mml:mi>\n                    <mml:mrow>\n                      <mml:mo>(<\/mml:mo>\n                      <mml:msub>\n                        <mml:mo>log<\/mml:mo>\n                        <mml:mi>p<\/mml:mi>\n                      <\/mml:msub>\n                      <mml:mi>n<\/mml:mi>\n                      <mml:mo>)<\/mml:mo>\n                    <\/mml:mrow>\n                    <mml:mo>log<\/mml:mo>\n                    <mml:mi>n<\/mml:mi>\n                    <mml:mo>)<\/mml:mo>\n                  <\/mml:mrow>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula> bits in <jats:inline-formula><jats:alternatives><jats:tex-math>$$O(\\tau (k) \\cdot n^{2 + (2\/\\log p)})$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mi>O<\/mml:mi>\n                    <mml:mo>(<\/mml:mo>\n                    <mml:mi>\u03c4<\/mml:mi>\n                    <mml:mrow>\n                      <mml:mo>(<\/mml:mo>\n                      <mml:mi>k<\/mml:mi>\n                      <mml:mo>)<\/mml:mo>\n                    <\/mml:mrow>\n                    <mml:mo>\u00b7<\/mml:mo>\n                    <mml:msup>\n                      <mml:mi>n<\/mml:mi>\n                      <mml:mrow>\n                        <mml:mn>2<\/mml:mn>\n                        <mml:mo>+<\/mml:mo>\n                        <mml:mo>(<\/mml:mo>\n                        <mml:mn>2<\/mml:mn>\n                        <mml:mo>\/<\/mml:mo>\n                        <mml:mo>log<\/mml:mo>\n                        <mml:mi>p<\/mml:mi>\n                        <mml:mo>)<\/mml:mo>\n                      <\/mml:mrow>\n                    <\/mml:msup>\n                    <mml:mo>)<\/mml:mo>\n                  <\/mml:mrow>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula> time where <jats:italic>k<\/jats:italic> is the treewidth of the given graph, <jats:italic>p<\/jats:italic> is some arbitrary parameter with <jats:inline-formula><jats:alternatives><jats:tex-math>$$2 \\le p \\le n$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mn>2<\/mml:mn>\n                    <mml:mo>\u2264<\/mml:mo>\n                    <mml:mi>p<\/mml:mi>\n                    <mml:mo>\u2264<\/mml:mo>\n                    <mml:mi>n<\/mml:mi>\n                  <\/mml:mrow>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula> and <jats:inline-formula><jats:alternatives><jats:tex-math>$$\\tau $$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mi>\u03c4<\/mml:mi>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula> is some function depending on the MSO formula. We finally use the tree decomposition obtained by our algorithm to solve <jats:sc>Vertex Cover<\/jats:sc>, <jats:sc>Independent Set<\/jats:sc>, <jats:sc>Dominating Set<\/jats:sc>, <jats:sc>MaxCut<\/jats:sc> and <jats:italic>q<\/jats:italic>-<jats:sc>Coloring<\/jats:sc> by using polynomial time and <jats:italic>O<\/jats:italic>(<jats:italic>n<\/jats:italic>) bits as long as the treewidth of the graph is smaller than <jats:inline-formula><jats:alternatives><jats:tex-math>$$c' \\log n$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:msup>\n                      <mml:mi>c<\/mml:mi>\n                      <mml:mo>\u2032<\/mml:mo>\n                    <\/mml:msup>\n                    <mml:mo>log<\/mml:mo>\n                    <mml:mi>n<\/mml:mi>\n                  <\/mml:mrow>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula> for some problem dependent constant <jats:inline-formula><jats:alternatives><jats:tex-math>$$0&lt; c' &lt; 1$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mn>0<\/mml:mn>\n                    <mml:mo>&lt;<\/mml:mo>\n                    <mml:msup>\n                      <mml:mi>c<\/mml:mi>\n                      <mml:mo>\u2032<\/mml:mo>\n                    <\/mml:msup>\n                    <mml:mo>&lt;<\/mml:mo>\n                    <mml:mn>1<\/mml:mn>\n                  <\/mml:mrow>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula>.<\/jats:p>","DOI":"10.1007\/s00453-022-00967-3","type":"journal-article","created":{"date-parts":[[2022,4,29]],"date-time":"2022-04-29T08:04:31Z","timestamp":1651219471000},"page":"2414-2461","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Space-Efficient Vertex Separators for Treewidth"],"prefix":"10.1007","volume":"84","author":[{"given":"Frank","family":"Kammer","sequence":"first","affiliation":[]},{"given":"Johannes","family":"Meintrup","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5946-8087","authenticated-orcid":false,"given":"Andrej","family":"Sajenko","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,4,29]]},"reference":[{"key":"967_CR1","volume-title":"Network Flows: Theory, Algorithms and Applications","author":"RK Ahuja","year":"1993","unstructured":"Ahuja, R.K., Magnanti, T.L., Orlin, J.B.: Network Flows: Theory, Algorithms and Applications. Prentice Hall, Hoboken (1993)"},{"issue":"4","key":"967_CR2","doi-asserted-by":"publisher","first-page":"448","DOI":"10.1007\/s00453-008-9180-4","volume":"56","author":"E Amir","year":"2010","unstructured":"Amir, E.: Approximation algorithms for treewidth. Algorithmica 56(4), 448\u2013479 (2010). https:\/\/doi.org\/10.1007\/s00453-008-9180-4","journal-title":"Algorithmica"},{"key":"967_CR3","doi-asserted-by":"publisher","unstructured":"Asano, T., Izumi, T., Kiyomi, M., Konagaya, M., Ono, H., Otachi, Y., Schweitzer, P., Tarui, J., Uehara, R.: Depth-first search using o(n) bits. In: Proceedings of 25th International Symposium on Algorithms and Computation (ISAAC 2014). LNCS, vol. 8889, pp. 553\u2013564. Springer (2014). https:\/\/doi.org\/10.1007\/978-3-319-13075-0_44","DOI":"10.1007\/978-3-319-13075-0_44"},{"key":"967_CR4","doi-asserted-by":"publisher","unstructured":"Banerjee, N., Chakraborty, S., Raman, V., Roy, S., Saurabh, S.: Time-space tradeoffs for dynamic programming algorithms in trees and bounded treewidth graphs. In: Proceedings of 21st International Conference on Computing and Combinatorics (COCOON 2015). LNCS, vol. 9198, pp. 349\u2013360. Springer (2015). https:\/\/doi.org\/10.1007\/978-3-319-21398-9_28","DOI":"10.1007\/978-3-319-21398-9_28"},{"issue":"8","key":"967_CR5","doi-asserted-by":"publisher","first-page":"1736","DOI":"10.1007\/s00224-017-9841-2","volume":"62","author":"N Banerjee","year":"2018","unstructured":"Banerjee, N., Chakraborty, S., Raman, V., Satti, S.R.: Space efficient linear time algorithms for BFS, DFS and applications. Theory Comput. Syst. 62(8), 1736\u20131762 (2018). https:\/\/doi.org\/10.1007\/s00224-017-9841-2","journal-title":"Theory Comput. Syst."},{"issue":"1","key":"967_CR6","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/s00453-010-9452-7","volume":"62","author":"J Barbay","year":"2012","unstructured":"Barbay, J., Aleardi, L.C., He, M., Munro, J.I.: Succinct representation of labeled graphs. Algorithmica 62(1), 224\u2013257 (2012). https:\/\/doi.org\/10.1007\/s00453-010-9452-7","journal-title":"Algorithmica"},{"key":"967_CR7","doi-asserted-by":"publisher","unstructured":"Baumann, T., Hagerup, T.: Rank-select indices without tears. In: Proceedings of 16th International Symposium on Algorithms and Data Structures (WADS 2019). LNCS, vol. 11646, pp. 85\u201398. Springer (2019). https:\/\/doi.org\/10.1007\/978-3-030-24766-9_7","DOI":"10.1007\/978-3-030-24766-9_7"},{"issue":"2","key":"967_CR8","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1006\/jagm.1995.1009","volume":"18","author":"H Bodlaender","year":"1995","unstructured":"Bodlaender, H., Gilbert, J., Hafsteinsson, H., Kloks, T.: Approximating treewidth, pathwidth, frontsize, and shortest elimination tree. J. Algorithms 18(2), 238\u2013255 (1995). https:\/\/doi.org\/10.1006\/jagm.1995.1009","journal-title":"J. Algorithms"},{"issue":"6","key":"967_CR9","doi-asserted-by":"publisher","first-page":"1305","DOI":"10.1137\/S0097539793251219","volume":"25","author":"HL Bodlaender","year":"1996","unstructured":"Bodlaender, H.L.: A linear-time algorithm for finding tree-decompositions of small treewidth. SIAM J. Comput. 25(6), 1305\u20131317 (1996). https:\/\/doi.org\/10.1137\/S0097539793251219","journal-title":"SIAM J. Comput."},{"key":"967_CR10","doi-asserted-by":"crossref","unstructured":"Bodlaender, H.L., Bonsma, P., Lokshtanov, D.: The fine details of fast dynamic programming over tree decompositions. In: Parameterized and Exact Computation, pp. 41\u201353. Springer (2013)","DOI":"10.1007\/978-3-319-03898-8_5"},{"issue":"2","key":"967_CR11","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1137\/130947374","volume":"45","author":"HL Bodlaender","year":"2016","unstructured":"Bodlaender, H.L., Drange, P.G., Dregi, M.S., Fomin, F.V., Lokshtanov, D., Pilipczuk, M.: A $$c^k n$$ 5-approximation algorithm for treewidth. SIAM J. Comput. 45(2), 317\u2013378 (2016). https:\/\/doi.org\/10.1137\/130947374","journal-title":"SIAM J. Comput."},{"issue":"5","key":"967_CR12","doi-asserted-by":"publisher","first-page":"1627","DOI":"10.1137\/S0097539795294165","volume":"28","author":"A Brodnik","year":"1999","unstructured":"Brodnik, A., Munro, J.I.: Membership in constant time and almost-minimum space. SIAM J. Comput. 28(5), 1627\u20131640 (1999). https:\/\/doi.org\/10.1137\/S0097539795294165","journal-title":"SIAM J. Comput."},{"key":"967_CR13","doi-asserted-by":"publisher","unstructured":"Chatterjee, K., Goharshady, A.K., Goharshady, E.K.: The treewidth of smart contracts. In: Proceedings of 34th ACM\/SIGAPP Symposium on Applied Computing (SAC 2019), pp. 400\u2013408. ACM (2019). https:\/\/doi.org\/10.1145\/3297280.3297322","DOI":"10.1145\/3297280.3297322"},{"key":"967_CR14","unstructured":"Choudhari, J., Gupta, M., Sharma, S.: Nearly optimal space efficient algorithm for depth first search. CoRR arXiv:1810.07259 (2018)"},{"key":"967_CR15","unstructured":"Clark, D.R.: Compact pat trees. Ph.D. thesis, Waterloo, Ont., Canada, Canada (1998). UMI Order No. GAXNQ-21335"},{"key":"967_CR16","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1016\/0890-5401(90)90043-H","volume":"85","author":"B Courcelle","year":"1990","unstructured":"Courcelle, B.: The monadic second-order logic of graphs. I. Recognizable sets of finite graphs. Inf. Comput. 85, 12\u201375 (1990)","journal-title":"Inf. Comput."},{"key":"967_CR17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21275-3","volume-title":"Parameterized Algorithms","author":"M Cygan","year":"2015","unstructured":"Cygan, M., Fomin, F.V., Kowalik, L., Lokshtanov, D., Marx, D., Pilipczuk, M., Pilipczuk, M., Saurabh, S.: Parameterized Algorithms. Springer, Berlin (2015). https:\/\/doi.org\/10.1007\/978-3-319-21275-3"},{"key":"967_CR18","doi-asserted-by":"crossref","unstructured":"Dumitrescu, E.F., Fisher, A.L., Goodrich, T.D., Humble, T.S., Sullivan, B.D., Wright, A.L.: Benchmarking treewidth as a practical component of tensor-network-based quantum simulation. CoRR arXiv:1807.04599 (2018)","DOI":"10.1371\/journal.pone.0207827"},{"key":"967_CR19","doi-asserted-by":"crossref","unstructured":"Elberfeld, M., Jakoby, A., Tantau, T.: Logspace versions of the theorems of Bodlaender and Courcelle. In: Electronic Colloquium on Computational Complexity (ECCC 2010), vol. 17, p. 62 (2010)","DOI":"10.1109\/FOCS.2010.21"},{"key":"967_CR20","doi-asserted-by":"publisher","unstructured":"Elmasry, A., Hagerup, T., Kammer, F.: Space-efficient basic graph algorithms. In: 32nd International Symposium on Theoretical Aspects of Computer Science, (STACS 2015). LIPIcs, vol.\u00a030, pp. 288\u2013301. Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik (2015). https:\/\/doi.org\/10.4230\/LIPIcs.STACS.2015.288","DOI":"10.4230\/LIPIcs.STACS.2015.288"},{"key":"967_CR21","doi-asserted-by":"publisher","unstructured":"Fafianie, S., Kratsch, S.: Streaming kernelization. In: Proceedings of 39th International Symposium on Mathematical Foundations of Computer Science (MFCS 2014), pp. 275\u2013286 (2014). https:\/\/doi.org\/10.1007\/978-3-662-44465-8_24","DOI":"10.1007\/978-3-662-44465-8_24"},{"key":"967_CR22","doi-asserted-by":"publisher","unstructured":"Feige, U., Hajiaghayi, M.T., Lee, J.R.: Improved approximation algorithms for minimum-weight vertex separators. In: Proceedings of 37th ACM Symposium on Theory of Computing (STOC 2005), pp. 563\u2013572. ACM (2005). https:\/\/doi.org\/10.1145\/1060590.1060674","DOI":"10.1145\/1060590.1060674"},{"key":"967_CR23","unstructured":"Hagerup, T.: Small uncolored and colored choice dictionaries. CoRR arXiv:1809.07661 (2018)"},{"issue":"4","key":"967_CR24","doi-asserted-by":"publisher","first-page":"1033","DOI":"10.1007\/s00453-019-00629-x","volume":"82","author":"T Hagerup","year":"2020","unstructured":"Hagerup, T.: Space-efficient DFS and applications to connectivity problems: simpler, leaner, faster. Algorithmica 82(4), 1033\u20131056 (2020). https:\/\/doi.org\/10.1007\/s00453-019-00629-x","journal-title":"Algorithmica"},{"key":"967_CR25","unstructured":"Hagerup, T., Kammer, F.: Succinct choice dictionaries. CoRR arXiv:1604.06058 (2016)"},{"key":"967_CR26","doi-asserted-by":"publisher","unstructured":"Hagerup, T., Kammer, F.: On-the-fly array initialization in less space. In: Proceedings of 28th International Symposium on Algorithms and Computation (ISAAC 2017). LIPIcs, vol.\u00a092, pp. 44:1\u201344:12. Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik (2017). https:\/\/doi.org\/10.4230\/LIPIcs.ISAAC.2017.44","DOI":"10.4230\/LIPIcs.ISAAC.2017.44"},{"key":"967_CR27","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1016\/j.tcs.2018.01.008","volume":"754","author":"T Hagerup","year":"2019","unstructured":"Hagerup, T., Kammer, F., Laudahn, M.: Space-efficient Euler partition and bipartite edge coloring. Theor. Comput. Sci. 754, 16\u201334 (2019)","journal-title":"Theor. Comput. Sci."},{"key":"967_CR28","doi-asserted-by":"publisher","unstructured":"Izumi, T., Otachi, Y.: Sublinear-space lexicographic depth-first search for bounded treewidth graphs and planar graphs. In: Proceedings of 47th International Colloquium on Automata, Languages, and Programming, (ICALP 2020). LIPIcs, vol. 168, pp. 67:1\u201367:17. Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik (2020). https:\/\/doi.org\/10.4230\/LIPIcs.ICALP.2020.67","DOI":"10.4230\/LIPIcs.ICALP.2020.67"},{"issue":"3","key":"967_CR29","doi-asserted-by":"publisher","first-page":"1180","DOI":"10.1007\/s00453-018-0464-z","volume":"81","author":"F Kammer","year":"2019","unstructured":"Kammer, F., Kratsch, D., Laudahn, M.: Space-efficient biconnected components and recognition of outerplanar graphs. Algorithmica 81(3), 1180\u20131204 (2019). https:\/\/doi.org\/10.1007\/s00453-018-0464-z","journal-title":"Algorithmica"},{"key":"967_CR30","doi-asserted-by":"publisher","unstructured":"Kammer, F., Sajenko, A.: Simple $$2^f$$-color choice dictionaries. In: Proceedings of 29th International Symposium on Algorithms and Computation (ISAAC 2018). LIPIcs, vol. 123, pp. 66:1\u201366:12. Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik (2018). https:\/\/doi.org\/10.4230\/LIPIcs.ISAAC.2018.66","DOI":"10.4230\/LIPIcs.ISAAC.2018.66"},{"key":"967_CR31","unstructured":"Kammer, F., Sajenko, A.: Space efficient (graph) algorithms. https:\/\/github.com\/thm-mni-ii\/sea (2018)"},{"key":"967_CR32","unstructured":"Kammer, F., Sajenko, A.: Sorting and ranking of self-delimiting numbers with applications to tree isomorphism (2020)"},{"key":"967_CR33","unstructured":"Katoh, T., Goto, K.: In-place initializable arrays. CoRR arXiv:1709.08900 (2017)"},{"issue":"1","key":"967_CR34","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1006\/jagm.1996.0002","volume":"20","author":"J Lagergren","year":"1996","unstructured":"Lagergren, J.: Efficient parallel algorithms for graphs of bounded tree-width. J. Algorithms 20(1), 20\u201344 (1996). https:\/\/doi.org\/10.1006\/jagm.1996.0002","journal-title":"J. Algorithms"},{"issue":"3","key":"967_CR35","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1016\/0304-3975(80)90061-4","volume":"12","author":"JI Munro","year":"1980","unstructured":"Munro, J.I., Paterson, M.S.: Selection and sorting with limited storage. Theor. Comput. Sci. 12(3), 315\u2013323 (1980)","journal-title":"Theor. Comput. Sci."},{"key":"967_CR36","doi-asserted-by":"publisher","unstructured":"Munro, J.I., Raman, V.: Succinct representation of balanced parentheses, static trees and planar graphs. In: Proceedings of 38th Annual Symposium on Foundations of Computer Science (FOCS 1997), pp. 118\u2013126. IEEE Computer Society (1997). https:\/\/doi.org\/10.1109\/SFCS.1997.646100","DOI":"10.1109\/SFCS.1997.646100"},{"key":"967_CR37","doi-asserted-by":"publisher","unstructured":"Reed, B.A.: Finding approximate separators and computing tree width quickly. In: Proceedings of 24th Annual ACM Symposium on Theory of Computing (STOC 1992), pp. 221\u2013228. ACM (1992). https:\/\/doi.org\/10.1145\/129712.129734","DOI":"10.1145\/129712.129734"},{"issue":"1","key":"967_CR38","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1006\/jctb.1995.1006","volume":"63","author":"N Robertson","year":"1995","unstructured":"Robertson, N., Seymour, P.: Graph minors xiii. The disjoint paths problem. J. Comb. Theory Ser. B 63(1), 65\u2013110 (1995). https:\/\/doi.org\/10.1006\/jctb.1995.1006","journal-title":"J. Comb. Theory Ser. B"},{"issue":"3","key":"967_CR39","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1016\/0196-6774(86)90023-4","volume":"7","author":"N Robertson","year":"1986","unstructured":"Robertson, N., Seymour, P.D.: Graph minors. II. Algorithmic aspects of tree-width. J. Algorithms 7(3), 309\u2013322 (1986). https:\/\/doi.org\/10.1016\/0196-6774(86)90023-4","journal-title":"J. Algorithms"}],"container-title":["Algorithmica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00453-022-00967-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00453-022-00967-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00453-022-00967-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,12]],"date-time":"2022-08-12T14:14:48Z","timestamp":1660313688000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00453-022-00967-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,4,29]]},"references-count":39,"journal-issue":{"issue":"9","published-print":{"date-parts":[[2022,9]]}},"alternative-id":["967"],"URL":"https:\/\/doi.org\/10.1007\/s00453-022-00967-3","relation":{},"ISSN":["0178-4617","1432-0541"],"issn-type":[{"type":"print","value":"0178-4617"},{"type":"electronic","value":"1432-0541"}],"subject":[],"published":{"date-parts":[[2022,4,29]]},"assertion":[{"value":"1 October 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 April 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 April 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"Not applicable.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"Not applicable.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Code Availability"}}]}}