Teorik Bilgisayar Bilimi

Da, her matroid için olduğu saptanmıştır ve herhangi bir ağırlık fonksiyonu , bir algoritma var çıkar maksimum ağırlık temelinde döndüren . Peki, ters yön de doğru mu? Yani, açgözlü bir algoritma varsa, o zaman bazı matroid yapı da olmalıdır.MMMwwwAçgözlü Vaha (M, w )GreedyBasis(M,w)\mbox{GreedyBasis}(M,w)MMM

13 ds.algorithms  greedy-algorithms 

P NP olduğunu varsayın .≠≠\ne Ladner Teoremi NP Ara problemler olduğunu (NP'de ne P ne de NP-Complete'te olmayan problemler) söylüyor. Ben NPI içinde kesinlikle hepsi tek bir çökmek değil birçok "düzeyleri" karşılıklı azaltılabilir dillerin olduğunu düşündüren bazı örtülü referanslar çevrimiçi bulduk. Bu seviyelerin yapısı hakkında bazı sorularım var. "NP-Intermediate-Complete" problemleri …

13 cc.complexity-theory  np  np-intermediate 

Anladığım kadarıyla, P = NP veya P ≠ NP'nin relativize edilemez olması gerektiğine dair bir kanıt (özyineleme teorisi kehanetlerinde olduğu gibi). Bununla birlikte, neredeyse tüm kanıtlar göreli olabilir. Relativize edilemeyen kanıtlara, P = NP / P proof NP kanıtlarının olması gerekecek, önemsiz veya çelişkili olmayan iyi örnekler nelerdir ? (Ben …

13 cc.complexity-theory  lo.logic  computability  p-vs-np  relativization 

Her bir kenarın ağırlığının negatif olabileceği yönlendirilmiş bir döngüsel grafik verildiğinde, "en kısa yol" kavramı yalnızca negatif döngü yoksa mantıklıdır ve bu durumda Bellman-Ford algoritmasını uygulayabilirsiniz. Bununla birlikte, bisiklet sürmeyi içermeyen iki köşe arasındaki en kısa yolu bulmakla ilgileniyorum (yani, aynı tepe noktasını iki kez ziyaret etmeyebileceğiniz kısıtlaması altında). Bu …

13 ds.algorithms  graph-algorithms  shortest-path 

Sayfa "Gelişmiş Şeması: Bazı Yaramaz Bit" devletler: Devamlar, hemen hemen tüm diğer kontrol akışı yapılarının [...] türetilebileceği güçlü bir kontrol akışı yapısıdır. call/ccPeter Landin'in J operatörü ile ilişkili (*) olan Scheme's'in bilinen herhangi bir kontrol akış yapısını uygulamak için kullanılabileceğini düşündüm. "Kontrol akış yapısı" ile, özellikle Wikipedia'nın bunlarla ilgili açıklamalarını …

13 lambda-calculus  denotational-semantics  scheme  operational-semantics 

Eşzamanlı mantıksal devreler kullanarak FSM'lerin nasıl uygulanacağını öğretirken, ilginç bir tesadüf fark ettim: hem teorik CS dünyasında hem de elektrik mühendisliği dünyasında, "durum" tipik olarak (ve durum ) olarak gösterilir . Önce EE.sx'e sordum , ama sonra bu konuyu biraz araştırırken, Turing'in orijinal 1936 belgesinde bile Turing makinesinin durumlarını belirtmek …

13 automata-theory  ho.history-overview 

Diyelim ki, n, V_n büyüklüğündeki herhangi bir tamsayı için vektör temsili var Bu vektör, bir makine öğrenme algoritmasının girdisidir. İlk soru: Nöral bir ağ veya başka bir vektör-bit ML haritalaması kullanarak n'nin önceliğini / bileşimini öğrenmek mümkündür. Bu tamamen teoriktir - sinir ağı muhtemelen sınırsız olabilir. Öncelik testi ile ilgili …

13 co.combinatorics  machine-learning  primes 

Sınırlı dereceden yönlendirilmemiş düzlemsel grafiklerde geri bildirim tepe noktası probleminin -hard olup olmadığı biliniyor mu?N PNP\mathsf{NP}

13 cc.complexity-theory  reference-request  graph-algorithms  np-hardness 

Ben Chernoff aşağıdaki uzantısı için bir referans (yapabileceğim bir kanıt değil) arıyorum . Let Boole rasgele değişkenler olarak mutlaka bağımsız değildir . Bunun yerine, her bir ve her olay için yalnızca bağlı olduğu garanti edilir . P r ( X i = 1 | C ) < p i C …

13 reference-request  pr.probability  chernoff-bound 

Karmaşıklık sınıfı PPAD genellikle Hat Sonu'nun PPAD-tamamlanmış olduğunu belirterek tanımlanır. Hat Sonu bir arama sorunudur. Giriş grafik bir polinom zamanlı hesaplanabilir fonksiyonu ile verilmektedir derece-içi ve derecesi en 1'den her bir düğüm sahip olduğu bir çizge oluşur bu döner önceki ve ardıl . Ek olarak, birine ardıl olan ancak selefi …

13 cc.complexity-theory  complexity-classes  ppad 

Son zamanlarda interaktif kanıtları öğreniyordum ve her şeyin teorik bir meraktan başka bir şey olup olmadığını ya da herhangi bir pratik uygulaması olup olmadığını merak ediyorum. Duşta başıma gelen bir örnekle başlayacağımı düşündüm: Son zamanlarda "Tanrı'nın Numarası" = 20 olduğu haberi veriliyor. (Tanrı'nın sayısı, Rubik Küpünü çözmek için gereken minimum …

13 proofs  puzzles  interactive-proofs 

Bazı düğümlerde bir çip bulunan yönlendirilmiş ağırlıklı bir grafik GGG aşağıdaki oyunu düşünün . Tüm GGG düğümleri A veya B ile işaretlenmiştir. İki oyuncu Alice ve Bob var. Alice'in (Bob) amacı, çipi A (B) işaretli bir düğüme kaydırmaktır. Başlangıçta Alice ve Bob mAmAm_Asırasıyla A vemBmBm_B dolarlarına sahiptir. Bir oyuncu kaybetme …

13 cc.complexity-theory  complexity-classes  gt.game-theory 

Bir randomize (BPP) algoritması sahip varsayalım AAA kullanılarak rrr rastgelelik bit. İçin başarı onun olasılığını yükseltmek için Doğal yolları 1−δ1−δ1-\delta , herhangi seçilmiş için δ>0δ>0\delta>0 vardır Bağımsız çalışır + çoğunluk oyu: işletilen AAA bağımsız bir şekilde, T=Θ(log(1/δ)T=Θ(log⁡(1/δ)T=\Theta(\log(1/\delta) . Kez ve çıkışların çoğunluğu oylama Bu gerektirir rT=Θ(rlog(1/δ))rT=Θ(rlog⁡(1/δ))rT =\Theta(r\log(1/\delta)) rasgelelik bitleri ve …

12 reference-request  randomness  pseudorandomness  expanders 

dört köşeli bir döngü olmasına izin verin . Rasgele bir grafik için ile köşe ve m, kenarları ki kaç s mevcut? Bunun için bir alt sınır var mı?C4C4C_4GGGnnnm>nn−−√m>nnm>n\sqrt nC4C4C_4

12 graph-theory  graph-minor 

Ben ince taneli karmaşıklık (3-SUM, OV ve her zamanki popüler sertlik varsayımları ile oynamak) üzerinde çalışan bir "ilk 20" üniversitede üçüncü sınıf mezunuyum. Geçen yıl oldukça üretken oldum ve kabul edilmiş 3 ve iki bildiri gönderdim. Bütün bunlar oldukça tecrübeli bir yüksek lisans öğrencisiyim ve anlatmak üzere olduğum şey anekdot …

12 soft-question