Computational Complexity· 2026Q2
AC0'ya Karşı Sertlik Amplifikasyonu İçin Bir Teknik
A Technique for Hardness Amplification Against $$\textsf{AC}^0$$
- 0atıf
- Q2SCImago
- 2026yıl
Kısa özet
Yeni bir teknik, bir fonksiyonun birden fazla kopyasının XOR'lanmasının, sertlik belirli bir kısıtlama/projeksiyon yöntemiyle kanıtlanabiliyorsa, AC0 devrelerine karşı sertliğini artırdığını göstermektedir.
Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.
Ana noktalar
- AC0 devrelerine karşı fonksiyonların sertliğini artırmak için bir teknik sunmaktadır.
- Amplifikasyon, fonksiyonun birden fazla kopyasının XOR'lanmasıyla gerçekleştirilir.
- Bu teknik, sertlik kanıtları rastgele kısıtlamalar/projeksiyonlar ve sığ karar ağaçlarını içerdiğinde uygulanabilir.
- Yöntem, ortalama durum derinlik hiyerarşisi teoremi ve çoğunluk fonksiyonunun yaklaşılamazlığı için sertlik sonuçlarını iyileştirmek üzere uygulanmıştır.
- Analizin bir parçası olarak karar ağaçları için yeni bir XOR lemması geliştirilmiştir.
Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.
Özet (abstract)
Abstract To show that a function h is hard to approximate for $$\textsf{AC}^0$$ AC 0 circuits, one method is to (a) design some distribution over random restrictions or random projections, (b) show that $$\textsf{AC}^0$$ AC 0 circuits simplify to shallow decision trees under these restrictions/projections, and finally (c) show that after applying the restriction/projection, h is hard to approximate for shallow decision trees with respect to an appropriate distribution. We show that (roughly speaking) if h can be proven to be hard to approximate by a proof with that structure, then XORing multiple copies of h amplifies its hardness. We apply our technique to two well-known average-case hardness results: the average-case depth hierarchy theorem (Håstad et al., 2017) and the inapproximability of the majority function. Our analysis involves a new kind of XOR lemma for decision trees, which might be of independent interest.
Yazarların özeti; kaynağından alınmıştır. Computational Complexity, 2026 · DOI ↗
Devamı Pofolia uygulamasında
Çıkarımlar ve makaleye soru sorma; ilgi alanına göre her gün yeni özetler. Ücretsiz.
Web'de giriş yaparak açAlan: Hesaplamalı Kuram ve Matematik
Computational Theory and MathematicsComputer Science