«property-testing» etiketlenmiş sorular

Grafik özelliği test olarak, bir algoritma bir hedef ya da belirli bir özelliği ya da olup olmadığını belirlemek için kenarları ve ihtiyaçları varlığında ya da yokluğunda bir hedef grafik sorgular özelliğine sahip arasından -far. (Bir algoritmanın 1 taraflı ya da 2 taraflı hata ile başarılı olması istenebilir.) Yapmak için bir …

22 cc.complexity-theory  machine-learning  query-complexity  property-testing 

"Özellik testi" ile ilgili geniş bir literatür vardır - iki durumu birbirinden ayırmak işlevine az sayıda kara kutu sorgusu yapma sorunu :f:{0,1}n→Rf:{0,1}n→Rf\colon\{0,1\}^n \to R Cfff , fonksiyon sınıfının bir üyesidirCC\mathcal{C} ε Cfff isimli -far sınıftaki her işlevinden .εε\varepsilonCC\mathcal{C} İşlevin aralığı bazen Boole'dir: , ancak her zaman değil.R = { 0 …

20 reference-request  lg.learning  metrics  property-testing  black-box 

Negatif rakip yöntem ( ) kuantum sorgu karmaşıklığını karakterize eden bir SDP'dir. Yaygın olarak kullanılan rakip yöntemin ( A D V ) genelleştirilmesidir ve rakip yöntemi engelleyen iki engelin üstesinden gelir:ADV±ADV±ADV^\pmADVADVADV Özellik testi engeli: 0-örneklerinin tümü -tüm 1-örneklerden uzaksa, rakip yöntem Ω ( 1 / ϵ ) ' den daha …

17 cc.complexity-theory  reference-request  quantum-computing  query-complexity  property-testing 

Bir Boolean fonksiyonunun f : { 0 , 1 } n → { 0 , 1 } 'f:{0,1}n→{0,1}f: \{0,1\}^n \to \{0,1\} in k ise bir k-kk junta olduğunu söylüyoruz .ff en fazla sahip kkk etkileyen değişkenler. Let f : { 0 , 1 } , n → { 0 , …

16 co.combinatorics  boolean-functions  fourier-analysis  property-testing 

[1] 'de Turan, bir grafik özelliğinin hassasiyetinin (kağıtta "kritik karmaşıklık" olarak adlandırılır) kesinlikle ; burada , grafikteki köşe sayısıdır. Önemsiz herhangi bir grafik özelliğinin duyarlılık . Bunun için doğrulandığından bahseder . Bu varsayımda bir ilerleme kaydedildi mi?m≥m-1m≤5⌊14m⌋⌊14m⌋\lfloor {1\over 4} m \rfloormmm≥m−1≥m−1\geq m-1m≤5m≤5m \leq 5 Arka fon içinde ikili bir dize …

16 graph-theory  property-testing 

Alice ve Bob'un n-bit dizeleri var ve az iletişim kurarken eşit olup olmadıklarını anlamak istiyorlar. Standart randomize çözelti derece polinom n-bit zincirleri tedavi etmektir ve daha sonra daha büyük bir boyutta bir alandan bir kaç rastgele seçilmiş elemanları üzerinde polinomları değerlendirmek . Bu iletişimini gerektirir.n O ( log | F …

14 communication-complexity  property-testing 

Bir dağıtım özelliği P için bir dağıtım testi algoritması ([n] üzerindeki tüm dağıtımların sadece bir alt kümesidir), bazı dağıtım D'ye göre örneklere erişime izin verilir ve veya olmadığına (whp) karar vermek gerekir. ( burada genellikle mesafesidir). Karmaşıklığın en yaygın ölçüsü, algoritma tarafından kullanılan örnek sayısıdır.d ( D , P ) …

13 cc.complexity-theory  machine-learning  query-complexity  property-testing 

Aşağıdaki test sorunu için daha düşük sınırlar biliniyorsa ( bu diğer soru ile ilgili) bilmek istiyorum : bir negatif olmayan numaralar dizisine sorgu erişimi verilir ve , veya . ε ∈ ( 0 , 1 ) ∑ n k = 1 a k = 1 ∑ n k = 1 …

11 reference-request  randomized-algorithms  property-testing 

Aşağıdaki sorun için bilinen herhangi bir alt sınır (örnek karmaşıklığı açısından) olup olmadığını merak ediyordum: üzerinde iki bilinmeyen , dağıtımına örnek oracle erişimi verildiğinde , test (whp)D1D1D_1D2D2D_2{1,…,n}{1,…,n}\{1,\dots,n\} D1=D2D1=D2D_1=D_2 veyad2(D1,D2)=∥D1−D2∥2=∑ni=1(D1(i)−D2(i))2−−−−−−−−−−−−−−−−−−√≥ϵd2⁡(D1,D2)=‖D1−D2‖2=∑i=1n(D1(i)−D2(i))2≥ϵ\operatorname{d_2}(D_1,D_2)=\lVert D_1-D_2\rVert_2 = \sqrt{\sum_{i=1}^n\left(D_1(i)-D_2(i)\right)^2} \geq \epsilon Batu ve diğ. [BFR + 00] gösterdi O(1ϵ4)O(1ϵ4)O\left(\frac{1}{\epsilon^4}\right) örnekleri yeterli, ama daha düşük bir bağlanmış herhangi …

11 ds.algorithms  lower-bounds  st.statistics  property-testing 

Let rasgele bir grafik olarak kenarları. Çok yüksek olasılıkla, birçok döngüsü vardır. Amacımız, bu döngüden herhangi birini olabildiğince çabuk çıkarmaktır .G∼G(n,n−1/2)G∼G(n,n−1/2)G \sim G(n, n^{-1/2})≈n3/2≈n3/2\approx n^{3/2}GGG444444 Biz erişebilir düşünürsek bitişiklik liste şeklinde, içinde sabit bir olasılık ile başarılı olabilir , aşağıdaki gibi bir süre: herhangi bir düğüm çekme ve rastgele üreten …

9 graph-theory  graph-algorithms  property-testing  random-graphs 

Bir grafik ve parametreleri verildiğini varsayalım . için olup olmadığını test etmek için (veya tüm için yapılabilir ) değer aralıkları var mı? ) zamanında en az bağımsız bir boyut kümesine sahip olmaktan uzak ?GGGk,ϵk,ϵk,\epsilonkkkkkkGGGϵϵ\epsilonkkkO(n+poly(1/ϵ))O(n+poly(1/ϵ))O(n + \text{poly}(1/\epsilon)) Eğer olağan -far (yani en fazla kenarlarının böyle bir set elde etmek için değiştirilmesi …

9 ds.algorithms  graph-theory  reference-request  property-testing