«big-list» etiketlenmiş sorular

Bazı profesyonel programlama kursları (/ self düşünce) almış ancak üniversite düzeyinde bir matematik çalışmayan programcılar ile görüştüğünüzü varsayalım. Onlara TCS'nin güzelliğini göstermek için, TCS'den kolayca açıklanabilecek bazı güzel sonuçlar / açık sorular toplamak istiyorum. Bu amaç için iyi bir aday (IMHO), durma sorununun karar verilemez olduğunu gösterecektir. Başka bir karşılaştırma …

13 soft-question  big-list  big-picture  teaching 

Çeşitli sayı teorik / cebirsel problemlerin bilinen veya bilinmeyen karmaşıklığı hakkında bir liste arıyorum. Örneğin, GCD açık,N-C1NC1NC^1 faktoring açıktır,PPP demet kohomolojisinin hesaplanması -hard# P#P\#P , Arora Barak faktoringe bir varyantı olan devlet -Komple (bu tartışma göre açık değildir da faktoringe bir NP-tam varyantı. ),N-PNPNP Barbulescu ve arkadaşlarının ayrık logaritmalar üzerine …

12 cc.complexity-theory  big-list  algebra  open-problem 

Aşağıdaki özelliklerle ilgili sorunlar nelerdir: 1) PSPACE-tamamlanmış (muhtemelen iyi bilinen) sorunların kısıtlanmasıdır; 2) kısıtlanmış sürümler PSPACE'tedir, ancak PSPACE-tamamlanmışsa (veya NP-sert olsalar bile) açık bir sorundur . "Puzzles & C." den dört örnek: 1x1 Rush Hour [1] 'in karmaşıklığı (2x1 boyutundaki bloklar için PSPACE-complete); [ ÇÖZÜLDÜ ] Düzlemsel Metro Karışması'nın karmaşıklığı …

12 big-list  open-problem 

Büyük veri akışları üzerinde çalışan ve sonuçları oldukça küçük olan ve sonuçları bir şekilde birleştirerek iki akışın bir karışımı için sonucu hesaplayabilen hangi yararlı algoritmalar var? Birkaç isim verebilirim: Toplam, min, maks, sayım, top-K vb. Histogramlar, farklı öğeleri sayma veya nicelikleri hesaplama için yaklaşık "çizim tabanlı" akış algoritmaları Başka neler …

12 ds.algorithms  big-list  data-streams 

Eğer doğruysa PH'nun çökmesi gerektiğine dair (iyi bilinmeyen) bazı iddialar nelerdir? Referans (lar) ı içeren kısa bir üst düzey iddia içeren cevaplar takdir edilmektedir. Fazla şans olmadan geri aramaya çalıştım.

12 cc.complexity-theory  complexity-classes  big-list 

1996 yılında uzun süredir devam eden bir sorun bilgisayar tarafından çözüldü; Yani, Robbins cebiri ve Boolean cebiri aynıdır. Kanıt, otomatik bir teorem uzmanı tarafından bulundu. Ayrıca, Dört renk teoreminin bilinen kanıtı bilgisayar tarafından üretilen bileşenler içerir. Bu sorunun amacı, bilgisayar tarafından (tamamen veya kısmen) bulunan kanıtları listelemektir (bilinen tek kanıt …

11 soft-question  big-list  proofs  automated-theorem-proving 

Bir azalma için güçlü NP zor problemler arıyorum . Şimdiye kadar aşağıdaki sorunları buldum: 3-bölüm sorunu bin paketleme sorunu Sayısal 3 boyutlu eşleme TSP Sayısal verileri olmayan herhangi bir NP-komple problemi, örneğin, MEMNUNİYET, HAMİLTONYA DÖNGÜSÜ, 3-RENKLİLİĞİ. NP açısından zor olan sorunların bir listesini bilen var mı? Değilse, burada bir tane …

11 np-hardness  big-list  hamiltonian-paths 

Bilgisayarla ilgili tüm müzeler ve sergiler farkındayım sadece bilgisayar makinelerinin tarihini kapsıyor, ancak bilgisayar bilimi konularında hiçbir şey yok. Çok çeşitli bilgi işlem / bilgisayar bilimi / iletişim / matematik konularında genel halka eğitim vermek, eğlendirmek ve ilham vermek için kiralanan yeni bir Bilgi İşlem Müzesi oluşturma sürecindesiniz. Tarih ve …

11 soft-question  big-list  ho.history-overview 

Ben CS öğrencisiyim. Bir teoride grafik teorisi yaptık. Bunu ilginç buldum. Grafik teorisinin bilgisayar bilimi alanındaki gerçek uygulamaları nelerdir? Örneğin, grafik teorisindeki bazı kavramların ağları tasarlamak için kullanılabileceğini buldum. Benzer uygulamalar nelerdir?

11 graph-theory  co.combinatorics  big-list  application-of-theory 

Kuantum bilgisayar kullanımında bilinen karmaşıklık avantajı olmayan mevcut doğal hesaplama problemleri listesinin ne olduğunu merak ediyordum. İşe başlamak için, düzenleme mesafesinin hesaplanması, bilinen en hızlı kuantum algoritmasının bilinen en hızlı klasik algoritma gibi göründüğünü düşünüyorum. Daha geçici olarak, bilinen bir kuantum hızının olmadığı bilinen bir başka sorun olarak sıralamayı öneririm …

11 ds.algorithms  quantum-computing  big-list 

Yaklaşık algoritmalar, bazı sabit faktörlere kadar çıktı verebilir. Bu, tam algoritmalardan biraz daha az tatmin edicidir. Bununla birlikte, zaman karmaşıklığında sabit faktörler göz ardı edilir. Bu yüzden merak ediyorum aşağıdaki hile mümkün veya kullanıldı, bazı sorunu çözmek için :B ∘ AB∘AB \circ A Çözelti sabit faktör dahilinde elde etmek için …

11 ds.algorithms  big-list  approximation-algorithms 

Giriş: İşlem işleme, veritabanı teorisinde geleneksel bir araştırma konusu olmuştur. Günümüzde dağıtılmış işlemler , genellikle veri bölümü (parçalama olarak da adlandırılır) ve veri çoğaltması içeren büyük ölçekli dağıtılmış depolama sistemleri tarafından popülerleştirilmektedir . Dağıtılmış işlemlerde başlıca araştırma konuları nelerdir? (Teorik) iyileştirmeye ihtiyaç duyan tanınmış teoriler ve çözümler var mı? Herhangi …

10 reference-request  big-list  dc.distributed-comp  db.databases 

Karmaşıklık teorisindeki rastgele yapılardan daha iyi yapı örnekleri ile ilgileniyorum. Bildiğim böyle bir yapının tek örneği hata düzeltme kodları alanındadır. Cebirsel-geometri kodları, bazı parametrelerde rastgele kodlardan daha iyidir. Bu tür yapay örnekler kolayca yapılabilir. Cebirsel geometri kodları gibi örneklerle ilgileniyorum, burada rastgele bir yapı yapmanın kolay olduğu ve nasıl daha …

10 reference-request  big-list  derandomization  pr.probability 

Ben bilgisayar bilimiyle ilgilenen homotopi bir teorisyenim. Teorik bilgisayar bilimindeki homotopik cebirin (model kategorileri, sonsuzluk kategorileri, basit kategoriler, vb.) Bazı ilginç uygulamalarının neler olduğunu sormak isterim?

9 big-list  algebraic-topology 

Let bir alfabe, yani boş olmayan bir sonlu ayarlanmalıdır. Dize, öğesinden herhangi bir sonlu öğe dizisidir (karakter) . Örnek olarak, ikili alfabe veΣΣ\SigmaΣΣ\Sigma{0,1}{0,1} \{0, 1\}011001100110 bu alfabe için bir dizedir. Genellikle, ΣΣ\Sigma 1'den fazla öğe içeriyorsa, ΣΣ\Sigmaönemli değil: en iyi ihtimalle bir yerlerde farklı bir sabitle karşılaşırız. Başka bir deyişle, …

9 big-list  encoding  examples