«reference-request» etiketlenmiş sorular

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

1
devre değerlendirmesi
devre değerlendirme sorununun içinde olup olmadığı biliniyor mu? Ne ilgili (düzgün )?NC1NC1\mathsf{NC^1}NC1NC1\mathsf{NC^1}ALogTimeALogTime\mathsf{ALogTime}NC1NC1\mathsf{NC^1} derinliği devrelerinin evrensel bir sabit olduğu derinliği devreleri ile değerlendirilebildiğini biliyoruz . Bu, derinlik devrelerinin derinlik devresi ile değerlendirilebileceği anlamına gelir . Ancak , sonunda içindeki tüm işlevlere hakim olan bir işlev içermez .kkkk+ck+ck+ccccklgn+o(lgn)klg⁡n+o(lg⁡n)k\lg n + o(\lg n)O(lgn)O(lg⁡n)O(\lg …
2
Taşıma işlemleriyle mesafeyi düzenleme
Motivasyon: Bir yazar bir yazıyı düzenler ve düzenlemelerin net bir özetini görmek istiyorum. Araçlar benzeri tüm "fark" Sen eğer yararsız olma eğilimi hem etrafına metin hareketli (örneğin yeniden organize yapı) ve yerel düzenlemeler yapıyor. Doğru yapmak gerçekten çok mu zor? Tanımlar: İzin verilen işlemlerin yapıldığı minimum düzenleme mesafesini bulmak istiyorum: …
2
Toplam arama sorununun varlığı zaman içinde çözülemez mi? ?
Eğer ise , polinom zamanında çözülemeyen toplam arama problemleri olduğunu ( hem üyeliğe hem de üye olmayanlara tanık olmak).NP∩coNP≠PNP∩coNP≠P\mathsf{NP}\cap\mathsf{coNP} \neq \mathsf{P}NPNP\mathsf{NP} Bunun tersi de doğrudur, yani Toplam arama sorununun varlığı polinom zamanında çözülemez mi? ?NPNP\mathsf{NP}NP∩coNP≠PNP∩coNP≠P\mathsf{NP}\cap\mathsf{coNP} \neq \mathsf{P}
2
Çevrimiçi Algoritmalar kitapları
Çevrimiçi Algoritmalar hakkında yeni kitaplar var mı? Konuyla ilgili sadece iki kitap biliyorum. Allan Borodin ve Ran El-Yaniv'in Çevrimiçi Hesaplama ve Rekabet Analizi: Bu klasik fakat eski bir kitaptır ve bu alanda pek çok gelişme içermemektedir. Niv Buchbinder ve Joseph (Seffi) Naor'un Primal-Dual Yaklaşımı ile Rekabetçi Çevrimiçi Algoritmaların Tasarımı : …
1
Minimum açıyı en üst düzeye çıkaran grafik yerleştirme
Düzlemsel bir grafik verildiğinde, bir ızgarasına serbest doğrusal geçiş içine gömülebilir. Herhangi bir verimli algoritmalar düz çizgi bilinen bir düzlemsel grafik geçiş ızgara, bazı küçük , böylece iki kenar arasındaki minimum açı en üst düzeye gömülü bilinen olup olmadığını merak ediyorum ?n c × n c cn×nn×nn \times nnc×ncnc×ncn^c \times …
1
Koridor grafiklerin belirli alt sınıflarında hakim küme sorununun karmaşıklığı
Kordo grafiklerin alt sınıfları olan bazı belirli grafik sınıflarında hakim küme sorununun (DSP) karmaşıklığıyla ilgileniyorum . Bir grafik, yönlendirilmemiş bir ağaçtaki bir yol ailesinin tepe-kesişme grafiği ise yönlendirilmemiş bir yol grafiğidir . UP, yönlendirilmemiş yol grafiklerinin sınıfı olsun. Bir grafik, yönlendirilmemiş bir ağaçtaki yol ailesinin kenar kesişim grafiğiyse bir EPT …
2
Ramsey Sayılarının Uygulanması
Ramsey sayılarının tanımı şöyledir: Let en az bir düzen her grafik şekilde pozitif bir sayı ya da bir klik içeren köşe ya da sabit bir dizi köşe.R(a,b)R(a,b)R(a,b)R(a,b)R(a,b)R(a,b)aaabbb Ramsey Sayılarının bazı uzantıları üzerinde çalışıyorum. Çalışmanın teorik bir ilgisi olsa da, bu sayıların motivasyonunu bilmek önemlidir. Daha spesifik olarak Ramsey sayılarının (teorik …
4
Bağımlı tip teorisinde nesneleri (OOP) modelleme
Bağımlı tip teorisinde, nesne yönelimli programlamadan nesneleri modellemekle ilgileniyorum. Olası bir uygulama olarak, zorunlu programlama dillerinin farklı özelliklerini tanımlayabildiğim bir model istiyorum. Bağımlı tür teorisinde nesneleri modelleme üzerine sadece bir tane kağıt bulabildim, yani: Bağımlı tür teorisinde A. Setzer (2006) tarafından nesne yönelimli programlama Bu konuda kaçırdığım başka referanslar var …
1
SERF azaltılabilirliği ve alt üstel algoritmalar
Ben SERF-indirgenebilirlik ilgili bir sorum var Impagliazzo, Paturi ve Zane ve altüssel algoritmalar. SERF indirgenebilirliğinin tanımı aşağıdakileri verir: Eğer SERF indirgenebilir için ve orada için algoritma her , daha sonra orada için algoritma her . (Her iki problem için sertlik parametresi ile gösterilir .)P 2 O ( 2 ε n …
1
Sabit parametre izlenebilirliğinde parametrede temel sınırlar?
(Güçlü) sabit parametre izlenebilirliği tanımında, bağlanan süre formunun bir ifadesidir . s ( | x | ) , giriş, örneğin burada ( x , k ) parametresi, k , s bir polinomdur ve f a, hesaplanabilir fonksiyonu.f(k).p(|x|),f(k).p(|x|),f(k).p(|x|),(x,k)(x,k)(x,k)kkkpppfff İndirgeme kavramı benzer şekilde kısıtlandığı sürece için hesaplanabilirlik gereksinimini diğer işlev sınıflarıyla değiştirmek …
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.