Teorik Bilgisayar Bilimi

Teorik bilgisayar bilimcileri ve ilgili alanlardaki araştırmacılar için soru cevap

1
Polinom boyutlu DFA'lar tarafından tanınan diller
Sabit bir sonlu alfabe için , resmi bir dil L üzerinde Σ olan düzenli bir mevcutsa deterministik sonlu durum makinesi üzerinde (DFA) Σ tam kabul L .ΣΣ\SigmaLLLΣΣ\SigmaΣΣ\SigmaLLL "Neredeyse" düzenli olan, yalnızca kelime uzunluğuyla polinomlu bir şekilde büyüyen otomata aileleri tarafından tanınabilecekleri anlamında olan dillerle ilgileniyorum. Resmen beni biçimsel dil diyelim …
4
Teorik CS ne zaman (ya da gerekir) sezgisel kanıtları önemser?
Anladığım kadarıyla (çok az, bu yüzden lütfen beni yanlış yaptığım yerde düzeltin!), Programlama dilleri teorisi genellikle "sezgisel" kanıtlarla ilgilidir. Kendi yorumuma göre yaklaşım, hesaplamanın mantık ve erişilebilirlik üzerindeki sonuçlarını ciddiye almamızı gerektirir . Bir hipotezin sonuçlarını ortaya çıkaran bir algoritma olmadığı sürece bir kanıt bulunamaz . O da bazı nesne …
3
İyi karakterizasyonlu, ancak polinom-zaman algoritması olmayan optimizasyon problemleri
Aşağıdaki formun optimizasyon problemlerini düşünün. bir dizesini rasyonel bir sayıyla eşleştiren polinom-zaman hesaplanabilir bir işlevi olmasına izin verin . Optimizasyon sorunu şudur: -bit dizgileri üzerindeki maksimum değeri nedir?x f ( x ) n xf(x)f(x)f(x)xxxf(x)f(x)f(x)nnnxxx Diyelim ki, böyle bir problemin minimax karakterizasyonu olduğunu varsayalım , eğer başka bir polinom-zaman hesaplanabilir fonksiyonu …
5
Özel Grafik Sınıflarında Maksimum Bağımsız Set için Yaklaşım algoritmaları
Maksimum Bağımsız Kümenin (MIS) P = NP olmadıkça herhangi bir faktörü için faktörü içinde yaklaşık olarak zor olduğunu biliyoruz . Daha iyi yaklaşım algoritmaları bilinen bazı özel grafik sınıfları nelerdir? ϵ > 0n1 - ϵn1−ϵn^{1-\epsilon}ϵ > 0ϵ>0\epsilon > 0 Polinom-zaman algoritmaları için bilinen grafikler nelerdir? Bunun bilinen mükemmel grafikler olduğunu …
2
Bir algoritma, zaman karmaşıklığını ne kadar keyfi bir giriş programını öngörebilir?
Halting problemi o, başka bir program alıkoymalarla olmadığını belirlemek için bir program yazmak imkansız olduğunu belirten olası tüm giriş programlarında . Bununla birlikte, kesinlikle, benzer bir programın çalışma süresini hesaplayabilen bir program yazabilirim: for(i=0; i<N; i++) { x = 1; } ve hiç çalıştırmadan zaman karmaşıklığını döndürün .N-NN Diğer tüm …
2
Evrensel Yaklaşım Teoremi - Yapay Sinir Ağları
Bunu daha önce MSE'ye gönderdim , ancak burada sorulacak daha iyi bir yer olabileceği önerildi. Evrensel yaklaşım teoremi , "sınırlı sayıda gizli nöron içeren tek bir gizli katmana sahip standart çok katmanlı ileri besleme ağının, aktivasyon fonksiyonuna ilişkin hafif varsayımlar altında, Rn'nin kompakt alt kümelerinde sürekli fonksiyonlar arasında evrensel bir …
2
K-Renk azaltma için Doğal CLIQUE
Her ikisi de NP-Complete olduğu için CLIQUE'den k-Color'a net bir düşüş var. Aslında, birini CLIQUE'dan 3-SAT'ye, 3-SAT'dan k-Color'a bir azalma ile azaltarak oluşturabilirim. Merak ettiğim şey, bu sorunlar arasında makul bir doğrudan azalma olup olmadığı. Diyelim ki SAT gibi bir ara dil tanımlamaya gerek kalmadan bir arkadaşıma oldukça kısaca açıklayabileceğim …
1
İşlemler ve günlük sürümleri arasında gerekli delta
Kısa bir süre önce dergilerden (yani TALG) dergi ile yargılama (SODA) versiyonu arasında anlamlı bir fark olmamasından dolayı reddedilir hale geliyorum. Bir dergiye gönderilmemin temel nedenleri kapsamlı inceleme süreci. Bunun dışında SODA'nın 20 sayfalık sınırı söylemek istediğim her şey için yeterli. Aslında, David Johnson, SODA grubundan defalarca “dergi versiyonu için …
6
Karmaşıklık alt sınırlarının belirlenmesi için ileri teknikler
Bazılarınız, araştırma seviyesi olmadığı için kapatılmış olan bu soruyu izliyor olabilirsiniz. Dolayısıyla, sorunun araştırma düzeyinde olan kısmını çıkartacağım. Sıralama düzenlemesinin azaltılması veya EXPTIME tamamlanmış bir sorun gibi "basit" tekniklerin ötesinde, bir sorunun zaman karmaşıklığı için düşük sınırları kanıtlamak için hangi teknikler kullanılmıştır? Özellikle: Son on yılda geliştirilen "son teknoloji" teknikler …
1
Kabul edilen FOCS / STOC makalelerinde büyük hatalar [kapalı]
Şu anda olduğu gibi, bu soru bizim soru-cevap formatımız için uygun değil. Yanıtların gerçekler, referanslar veya uzmanlık tarafından desteklenmesini bekliyoruz, ancak bu soru muhtemelen tartışma, tartışma, oylama veya genişletilmiş tartışmalar gerektirecektir. Bu sorunun iyileştirilebileceğini ve yeniden açılabileceğini düşünüyorsanız, rehberlik için yardım merkezini ziyaret edin . 8 yıl önce kapandı . …
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.