«reference-request» etiketlenmiş sorular

Freyd'in ünlü Como90'daki "Cebirsel Olarak Tamamlanmış Kategoriler" adlı makalesini okudum ve bu makalede tanımladığı cebirsel kompaktlık kavramı hakkında iki sorum var. (Eğer tanıma aşina değilseniz, işte burada: Eğer her endofunktörün bir ilk cebiri ve kanonik olarak izomorfik olan bir son ortak cebiri varsa, kategoriye cebirsel olarak kompakt denir.) Cebirsel olarak …

12 reference-request  type-theory  ct.category-theory 

Aşağıdaki algoritma / sorun için bibliyografik referanslar arıyorum: "BiSelect" veya "t-ary Select" veya "Sıralı Diziler Birliği'nde Seç" olarak adlandırdım, ama sanırım daha önce başka bir ad altında tanıtıldı? Sorun Aşağıdaki sorunu düşünün: Verilen ayrık sıralı diziler , ilgili boyutları arasında ve bir tamsayıdır , ne bunların sıralanmış birliğin inci değeri …

12 reference-request 

Aşağıdaki sorunun hangi karmaşıklık sınıfına ait olduğunu anlamaya çalışıyorum: Üstel Polinom Kök Sorunu (EPRP) Let be bir polinom ile ° ( p ) ≥ 0 sonlu alanından çekilen katsayılı G F ( k ) ile q asal sayı ve r bu alan için ilkel kök. : Çözeltilerini belirlemek p ( …

12 cc.complexity-theory  reference-request  comp-number-theory  np-intermediate 

Biz o biliyor musunuz hiyerarşi (çökmez Herkes için )?TC0TC0\mathsf{TC^0}TC0d⊊TC0d+1TCd0⊊TCd+10\mathsf{TC^0_d} \subsetneq \mathsf{TC^0_{d+1}}ddd için Zoo girişiTC0TC0\mathsf{TC^0} yalnızca derinlik 2 ve 3 arasındaki ayrımdan bahseder. Ayrıca hiyerarşisinin için standart bir başvuru var mı?AC0dbirCd0\mathsf{AC^0_d}

12 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  bounded-depth 

Şu anda Düzenli ama Bağlam Ücretsiz'in altındaki dil sınıflarını içeren bazı Resmi Dil araştırmaları yapıyorum. Reversal-Bounded Multicounter Machines, Single-stack counter makineleri, deterministic CFL'ler vb. Şeylere bakıyorum. Bu dillerin özelliklerini özetleyen iyi bir kitap veya anket kağıdı bilen var mı merak ediyorum. Baktığım şeylerin çoğu, 1979 baskısında bile Hopcroft-Ullman kitabımda yer …

12 reference-request  co.combinatorics  fl.formal-languages  automata-theory  research-practice 

Simpleks algoritması genellikle gerçek aritmetik olarak veya kesin hesaplamalarla ayrık dünyada ele alınır. Ancak, en çok kayan nokta aritmetiği ile uygulandığı görülmektedir. Bu, simpleks algoritmanın sayısal bir algoritma olarak kabul edilip edilmeyeceği, özellikle yuvarlama hatalarının hesaplamayı nasıl etkilediği sorusuna yol açar. Pratik uygulamalarla değil, teorik temellerle ilgileniyorum. Bu konuda herhangi …

12 ds.algorithms  reference-request  optimization  linear-programming  na.numerical-analysis 

Bir kısmi sipariş koleksiyonuna sahipseniz, topolojik sıralama, koleksiyonun toplam siparişe bir uzantısı olup olmadığını size bildirir (bu durumda bir uzantı, kısmi siparişlerin her biriyle tutarlı bir toplam sipariştir). Bir varyasyonla karşılaştım: Bir dizi düzeltme . Size tekrarlama yapılmadan çizilen öğelerin dizileri (diziler 1 ile arasında uzunluktadır ).σ 1 , …

12 ds.algorithms  reference-request  order-theory 

Bir MPA (multipebble otomat) bir 2DFA aslında en fazla çakıl (keyfi numarasını kullanabilirsiniz (iki yönlü deterministik sonlu durum makinesi) 'dir belirli bir girdinin üzerine çakıl giriş iki ucu arasındaki bantta yazılır - - ). Hesaplama sırasında, bir MPA kafanın altındaki sembolün bir çakıl taşı olup olmadığını tespit edebilir ve daha …

12 cc.complexity-theory  reference-request  automata-theory  space-bounded 

Umarım birisi bunu bilir, bu yüzden literatürü okumak zorunda değilim ... sayı dizisini göz önünde bulundurun . Diziyi n - 1 aralık [ x 1 , x 2 ] , [ x 2 , x 3 ] , … , [ x n - 1 , x n ] olarak …

12 ds.algorithms  reference-request  sorting 

Benzersiz SAT iyi bilinen sorundur: CNF formülü verildiğinde F'nin tam olarak bir modeli olduğu doğru mu?FFFFFF «Tam -SAT» problemiyle ilgileniyorum : CNF formül F ve m > 1 tamsayısı verildiğinde , F'nin tam olarak m modelleri olduğu doğru mu?mmmFFFm>1m>1m>1FFFmmm Her iki problem de benzer görünüyor. Yani sorularım: 1- «Tam olarak …

12 cc.complexity-theory  reference-request  np-hardness  sat  reductions 

Bir dizi Kolmogorov karmaşıklık düşünebiliriz xxx en kısa programı uzunluğu olarak PPP ve giriş yyy , öyle ki x=P(y)x=P(y)x = P(y) . Genellikle bu programlar bir Turing-complete setinden ( gibi PPPbir Turing makinesinin tanımı olabilir veya LISP veya C'deki bir program olabilir) çizilir . Kaynağa bağlı Kolmogorov karmaşıklığına baktığımızda bile, …

12 reference-request  computability  kolmogorov-complexity 

Eğer maksimum derecede 3 olan bir grafiktir ve küçük bir olan , H , o G bir topolojik küçük olan H .GGGHHHGGG'HHH Wikipedia, bu sonucu Diestel'in "Grafik Teorisi" nden alıntı yapıyor. Kitabın son sürümünde Prop 1.7.4 olarak listelenmiştir. Kitapta kanıt veya alıntı yok. Bunun nerede (orijinal) bir kanıtı olduğu biliniyor …

12 reference-request  graph-theory  co.combinatorics  graph-minor 

Darboğazın en kısa yolları için iyi bir referans arıyorum. Özellikle, kenar ağırlıkları olan yönlendirilmemiş bir grafikte s ve t köşeleri verildiğinde, bir yolun uzunluğunun o yoldaki maksimum kenar olduğu s'den t'ye en kısa yolu istiyorsunuz. Bu, medyan kenar ağırlığını bularak ve (dikkatlice) kenarların yarısını tekrar tekrar silerek O (n + …

12 ds.algorithms  reference-request  graph-algorithms 

Çeşitli programlama dili özelliklerinin semantiği hakkında bir araştırma (kağıt, kitap bölümü, öğretici, bağlantılar, ...) var mı? Aslen burada D'nin özellikleri karşısında bunalmıştım http://www.digitalmars.com/d/2.0/comparison.html Stackoverflow ile ilgili benzer bir soru sordum ve bu iki sitenin farklı bakış açıları olduğunu anlasam da, muhtemelen buradan ne alabilirim görmek istiyorum . Cevabınızı gerçekten takdir …

12 reference-request  pl.programming-languages  survey 

Aşağıdaki sorun hakkında bilinenler nelerdir? F : { 0 , 1 } n → { 0 , 1 } fonksiyonlarından oluşan bir koleksiyonu verildiğinde , bazı tamsayı k için VC-Boyut ( S ) ≤ k kısıtlamasına tabi olarak en büyük alt toplama S ⊆ C'yi bulun .CCCf:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n\rightarrow\{0,1\}S⊆CS⊆CS \subseteq C(S)≤k(S)≤k(S) \leq …

12 reference-request  approximation-algorithms  cg.comp-geom  lg.learning  vc-dimension