«reference-request» etiketlenmiş sorular

Ortalama vaka alanı karmaşıklığı analiz edilen sorunları bulmaya çalışıyorum. Daha spesifik olarak, süper doğrusal olan kanıtlanmış bir alan karmaşıklığı alt sınırı ile ilgili herhangi bir sorun olup olmadığını bilmek istiyorum ve özellikle bir ortalama-durum analizi (örneğin, algoritmaya izin verilse bile sınır tutar) küçük bir süre için hata yapmak vb.) Şimdiden …

11 cc.complexity-theory  reference-request  space-bounded  average-case-complexity 

Bu soru üzerine sorulan bir soruya motive edilmiş stackoverflow . Eğer köklü ağaç verilir varsayalım (yani bir kök var ve düğümleri çocuk vb var) üzerinde düğümleri (etiketli ).n 1 , 2 , … , nTTTnnn1,2,…,n1,2,…,n1, 2, \dots, n Her tepe noktası , negatif olmayan bir tamsayı ağırlığına sahiptir: .w beniiiwiwiw_i …

11 cc.complexity-theory  reference-request  np-hardness  tree  application-of-theory 

Bu, kısmi boole işlevleri için iletişim alt sınırları hakkındaki önceki sorumun devamıdır . Belirsiz çok taraflı iletişim için birisi alt sınırlar hakkında herhangi bir referans önerebilir mi? Alandaki makaleleri inceliyorum, ancak herkes aşağıdaki tipte ayrımlar gösteriyor gibi görünüyor: rastgele protokol için bir alt sınır ve belirsiz olmayan bir protokol için …

11 cc.complexity-theory  reference-request  lower-bounds  communication-complexity  norms 

DDD{ 0 , 1 }d× { 0 , 1 }{0,1}d×{0,1}\{0,1\}^d\times \{0,1\}CCCf: { 0 , 1 }d→ { 0 , 1 }f:{0,1}d→{0,1}f:\{0,1\}^d\rightarrow\{0,1\}f∈ Cf∈Cf \in CO P T ( C , D ) = dk f ∈ C e r r ( f , D ) A C D 2 / 3 …

11 reference-request  machine-learning  lg.learning 

Bir EE öğrencisiyken, kaç tane iç içe döngüye sahip oldukları açısından, boole devrelerinin güzel bir karakterizasyonunu sunan bazı derslere katıldım. Karmaşıklıkta, boole devreleri genellikle veri olarak düşünülür, ancak gerçek donanım döngülerinde yaygındır. Şimdi, bir ilmeğin ne olduğu ve iç içe bir ilmeği neyin oluşturduğu ile ilgili bazı tekniklerin modülo olduğu …

11 cc.complexity-theory  reference-request  circuit-complexity  machine-models  ar.hardware-architecture 

Bir grafikte, bağımsız bir küme indüklenmiş alt çizgi olarak bir kenar içermeyen bir tepe alt kümesidir. Bir grafikte en büyük bağımsız kümeleri bulma sorunu temel algoritmik bir sorudur ve zor bir sorudur. Bir grafiğin en büyük H-serbest kümesini (daha büyük) bulma konusunda daha genel bir soruyu ele alalım, burada H-serbest, …

11 ds.algorithms  reference-request  graph-theory  np-hardness  co.combinatorics 

Birçok ders kitabında Sistem F için konu azaltma ve güçlü normalizasyonun kanıtlarına bakmak kolaydır, ayrıca bazen (F, r) sadece kodlama değil, terim olan Sistem F'nin çiftlerle tanımları vardır. Soru, bu sistem için referans ne olurdu?

11 reference-request  lo.logic  type-theory  lambda-calculus  polymorphism 

Özellikle model kontrol uygulamalarında kullanımlarıyla ilgileniyorum. Baskett ve ark. Tarafından farklı Müşteri Sınıflarına Sahip Açık, Kapalı ve Karışık Kuyruk Ağlarım var. Materyal okumak için başka önerileriniz var mı? Teşekkürler.

11 reference-request  markov-chains  queueing-theory  model-checking 

Tarafından Göstermek içinde en az üzerinden derecesi G ve ile ö - ( G ) içinde derece az.δ+( G )δ+(G)\delta^+(G)G,GGδ-( G )δ−(G)\delta^-(G) Bir de ilgili soru , I Ghouila-Houri uzantısı belirttiğimiz Hamilton döngülere Dirac teoremi göstermektedir, eğer sonra G Hamiltonyan'dır.δ+( G ) , δ-( G ) ≥ n2δ+(G),δ−(G)≥n2\delta^+(G),\delta^-(G) \geq \frac{n}{2} …

11 reference-request  graph-theory 

Gross ve Tucker'ın Topolojik Grafik Teorisi kitabına göre , bir grafiğin bir yüzeye hücresel gömülmesi göz önüne alındığında ('yüzey' ile burada bazı tutamaçları olan bir küreyi kastediyorum ve S n'nin altında , tam olarak n tutamaçları), orijinal grafiğin yüzlerine köşe olarak muamele ederek ve karşılık gelen yüzlerin orijinal grafikte ortak …

11 ds.algorithms  reference-request  graph-theory  cg.comp-geom  topological-graph-theory 

Bir çizgi parçasının eğimini sayısallaştırmasından kurtarmak için herhangi bir çalışma yapıldı mı? Elbette bunu mükemmel bir doğrulukla yapamazsınız; birinin istediği, sayısallaştırılmış bir çizgiden olası eğimler aralığını türetmek için bir yöntemdir. (Kullandığım sayısallaştırılmış bir çizgi kavramı Rosenfeld'in: çiftler kümesi burada i tamsayılar (veya ardışık tamsayılar bloğu) arasında değişir ve n i …

11 reference-request  cg.comp-geom  cv.computer-vision  image-processing 

Submodüler fonksiyonlar teorisine referansla çok ilgilenirim (temelden ileri seviyeye). Özellikle, sert optimizasyon problemlerine yaklaşımları inceliyorum ve çalıştığım optimizasyon problemleriyle ilgili oldukları için temellerimi modüler fonksiyonlarda geliştirmek istiyorum. Şimdiden teşekkürler.

11 ds.algorithms  reference-request  approximation-algorithms  optimization 

Birisinin bana neden endüktif veri türlerinin sıkı pozitifliğinin güçlü normalleşmeyi garanti ettiğini arkasındaki sezgiyi verip veremeyeceğini merak ediyorum. Açık olmak gerekirse, olumsuz oluşumların nasıl ıraksamaya yol açtığını görüyorum, yani: data X where Intro : (X->X) -> X ıraksak bir fonksiyon yazabiliriz. Ama bunu nasıl kesin pozitif endüktif tipleri kanıtlayabilirim merak …

10 reference-request  pl.programming-languages  type-theory  type-systems  dependent-type 

Üzerinde çalıştığım bağımlı tipte bir hesap için daktilo denetiminin karar verilebilir olduğunu göstermem gereken bir durumdayım. Şimdiye kadar, sistemin güçlü bir şekilde normalleştiğini ve böylece tanımsal eşitliğin karar verilebilir olduğunu kanıtlayabildim. Okuduğum birçok referansta, daktilo denetiminin karar verilebilirliği güçlü normalleşmenin bir sonucu olarak listeleniyor ve bu durumlarda buna inanıyorum, ancak …

10 reference-request  pl.programming-languages  type-theory  dependent-type  typed-lambda-calculus 

Programın tersine çevrilmesi terimi , birçok anlam gölgesine sahiptir, ancak muhtemelen J. McCarthy'nin AI bağlamında Turing Makineleri tarafından tanımlanan işlevlerin tersine çevrilmesi çalışmasıyla başlamıştır . Şimdiye kadar, program ters çevirme ve diğer alanlar arasında birçok bağlantı keşfedilmiştir, örneğin, tersinir programlama (fiziksel ve mantıksal), kısmi değerlendirme, doğrulama, çift yönlü programlama, mantık …

10 reference-request  lambda-calculus  typed-lambda-calculus  reversible-computing