«reference-request» etiketlenmiş sorular

1-in-3-SAT'ın karmaşıklık sınıfında sınırlı sayıda değişken olayla bilinen bir sonuç var mı? Peter Nightingale ile aşağıdaki cimri indirgeme geldim, ancak bu biliniyorsa bir şeyden bahsetmek istiyorum. İşte geldiğimiz hile. Bu, değişken başına 3 tekrar ile sınırlı 1-in-3-SAT'ın NP tamamlanmış ve #P tamamlandığını (1-in-3-SAT olduğu için) , 3-SAT'ın 3 tekrar ile …

11 reference-request  sat  reductions 

Orada algoritmik grafik teorisi / sayılar teorisi / combinatorics / enformasyon teorisi / oyun teorisi. Algoritmik matematiksel analiz var mı? Wiki'ye göre, matematiksel analiz farklılaşma, integrasyon, ölçü, limitler, sonsuz seriler ve analitik fonksiyonlar teorilerini içerir. Gerçek bir değişkenin gerçek sayıları ve gerçek değerli fonksiyonları ile ilgilenen gerçek analize (wiki) odaklanmak …

11 cc.complexity-theory  reference-request  soft-question  computability 

Teorik bilgisayar bilimi ve özellikle de yaklaşım algoritmaları üzerine yüksek lisans öğrencisiyim. Şimdi saf matematikle daha fazla ilgilendiğimi görüyorum (bunu söyleyebilirim çünkü matematik derslerinden CS derslerinden daha fazla keyif aldım). Teorik bilgisayar bilimlerinde oldukça saf matematik (daha kesin olmak gerekirse, CS'ye yapılan uygulamaları düşünmeden saf matematikle ilgilenen bir alan) veya …

11 reference-request  soft-question 

Aşağıdaki sorunu düşünün: X, y iki dizgisi verildiğinde, f (x) = y olacak şekilde bir dizgi homomorfizması olup olmadığına karar verin. Bu sorunun olduğunu göstermek kolaydır . Bu sorun hakkında söyleyebileceğimiz başka şeyler var mı? Örneğin, , hatta mi?N-PN-PNPc o NPcÖN-PcoNPPPP Bu sorun çok doğal görünüyor, bu yüzden iyice incelenmişse …

11 cc.complexity-theory  reference-request  fl.formal-languages 

Aşağıdaki test sorunu için daha düşük sınırlar biliniyorsa ( bu diğer soru ile ilgili) bilmek istiyorum : bir negatif olmayan numaralar dizisine sorgu erişimi verilir ve , veya . ε ∈ ( 0 , 1 ) ∑ n k = 1 a k = 1 ∑ n k = 1 …

11 reference-request  randomized-algorithms  property-testing 

Bildiğimiz gibi, algoritmanın hesaplama karmaşıklığının tanımı neredeyse tartışmasızdır, ancak gerçeklerin veya hesaplama modellerinin gerçekler üzerindeki hesaplama karmaşıklığının tanımı böyle bir durumda değildir. Hesaplanabilir Analiz kitabında Blum ve Smales modelini ve modelini biliyoruz. Ve görünüşte, Hesaplanabilir Analiz'deki model klasik modelle tutarlıdır, ancak gerçeklerin hesaplama karmaşıklığının tanımı klasik modele dönüştürülemez. Gerçek ya …

11 cc.complexity-theory  reference-request  computability  computing-over-reals  computable-analysis 

Gerçeküstü sayıların Conway tarafından çok güzel bir yapı var. Bunlar, hem gerçek sayıları hem de sıra sayılarını içeren, tamamen sıralanmış ve bir alanın tüm özelliklerine sahip olan (sayılardır) (bir küme değil bir sınıf oluşturmaları dışında). Giriş için bu pdf veya Wikipedia'ya bakınız . Başlangıçta kombinatoryal oyunları incelemek için tanıtılan "oyunlar" …

11 reference-request  gt.game-theory  implementation  board-games  combinatorial-game-theory 

Bir grafik düşünün (sorun hem yönlendirilmiş hem de yönlendirilmemiş grafikler için anlamlıdır). Çağrı M G uzaklıklarda matris G : M G [ i , j ] tepe arasındaki en kısa yol mesafesi i tepe için j içinde G (örneğin, belirli bir sabit agregasyon fonksiyonu için + veya maksimum ).GGGMGMGM_GGGGMG[i,j]MG[i,j]M_G[i, j]iiijjjGGG+++maxmax\max …

11 ds.algorithms  reference-request  graph-algorithms  shortest-path 

In for Free Teoremler! Wadler, parametrikliğin karakterizasyonunun gevşek doğal dönüşümler açısından yeniden ifade edilebileceğini ve bunun başka bir makaleye konu olacağını söylüyor. Hangi makaleye atıfta bulunuyor? Bildiğim paramterikliğe kategorik yaklaşım, Bainbridge, Freyd, Scedrov ve PJ Scott'un Functorial Polymorphism'deki gibi dinatural dönüşümleri kullanıyor . Gevşek doğal dönüşüm ile parametrikliğin dinatural dönüşüm …

11 reference-request  ct.category-theory  parametricity 

Aşağıdaki iddia biliniyor mu? Talep : n köşesi olan herhangi bir grafiği için , her bağımsız kümenin en fazla renkle renklendirileceği bir rengi vardır.G,GGnnnO ( √G,GGO ( n--√)O(n)O(\sqrt{n})

11 reference-request  graph-colouring 

Sınırlı derece grafikleri için bile W [1] -hard olan problemleri biliyor musunuz? Metrik Boyut derecesi en fazla 3 olan grafiklerde zordur, ancak W [2] serttir. Kırmızı-Mavi Nonblocker sınırlı dereceli grafiklerde W [1] -harddı, ancak kanıtta bir hata vardı (Downey Fellows 2013 kitabı) ve sadece mavi köşeler sınırlı derecedeyse zor.

11 reference-request  parameterized-complexity 

Algoritmalar (CLRS ve DPV gibi algoritma ders kitaplarında kapsanan konuların ötesinde konular) ileri konularda kaynaklar (tercihen bir el kitabı) arıyorum. Erik Demaine ve David Karger'in Gelişmiş Algoritmalar kursu gibi algoritma kursunda bir konu öğretmek için kullanılabilecek malzeme türü . Alanla ilgili genel bir bakış sunacak kaynaklar (el kitabı gibi) tercih …

11 ds.algorithms  reference-request  survey  books 

1997'de Impagliazzo ve Wigderson'un ünlü makalesini okuyorum. Bu alanda yeni olduğum ve bildiri kısa bir konferans versiyonu olduğu için kanıtlarını takip etmekte zorlanıyorum. Özellikle, bazı yeni teoremleri kanıt içermiyor. En iyi bilgime göre, yayınlanan bir dergi sürümü yoktu.P = B P PP=BPP\mathsf P=\mathsf{BPP} Sonuçlarını, tercihen resmi kanıtı olanları öğrenebileceğim kaynaklar …

11 cc.complexity-theory  reference-request  circuit-complexity  derandomization  pseudorandom-generators 

Grafik İzomorfizmi (GI) tam problemlerini incelemekle ilgileniyorum. Kellogg S. Booth, (1979) tarafından hazırlanan "Grafik İzomorfizmasına Polinomik Olarak Eşdeğer Sorunlar" başlıklı makalede, Edge temel teknikler, Kompozisyon teknikleri vb. Kullanılarak birçok temel sorunun GI'nin tamamlandığını kanıtlamıştır. Son yazılarda kullanılan bazı teknikleri öğrenmek istiyorum. Bazıları bana bazı grafik sınıflarının GI'nin tamamlandığını kanıtlamaya daha …

11 cc.complexity-theory  reference-request  graph-isomorphism 

Şimdiye kadar, grafiklerde ayırıcılarda, düzlemsel ayırıcıdan, ağaç ayırıcıdan, sınırlı ağaç genişliği grafiklerinden, sınırlı cins grafiklerden, vb. Vb.

11 reference-request  graph-algorithms  survey