Teorik Bilgisayar Bilimi

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

6
Araştırma dışı bir endüstri işine yapılan bir geziden sonra bir TCS araştırma işine geri dönülebilir mi?
Teorik bilgisayar bilimlerindeki bazı araştırmacılardan araştırma dışı bir endüstri işinde çalışmanın, birkaç yıl bile olsa TCS araştırmacısı olarak kariyerinizi öldüreceğini duydum. Ancak, TCS araştırmacısı olmaktan, sektörde araştırma dışı bir işe giden yolun tek yönlü bir cadde olduğu iddiasından şüpheliyim. Bu iddianın makul olup olmadığını ve bir akademide bir araştırma işine …

2
nin sonuçları nelerdir ?
Shiva Kintali sadece (! Serin) bir açıkladı neden olan genişliğinin sınırlı treewidth grafikler için grafik izomorfizm olan ⊕ L -Sert≥ 4≥4\geq 4⊕ L⊕L\oplus L . Gayriresmi olarak sorum şu, "Bu ne kadar zor?" Uniformiformly , bu sorunun cevabını bakın biliyoruz . Biz de olası olduğunu biliyoruz ⊕ L = P …

1
Pi'yi hesaplamak için ilk önce Monte Carlo algoritmasını kullanmayı kim önerdi ?
Eminim ki , 18. yüzyıldaki Buffon'un iğne deneyini biliyordur , bu hesaplanacak ilk olasılık algoritmalarından biridir .ππ\pi Algoritmanın bilgisayarlarda uygulanması genellikle kesikli bir seri olarak uygulanmış olsalar bile, bu türden hedefleri aşan veya trigonometrik bir fonksiyonun kullanılmasını gerektirir.ππ\pi Bu sorunu aşmak için, bilinen reddetme yöntemi algoritması var: birim kareye koordinatlar …

3
İçinde kısa ve öz Sorunları
Grafiklerin Kısa Temsil gösterimi üzerine bir araştırma Galperin ve Wigderson tarafından 1983 tarihli bir makalede başlamıştır, burada bir grafikte bir üçgen bulmak gibi birçok basit problem için, içindeki kısaltılmış versiyonun . Papadimitriou ve Yanakkakis, bu araştırma hattını daha da ileriye götürdü ve bir problem için olan / olan bir problem …

2
Maksimum / maksimum bağımsız kümeler
Tüm maksimum bağımsız kümelerin aynı kardinaliteye sahip olması ve dolayısıyla maksimum IS olması özelliğine sahip grafik sınıfı hakkında bilinen bir şey var mı? Örneğin, düzlemde bir dizi nokta alın ve kümedeki nokta çiftleri arasındaki tüm segmentler arasındaki kesişim grafiğini göz önünde bulundurun. (bölümler-> köşeler, kavşaklar-> kenarlar). Bu grafik yukarıdaki özelliklere …

4
Kayıp Wikipedia makaleleri
Vikipedi'deki hangi eksik TCS konuları hakkında bir makale olmasını istersiniz? İhmalleri göz ardı ediyor olabilirler ya da gerçekten bir makalesi olması gerektiğini düşündüğünüz konular. Cevap başına bir konu, lütfen en çok arananlar oylanabilir. Güncelleme 5/2/2017 : Shuchi Chawla, TCS’nin kapsama alanını iyileştirme çabalarına öncülük ediyor . Bu güncellemeyi, kişilerin cevaplarını …



5
Bilgisayar biliminde uzun süreli hatalar
Bu benim cstheory yığındaki ilk sorum, bu yüzden bir şekilde görgü kurallarını ihlal ediyorsam çok kaba olmayın) Bildiğimiz gibi, matematikte ünlü matematikçiler bile, süperstarlar ve dahiler zaman zaman ciddi hatalar yapıyor. Örneğin, hem 4 renkli teorem hem de Fermat teoremi, en parlak zihinlerin bile nasıl kandırılabileceği konusunda çarpıcı vakalar sunar. …

5
Deliller ve programlar arasındaki (veya önermeler ve türler) arasındaki fark nedir?
Bu soru edildi göç bunun Teorik Bilgisayar Bilimi Stack Exchange'de yanıtlanabilir çünkü yığın taşması gelen. 8 yıl önce göç etmiş . Curry-Howard Yazışmaları'nın çok yaygın bir şekilde yayıldığı / genişletildiği göz önüne alındığında, ispatlar ve programlar arasında (veya önermeler ve türler) herhangi bir fark var mı? Onları gerçekten tanımlayabilir miyiz?


4
NP optimizasyon problemleri için En İyi Yaklaşım ve Sertlik Sonuçlarının Özeti
En iyi yaklaşım ve sertlik sonuçlarıyla NP optimizasyon problemlerine adanmış herhangi bir güncel wiki biliyor musunuz? Geri bildirimlere dayanarak, böyle bir kaynak olmadığını varsaymanın güvenli olduğu görülmektedir (iki yakın seçenek için bu sorunun sonuna bakın). - 8 Şubat’ta eklendi. Son yirmi yılda ortaya konan çok sayıda sonuç ve sorun olduğu …

4
Yönlendirilmiş bir grafikte, paylaşılmayan en fazla sayıda kenarı içeren döngüleri nasıl bulabilirim?
Ben bir bilgisayar bilimi teorisyeni değilim ama bu gerçek dünya probleminin buraya ait olduğunu düşünüyorum. Sorun Şirketimin ülke genelinde birkaç birimi var. Çalışanlarımıza başka bir birimde çalışma imkanı sunduk. Ancak bir şart var: Bir birimin toplam çalışan sayısı değişemez. Bunun anlamı: Birisi onun yerini istiyorsa bir çalışanın birimini bırakmasına izin …

3
#P = FP'nin sonuçları
#P = FP'nin sonuçları hangisidir? Hem pratik hem de teorik sonuçlarla ilgileniyorum. Pratik açıdan, Yapay Zeka ile ilgili sonuçlara özellikle ilgi duyuyorum. Bildirilere veya kitaplara işaretçiler daha fazla açığız. Lütfen #P = FP'nin P = NP anlamına geldiğini söyleme, bunu zaten biliyorum. Ayrıca, “algoritma zaman içinde çalışırsa pratik sonuçların , …

3
Rahat ne zaman zor sayıyor?
Diyelim ki, ağırlıklı renkleri aşağıdaki gibi sayarak uygun renklendirme sayma problemini gevşetelim: her uygun renklendirme ağırlık 1 alır ve her uygunsuz renklendirme ağırlık alır , bazı sabit ve uç uçlu renklerin sayısı aynıdır. Olarak 0 gider, bu bir çok şekil için de zordur uygun renklendirici sayma azaltır. C 1 olduğunda, …

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.