Teorik Bilgisayar Bilimi

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

2
Bir makale nasıl yayınlanır?
Hayatımın çoğunda yazılım mühendisi olarak, "akademik" bir kağıt türünü yayınlamaya nasıl başlayacağımı bilmiyorum. Son araştırmalarım sırasında çözdüğüm görev için ilginç bir algoritma buldum (finansal piyasalardaki bazı hesaplamalarla ilgili). Bu iyi bir sonuç değil ama benzer işleri yapan insanlar için ilginç olabileceğini düşünüyorum ve yayınlamak istiyorum. Tabii ki işimde bunları yaygın …
16
Sert görünümlü algoritmik problemler teoremler tarafından kolaylaştırıldı
Aşağıdaki fenomenin gerçekleştiği güzel örnekler arıyorum: (1) Tanımlardan çalışarak ve sadece standart sonuçları kullanarak çözmek için algoritmik bir problem zor görünüyor. (2) Öte yandan, bazı (çok standart olmayan) teoremleri biliyorsanız, kolaylaşır. Bunun amacı, daha fazla teorem öğrenmenin, teori alanının dışında kalanlar için bile (yazılım mühendisleri, bilgisayar mühendisleri vb.) Faydalı olabileceğini …
5
Kolmogorov karmaşıklığının verimli bir şekilde hesaplanabilir varyantları
Kolmogorov ön ek karmaşıklığı (yani , çıktısını alan minimum kendiliğinden sınırlayan programın boyutudur ) birkaç hoş özelliğe sahiptir:K(x)K(x)K(x)xxx Bu, yamalı olan ya da olmayan dizelere göre daha düşük bir karmaşıklığa sahip olan dizeleri verme sezgisine karşılık gelir. Bazı oracle için koşullu karmaşıklığı , hatta daha iyi tanımlamamızı sağlar .K(x|y)K(x|y)K(x|y)K(x|O)K(x|O)K(x|O)OOO Alt …
4
Sadece spektral grafik teorisi ile elde edilen kanıtlar
Büyüleyici bulduğum spektral grafik teorisine artan bir ilgi duyuyorum ve şu ana kadar sahip olduğumdan daha iyi okumak için sahip olduğum birkaç belgeyi toplamaya başladım. Ancak, ben (örneğin çeşitli kaynaklardan de geçiyor o açıklamada merak ediyorum Oradaki grafik teoride bazı sonuçlar yalnızca spektrum tabanlı teknikler kullanılarak kanıtladı ve o ana …
1
TCS teoremleri için makul bir otomatik ispat sistemi var mı?
Bir makinenin kontrol edebilmesi için Turing'in durma problemiyle ilgili kanıtını resmileştirmek istediğimi varsayalım. Tanınmış otomatik teorem kanıtlama sistemlerinden bazıları Mizar, Coq ve HOL4'ü içerir. Coq'u indirip denedim, ancak Turing makineleri için bir kütüphane yok. Kendimden birini kodlamayı düşündüm, ancak öğretici eksik ve dili almak zor. Sorum şu: Turing makinelerini içeren …
2
Kaç tane DFA verilen iki dizeyi kabul eder?
Bir tamsayı ve alfabe harflerini düzeltin . Define üzerindeki tüm sonlu durum otomata toplama olmaya durumunu 1. Biz düşünen başlayan devletler tüm DFAS (olanları sadece bağlı değil, minimal veya olmayan dejenere); Böylece, .nnnΣ={0,1}Σ={0,1}\Sigma=\{0,1\}DFA(n)DFA(n)DFA(n)| D F A ( n ) | = n 2 n 2 nnnn|DFA(n)|=n2n2n|DFA(n)|=n2n2n|DFA(n)| = n^{2n}2^n Şimdi, iki …
1
Sayılabilir büyük sıralı notasyonlar için endüktif tipler.
Büyük sayılabilen sıra sayıları için "doğal yoldan" sayımlar oluşturmak istiyorum. "Doğal yoldan" derken, bir endüktif veri türü X verildiğinde, eşitliğin normal özyinelemeli eşitlik ( deriving EqHaskell'deki ile aynı ) olması gerektiğini ve sırasının genel özyinelemeli sözlükbilimsel düzen ( deriving OrdHaskell'deki ile aynı olması gerektiği) olması gerektiğini kastettim. ) ve bir …
3
Devam eden çalışmayı sunma (şimdi slaytlar kullanılabilir)
Sunum şimdi verildi. Slaytlar aşağıda mevcuttur. Devam eden çalışmaları sunmak, erken geribildirim almak ve fikirlerimizi kristalize etmek için hepimizin yapması gereken bir şeydir. Ne yazık ki, birçok lisansüstü öğrencisi, yalnızca kendi araştırma grubuna olsa bile, erken araştırma sunma konusundaki bu engelin üstesinden gelmek için yardıma ihtiyaç duyuyor. Lisansüstü öğrencilerimize devam …
8
Bir sudoku bulmacasını saklamak için gereken minimum bit sayısı nedir?
Not: Bu standart 9x9 sudoku bulmacası hakkında. Çözüm, yalnızca çözülmüş yasal bulmacaları desteklemeli . Dolayısıyla bir çözümün boş hücreleri desteklemesi gerekmez ve çözülmüş bir sudoku bulmacasının özelliklerine güvenebilir. Bunu merak ediyordum, ama memnun olduğum bir cevabı düşünemedim. Saf bir çözelti, her bir hücre (81 hücre) için toplam 648 bit kullanan …
6
Neden tamsayılar yerine doğal?
Doğal sayıların neden programlama dilleri teorisi ve tür teorisi hakkındaki kitapların yazarları tarafından çok sevildiğiyle ilgileniyorum (örneğin, J. Mitchell, programlama dillerinin temelleri ve B. Pierce, Tipler ve Programlama Dilleri). Basitçe yazılı lambda hesabının ve özellikle PCF programlama dilinin tanımı genellikle Nat ve Bool'lara dayanmaktadır. Genel amaçlı endüstriyel PL'leri kullanan ve …
5
RSA'dan SAT'a Hızlı Azaltma
Scott Aaronson'un blog yazısı bugün, karmaşıklıktaki ilginç açık problemlerin / görevlerin bir listesini verdi. Özellikle biri dikkatimi çekti: Çözüldüğü zaman kayda değer sonuçlar doğurabilecek, mümkün olduğunca az değişken ve cümlecik içeren, 3SAT örneklerinden oluşan bir halk kütüphanesi oluşturun. (Örneğin, RSA faktoring zorluklarını kodlayan örnekler.) Bu kitaplıktaki en iyi güncel SAT-çözücülerinin …
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.