Teorik Bilgisayar Bilimi

Bu ise kağıt Kempe-Kleinberg-Tardos tarafından, Yazarlar belirlemek için Altmodüler fonksiyonlar dayalı bir açgözlü algoritmalar teklif sosyal ağlara uygulamaları ile bir grafikte en etkili düğümler.kkk Temel olarak algoritma aşağıdaki gibi gider: S= e m p t y s e t S=empty setS = {\rm empty~set} en yüksek bireysel etkiye sahip düğümü …

13 ds.algorithms  graph-theory  dc.distributed-comp  social-sciences  heuristics 

Chong, Han ve Lam , yönlendirilmemiş bağlantının O ( m + n ) işlemcilerle zamanında EREW PRAM'da çözülebileceğini gösterdi .O(logn)O(logn)O({\log}n)O(m+n)O(m+n)O(m+n) Yönlendirilmiş düzlemsel grafiklerde st-bağlanabilirlik için en iyi bilinen paralel algoritma nedir? Lütfen çalışma süresini, deterministik / randomize algoritmayı ve kullanılan PRAM modelini belirtin (işlemci sayısının polinom olduğunu varsayarak). Bu soru …

13 ds.algorithms  graph-theory  dc.parallel-comp 

Öklid geometrisini kullanırken NP-tamamlanmış ancak öklid olmayan bazı geometriler için polinom zamanında iyi tanımlanmış ve çözülebilen herhangi bir problem var mı?

13 reference-request  cg.comp-geom 

Alon ve Spencer'ın Olasılıksal Yöntem kitabının 1. Bölümünde şu problemden bahsediliyor: Bir grafik verildiğinde , kenar bağlantısının en az n / 2 olup olmadığına karar verin .GGGn/2n/2n/2 Yazar varlığını söz Matula göre algoritma ve bunu artırır O ( n, 8 / 3 günlük , n ) .O(n3)O(n3)O(n^3)O(n8/3logn)O(n8/3log⁡n)O(n^{8/3}\log n) Benim sorum, …

13 ds.algorithms  open-problem  graph-algorithms 

Dal ve sınır, arama sorunları için etkili bir buluşsal yöntemdir ve Wikipedia, dal ve sınırın kullanıldığı bazı zor sorunları listeler . Ancak, bu sorunları çözmek için sadece "bir yöntem" daha fazlası olduğunu önermek için referans bulamadık. Anekdot olarak, SAT ve tamsayı programlama için en iyi buluşsal yöntemlerin bazılarının daldan ve …

13 ds.algorithms  reference-request  optimization  heuristics 

L olarak da bilinen parite-L, yalnızca çift sayı veya tek sayıda "kabul" yolu ayırt edebilen deterministik olmayan bir Turing makinesi tarafından tanınan dil kümesidir. Yakın zamanda ilgili bir soru Niel de Beaudrap tarafından sorulmuştur.⊕⊕\oplus Sorum şu: Bildiğimiz musunuz NL eğer ⊆⊆\subseteq ⊕⊕\oplus L? Yoksa bu iki sınıfın kıyaslanamaz olduğuna inanılıyor …

13 cc.complexity-theory  counting-complexity 

Bu soru Peng Zhang'ın bir MathOverflow sorusu tarafından motive edilmiştir . Valiant, genel bir grafikte maksimal klipleri saymanın # P tam olduğunu gösterdi, ancak karşılaştırılamazlık grafikleriyle kısıtlarsak (yani, sonlu bir posetteki maksimum antiksinleri saymak istiyorsak)? Bu soru, daha önce ele alındığından şüpheleneceğim kadar doğal görünüyor, ancak literatürde bulamadım.

13 cc.complexity-theory  counting-complexity  partial-order  clique 

Popüler DEFLATE algoritması, Lempel-Ziv'in üstünde Huffman kodlamasını kullanır. Genel olarak, rastgele bir veri kaynağımız varsa (= 1 bit entropi / bit), Huffman dahil hiçbir kodlamanın ortalama olarak sıkıştırması olası değildir. Lempel-Ziv "mükemmel" olsaydı (uzunluk sonsuza kadar giderken çoğu kaynak sınıfı için yaklaşır), Huffman ile post kodlama yardımcı olmaz. Tabii ki, …

13 ds.algorithms  it.information-theory  coding-theory  encoding 

Bir grafiğin yol genişliğini hesaplamak için bir algoritma uygulaması arıyorum . Yol genişliğini hesaplamanın, düğüm arama numarasını, tepe noktası ayırma numarasını veya grafiğin aralık kalınlığını hesaplamaya eşdeğer olduğu iyi bilinmektedir. Algoritmanın çok hızlı olması gerekmez; En fazla 20 köşeli grafiklerde çalıştırmak istiyorum. Ben algoritma yol genişliği tam olarak hesaplamak yerine, …

13 ds.algorithms  reference-request  graph-algorithms  implementation 

Feragatname : Tip teorisine önem verirken, kendimi tip teorisi konusunda bir uzman olarak görmüyorum. Basitçe yazılan lambda hesabında, sıfır türünün yapıcıları ve benzersiz bir eliminatörü yoktur: Γ⊢M:0Γ⊢initial(M):AΓ⊢M:0Γ⊢initial(M):A\frac{\Gamma \vdash M \colon 0}{\Gamma \vdash initial (M) \colon A} Açıklamasal bir bakış açısından, denklemi açıktır (türler anlamlı olduğunda).initial(M1)=initial(M2)initial(M1)=initial(M2)initial (M_1) = initial(M_2) Ancak, bu …

13 pl.programming-languages  type-theory  lambda-calculus  semantics 

Manuel Blum'un "Yeni Başlayan Bir Yüksek Lisans Öğrencisine Tavsiye " bölümünde : LEONID LEVIN, P = NP'nin cevabı ne olursa olsun bunu yaptığımı düşünüyor sorun, olması gerektiğini düşündüğünüz hiçbir şey gibi olmayacak. Ve bazı harika örnekler verdi. Birincisi, çarpımsal bir sabite kadar belirgin şekilde optimal olan bir FAKTÖREL ALGORİTMA verdi. …

13 ds.algorithms  reference-request  factoring 

Bağlam. Pauli stabilizatör gruplarını kullanarak Gottesman-Knill teoremi gibi konular üzerine yazıyorum , ancak d boyutlu boyutlarda - d'nin birden fazla asal faktöre sahip olabileceği durumlarda . (Bunu vurgularım çünkü "daha yüksek boyutlarda" dengeleyici formalizm hakkındaki literatürün büyük çoğunluğu d üssü veya d üssü bir vakayı içeriyor ve sonlu alanları kullanıyor; …

13 reference-request  quantum-computing 

Aşağıdaki sorunu düşünün - Maksimum düzlemsel grafik ve , ve izomorfik olan bir alt (zorunlu olarak indüklenmemiştir) olacak şekilde maksimum sayıda kenar içeren grafiğini bulun .G 2 G G 1 G 2 GG,1G1G_1G,2G2G_2G,GGG,1G1G_1G,2G2G_2G,GG Bu polinom zamanında yapılabilir mi? Evet ise, nasıl? ve genel grafikler ise, sorunun NP-tamamlanmış olduğu bilinmektedir (çünkü …

13 ds.algorithms  graph-algorithms  planar-graphs 

Arkaplan Bu soru 'Drakula' adı verilen bir masa oyunu tarafından motive edilir. Bu oyunda bir vampir ve dört avcı var, avcıların amacı vampiri yakalamak. Oyun Avrupa'da geçiyor. Oyun aşağıdaki gibi görünüyor: 1. Avcı oyuncu şehirlerde tüm avcıları koyar. Aynı şehre birden fazla avcı yerleştirilebilir. 2. Vampir oyuncusu vampiri bir şehre …

13 graph-theory  co.combinatorics  board-games  combinatorial-game-theory 

İlgilendiğim bir optimizasyon sorunuyla başa çıkmak için bir SAT çözücüsüne güvenme olasılığını araştırmaya başlıyorum ve şu anda SAT değişkenlerine "akıllı" dönüşüm örnekleri (yani, sonuçta ortaya çıkan dönüşümler) içeren bir anket arıyorum sertlik sonuçlarını kanıtlamakla değil, aslında problemi çözmekle ilgilendiğim için, yaklaşık olarak Greenlaw ve Petreschi'nin kübik grafikleriyle ilgili ankette neler …

13 ds.algorithms  reference-request  sat  optimization