Teorik Bilgisayar Bilimi

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

1
Nedir
Bu, Zaten Bilinen Her NP Dilinde Tanıklık Üyeliği Boyutu Sorusu ile ilgilidir. Bazı doğal NPNP\mathsf{NP} (tamamlanmış) problemlerin doğrusal uzunluk tanıkları vardır: için tatmin edici bir atama SATSATSAT, H A M P A T için bir dizi köşe , vb..HAMPATHHAMPATHHAMPATH Karmaşıklık sınıfını “ lineer uzunluk tanıklarıyla sınırlı ” P olarak kabul …
1
Yaklaşık derecesi
EDIT (v2): Sonunda sorun hakkında bildiklerime bir bölüm ekledi. EDIT (v3): Sonunda eşik derecesinde tartışma eklendi. Soru Bu soru temel olarak referans isteğidir. Sorun hakkında fazla bir şey bilmiyorum. Bu konuda daha önce yapılmış bir çalışma olup olmadığını bilmek istiyorum ve eğer öyleyse, birisi beni bu sorun hakkında konuşan herhangi …
11
TCS'ye ilham veren popüler bilim kitapları nelerdir?
Bilgisayar bilimlerinde popüler bilim kitaplarımızın olmadığı bir ün vardır. Elbette bu doğru değil! (Listesinin aynı ruhla neler Kitaplar Meli Herkes okuyun? , Kağıtları herkesin okumalısınız Ne? , Videolar herkes izle? Gerekenler ve ilham Favori popüler matematik kitabı ) CS Teorisine ilham veren popüler bilim kitapları veya kaynakları nelerdir? Lütfen kitabın …
24 big-list  books 
13
Teorik bilgisayar bilimlerinde karmaşık analiz
Teorik bilgisayar bilimlerinde, özellik testi, iletişim karmaşıklığı, PAC öğrenme ve diğer birçok araştırma alanını kapsayan birçok gerçek analiz uygulaması vardır. Bununla birlikte, karmaşık analizlere dayanan herhangi bir sonucu düşünemiyorum ( karmaşık sayıların modelde içsel olduğu kuantum hesaplama dışında). Karmaşık analiz kullanan klasik bir TCS sonucu örneği var mı?
1
Bu örtü sorununun karmaşıklığı nedir?
Düzenleme: İlk önce kısıtlamamı (2) yanlış biçimlendirdim, düzeltildi. Daha fazla bilgi ve örnekler de ekledim. Bazı meslektaşlarımızla, başka bir algoritmik soruyu inceleyerek, sorunumuzu aşağıdaki ilginç soruna indirgeydik, ancak karmaşıklığı sorununu çözemedik. Sorun şu şekilde. Örnek: bir tam sayı , bir tam sayı ve bir dizi ve grubundan çift .nnnk < …
2
Kuantum hesaplamada hata toleransı eşiği için en düşük sınır nedir?
Kuantum hesaplaması için bir gürültü eşiğinin var olduğu, bu eşiğin altında hesaplamanın, sınırlanmış olasılıkla (çoğu polinom hesaplama hesaplama ekinde) doğru sonucu verecek şekilde kodlanabileceği iyi bir şekilde tespit edilmiştir. Bu eşik, kullanılan kodlamaya ve gürültünün kesin yapısına bağlıdır ve simülasyondan kaynaklanan, sıklıkla olumsuz gürültü modelleri için kanıtlanabileceklerden çok daha yüksek …
1
Yeniden Yapılandırma ve Kısmi 2 Ağaçlar
Yeniden yapılanma varsayımı , grafiklerin (en az üç köşeli), köşe silinen alt sayfaları tarafından benzersiz bir şekilde belirlendiğini söylüyor. Bu varsayım, beş yıllık. İlgili literatür taramasında, aşağıdaki grafik sınıflarının yeniden yapılandırılabildiğini biliyorum: ağaçlar bağlantısı kesilmiş grafikler, tamamlayıcısı bağlantısı kesilmiş grafikler düzenli grafikler Maximal Outerplanar Grafikleri maksimum düzlemsel grafikler dış düzlemsel …
5
Kararlı Evlilik Probleminin bir örneği için en fazla istikrarlı evlilik sayısı nedir?
Kararlı Evlilik Sorunu: http://en.wikipedia.org/wiki/Stable_marriage_problem Bir SMP örneği için, Gale-Shapley algoritmasının geri döndürdüğünden başka birçok istikrarlı evlilik yapılabileceğini biliyorum. Ancak, eğer sadece , erkek / kadın sayısı verilirse , şu soruyu sorarız - Maksimum istikrarlı evlilik sayısını veren bir tercih listesi yapabilir miyiz? Böyle bir sayıya üst sınır nedir?nnn
2
Kuantum optiğinin hesaplamalı karmaşıklığı
"Kuantum hesaplama gereksinimi" bölümünde , Bartlett ve Sanders, aşağıdaki tabloda sürekli değişken kuantum hesaplama için bilinen sonuçlardan bazılarını özetlemektedir: Benim sorum üç kat: Dokuz yıl sonra, son hücre doldurulabilir mi? "BQP için Evrensel" başlıklı bir sütun eklenirse, sütunun geri kalanı nasıl görünür? Aaronson ve Arkhipov'un 95 sayfalık başyapıtı yeni bir …
4
SAT çözücü kağıtlarını başlatma
İlk SAT çözücüsü yapmak istiyorum. SAT rekabetini ve SAT konferansını biliyorum ve bu konuda çok fazla makale var. Ben bir marş, boğulmuş bir marşım. Nereden başlamalıyım? Sonunda modern teknolojiyi zorlamak istiyorum. Nasıl başlayacağımız konusunda uzman tavsiyesi istiyorum, böylece vaktimi gereksiz yere çok erken boşa harcamam. Çok teşekkürler.
2
Bağımlı türler alt yazmanın yaptığı her şeyi size veriyor mu?
Türler ve Programlama Dilleri altyazıya biraz odaklanır, ancak söyleyebildiğim kadarıyla altyazı özellikle temel görünmüyor. Alt yazı, bağımlı türlerden daha fazla bir şey veriyor mu? Bağımlı tiplerle çalışmak daha fazla iş demektir, bu yüzden alt tiplerin pratikte neden yararlı olabileceğini anlayabiliyorum. Ancak, matematiğin temeli olarak tip teorisi ile programlama dillerinin temeli …
2
Kalıcı kullanılarak iki taraflı olmayan mükemmel eşleşmeleri saymak için doğrudan / doğal bir azalma var mı?
İki taraflı bir grafikte mükemmel eşleşme sayısının sayılması, kalıcıın hesaplanmasında hemen azaltılabilir. İki taraflı olmayan bir grafikte mükemmel bir eşleşme bulmak NP'de olduğundan, iki taraflı olmayan grafiklerden kalıcıya doğru bir miktar azalma söz konusudur , ancak Cook'un SAT'a indirgemeyi ve daha sonra düşürmek için Valiant teoremini kullanarak kötü bir polinom …
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.