Lmst

Hooray, parallel downloading of repository metadata was merged for #dnf! 🥳

https://github.com/rpm-software-management/dnf5/issues/307#issuecomment-2928788833

#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger
Than We Thought? http://arxiv.org/abs/2506.06716v1

Authors: Max Bannach, Erik D. Demaine, Timothy Gomez, Markus HecherThe canonical class in the realm of counting complexity is #P. It is well
known that the problem of counting the models of a propositional formula in
disjunctive normal form (#DNF) is complete for #P under Turing reductions. On
the other hand, #DNF $in$ spanL and spanL $notsubseteq$ #P unless NL = NP.

#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?

Max Bannach, Erik D. Demaine, Timothy Gomez, Markus Hecher
https://arxiv.org/abs/2506.06716 https://arxiv.org/pdf/2506.06716 https://arxiv.org/html/2506.06716

arXiv:2506.06716v1 Announce Type: new
Abstract: The canonical class in the realm of counting complexity is #P. It is well known that the problem of counting the models of a propositional formula in disjunctive normal form (#DNF) is complete for #P under Turing reductions. On the other hand, #DNF $\in$ spanL and spanL $\not\subseteq$ #P unless NL = NP. Hence, the class of functions logspace-reducible to #DNF is a strict subset of #P under plausible complexity-theoretic assumptions. By contrast, we show that two calls to a (restricted) #2DNF oracle suffice to capture gapP, namely, that the logspace many-one closure of the subtraction between the results of two #2DNF calls is gapP. Because #P $\not\subseteq$ gapP, #P is strictly contained between one and two #2DNF oracle calls.
Surprisingly, the propositional formulas needed in both calls are linear-time computable, and the reduction preserves interesting structural as well as symmetry properties, leading to algorithmic applications. We show that a single subtraction suffices to compensate for the absence of negation while still capturing gapP, i.e., our results carry over to the monotone fragments of #2SAT and #2DNF. Since our reduction is linear-time, it preserves sparsity and, as a consequence we obtain a sparsification lemma for both #2SAT and #2DNF. This has only been known for kSAT with k $\geq$ 3 and respective counting versions. We further show that both #2DNF calls can be combined into a single call if we allow a little postprocessing (computable by AC0- or TC0-circuits). Consequently, we derive refined versions of Toda's Theorem: PH $\subseteq$ [#MON2SAT]$^{log}_{TC0}$ = [#MON2DNF]$^{log}_{TC0}$ and PH $\subseteq$ [#IMPL2SAT]$^{log}_{AC0}$. Our route to these results is via structure-aware reductions that preserve parameters like treewidth up to an additive overhead. The absence of multiplicative overhead indeed yields parameterized SETH-tight lower bounds.

toXiv_bot_toot

Do you finish every book you start, or do you DNF if it's not working for you?

#DNF #ReadingHabits #BookCommunity

DNF Phuket 100 / 50k
Dropped out after 27k, as I twisted my ankle. I could have gone on, somehow, but considering the apocalyptic conditions, being completely soaked. I decided to be wise... It simply wasn't my day and race... and I am definitely not built for the long distances 😎🙏 #DNF #running

Essential DNF5 Commands Examples for Managing Packages in Fedora, RHEL, AlmaLinux and Rocky Linux #dnf5 #dnf #packagemanager #fedora #rhel #almalinux #rockylinux #linux #softwaremanagement #linuxcommands #linuxhowto
https://ostechnix.com/dnf5-commands-examples/

Introduction to DNF5: The Next-Generation Fedora Package Manager #dnf5 #dnf4 #dnf #yum #fedora #rhel #packagemanager #rpm #linux #opensource
https://ostechnix.com/dnf5-package-manager-introduction/

Aujourd'hui, avoir ses serveurs à jours, est devenu plus qu'indispensable.

Mais, comment peut-on faire, quand on a un cerveau de poisson rouge comme moi 😅 ou que l'on administre des dizaines, voire des centaines de serveurs ?

Si vous administrez des serveurs établis sur #RHEL (Rocky Linux, Alma Linux, CentOS, Fedora...), j'ai la solution :

#DNF Automatic

Pour en savoir plus, je vous ai fait un petit article de blog, détaillant son installation :

https://www.drupalista.dev/blog/2025/05/automatiser-ses-mises-jours-de-serveur-avec-dnf-automatic

#SafetyFirst

Jo, could it be, that #dnf evaluates a packages patch newer as the version?
We had 3 different versions of a package in our repo:
- PKG-23.10.x.rhel9u4
- PKG-23.10.x.202410021417.rhel9u4
- PKG-23.10.x.rhel9u5

Now after having updated to 9.5 dnf won't automatically upgrade to the version for the newest kernel without it being forcefully uninstalled prior.

Can someone explain this?

［初見さん歓迎］ゼンレスゾーンゼロ！！バトルタワー240F～ノーダメ縛り！！【＃ゼンゼロ】 https://www.playing-games.com/648399/ #404GAMERESET #DNF #DNFDUEL #GBVS #MVCI #NIKKE #PSO2 #PSO2NGS #Shadowverse #SO5 #UMVC3 #ZenlessZoneZero #アラド戦記 #アリスギアアイギス #アルカナハート３ #アルカナハート３LMSSSX #アルカプ #シャドウバース #シャドバ #スターオーシャン #ゼンレスゾーンゼロ #ポーカーチェイス #メガニケ #遊戯王マスターデュエル

The thing about the #DungeonFighterOnline franchise is that there is no strong title or franchise thread.

To make a franchise, you have to make a very good game, but also a good narrative and world that resonates. Once you build it, then you make your spin offs.

#Nexon trying to do that in reverse is going to back fire. Just like the DC and Universal tried.

#Videogames #Gaming #Games #Khazan #TheFirstBersekerKhazan #Neople #RPG #Soulslike #DNF

If you have confidence in your game, you expend on good marketing first and a clear release date.

I don't know how much #Denuvo would have cost to implement in the game, but apart from that, it released alongside #Atomfall, #Inzoi, #TLOU2, and #SouthOfMidnight. Guess what happened:

https://tech.yahoo.com/gaming/articles/first-berserker-khazan-missed-sales-164000915.html

#Videogames #Gaming #Games #KhazanTheFirstBerseker #Khazan #DungeonFighterOnline #DNF #Nexon #Neople #RPG #Soulslike

NEW EPISODE: Zach & Jim go the RARE direction - a NEGATIVE episode, as they share the #Fantasy & #SciFi TV Shows that failed to suck them in, ending up DNF'd. Will any of YOUR favorites be on their list? #DNF #SFF #TVShows https://youtu.be/-wHc6nc14Rg