«reference-request» etiketlenmiş sorular

Aşağıdakiler bana doğal bir tanım gibi geliyor ve bunun bir yerde çalışılmış olup olmadığını merak ediyorum Düşünmek X⊂2{0,1}∗X⊂2{0,1}∗\mathsf{X} \subset 2^{\lbrace 0, 1 \rbrace^*}bir dizi dil. SonraK⊂{0,1}ωK⊂{0,1}ωK \subset \lbrace 0, 1 \rbrace^\omega denir "XX\mathsf{X}-doğrulabilir bilgi "olduğunda L∈XL∈XL \in \mathsf{X} st (ben verdim x∈Lx∈Lx \in L, her öneki xxx içinde LLL (ii) …

9 cc.complexity-theory  reference-request 

Chris Pressey'in temel özyinelemeli işlevler hakkındaki ilginç sorusuyla ilgilendiğimde , daha fazlasını araştırıyordum ve bu soruya web'de bir cevap bulamadım. İlköğretim özyinelemeli fonksiyonlar üstel hiyerarşiye güzel karşılık,DTIME(2n)∪DTIME(22n)∪⋯DTIME(2n)∪DTIME(22n)∪⋯\text{DTIME}(2^n) \cup \text{DTIME}(2^{2^n}) \cup \cdots. Düşük temel fonksiyonlar tarafından karar verilebilen karar problemlerinin (terim?) EXP'de ve aslında DTIME'de yer alması gerektiği açıktır.(2O(n))(2O(n))(2^{O(n)}); bu işlevler, …

9 cc.complexity-theory  reference-request  complexity-classes  computability 

Son zamanlardaki bazı çalışmalar bağlamında, üç değerli mantık à la Kleene'ye dayanan bir dil tanımladık.111 gerçek anlamına gelir, 000 yanlış için ve ⊥⊥\bothata ya da bilmiyorum. Dilimizin etkileyici olduğunu göstermek için, işlevsel olarak tamamlanmış bir dizi operatör oluşturabileceğimizi kanıtlamak istedik. Literatürde mevcut sonuçları bulmak oldukça zordu. 1962'de Jobe tarafından yazılmış …

9 reference-request  lo.logic 

Benim sorum biraz belirsiz. Merak ediyorum (ve nasıl), treewidth kavramını grafiklerde paketleme sorunlarına uygulayabilir miyiz merak ediyorum. Bu konudaki geçmiş araştırma çalışmalarının herhangi bir içgörüsünden veya referanslarından memnun olurum (onların bir ilişki olduğunu varsayarsak). Teşekkürler.

9 ds.algorithms  reference-request  graph-theory  graph-algorithms  approximation-algorithms 

İki karmaşık A (bit) ve B (ob) ve R (eferee) oyuncularımızın olduğu iletişim karmaşıklığında bir çerçeve varsayalım. A ve B birbirleriyle doğrudan iletişim kurmazlar. Her iletişim turunda, her biri bir mesaj gönderir (mAmbirm_A, mBmBm_B) R'ye iki fonksiyon hesaplar fA(mbir,mB)fbir(mbir,mB)f_A(m_A,m_B) ve fB(mbir,mB)fB(mbir,mB)f_B(m_A,m_B)ve sonuçları onlara gönderir. Fonksiyonlar sabittir. Fikir, oyuncular arasındaki iletişimin …

9 cc.complexity-theory  reference-request  communication-complexity 

Bir makine öğrenme uygulaması için, grubumun Öklid mesafesini kkkbir küme inci en yakın komşu XXX her biri için x∈(X∪Y)⊂Rdx∈(X∪Y)⊂Rdx \in (X \cup Y) \subset \mathbb R^d (için ddd 5 ile yaklaşık 100 arasında ve |X|≈|Y||X|≈|Y||X| \approx |Y|birkaç yüz ila birkaç milyon). Şu anda ya kaba gücü kullanıyoruzO(d|X||X∪Y|)O(d|X||X∪Y|)O(d \lvert X \rvert …

9 reference-request  cg.comp-geom  near-neighbors 

En küçük kesim problemi hakkında okuduğum her yerde, sadece sorunun NP -hard olduğu biliniyor . Bunun kanıtı nerede bulabilirim? Bilinen NP- zor problemi en az kesim sorununu azaltır? Vazirani'nin Leighton Rao algoritmasını sunan Yaklaşım Algoritmaları kitabında ya da birçok NP tamamlanmış problemi özetleyen "Bilgisayarlar ve Sürdürülebilirlik" kitabında herhangi bir kanıt …

9 cc.complexity-theory  reference-request  np-hardness 

Büyütme: Ben doğrusal programlama problemlerinin bir ailem var tabi , . Unsurları , ve , pozitif tam sayılardır, kesinlikle pozitif. ( de ayrılmaz olmalı, ancak daha sonra endişeleneceğim.)c'xc′xc' xA x ≤ bAx≤bA x\le bx ≥ 0x≥0x\ge0birAAbbbccccccxxx Uygulamamda genellikle ve katsayıları , basitleştirilmiş tek geçişli bir algoritmanın her seçimi için en …

9 ds.algorithms  reference-request  linear-programming  matrices 

Önbellek-habersiz algoritmalar ve veri yapıları hakkında daha fazla bilgi edinmek ilginç, ama orada çok fazla makale var, dürüstçe nereden başlayacağımı bilmiyorum. Prokup'un konuyla ilgili iyi bir başlangıç ​​noktası gibi görünen orijinal tezini buldum, ancak konuyla ilgili basit ve erişilebilir bir giriş varsa, oradan başlamayı tercih ederim. Konuyla ilgili standart bir …

9 ds.algorithms  reference-request  cache-oblivious 

Beni doğru yönde başlattırabilecek herhangi bir işaretçi veya terimi takdir ediyorum. Yönlendirilmiş bir grafiğimiz var G = ( V, E)G=(V,E)G=(V,E) ve uzunluklar lben jlijl_{ij} her kenar için ben jijijbu pozitif kabul edilebilir. Özel bir başlangıç ​​düğümü varsss ve bitiş düğümü ttt. Her kenar için ben jijij, en kısa yolun uzunluğunu …

9 ds.algorithms  reference-request  graph-algorithms 

Cuma günü olduğu için bir CW sorusunun zamanı geldi. Optimizasyon problemlerinde geniş kullanım alanı olan buluşsal yöntemler arıyorum. Kapsamı daha 'teori dostu' sezgisel tarama ile sınırlamak için, kurallar şunlardır (bazıları keyfi, bazıları değil) Çok sayıda parametresiz ve somut bir çalışma süresi olan (belki de yineleme başına) iyi tanımlanmış bir yöntem …

9 ds.algorithms  reference-request  optimization  heuristics 

Aşağıdaki sorunun bir adı veya bununla ilgili herhangi bir sonuç olup olmadığını merak ediyorum. İzin Vermek G=(V,w)G=(V,w)G = (V,w) ağırlıklı bir grafik olmak w(u,v)w(u,v)w(u,v) arasındaki kenarın ağırlığını belirtir uuu ve vvvve herkes için u,v∈Vu,v∈Vu,v \in V, w(u,v)∈[−1,1]w(u,v)∈[−1,1]w(u,v) \in [-1,1]. Sorun, yanlarındaki kenarların ağırlıklarının toplamını en üst düzeye çıkaran bir köşe …

9 reference-request  graph-theory  approximation-algorithms  terminology  approximation-hardness 

Kendimi kesişen çokgen (ayrıca delik yapısı ile çokgen) nirengi üzerine sert zaman bulma algoritması veya yayınlanmış makalelerim vardı. Herhangi biri yayınlanmış makaleyi / algoritmayı bulmam için bana rehberlik edebilir mi? PS: birisi bu soruyu uygun şekilde etiketleyin lütfen, bunu yapmak için yeterli itibar puanım yok.

9 ds.algorithms  reference-request  cg.comp-geom 

K-SAT'a iyi ve nazik bir giriş yapmak için nereye başvurabileceğimi bilmek istiyorum (bu, iyi bir bilgisayar bilimi geçmişine sahip olmayan matematikçiler için olabilir). Ayrıca, k-SAT'ı çözmek için kullanılan mevcut yöntemleri araştıran veya açıklayan makaleler bilmek istiyorum. Son olarak, k-SAT'ı çözmek için en iyi bilinen yöntemlerle ilgileniyorum. En iyi ortalama durum …

9 reference-request  sat  survey 

İzin Vermek VVV bir dizi olmak DDDboyutlu dikdörtgen şekiller. İçind∈{1,...,D}d∈{1,...,D}d \in \{1,...,D\} ve v∈Vv∈Vv \in V, wd(v)∈Q+wd(v)∈Q+w_d(v) \in \mathbb{Q}^{+} uzunluğunu açıklar vvv boyutta ddd. Konteyner için aynı gösterim kullanılırCCC. DDDboyutlu dikey paketleme problemi (OPP-DDD) karar vermek VVV kabın içine sığar CCCüst üste gelmeden. Resmi olarak konuşursak, sorun,∀d∈{1,...,D}∀d∈{1,...,D}\forall d \in \{1,...,D\} …

9 cc.complexity-theory  reference-request  np-hardness  packing