{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:42:15Z","timestamp":1740109335757,"version":"3.37.3"},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"7","license":[{"start":{"date-parts":[[2023,1,13]],"date-time":"2023-01-13T00:00:00Z","timestamp":1673568000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2023,1,13]],"date-time":"2023-01-13T00:00:00Z","timestamp":1673568000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100000741","name":"University of Warwick","doi-asserted-by":"publisher","award":["000000"],"award-info":[{"award-number":["000000"]}],"id":[{"id":"10.13039\/501100000741","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000288","name":"Royal Society","doi-asserted-by":"publisher","award":["URF\\R1\\191059"],"award-info":[{"award-number":["URF\\R1\\191059"]}],"id":[{"id":"10.13039\/501100000288","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Algorithmica"],"published-print":{"date-parts":[[2023,7]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In this paper, we initiate the study of <jats:italic>average-case complexity<\/jats:italic> and <jats:italic>circuit analysis algorithms<\/jats:italic> for comparator circuits. Departing from previous approaches, we exploit the technique of shrinkage under random restrictions to obtain a variety of new results for this model. Among them, we show<jats:list list-type=\"bullet\">\n                <jats:list-item>\n                  <jats:p><jats:italic>Average-case Lower Bounds<\/jats:italic> For every <jats:inline-formula><jats:alternatives><jats:tex-math>$$k = k(n)$$<\/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>k<\/mml:mi>\n                        <mml:mo>(<\/mml:mo>\n                        <mml:mi>n<\/mml:mi>\n                        <mml:mo>)<\/mml:mo>\n                      <\/mml:mrow>\n                    <\/mml:math><\/jats:alternatives><\/jats:inline-formula> with <jats:inline-formula><jats:alternatives><jats:tex-math>$$k \\geqslant \\log n$$<\/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>\u2a7e<\/mml:mo>\n                        <mml:mo>log<\/mml:mo>\n                        <mml:mi>n<\/mml:mi>\n                      <\/mml:mrow>\n                    <\/mml:math><\/jats:alternatives><\/jats:inline-formula>, there exists a polynomial-time computable function <jats:inline-formula><jats:alternatives><jats:tex-math>$$f_k$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                      <mml:msub>\n                        <mml:mi>f<\/mml:mi>\n                        <mml:mi>k<\/mml:mi>\n                      <\/mml:msub>\n                    <\/mml:math><\/jats:alternatives><\/jats:inline-formula> on <jats:italic>n<\/jats:italic> bits such that, for every comparator circuit <jats:italic>C<\/jats:italic> with at most <jats:inline-formula><jats:alternatives><jats:tex-math>$$n^{1.5}\/O\\!\\left( k\\cdot \\sqrt{\\log n}\\right) $$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                      <mml:mrow>\n                        <mml:msup>\n                          <mml:mi>n<\/mml:mi>\n                          <mml:mrow>\n                            <mml:mn>1.5<\/mml:mn>\n                          <\/mml:mrow>\n                        <\/mml:msup>\n                        <mml:mo>\/<\/mml:mo>\n                        <mml:mi>O<\/mml:mi>\n                        <mml:mspace\/>\n                        <mml:mfenced>\n                          <mml:mi>k<\/mml:mi>\n                          <mml:mo>\u00b7<\/mml:mo>\n                          <mml:msqrt>\n                            <mml:mrow>\n                              <mml:mo>log<\/mml:mo>\n                              <mml:mi>n<\/mml:mi>\n                            <\/mml:mrow>\n                          <\/mml:msqrt>\n                        <\/mml:mfenced>\n                      <\/mml:mrow>\n                    <\/mml:math><\/jats:alternatives><\/jats:inline-formula> gates, we have <jats:disp-formula><jats:alternatives><jats:tex-math>$$\\begin{aligned} \\mathop {{{\\,\\mathrm{\\textbf{Pr}}\\,}}}\\limits _{x\\in \\left\\{ 0,1\\right\\} ^n}\\left[ C(x)=f_k(x)\\right] \\leqslant \\frac{1}{2} + \\frac{1}{2^{\\Omega (k)}}. \\end{aligned}$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                      <mml:mrow>\n                        <mml:mtable>\n                          <mml:mtr>\n                            <mml:mtd>\n                              <mml:mrow>\n                                <mml:munder>\n                                  <mml:mrow>\n                                    <mml:mspace\/>\n                                    <mml:mi>Pr<\/mml:mi>\n                                    <mml:mspace\/>\n                                  <\/mml:mrow>\n                                  <mml:mrow>\n                                    <mml:mi>x<\/mml:mi>\n                                    <mml:mo>\u2208<\/mml:mo>\n                                    <mml:msup>\n                                      <mml:mfenced>\n                                        <mml:mn>0<\/mml:mn>\n                                        <mml:mo>,<\/mml:mo>\n                                        <mml:mn>1<\/mml:mn>\n                                      <\/mml:mfenced>\n                                      <mml:mi>n<\/mml:mi>\n                                    <\/mml:msup>\n                                  <\/mml:mrow>\n                                <\/mml:munder>\n                                <mml:mfenced>\n                                  <mml:mi>C<\/mml:mi>\n                                  <mml:mrow>\n                                    <mml:mo>(<\/mml:mo>\n                                    <mml:mi>x<\/mml:mi>\n                                    <mml:mo>)<\/mml:mo>\n                                  <\/mml:mrow>\n                                  <mml:mo>=<\/mml:mo>\n                                  <mml:msub>\n                                    <mml:mi>f<\/mml:mi>\n                                    <mml:mi>k<\/mml:mi>\n                                  <\/mml:msub>\n                                  <mml:mrow>\n                                    <mml:mo>(<\/mml:mo>\n                                    <mml:mi>x<\/mml:mi>\n                                    <mml:mo>)<\/mml:mo>\n                                  <\/mml:mrow>\n                                <\/mml:mfenced>\n                                <mml:mo>\u2a7d<\/mml:mo>\n                                <mml:mfrac>\n                                  <mml:mn>1<\/mml:mn>\n                                  <mml:mn>2<\/mml:mn>\n                                <\/mml:mfrac>\n                                <mml:mo>+<\/mml:mo>\n                                <mml:mfrac>\n                                  <mml:mn>1<\/mml:mn>\n                                  <mml:msup>\n                                    <mml:mn>2<\/mml:mn>\n                                    <mml:mrow>\n                                      <mml:mi>\u03a9<\/mml:mi>\n                                      <mml:mo>(<\/mml:mo>\n                                      <mml:mi>k<\/mml:mi>\n                                      <mml:mo>)<\/mml:mo>\n                                    <\/mml:mrow>\n                                  <\/mml:msup>\n                                <\/mml:mfrac>\n                                <mml:mo>.<\/mml:mo>\n                              <\/mml:mrow>\n                            <\/mml:mtd>\n                          <\/mml:mtr>\n                        <\/mml:mtable>\n                      <\/mml:mrow>\n                    <\/mml:math><\/jats:alternatives><\/jats:disp-formula> This average-case lower bound matches the worst-case lower bound of G\u00e1l and Robere by letting <jats:inline-formula><jats:alternatives><jats:tex-math>$$k=O\\!\\left( \\log n\\right) $$<\/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:mspace\/>\n                        <mml:mfenced>\n                          <mml:mo>log<\/mml:mo>\n                          <mml:mi>n<\/mml:mi>\n                        <\/mml:mfenced>\n                      <\/mml:mrow>\n                    <\/mml:math><\/jats:alternatives><\/jats:inline-formula>.<\/jats:p>\n                <\/jats:list-item>\n                <jats:list-item>\n                  <jats:p><jats:inline-formula><jats:alternatives><jats:tex-math>$$\\#$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                      <mml:mo>#<\/mml:mo>\n                    <\/mml:math><\/jats:alternatives><\/jats:inline-formula><jats:italic>SAT Algorithms<\/jats:italic> There is an algorithm that counts the number of satisfying assignments of a given comparator circuit with at most <jats:inline-formula><jats:alternatives><jats:tex-math>$$n^{1.5}\/O\\!\\left( k\\cdot \\sqrt{\\log n}\\right) $$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                      <mml:mrow>\n                        <mml:msup>\n                          <mml:mi>n<\/mml:mi>\n                          <mml:mrow>\n                            <mml:mn>1.5<\/mml:mn>\n                          <\/mml:mrow>\n                        <\/mml:msup>\n                        <mml:mo>\/<\/mml:mo>\n                        <mml:mi>O<\/mml:mi>\n                        <mml:mspace\/>\n                        <mml:mfenced>\n                          <mml:mi>k<\/mml:mi>\n                          <mml:mo>\u00b7<\/mml:mo>\n                          <mml:msqrt>\n                            <mml:mrow>\n                              <mml:mo>log<\/mml:mo>\n                              <mml:mi>n<\/mml:mi>\n                            <\/mml:mrow>\n                          <\/mml:msqrt>\n                        <\/mml:mfenced>\n                      <\/mml:mrow>\n                    <\/mml:math><\/jats:alternatives><\/jats:inline-formula> gates, in time <jats:inline-formula><jats:alternatives><jats:tex-math>$$2^{n-k}\\cdot {{\\,\\textrm{poly}\\,}}(n)$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                      <mml:mrow>\n                        <mml:msup>\n                          <mml:mn>2<\/mml:mn>\n                          <mml:mrow>\n                            <mml:mi>n<\/mml:mi>\n                            <mml:mo>-<\/mml:mo>\n                            <mml:mi>k<\/mml:mi>\n                          <\/mml:mrow>\n                        <\/mml:msup>\n                        <mml:mo>\u00b7<\/mml:mo>\n                        <mml:mrow>\n                          <mml:mspace\/>\n                          <mml:mtext>poly<\/mml:mtext>\n                          <mml:mspace\/>\n                        <\/mml:mrow>\n                        <mml:mrow>\n                          <mml:mo>(<\/mml:mo>\n                          <mml:mi>n<\/mml:mi>\n                          <mml:mo>)<\/mml:mo>\n                        <\/mml:mrow>\n                      <\/mml:mrow>\n                    <\/mml:math><\/jats:alternatives><\/jats:inline-formula>, for any <jats:inline-formula><jats:alternatives><jats:tex-math>$$k\\leqslant n\/4$$<\/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>\u2a7d<\/mml:mo>\n                        <mml:mi>n<\/mml:mi>\n                        <mml:mo>\/<\/mml:mo>\n                        <mml:mn>4<\/mml:mn>\n                      <\/mml:mrow>\n                    <\/mml:math><\/jats:alternatives><\/jats:inline-formula>. The running time is non-trivial (i.e., <jats:inline-formula><jats:alternatives><jats:tex-math>$$2^n\/n^{\\omega (1)}$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                      <mml:mrow>\n                        <mml:msup>\n                          <mml:mn>2<\/mml:mn>\n                          <mml:mi>n<\/mml:mi>\n                        <\/mml:msup>\n                        <mml:mo>\/<\/mml:mo>\n                        <mml:msup>\n                          <mml:mi>n<\/mml:mi>\n                          <mml:mrow>\n                            <mml:mi>\u03c9<\/mml:mi>\n                            <mml:mo>(<\/mml:mo>\n                            <mml:mn>1<\/mml:mn>\n                            <mml:mo>)<\/mml:mo>\n                          <\/mml:mrow>\n                        <\/mml:msup>\n                      <\/mml:mrow>\n                    <\/mml:math><\/jats:alternatives><\/jats:inline-formula>) when <jats:inline-formula><jats:alternatives><jats:tex-math>$$k=\\omega (\\log n)$$<\/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>\u03c9<\/mml:mi>\n                        <mml:mo>(<\/mml:mo>\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>.<\/jats:p>\n                <\/jats:list-item>\n                <jats:list-item>\n                  <jats:p><jats:italic>Pseudorandom Generators and <\/jats:italic><jats:inline-formula><jats:alternatives><jats:tex-math>$$\\textsf {MCSP} $$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                      <mml:mi>MCSP<\/mml:mi>\n                    <\/mml:math><\/jats:alternatives><\/jats:inline-formula><jats:italic>L<\/jats:italic>ower Bounds There is a pseudorandom generator of seed length <jats:inline-formula><jats:alternatives><jats:tex-math>$$s^{2\/3+o(1)}$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                      <mml:msup>\n                        <mml:mi>s<\/mml:mi>\n                        <mml:mrow>\n                          <mml:mn>2<\/mml:mn>\n                          <mml:mo>\/<\/mml:mo>\n                          <mml:mn>3<\/mml:mn>\n                          <mml:mo>+<\/mml:mo>\n                          <mml:mi>o<\/mml:mi>\n                          <mml:mo>(<\/mml:mo>\n                          <mml:mn>1<\/mml:mn>\n                          <mml:mo>)<\/mml:mo>\n                        <\/mml:mrow>\n                      <\/mml:msup>\n                    <\/mml:math><\/jats:alternatives><\/jats:inline-formula> that fools comparator circuits with <jats:italic>s<\/jats:italic> gates. Also, using this PRG, we obtain an <jats:inline-formula><jats:alternatives><jats:tex-math>$$n^{1.5-o(1)}$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                      <mml:msup>\n                        <mml:mi>n<\/mml:mi>\n                        <mml:mrow>\n                          <mml:mn>1.5<\/mml:mn>\n                          <mml:mo>-<\/mml:mo>\n                          <mml:mi>o<\/mml:mi>\n                          <mml:mo>(<\/mml:mo>\n                          <mml:mn>1<\/mml:mn>\n                          <mml:mo>)<\/mml:mo>\n                        <\/mml:mrow>\n                      <\/mml:msup>\n                    <\/mml:math><\/jats:alternatives><\/jats:inline-formula> lower bound for <jats:inline-formula><jats:alternatives><jats:tex-math>$$\\textsf {MCSP} $$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                      <mml:mi>MCSP<\/mml:mi>\n                    <\/mml:math><\/jats:alternatives><\/jats:inline-formula> against comparator circuits.<\/jats:p>\n                <\/jats:list-item>\n              <\/jats:list><\/jats:p>","DOI":"10.1007\/s00453-022-01091-y","type":"journal-article","created":{"date-parts":[[2023,1,13]],"date-time":"2023-01-13T07:03:18Z","timestamp":1673593398000},"page":"2131-2155","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Algorithms and Lower Bounds for Comparator Circuits from Shrinkage"],"prefix":"10.1007","volume":"85","author":[{"given":"Bruno P.","family":"Cavalar","sequence":"first","affiliation":[]},{"given":"Zhenjian","family":"Lu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,1,13]]},"reference":[{"key":"1091_CR1","first-page":"83","volume":"10","author":"VM Hrap\u010denko","year":"1971","unstructured":"Hrap\u010denko, V.M.: A certain method of obtaining estimates from below of the complexity of $$\\pi $$-schemes. Mat. Zametki 10, 83\u201392 (1971)","journal-title":"Mat. Zametki"},{"issue":"2","key":"1091_CR2","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1016\/0022-0000(92)90024-D","volume":"44","author":"EW Mayr","year":"1992","unstructured":"Mayr, E.W., Subramanian, A.: The complexity of circuit value and network stability. J. Comput. Syst. Sci. 44(2), 302\u2013323 (1992). https:\/\/doi.org\/10.1016\/0022-0000(92)90024-D","journal-title":"J. Comput. Syst. Sci."},{"issue":"4","key":"1091_CR3","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1145\/2635822","volume":"6","author":"SA Cook","year":"2014","unstructured":"Cook, S.A., Filmus, Y., Le, D.T.M.: The complexity of the comparator circuit value problem. ACM Trans. Comput. Theory 6(4), 15\u201311544 (2014). https:\/\/doi.org\/10.1145\/2635822","journal-title":"ACM Trans. Comput. Theory"},{"key":"1091_CR4","doi-asserted-by":"crossref","unstructured":"Robere, R., Pitassi, T., Rossman, B., Cook, S.A.: Exponential lower bounds for monotone span programs. In: Symposium on Foundations of Computer Science (FOCS), pp. 406\u2013415 (2016)","DOI":"10.1109\/FOCS.2016.51"},{"key":"1091_CR5","doi-asserted-by":"publisher","unstructured":"Ajtai, M., Koml\u00f3s, J., Szemer\u00e9di, E.: An $${O}(n \\log n)$$ sorting network. In: Symposium on Theory of Computing (STOC), pp. 1\u20139 (1983). https:\/\/doi.org\/10.1145\/800061.808726","DOI":"10.1145\/800061.808726"},{"issue":"6","key":"1091_CR6","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/BF01240265","volume":"48","author":"AA Razborov","year":"1990","unstructured":"Razborov, A.A.: Lower bounds on the complexity of realization of symmetric Boolean functions by gate switching circuits. Mat. Zametki 48(6), 79\u201390 (1990). https:\/\/doi.org\/10.1007\/BF01240265","journal-title":"Mat. Zametki"},{"key":"1091_CR7","unstructured":"G\u00f6\u00f6s, M., Kamath, P., Robere, R., Sokolov, D.: Adventures in monotone complexity and TFNP. In: Innovations in Theoretical Computer Science Conference (ITCS), pp. 38\u201313819 (2019)"},{"key":"1091_CR8","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1016\/j.ic.2018.02.002","volume":"261","author":"B Komarath","year":"2018","unstructured":"Komarath, B., Sarma, J., Sunil, K.S.: Comparator circuits over finite bounded posets. Inf. Comput. 261, 160\u2013174 (2018). https:\/\/doi.org\/10.1016\/j.ic.2018.02.002","journal-title":"Inf. Comput."},{"key":"1091_CR9","unstructured":"G\u00e1l, A., Robere, R.: Lower bounds for (non-monotone) comparator circuits. In: Innovations in Theoretical Computer Science Conference (ITCS), pp. 58\u201315813 (2020)"},{"key":"1091_CR10","first-page":"765","volume":"169","author":"EI Nechiporuk","year":"1966","unstructured":"Nechiporuk, E.I.: On a Boolean function. Dokl. Akad. Nauk SSSR 169, 765\u2013766 (1966)","journal-title":"Dokl. Akad. Nauk SSSR"},{"key":"1091_CR11","unstructured":"Oliveira, I.C.: Algorithms versus circuit lower bounds. CoRR arXiv:1309.0249 (2013). Accessed 01 Sep 2021"},{"key":"1091_CR12","doi-asserted-by":"crossref","unstructured":"Williams, R.: Algorithms for circuits and circuits for algorithms. In: Conference on Computational Complexity (CCC), pp. 248\u2013261 (2014)","DOI":"10.1109\/CCC.2014.33"},{"issue":"1","key":"1091_CR13","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/2559903","volume":"61","author":"R Williams","year":"2014","unstructured":"Williams, R.: Nonuniform ACC circuit lower bounds. J. ACM 61(1), 2\u20131232 (2014)","journal-title":"J. ACM"},{"key":"1091_CR14","doi-asserted-by":"crossref","unstructured":"Impagliazzo, R., Matthews, W., Paturi, R.: A satisfiability algorithm for AC$${}^{\\text{0}}$$. In: Symposium on Discrete Algorithms (SODA), pp. 961\u2013972 (2012)","DOI":"10.1137\/1.9781611973099.77"},{"key":"1091_CR15","unstructured":"Tal, A.: #SAT algorithms from shrinkage. Electron. Colloq. Comput. Complex. 114 (2015)"},{"issue":"2","key":"1091_CR16","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/3230630","volume":"66","author":"R Impagliazzo","year":"2019","unstructured":"Impagliazzo, R., Meka, R., Zuckerman, D.: Pseudorandomness from shrinkage. J. ACM 66(2), 11\u201311116 (2019). https:\/\/doi.org\/10.1145\/3230630","journal-title":"J. ACM"},{"issue":"2","key":"1091_CR17","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/s00037-015-0100-0","volume":"24","author":"R Chen","year":"2015","unstructured":"Chen, R., Kabanets, V., Kolokolova, A., Shaltiel, R., Zuckerman, D.: Mining circuit lower bound proofs for meta-algorithms. Comput. Complex. 24(2), 333\u2013392 (2015). https:\/\/doi.org\/10.1007\/s00037-015-0100-0","journal-title":"Comput. Complex."},{"key":"1091_CR18","unstructured":"Servedio, R.A., Tan, L.: What circuit classes can be learned with non-trivial savings? In: Innovations in Theoretical Computer Science Conference (ITCS), pp. 30\u201313021 (2017)"},{"key":"1091_CR19","unstructured":"Kabanets, V., Koroth, S., Lu, Z., Myrisiotis, D., Oliveira, I.C.: Algorithms and lower bounds for De Morgan formulas of low-communication leaf gates. In: Conference on Computational Complexity (CCC), pp. 15\u201311541 (2020)"},{"key":"1091_CR20","doi-asserted-by":"publisher","unstructured":"Komargodski, I., Raz, R.: Average-case lower bounds for formula size. In: Symposium on Theory of Computing (STOC), pp. 171\u2013180 (2013). https:\/\/doi.org\/10.1145\/2488608.2488630","DOI":"10.1145\/2488608.2488630"},{"issue":"1","key":"1091_CR21","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1137\/15M1048045","volume":"46","author":"I Komargodski","year":"2017","unstructured":"Komargodski, I., Raz, R., Tal, A.: Improved average-case lower bounds for De Morgan formula size: matching worst-case lower bound. SIAM J. Comput. 46(1), 37\u201357 (2017). https:\/\/doi.org\/10.1137\/15M1048045","journal-title":"SIAM J. Comput."},{"issue":"3","key":"1091_CR22","doi-asserted-by":"publisher","first-page":"1218","DOI":"10.1137\/10080703X","volume":"42","author":"R Williams","year":"2013","unstructured":"Williams, R.: Improving exhaustive search implies superpolynomial lower bounds. SIAM J. Comput. 42(3), 1218\u20131244 (2013)","journal-title":"SIAM J. Comput."},{"key":"1091_CR23","doi-asserted-by":"publisher","unstructured":"Oliveira, I.C., Santhanam, R.: Hardness magnification for natural problems. In: Symposium on Foundations of Computer Science (FOCS), pp. 65\u201376 (2018). https:\/\/doi.org\/10.1109\/FOCS.2018.00016","DOI":"10.1109\/FOCS.2018.00016"},{"key":"1091_CR24","doi-asserted-by":"publisher","unstructured":"Oliveira, I.C., Pich, J., Santhanam, R.: Hardness magnification near state-of-the-art lower bounds. In: Computational Complexity Conference (CCC), pp. 27\u201312729 (2019). https:\/\/doi.org\/10.4230\/LIPIcs.CCC.2019.27","DOI":"10.4230\/LIPIcs.CCC.2019.27"},{"key":"1091_CR25","doi-asserted-by":"publisher","unstructured":"Chen, L., Jin, C., Williams, R.R.: Hardness magnification for all sparse NP languages. In: Symposium on Foundations of Computer Science (FOCS), pp. 1240\u20131255 (2019). https:\/\/doi.org\/10.1109\/FOCS.2019.00077","DOI":"10.1109\/FOCS.2019.00077"},{"key":"1091_CR26","doi-asserted-by":"publisher","unstructured":"Chen, L., Hirahara, S., Oliveira, I.C., Pich, J., Rajgopal, N., Santhanam, R.: Beyond natural proofs: hardness magnification and locality. In: Innovations in Theoretical Computer Science Conference (ITCS), pp. 70\u201317048 (2020). https:\/\/doi.org\/10.4230\/LIPIcs.ITCS.2020.70","DOI":"10.4230\/LIPIcs.ITCS.2020.70"},{"key":"1091_CR27","unstructured":"Golovnev, A., Ilango, R., Impagliazzo, R., Kabanets, V., Kolokolova, A., Tal, A.: AC$${}^{\\text{0 }}$$[p] lower bounds against MCSP via the coin problem. In: International Colloquium on Automata, Languages, and Programming (ICALP), pp. 66\u201316615 (2019)"},{"issue":"3","key":"1091_CR28","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1145\/3404860","volume":"12","author":"M Cheraghchi","year":"2020","unstructured":"Cheraghchi, M., Kabanets, V., Lu, Z., Myrisiotis, D.: Circuit lower bounds for MCSP from local pseudorandom generators. ACM Trans. Comput. Theory 12(3), 21\u201312127 (2020). https:\/\/doi.org\/10.1145\/3404860","journal-title":"ACM Trans. Comput. Theory"},{"key":"1091_CR29","doi-asserted-by":"publisher","unstructured":"H\u00e5stad, J.: Almost optimal lower bounds for small depth circuits. In: Symposium on Theory of Computing (STOC), pp. 6\u201320 (1986). https:\/\/doi.org\/10.1145\/12130.12132","DOI":"10.1145\/12130.12132"},{"key":"1091_CR30","doi-asserted-by":"publisher","unstructured":"Chen, L., Jin, C., Williams, R.R.: Sharp threshold results for computational complexity. In: Symposium on Theory of Computing (STOC), pp. 1335\u20131348 (2020). https:\/\/doi.org\/10.1145\/3357713.3384283","DOI":"10.1145\/3357713.3384283"},{"key":"1091_CR31","series-title":"Algorithms and Combinatorics","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24508-4","volume-title":"Boolean Function Complexity\u2014Advances and Frontiers","author":"S Jukna","year":"2012","unstructured":"Jukna, S.: Boolean Function Complexity\u2014Advances and Frontiers. Algorithms and Combinatorics, vol. 27. Springer, Berlin (2012). https:\/\/doi.org\/10.1007\/978-3-642-24508-4"},{"issue":"2","key":"1091_CR32","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1137\/S089548019223872X","volume":"8","author":"JP Schmidt","year":"1995","unstructured":"Schmidt, J.P., Siegel, A., Srinivasan, A.: Chernoff\u2013Hoeffding bounds for applications with limited independence. SIAM J. Discrete Math. 8(2), 223\u2013250 (1995). https:\/\/doi.org\/10.1137\/S089548019223872X","journal-title":"SIAM J. Discrete Math."}],"container-title":["Algorithmica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00453-022-01091-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00453-022-01091-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00453-022-01091-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,23]],"date-time":"2023-06-23T05:58:54Z","timestamp":1687499934000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00453-022-01091-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,1,13]]},"references-count":32,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2023,7]]}},"alternative-id":["1091"],"URL":"https:\/\/doi.org\/10.1007\/s00453-022-01091-y","relation":{},"ISSN":["0178-4617","1432-0541"],"issn-type":[{"type":"print","value":"0178-4617"},{"type":"electronic","value":"1432-0541"}],"subject":[],"published":{"date-parts":[[2023,1,13]]},"assertion":[{"value":"1 August 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 December 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 January 2023","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare that they have no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}