Teorik Bilgisayar Bilimi

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

14
NP-komple problemlerle her gün karşılaşılıyor
Mark Dominus , çeşitli NP-zor problemlerinden “normal ifade” eşleşmesine kadar birkaç polinom-zaman azalması örneği topladı . Polinom-zaman doğrulamalarını öngörmek çok büyük bir sıçrama değildir. NP-complete sınıfını mezunlara veya Deolalikar'ın makalesi üzerindeki son yaygarayı anlamak isteyen diğer alanlardaki arkadaşlara nasıl gösterirsiniz?
17
Sertlik hesaplama karmaşıklığında atlar mı?
Minimum bant genişliği sorunu, komşu iki düğüm arasındaki en büyük mesafeyi en aza indiren tamsayı çizgisinde bir grafik düğümü sırası bulmaktır. Bir tırtıl, ana yoldan , düğümlerinden en çok uzunluğundaki kenar ayrık yollarını büyüterek oluşturulan bir ağaçtır ( , saç uzunluğu olarak adlandırılır). Minimum bant genişliği problemi 2 tırtıl için …
10
İşlemsel karmaşıklıktaki en önemli yeni makaleler
Hesaplamalı karmaşıklık (Klasik, Cook, Karp, Hartmanis, Razborov vb.) Alanındaki klasik araştırma ve yayınları sıklıkla duyuyoruz. Son zamanlarda yayınlanan ve seminal olarak kabul edilen ve mutlaka okunması gereken makaleler olup olmadığını merak ediyordum. Son zamanlarda, son 5/10 yıl demek istiyorum.
3
Durmayı kararsız kılan Turing Machine kısıtlamaları
Eğer bir tanesi Turing Machines'i sınırlı bir bantla sınırlarsa (yani, sınırlı alan kullanmak için ), o zaman durdurma problemi, esasen birkaç adımdan sonra ( , ve durumlarından hesaplanabilir) ve alfabe boyutu), bir yapılandırma tekrarlanmalıdır.SSSSQQSSS Durmayı kararlaştırılabilir kılan başka doğal Turing Makinesi kısıtlamaları var mı? Kesin olarak durum geçiş grafiğinin döngüler …
3
P de bilinen en zor doğal problem?
Merak ediyorum, şu anda en büyük sayısı nedir , öyle ki , aşağıdaki özelliklerle doğal bir sorun bilinir:kkk Sorun için bir algoritması zaten bulundu.O(nk)O(nk)O(n^k) Herhangi bir sabit için hiçbir algoritması, aynı sorun için iyi bilinmektedir. (Daha hızlı bir algoritma edin, henüz henüz bilinmediğinden, kanıtlanmış bir alt sınır aramıyorum.)O ( n …
2
3-renklendirmenin NP sertliği için referans?
Tarihi bir sorum var. Grafiklerin 3 renklendirilebilirliğinin (alternatif olarak, verilen için renklendirilebilirliğinin ) NP-sert olduğu gerçeğinin referansını belirlemeye çalışıyorum .kkkk ≥ 3k≥3k\geq 3 Baştan çıkarıcı cevap “Karp'ın orijinal makalesi” dir, ancak bu yanlış. İşte bir tarama: Kombinatoryal Problemler Arasında İndirgenebilirlik, Karp (1972) . Kromatik sayının (Giriş: bir grafik. Çıkış: ) …
12
Cebir odaklı teorik bilgisayar bilimleri dalı
Cebirde çok güçlü bir tabana sahibim, yani değişmeli cebir, homolojik cebir alan teorisi kategori teorisi, ve şu anda cebirsel geometri öğreniyorum. Ben teorik bilgisayar bilimine geçmeye meyilli bir matematik bölümüyüm. Yukarıda belirtilen alanları göz önünde bulundurarak, hangi alanın teorik bilgisayar biliminde en uygun alan olduğu hangisi olacaktır? Diğer bir deyişle, …
5
Düzensizliğin mantıksız gücü
Görüş sağduyu açısından, olmayan determinizm ekleyerek inanmak kolaydır PP\mathsf{P} anlamlı yani gücünü, uzanır, NPNP\mathsf{NP} çok daha büyüktür PP\mathsf{P} . Sonuçta determinizm, şüphesiz çok güçlü görünen üstel paralelliğe izin veriyor. Diğer yandan, sadece olmayan homojen ekleme durumunda PP\mathsf{P} elde edilmesi, P/polyP/poly\mathsf{P}/poly (biz oluşabilir olmayan yinelemeli dilleri dahil varsayarak, daha sonra sezgi …
2
“Steve sınıfı”: SC'nin kökeni
in Steve Cook için ve nin Nick Pippenger için adlandırıldığını "biliyoruz" . Yanılmıyorsam, Steve Cook, Nick Pippenger onuruna NC adını verdi ve tersinin de doğru olduğu söylendi. Bununla birlikte, bu son gerçeğin kanıtlarını Steve Cook'un DCFL'ler hakkındaki makalesinde veya Nisan'ın .N C R L ⊆ S CS CSC\mathsf{SC}N CNC\mathsf{NC}R L …
3
Sınıflar vs nesne arayüzleri
Tip sınıflarını anladığımı sanmıyorum. Bir yerde, tip sınıflarını bir tipin uyguladığı “OO'dan” (“OO”) arayüzler olarak düşünmenin yanlış ve yanıltıcı olduğunu okudum. Sorun şu ki, onları farklı bir şey olarak görme konusunda sorun yaşıyorum ve bunun nasıl yanlış olduğunu. Örneğin, bir tür sınıfım varsa (Haskell sözdiziminde) class Functor f where fmap …
4
Polinom hiyerarşisinin seviyeleri için etkileşimli kanıtlar
Bir PSPACE makineniz varsa, polinom hiyerarşisinin herhangi bir seviyesine etkileşimli bir kanıt verebilecek kadar güçlü olduğunu biliyoruz. (Doğru hatırlıyorsam, ihtiyacın olan tek şey #P.) Ama bir dilinde etkileşimli bir üyelik kanıtı vermek istediğini varsayalım . problemleri çözebilmek için yeterli mi? içindeki problemleri çözmek yeterli mi? Daha genel çözebilecek eğer veya …
2
NTIME (n ^ k) ≠ DTIME (n ^ k)?
"Gerekirci olmayan makinalar karşı belirlenimciliğin ve ilgili sorunlar üzerinde" de (Proc. IEEE Focs, sayfa 429-438, 1983), Paul, Pippenger, Szemeredi'nin ve Paça kanıtladı NTIME(n)≠DTIME(n)NTIME(n)≠DTIME(n)\mathsf{NTIME}(n)\neq\mathsf{DTIME}(n) . Bu soruma k = 1 ile cevap veriyor. Başka bir sabit k için benzer bir sonuç hakkında bilinen bir şey var mı?
3
Bilgi Hacmi Nedir?
Bu soru, PCAST'ın bilgisayar bilimi konusundaki sunumundan sonra Jeannette Wing'e soruldu . “Fizik perspektifinden, sahip olabileceğimiz maksimum bilgi hacmi var mı?” (Teorik bilgisayar bilimleri topluluğu için “bilgi nedir?” Sorusunu düşündüğü için güzel bir soru. "Bilgi Nedir?" Ötesinde bir de bu bağlamda "hacim" ne anlama geldiğini bulmak gerekir? Belki de maksimum …
3
en büyük ortak bölenin karmaşıklığı (gcd)
Aşağıdaki sayma problemini (veya ilgili karar problemini) göz önünde bulundurun: İkili kodlanmış iki pozitif tamsayı verildiğinde, en büyük ortak bölenlerini (gcd) hesaplayın. Bu sorunun içinde bulunduğu en küçük karmaşıklık sınıfı hangisidir? Bir referans verebilir misiniz? Bu soruda öncelikle çalışma zamanındaki asimptotik sınırlarla değil, karmaşıklık sınıflarıyla ilgileniyorum. AC'de sorun mu var? …
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.