Teorik Bilgisayar Bilimi

Bu çok önemli bir nokta olmasa bile, bu sorunun etrafında herhangi bir literatür görmüyorum. Görelilik sonuçları var mı? NP makinesinin olası tüm yollarını araştırarak deterministik olmayan zaman hiyerarşi teoremini uyarlayarak katı içerme olduğunu kanıtlamak oldukça kolay olmaz mıydı?

9 cc.complexity-theory  complexity-classes 

Endüktif tipteki beyanların sırasının önemli olup olmadığını merak ediyordum. Örneğin Coq'ta şunlardan Natbirini tanımlayabilirsiniz : Inductive Nat := | O : Nat | S : Nat -> Nat. veya Inductive Nat := | S : Nat -> Nat | O : Nat. Bu, otomatik olarak oluşturulan elimatördeki parametrelerin sırasını belki …

9 lo.logic  type-theory  coq  dependent-type 

CS'deki bazı araştırma alanlarında çok ilginç sonuçlar elde ettik. Şimdi onları yayınlamayı düşünüyoruz. Biz grubumuzda felsefe, konferans kağıtlarında ara sıra küçük şeyler yayınlamaktır. Şimdi bu "küçük şeylerden" daha fazlasını toplamayı ve bir JCR gazetesinde, etki faktörünü 2'den fazla yayınlamayı düşünüyorum. Burada sorum, bir JCR dergisinde iyi bir makale hazırlamak için …

9 soft-question  research-practice  writing  paper-review  conferences 

Grafik numaralandırmasındaki ana sorunlardan biri, bir grafiğin 'şeklini', örneğin herhangi bir grafiğin izomorfizm sınıfını belirlemektir. Her grafiğin simetrik bir matris olarak temsil edilebileceğinin tamamen farkındayım. Bununla birlikte, şeklini almak için, bir matrisi biraz daha az uygun hale getiren bir satır / sütun permütasyonu koleksiyonuna ihtiyacınız olacaktır. Bu formda olduğunda, grafiği …

9 graph-theory  co.combinatorics  algebra 

Cuma günü olduğu için bir CW sorusunun zamanı geldi. Optimizasyon problemlerinde geniş kullanım alanı olan buluşsal yöntemler arıyorum. Kapsamı daha 'teori dostu' sezgisel tarama ile sınırlamak için, kurallar şunlardır (bazıları keyfi, bazıları değil) Çok sayıda parametresiz ve somut bir çalışma süresi olan (belki de yineleme başına) iyi tanımlanmış bir yöntem …

9 ds.algorithms  reference-request  optimization  heuristics 

İlişkisel veritabanları için popüler sorgu dillerinde, yanıtlanması için çok fazla kaynak gerektirecek sorgular oluşturmak mümkündür. Uygulamada, veritabanı yöneticileri bunu sorgu başına bellek miktarını sınırlayarak ve veritabanında yavaşlama olup olmadığını uzun süredir çalıştıran sorguları kontrol ederek yönetir . Bu oldukça geçici görünüyor, bunun için bir TCS çözümü var mı? Yalnızca verimli …

9 cc.complexity-theory  pl.programming-languages  db.databases  finite-model-theory 

Bir dizi sahip kümesinden elemanların listeleri, . gelen her öğe tek bir listede görünür . Aşağıdaki güncellemeleri gerçekleştirebilecek bir veri yapısı arıyorum:LLLN={1,2,3,...,n}N={1,2,3,...,n}N = \{ 1, 2, 3, ..., n \}NNNLLL concat(x,y)concat(x,y)concat(x, y) : içeren listeyi içeren listenin sonuna birleştiriryyyxxx split(x)split(x)split(x) : içeren listeyi hemen sonra bölerxxxxxx Ayrıca aşağıdaki sorguları gerçekleştirmesi …

9 ds.algorithms  graph-algorithms  ds.data-structures 

Aşağıdaki sorunun bir adı veya bununla ilgili herhangi bir sonuç olup olmadığını merak ediyorum. İzin Vermek G=(V,w)G=(V,w)G = (V,w) ağırlıklı bir grafik olmak w(u,v)w(u,v)w(u,v) arasındaki kenarın ağırlığını belirtir uuu ve vvvve herkes için u,v∈Vu,v∈Vu,v \in V, w(u,v)∈[−1,1]w(u,v)∈[−1,1]w(u,v) \in [-1,1]. Sorun, yanlarındaki kenarların ağırlıklarının toplamını en üst düzeye çıkaran bir köşe …

9 reference-request  graph-theory  approximation-algorithms  terminology  approximation-hardness 

Bir grafiğim var G,GGsadece yıldız grafiklerden oluşur. Yıldız grafiği, kenarlarındaki diğer düğümlerin kenarlarına sahip bir merkezi düğümden oluşur. İzin Vermek'H1,'H2, … ,'HnH1,H2,…,HnH_1, H_2, \ldots, H_n mevcut farklı boyutlarda farklı yıldız grafikleri olabilir G,GG. Herhangi bir yıldız grafiğinde merkez olan tüm düğümlerin setini çağırıyoruzR,RR. Şimdi bu yıldız grafiklerinin diğer yıldız grafiklerine …

9 graph-theory  co.combinatorics  puzzles 

İşte bir süredir beni rahatsız eden bir sorun. Dize diyelim 1s ve 0s dizisidir ve joker karakter dizesi 1, 0 ve? S dizisidir. Tüm dizeler ve joker karakter dizeleri aynı uzunlukta. Bunlar standart UNIX joker karakterleri; 10 ?? 1 maçlar 10011, 10111, vb - a? bu konumda 1 veya 0 …

9 ds.algorithms  ds.data-structures  approximation-algorithms  string-matching  string-search 

Bir Hilbert uzayını düşünün H=H1⊗⋯⊗HnH=H1⊗⋯⊗HnH = H_1 \otimes \dots \otimes H_n. Uzatılamaz Ürün Temeli (UPB), bir dizi ürün vektörüdür|vi⟩=|v1i⟩⊗⋯⊗|vni⟩|vi⟩=|vi1⟩⊗⋯⊗|vin⟩\vert v_i \rangle = \vert v_i^1 \rangle \otimes \dots \otimes \vert v_i^n \rangle öyle ki: a) hepsi |vi⟩|vi⟩\vert v_i \rangle karşılıklı dik b) hepsine dik ürün vektörü yok |vi⟩|vi⟩\vert v_i \rangle c) …

9 quantum-computing  linear-algebra  quantum-information 

Düzgünleştirilmiş Analiz'de olağandışı bir patlama ile karşı karşıya kaldım ve Tamsayı Programlamanın Düzgünleştirilmiş Analizi makalesinde bir iddiadan etkilendim . Bu, Tamsayı Doğrusal Programlamanın, Polinom ile Sınırlı ise Düzgünleştirilmiş P'de olduğunu belirtti. Tamsayı Programlamanın Sözde-polinom olduğu için bu çok önemliydi! Dolayısıyla soru şudur: Bu evrensel olarak diğer sorunlara da yansıyor mu? …

9 cc.complexity-theory  smoothed-analysis 

Bu soru kriptografi bağlamında ortaya çıktı, ancak aşağıda karmaşıklık teorisi açısından sunacağım, çünkü buradaki insanlar ikincisiyle daha yakından tanışıyorlar. Bu soru NP'deki Sorunlar ile ilgilidir, ancak Oracle Access tarafından Ortalama-P / poli ve Dayak Düzgünlüğü ile ilgilidir . Gayri resmi ifade: Tekdüze olmayan rakipler (yani çok boyutlu devreler ailesi) bir …

9 cc.complexity-theory  cr.crypto-security  np  advice-and-nonuniformity  average-case-complexity 

Fáry'nin teoremi , her bir kenarın düz bir çizgi parçası olması için geçişsiz basit bir düzlemsel grafiğin çizilebileceğini söylüyor. Benim sorum, sınırlı geçiş sayısının grafikleri için benzer bir teorem olup olmadığıdır . Özellikle, k sayısı geçişli basit bir grafiğin çizimde k geçişleri olacak şekilde çizilebildiğini ve her kenarın bazı fonksiyon …

9 graph-theory  co.combinatorics  planar-graphs 

Permütasyon var mı π1,π2π1,π2\pi_1,\pi_2 ve polinom boyutu | w | =n|w|=n|w|=n) sonlu dili tanımlayan bağlamsız gramer { wπ1( w )π2( w ) }{wπ1(w)π2(w)}\{w \pi_1(w) \pi_2(w)\} alfabenin üzerinde { 0 , 1 }{0,1}\{0,1\}? GÜNCELLEME: Bir permütasyon için ππ\pi bu mümkün. ππ\pi "Tersine çevirme", tersine çevirme veya tersine çevirmede nispeten küçük bir …

9 fl.formal-languages  grammars  context-free