«reference-request» etiketlenmiş sorular

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

1
Durma sorununun doğruluk tablolarının Kolmogorov karmaşıklığı asimptotik olarak biliniyor mu?
İzin Vermek 'HA LTnHALTnHALT_n uzunluk dizesini belirtmek 2n2n2^n uzunluk girişleri için durma probleminin doğruluk tablosuna karşılık gelen nnn. Kolmogorov karmaşıklık sırası K( HA LTn)K(HALTn)K(HALT_n) idi O ( 1 )O(1)O(1), ardından tavsiye dizelerinden biri sonsuz sıklıkta kullanılır ve bu dizeye sahip sabit kodlu bir TM çözebilir 'HA L THALTHALT muntazam sonsuz …
1
Eşit dağılım altında 2-DNF'nin uygun PAC öğrenmesi
Uygun PAC öğrenme 2-DNF formüllerinin örnek sorguları ve düzgün dağılımlı sorgu karmaşıklığı ile ilgili son teknoloji sonuç nedir? Yoksa önemsiz olmayan herhangi bir sınır? Öğrenme teorisine hiç aşina olmadığım ve bu soru farklı bir alan tarafından motive edildiğinden, cevap açık olabilir. Kitabı Kearns ve Vazirani tarafından kontrol ettim, ancak bu …
1
Modüler ayrışma grafiğinin kaynağı
Grafik modüler ayrışma sunarken , çoğu yazar wikipedia'dan kopyaladığım 11 tepe grafiğini kullanır. Soru, onun orijinal tasarımcısı kimdir. (Bu grafiği wikipedia için kimin çizdiğini sormuyorum, ama orijinal kaynağı.) Vikipedi sayfası Aralık 2006'da oluşturuldu. Bulabildiğim en eski kaynak , Christophe Paul'ün 17 Mayıs 2006 tarihli Habilitation tezidir . (Yoğun arama yapmadım.)
1
Karekök Sorunun Üst Sınırının İspatı
[1] 'de Garey ve ark. Öklid TSP'sinin NP-bütünlüğü üzerinde çalışırken daha sonra Karekök Sorununun Toplamı olarak bilinecek olanı saptar. Verilen tamsayılar bir1,bir2, … ,birna1,a2,…,ana_1, a_2, \ldots, a_n ve LLL, belirleyin bir1--√+bir2--√+ ⋯ +birn--√&lt; La1+a2+⋯+an&lt;L\sqrt{a_1} + \sqrt{a_2} + \cdots + \sqrt{a_n} < L Toplamı yeterince karşılaştırmak için kare köklerin hesaplanmasında asgari …
1
En iyi bilinen asimtotik PCP boyutları / 3-SAT
Olasılıkla kontrol edilebilir kanıt boyutlarında en iyi bilinen asimtotik üst sınırlar nelerdir? İdeal olarak, bu geniş soru hakkında çağdaş bir araştırma arıyorum, ancak hiç değilse, özellikle 3-SAT'ın yakınlığıyla ilgileniyorum. 7/8 + ε-3-SAT, cümlelerin 7/8 + ε kısmı tatmin edici ise, o zaman örnek tatmin edilebilir olacak sözüyle 3-SAT olsun. 3-SAT …
2
MLTT'de tür çıkarımı ve tür kontrolünün karar verilebilirliği
Martin-Löf'ün Sezgisel Bir Türler Teorisi: Öngörücü Bölüm'de tür denetiminin kanıtlandığı kanıtlanmıştıra:Aa:Aa \colon AKarar verilebilen olduğu tabiaaailk etapta yazılabilir olmak , kapalı yazılabilir terimler için normalleşme teoremini kanıtlamak. Öte yandan, birden fazla yerde (Wikipedia, Nördstrom vb.) Yazıldığını gördüm. örtük olarak yazılabilir terimlerle mi sınırlılar? Eğer türetilebilir terimlerle sınırlandırılmazsak, tür MLTT'de tür …
1
İki kelimenin bir dilde araya girip girmediğini kontrol etmenin karmaşıklığı
Bazı alfabe sabit bir dil için , INTERLEAVING adını verdiğim şu sorunu ele alalım :LLLAAALLL Giriş: iki kelimeu,v∈A∗u,v∈A∗u, v \in A^* Çıktı: de ve araya eklenmesi olup olmadığı .uuuvvvLLL Burada, ve kelimelerinin bir araya getirilmesi , göreli sıralarını korurken ve harflerini alarak sezgisel olarak elde edilebilen bir kelimesidir . Biçimsel …
1
Düzenli diller ve sürekli iletişim karmaşıklığı
İzin Vermek L⊆A∗L⊆A∗L \subseteq A^* dil ol ve tanımla fL:A∗×A∗→{0,1}fL:A∗×A∗→{0,1}f_L\colon A^* \times A^* \to \{0, 1\} tarafından fL(x,y)=1fL(x,y)=1f_L(x, y) = 1 iFF x⋅y∈Lx⋅y∈Lx\cdot y \in L. Şunun için bir referans arıyorum: Önerme. LLL belirleyici iletişim karmaşıklığı düzenli ise fLfLf_L sabittir. Başka bir deyişle, LLL iki oyunculu bir protokol varsa PPP …
1
Digraph homomorfizminin yönlendirilmiş bir döngüye karmaşıklığı
Sabit bir yönlendirilmiş grafik verildi (digraph) DDD, DDD-COLORING karar problemi bir girdi digrafisi olup olmadığını sorar G,GG homomorfizması var DDD. (Bir homomorfizmasıG,GG için DDD bir eşleme fff nın-nin V( G )V(G)V(G) için V( D )V(D)V(D) yayları koruyan, yani sen vuvuv bir yay G,GG, sonra f(u)f(v)f(u)f(v)f(u)f(v) bir yay DDD.) Sınıfı DDD-RENKLEME …
2
Grafik izomorfizmi için bir grafiğin otomorfizmlerinin sayısı
Let ve , iki olmak boyutu -Normal bağlı grafikleri . , olacak şekilde permutasyon kümesi olsun . Eğer , sonra otomorfizmaları kümesidir .GGGHHHrrrnnnAAAPPPPGP−1=HPGP−1=HPGP^{-1}=HG=HG=HG=HAAAGGG büyüklüğünde en iyi bilinen üst sınır nedir? Belirli grafik sınıfları için herhangi bir sonuç var mı (tam / çevrim grafikleri içermiyor)?AAA Not: Otomorfizm grubunun oluşturulması, en azından …
2
Grafik sınıfına bir ad verin: Bir klik ile bağımsız bir kümenin ayrık birleşimi
İzin Vermek G,G,G bir klik ile bağımsız bir kümenin ayrık birleşimi olan bir grafik, yani G =Kn1+Kn2¯¯¯¯¯¯¯¯=Kn1+benn2.G,=Kn1+Kn2¯=Kn1+benn2.G = K_{n_1} + \overline{K_{n_2}} = K_{n_1} + I_{n_2} . Tüm bu grafiklerin grafik sınıfı yasak indüklenmiş alt çizgi setiyle karakterize edilir H ={2K2,P3}'H={2K2,P3}\mathcal{H} = \{2K_2, P_3\} ve bu nedenle bir küme grafiğinin ve …
2
Sınırlı Treewidth'in Düzlemsel Grafiklerini Numaralandırma
Aşağıdaki sorun için referanslar arıyorum: verilen tamsayılar nnn ve kkk, izomorfik olmayan tüm düzlemsel grafikleri nnn köşe noktaları ve trewthth ≤k≤k\leq k. Hem teorik hem de pratik sonuçlarla ilgileniyorum, ancak kodlamak ve mümkün olan en büyük değerleri çalıştırmak için mümkün olan pratik algoritmalarnnn ve kkk (düşünmek k≤5k≤5k \leq 5 ve …
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.