«reference-request» etiketlenmiş sorular

Referans-istek, yazarın soruyla ilgili çalışmalar hakkında bilgi sahibi olması gerektiğinde kullanılır.

3
Chernoff bağlı bir uzantısı
Ben Chernoff aşağıdaki uzantısı için bir referans (yapabileceğim bir kanıt değil) arıyorum . Let Boole rasgele değişkenler olarak mutlaka bağımsız değildir . Bunun yerine, her bir ve her olay için yalnızca bağlı olduğu garanti edilir . P r ( X i = 1 | C ) < p i C …

1
Deterministik hata azaltma, son teknoloji mi?
Bir randomize (BPP) algoritması sahip varsayalım AAA kullanılarak rrr rastgelelik bit. İçin başarı onun olasılığını yükseltmek için Doğal yolları 1−δ1−δ1-\delta , herhangi seçilmiş için δ>0δ>0\delta>0 vardır Bağımsız çalışır + çoğunluk oyu: işletilen AAA bağımsız bir şekilde, T=Θ(log(1/δ)T=Θ(log⁡(1/δ)T=\Theta(\log(1/\delta) . Kez ve çıkışların çoğunluğu oylama Bu gerektirir rT=Θ(rlog(1/δ))rT=Θ(rlog⁡(1/δ))rT =\Theta(r\log(1/\delta)) rasgelelik bitleri ve …

1
Entropi ve hesaplama karmaşıklığı
Silme bitinin enerji tüketmesi gerektiğini gösteren araştırmacılar var, şimdi hesaplama karmaşıklığı ile algoritmanın ortalama enerji tüketimi hakkında yapılmış herhangi bir araştırma var mı? Sanırım, hesaplama karmaşıklığı ortalama enerji tüketimi ile ilişkilidir, umarım burada biraz cevap alabilirim.F ( n )F(n)F(n)F(n)F(n)F(n)F(n)

1
Deterministik olmayan polinom zamanının denkliği ve deterministik polinom zamanı doğrulaması için birincil kaynak
Bir dil sertifikası polinom zamanında doğrulanabilirse, bir dilin NP'de olduğunu gösteren ilk kişi kimdi? Bunu resmi olarak kanıtlayan bir makalemiz var mı? TCS topluluğu ne zaman doğrulanabilirlik lehine determinizmi vurgulamaya başladı? Benim için, Papadimitriou, Arora ve Barak gibi metinlerin ötesinde bunun için iyi bir referans bulamıyorum.




2
Sayı alanı elekinin en kötü durum karmaşıklığı nedir?
Kompozit genel sayı alan eleği, tam çarpanlara ayırma için en iyi bilinen çarpanlara ayırma algoritmasıdır . Rastgele bir algoritmadır ve faktörü . N O ( e √N∈NN∈NN\in\Bbb NNNNNO(e649√(logN)13(loglogN)23)O(e649(log⁡N)13(log⁡log⁡N)23)O\Big(e^{\sqrt{\frac{64}{9}}(\log N)^{\frac 13}(\log\log N)^{\frac 23}}\Big)NNN Bu randomize algoritmada en kötü durum karmaşıklığı hakkında bilgi aradım. Ancak bilgileri bulamıyorum. (1) Sayı alanı elekinin en …


5
Algoritma tasarımında toplam birleştirici uygulamalar
Trevisan ve Lovett'in TCS'de aditif birleştiricinin uygulamaları üzerine anketler okuyorum . Bu uygulamaların çoğu , örneğin daha düşük sınırlar gibi, hesaplama karmaşıklığı altındadır . Katkı kombinatoriklerinin algoritma tasarımında da uygulamalar bulup bulamadığını merak ediyorum . Sorumun motivasyonu şudur: Katkı birleştirici ve karmaşıklık arasındaki bağlantı biraz doğal gibi görünse de, katık …

1
Optimal rasgele karşılaştırmalı sıralama
Bu yüzden hepimiz, (deterministik) bir karşılaştırma sıralama algoritmasıyla yapılan en kötü karşılaştırma sayısı üzerinde karşılaştırma ağacı alt sınırını biliyoruz . Rastgele karşılaştırma sıralaması için geçerli değildir (en kötü durum girdisi için beklenen karşılaştırmaları ölçersek). Örneğin, , deterministik alt sınır beş karşılaştırmadır, ancak rastgele bir algoritma (girişe rastgele izin verin ve …

2
Fikri Takip Etmek için Edebiyat Kaynağı Aranıyor
Sunacağım fikrini ilk ortaya koyan ben olmadığımdan oldukça eminim. Ancak, fikirle ilgili herhangi bir literatür bulabilirsem faydalı olacaktır. Fikir, P = NP ise M'nin 3-SAT'ı polinom zamanda çözeceği özelliğine sahip bir Turing Makinesi M oluşturmaktır. (3-SAT seçimi keyfidir. NP'de gerçekten herhangi bir sorun olabilir). Açıkça söylemek gerekirse, bu bir P …

2
Küçük döngüleri olmayan grafiklerde Hamilton döngüsü
Bu soru cstheory üzerine cevap verirken , (gayri resmi) anında aşağıdaki teoremi kanıtladım: Teoremi : herhangi bir sabit için Hamilton döngü probem uzunluğunun döngüleri içermeyen maksimum derecesi 3 olan iki parçalı yönsüz grafikleri düzlemsel sınırlı olsa bile, NP-tam kalır .l≥3l≥3l \geq 3≤l≤l\leq l Zaten bir yerde ortaya çıkmamış olması pek …

1
APX Sertliği QPTAS içermez mi?
Bu yüzden, web'de hızlı bir arama yapmak beni "APXHardness, [bazı karmaşıklık sınıfları] bazı [diğer karmaşıklık sınıflarına] dahil edilmedikçe bir sorun için hiçbir QPTAS'ın bulunmadığını ima ediyor ve çok iyi bilinmediğine inanmamı sağladı! Benim dışımda herkes bunu biliyor gibi görünüyor. Ne yazık ki, bu ifadeyi destekleyecek hiçbir referans verilmemiştir. İki sorum …

2
Dyck diller için referans olarak
Dyck dilleri aşağıdaki dilbilgisi S tarafından tanımlanır → S SDyck(k)Dyck(k)\mathsf{Dyck}(k){ ( 1 , … , ( k , ) 1 , … , ) k } simgeler kümesi üzerinden. Sezgisel olarak Dyck dilleri k türünündengeli parantezlerinin dilidir. Örneğin, (S→SS|(1S)1|…|(kS)k|ϵS→SS|(1S)1|…|(kS)k|ϵ S \rightarrow SS \,|\, (_1 S )_1 \,|\, \ldots \,|\, (_k …

Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.