MastodonTech.de

☮ ♥ ♬ 🧑‍💻“Tree Evaluation Is in Space 𝑂 (log 𝑛 · log log 𝑛)”‘The <a href="https://ioc.exchange/tags/TreeEvaluation" class="mention hashtag" rel="nofollow noopener" target="_blank">#TreeEvaluation</a> <a href="https://ioc.exchange/tags/Problem" class="mention hashtag" rel="nofollow noopener" target="_blank">#Problem</a> (TreeEval) (Cook et al. 2009) is a central candidate for separating polynomial time (P) from logarithmic space (L) via composition. While space lower bounds of Ω(log2 n) are known for multiple restricted models, it was recently shown by <a href="https://ioc.exchange/tags/Cook" class="mention hashtag" rel="nofollow noopener" target="_blank">#Cook</a> and <a href="https://ioc.exchange/tags/Mertz" class="mention hashtag" rel="nofollow noopener" target="_blank">#Mertz</a> (2020) that TreeEval can be solved in space O(log2 n/loglogn). Thus its status as a candidate hard problem for L remains a mystery. Our main result is to improve the space complexity of <a href="https://ioc.exchange/tags/TreeEval" class="mention hashtag" rel="nofollow noopener" target="_blank">#TreeEval</a> to O(logn · loglogn), thus greatly strengthening the case that Tree Evaluation is in fact in L. We show two consequences of these results. First, we show that the <a href="https://ioc.exchange/tags/KRWconjecture" class="mention hashtag" rel="nofollow noopener" target="_blank">#KRWconjecture</a> (<a href="https://ioc.exchange/tags/Karchmer" class="mention hashtag" rel="nofollow noopener" target="_blank">#Karchmer</a>, <a href="https://ioc.exchange/tags/Raz" class="mention hashtag" rel="nofollow noopener" target="_blank">#Raz</a>, and <a href="https://ioc.exchange/tags/Wigderson" class="mention hashtag" rel="nofollow noopener" target="_blank">#Wigderson</a> 1995) implies L ⊈NC1; this itself would have many implications, such as branching programs not being efficiently simulable by formulas’<<a href="https://dl.acm.org/doi/10.1145/3618260.3649664" rel="nofollow noopener" translate="no" target="_blank">https://dl.acm.org/doi/10.1145/3618260.3649664</a>>

anna elbeMal was Positives:Wegweisendes Grundsatz-Urteil zu <a href="https://norden.social/tags/Schmerzgriffen" class="mention hashtag" rel="nofollow noopener" target="_blank">#Schmerzgriffen</a> - Polizeiliche Maßnmahme gegen Sitzblockade rechtswidrig<a href="https://norden.social/tags/urteil" class="mention hashtag" rel="nofollow noopener" target="_blank">#urteil</a> <a href="https://norden.social/tags/polizeigewalt" class="mention hashtag" rel="nofollow noopener" target="_blank">#polizeigewalt</a> <a href="https://norden.social/tags/raz" class="mention hashtag" rel="nofollow noopener" target="_blank">#raz</a> <a href="https://norden.social/tags/Repression" class="mention hashtag" rel="nofollow noopener" target="_blank">#Repression</a> <a href="https://rapidmail.letztegeneration.org/mailing/1/8218016/30478485/4205/bc77d69640/index.html" rel="nofollow noopener" translate="no" target="_blank">https://rapidmail.letztegeneration.org/mailing/1/8218016/30478485/4205/bc77d69640/index.html</a>

ThomasDie Räumung der <a href="https://berlin.social/tags/LetzteGeneration" class="mention hashtag" rel="nofollow noopener" target="_blank">#LetzteGeneration</a> Ungehorsamen Versammlung am 16. März 2024 auf der Warschauer Brücke durch die <a href="https://berlin.social/tags/PolizeiBerlin" class="mention hashtag" rel="nofollow noopener" target="_blank">#PolizeiBerlin</a> war unrechtmäßig. Das hat sie nach einer Klage vor dem Verwaltungsgericht zugegeben. An dem Tag kam es zu heftiger <a href="https://berlin.social/tags/Polizeigewalt" class="mention hashtag" rel="nofollow noopener" target="_blank">#Polizeigewalt</a>, Menschen wurden mit <a href="https://berlin.social/tags/Schmerzgriffen" class="mention hashtag" rel="nofollow noopener" target="_blank">#Schmerzgriffen</a> von der Straße gezerrt und mehrere Stunden lang in Polizeikesseln festgehalten. Details zum Urteil gibt es im Blogpost vom <a href="https://berlin.social/tags/RAZ" class="mention hashtag" rel="nofollow noopener" target="_blank">#RAZ</a>: <a href="https://raz-ev.org/gewonnen-klage-gegen-die-polizei-berlin-und-versammlungsaufloesung/" rel="nofollow noopener" translate="no" target="_blank">https://raz-ev.org/gewonnen-klage-gegen-die-polizei-berlin-und-versammlungsaufloesung/</a>

hr. :QueerCat_Ace:Some more Psychonauts doodles. Kinda thinking about skipping the first game and just going to the second, cause I'm pretty bad at old games.<a href="https://mastodon.art/tags/Psychonauts" class="mention hashtag" rel="nofollow noopener" target="_blank">#Psychonauts</a> <a href="https://mastodon.art/tags/Raz" class="mention hashtag" rel="nofollow noopener" target="_blank">#Raz</a> <a href="https://mastodon.art/tags/RazputinAquato" class="mention hashtag" rel="nofollow noopener" target="_blank">#RazputinAquato</a> <a href="https://mastodon.art/tags/FanArt" class="mention hashtag" rel="nofollow noopener" target="_blank">#FanArt</a> <a href="https://mastodon.art/tags/VideoGame" class="mention hashtag" rel="nofollow noopener" target="_blank">#VideoGame</a> <a href="https://mastodon.art/tags/art" class="mention hashtag" rel="nofollow noopener" target="_blank">#art</a> <a href="https://mastodon.art/tags/DigitalArt" class="mention hashtag" rel="nofollow noopener" target="_blank">#DigitalArt</a>

AmSpDmShota - AI - Pixai

Frühere Suchanfragen

Suchoptionen

Verwaltet von:

Serverstatistik:

#RAZ