CINXE.COM

<!DOCTYPE html><html lang="en-US"><head><title>Just a moment...</title><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"><meta http-equiv="X-UA-Compatible" content="IE=Edge"><meta name="robots" content="noindex,nofollow"><meta name="viewport" content="width=device-width,initial-scale=1"><style>*{box-sizing:border-box;margin:0;padding:0}html{line-height:1.15;-webkit-text-size-adjust:100%;color:#313131;font-family:system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,Helvetica Neue,Arial,Noto Sans,sans-serif,Apple Color Emoji,Segoe UI Emoji,Segoe UI Symbol,Noto Color Emoji}body{display:flex;flex-direction:column;height:100vh;min-height:100vh}.main-content{margin:8rem auto;max-width:60rem;padding-left:1.5rem}@media (width <= 720px){.main-content{margin-top:4rem}}.h2{font-size:1.5rem;font-weight:500;line-height:2.25rem}@media (width <= 720px){.h2{font-size:1.25rem;line-height:1.5rem}}#challenge-error-text{background-image:url(data:image/svg+xml;base64,PHN2ZyB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciIHdpZHRoPSIzMiIgaGVpZ2h0PSIzMiIgZmlsbD0ibm9uZSI+PHBhdGggZmlsbD0iI0IyMEYwMyIgZD0iTTE2IDNhMTMgMTMgMCAxIDAgMTMgMTNBMTMuMDE1IDEzLjAxNSAwIDAgMCAxNiAzbTAgMjRhMTEgMTEgMCAxIDEgMTEtMTEgMTEuMDEgMTEuMDEgMCAwIDEtMTEgMTEiLz48cGF0aCBmaWxsPSIjQjIwRjAzIiBkPSJNMTcuMDM4IDE4LjYxNUgxNC44N0wxNC41NjMgOS41aDIuNzgzem0tMS4wODQgMS40MjdxLjY2IDAgMS4wNTcuMzg4LjQwNy4zODkuNDA3Ljk5NCAwIC41OTYtLjQwNy45ODQtLjM5Ny4zOS0xLjA1Ny4zODktLjY1IDAtMS4wNTYtLjM4OS0uMzk4LS4zODktLjM5OC0uOTg0IDAtLjU5Ny4zOTgtLjk4NS40MDYtLjM5NyAxLjA1Ni0uMzk3Ii8+PC9zdmc+);background-repeat:no-repeat;background-size:contain;padding-left:34px}@media (prefers-color-scheme:dark){body{background-color:#222;color:#d9d9d9}}</style><meta http-equiv="refresh" content="120"></head><body class="no-js"><div class="main-wrapper" role="main"><div class="main-content"><noscript><div class="h2"><span id="challenge-error-text">Enable JavaScript and cookies to continue</span></div></noscript></div></div><script>(function(){window._cf_chl_opt={cvId: '3',cZone: "publications.waset.org",cType: 'non-interactive',cRay: '9133bd3f488f89a1',cH: 'jafvfbcu3beQrbnIZwRPksQTte4LuYS2JgnzyMX1Q7g-1739773936-1.2.1.1-YsS52_JCieUZ0Ey7rmGhJvBUX0vLFOU87OsCkF.nXxzrkIRMefTDoFTc.dAtVQAF',cUPMDTk: "\/search?q=Statistically%20complete%20tree&__cf_chl_tk=5WxHNohWXWYoo9QxPJIhxBzFEXYm7OiYHnrxfKuMckM-1739773936-1.0.1.1-AeqENC.CsJmFYuiSdk4x1DBQDSD2VdhADU7RsdwAq2w",cFPWv: 'b',cITimeS: '1739773936',cTTimeMs: '1000',cMTimeMs: '120000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "",fa: "\/search?q=Statistically%20complete%20tree&__cf_chl_f_tk=5WxHNohWXWYoo9QxPJIhxBzFEXYm7OiYHnrxfKuMckM-1739773936-1.0.1.1-AeqENC.CsJmFYuiSdk4x1DBQDSD2VdhADU7RsdwAq2w",md: ".2VIGu.pO9HHWsaPHP2M3aXdFLItw8vP9g0JOQBPBvQ-1739773936-1.2.1.1-WglK3.TAoxRBh.580OUN0wzAD.9evx6yd0zPRbLRSUb_WcIOJdSyZCVe5AvvNxn_FWb1yCx1ICGkDiMPj.p.A6iqe1mny.ASdxdaHECSzsyXmJk_LjTn5pe1AcFNjq2HNpwprTRsvqB9HBi5QBg6EeI1cgh7hd16zuzSvfeUSr63rDfVyJDOz_qRW4msH5vdlDucf2Fk7onWCUaix9p384O0HctOwZkPkYbQQaRAHkZgWUFZYYL73rjNJ9D78tbmlg5pgXk9q4ki3nck99tn2rsH_3Q2LAQ7462R.tLyeDmRjoki_76s8CRxHJc.xvCrxpcsSmrzul0VCCx.6maE8G31MdS5XLVi0MaCO_oTRF81Nkmk0aQt1SFS4WYchDHlMpS3KQJHo1oT.HL1dzxYe_lD9RaXsPIHF7mHoqZIY.TA7cQx_E9tF2KHHUFRDo7byrxQgvpS23IK_0FKkESrXfoTkZau.w0aTFzDjxEausnzXJ0gcCuCJFe_ybyDlyw7ERlyzdx9rSo8JaZOnpzZysy5X8yN2u8BgVVfhFzU132bj6W5Xm.gElDa7UFf3twTRssDvTgf6DiXYstUcLkibGmJkPML0YH4PH_ONgr2rQQ6nYhEftCXK3VKS.1KD8ferMWS47qJBpx4G3FYXoIS4cTEIKb3HTFSLninpzgLiGPcFcWUKr4ZsDS.E4B2t0UcPfgdbqRiHSEHdNQvckAuyrj4JkfSEpJeYOo4FwJyjxBt7lFwXTCNIu2BB9vuiHsu3ox7ukuW0oGZrO0CCW4b7ZKV6ol_M0VLdmF_XQ6XCg1bKmSBs2q5.Pb2RnPyDuwEsDrPkCz3G4QNwiO.am.5VulQYKNfflJSx9QzrNydOsHTrxVpqyknpErfCEGi6X7m9mqt9pIVLZLjhH2KYI3WZPw1Yfje..M3OcUi3bSECdsSNEHaR8iKJMoWynCBqvIgYmfaTp7dAGVeJ_FXTplyMY4qAkBjox1Gd0Vvw0gpDEYpfJTQseTm_ybsyaRvB6ZqQh_PYDPhp7wM.8Mi9jnahMC8c5fJdbXbvKB_rtUoOXMlA9oZ0hDBH9uGk5wA5DN5GGIwsXvlPl1tUo5HUA7hPBG9VMhFRNRlLp8At44IJeewBTO0YBoowljlCd9suGhORPRcISzRMsr5GzWZSj2Pmn20grSk9qomKo8LgjJn7BQrbSyexWpmRzXFwsdniG9lOlYKAmm.n9kN9ZAdfFgiAxUezdS.yMoTcqKkFHXtH7vEhvxl5Sk5o5iLgIPREs1uuR_TVuMMq2zWWc4KuS5bQ836W858KUaxtIXoKdyl9auKrGt7hgZ6DVpB4j_D9GrJQy.Wk1TQ1DF61RO48euN27uIr2XcfnoEcuPd7NmVC9fTBwmlb.tyxHvj1sWiq1OPO71JH3zJRGFQe7IxCI.idw1NdkUNeG7ybslrdDF8u6RGz6kWJtpZuAKJ2KJbnLh5gAJRfCSseQ.lIe8Hxa3nRgbC55YiSp9Y4sutmu.lcRztA3BrH_juCv71CNMesDPTrgzgqKtutWZ2TckAmLNUDwy1M77rjal0xh7vKuchw3HDmPyCGnCq7NikZ_vzVdFuAmu00Py3.dIuvltlS0BCBIT93JOcg2qQ9XhoQFvGZw6A.obX0I6wUzgBU4g6_xIJ6DgnvZ_JJn8HlCUrcrtL4kzNWwB54f6sD7GEjPNbxlvMpmKvNUdjiRCE7kfYqt_GqnIHJ2UhBOw_9noXV.4oX.ZTngsWSUdTnlnAiuQy_ijccm67FnmUgPHGyyMErZRCBq.uqSnXklO6iY_31Eocdez3nI.g0VVO4jYiBbhC7lFGJ3_tND4gHII7kaDc_yV5i.96Vzi7stI7wT7vRnCG_Vyg17KrUJrydT6TXZGAas_bBTpIe.R8U6YfBq9gvn4nuqVi4.hQ8kUPRX23Ay70Hzq.SnyhmGd6ob19uF6_iZKimVGPKvNjcz5La7DWHLX1",mdrd: "zwfIUc7HyZhb3aH6d_OSdHXz7MkWmsFPceEOD.crKUo-1739773936-1.2.1.1-eWls5lzZsmrzbLnMz3Qc.n5cQXF2ahNCQ7pqewiATxid4gzs8OCt0LyujoWwzjkNqp2VovhRxCVvS.wZ_gxmE65CTbH_KBlivdUW0UNWmXKsBzlq_.LBAYlKAvX.8WKWuJY5dwJn0bV95VOHH_heVevPCJ9EAdsVOm8GNWcKZX8DUroJCsgTRqOjg4t0HXrvvEpeKzu1WLMT_qPIOcDqQv8AEYzcy4gCL70DyOsWVthTARbSLeZCwiX6tFyRIcxg9a0fH21gBgdlpwiYI7w5qDT6uHgde8sBNrmy1dxrIgihOhz7W3l9wmYJhqEiS7XzPJdqEIuHLA8r7BUi_Tx6PCArkY38QwcGd1iyGJgoH1HRVf_1z93h.GnrOhC7baY2U6N60UVCW9uS7J.EwPTJxLTTwzE3hoLOvgRyGwwLHlYmJUn4DEetPpj_5zeI6kORMycmTXU62Q_xrz0roHQ9sxksNkgummQ1aUdsMb787_NuaMj9kdHVpeoE5g1josWgcP_fzO3jQWG.Yy365EBkC6H_N7kJbUJcUIfx7un8ZPwbp6WZm9GDU2zOA.rCY8iZHtk9hqSXjOYONgdPg118rCZkzfFFyd_2ho4gyH_3QgSu6WcRkTVIO7s6lY3GRZPEAz_lIz6Ht8BxoS_rzlVkgcOKrsseUJtXq_p7cf9pV.r7xzIySsL31HztJo.vv3no5QgPOiMOxwXFMbeWLllMx7YsqsMghsSuJGEpGOBxr5E06A62GY4g5M1Lc_L7NtXbBRFEzERBfiOG1dVFHyMl7R7R1xNno2iUV2NCYTM.IGUJ8hjZOYPg9lYunM2yNv0xN3crLfTl6cI88sSYSZhcWJlHCwzguGUESen0n_DR0dQKgPMW558fYVJc0bYO6Jy8uNDQ2Vehz9CFic6ysnYVG.kxVk0Fu5OmforoAqDbOknwuqCDma4aTEw99SceTKpOvrl6BezEUtHTxOt99SIUmLxq8kxxJf5HnFCv_F5hxw7N0fcZNg1mo3FQ3_RJejfCydBtYcW40oa7vOaNx0oixjZzos4t31VvhbN55NsjiXh9f1mfP34UCuGCc3HiJi3nhE9THgPR2cIwijYVT3WXUwGevTqLiPjTscRwXJ43Tl8gZjN6jGMHzQ4yoCDadKFeHB.hgY3OfrUGigqb3CtYVsYdgkm0hMHUuLBdg0X4v6egA7ciFrYt_06LF_JuSSaNn7Ee5zmzvfBi.LeICnsZITFatnLpE43KIJ8bibekJVhJYsY2WtP7ERqnkJONnQ0V_.UEUqmWlAmUa3JGp9hv0x0EVHqFMtjsJLxw8f4RrUv8jffF53DkUSaEyqCIwHarX7M5l_WCgtwpljsETkkxVI_pWP4b44c_qCNdcQ18QmolvNMQKVHE1vGJYz4HS50XxJZo1OMrbjrag0pdVQw.hORIbzKVvHZJ8bUymKPDeLEhc6mXnR078PSt4fSXDA.BB_rSINcJ8QbpQI7re36hVunKBvhMWC_zjjxzZTb2cqhBYjo7NpxJO9LsXlBOWAoGZkT4b5FwnKeO99ghzIbklE64U6zpuKrh8sSaHBSejB91nTLOBjzsDbKxql9q4TD.a7HwjnaNBaROsoKqj20ToQ5B75VnCU6WWa6_dEtGmxAeAMOFRwcRoqipGyVmvaN0SXuBWB0arbtk0CqYfb.dTvPXZHJaJr0wk1ghKtrkEhdSsIxrUCAgj92ZGF5QBEaIQ02aeG_3I0hNDZt2DP9TF637TaMQHrxDH3OYI4t4GuFQ55UdXkyaK.4q8qPqXUhydecR8DNYKPgK4zD50f113Af6MjKVE5YeBHyumLJqHkA3o92m7zHTHvLjsjRrwyL4FRDCgBj.0Gyp0DQoIuJdBE0FZDHEYLGf0jU9eI4pvKbnAaQkxbrx1.jhKdcPps9agavvfWK3qUVtxyRk3wIJzBd0zVcptnIW2WeKqJYtuZqILlUil19pPJzQLjjaK_2u"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=9133bd3f488f89a1';window._cf_chl_opt.cOgUHash = location.hash === '' && location.href.indexOf('#') !== -1 ? '#' : location.hash;window._cf_chl_opt.cOgUQuery = location.search === '' && location.href.slice(0, location.href.length - window._cf_chl_opt.cOgUHash.length).indexOf('?') !== -1 ? '?' : location.search;if (window.history && window.history.replaceState) {var ogU = location.pathname + window._cf_chl_opt.cOgUQuery + window._cf_chl_opt.cOgUHash;history.replaceState(null, null, "\/search?q=Statistically%20complete%20tree&__cf_chl_rt_tk=5WxHNohWXWYoo9QxPJIhxBzFEXYm7OiYHnrxfKuMckM-1739773936-1.0.1.1-AeqENC.CsJmFYuiSdk4x1DBQDSD2VdhADU7RsdwAq2w" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>