Teorik Bilgisayar Bilimi

Karışık grafik, hem yönlendirilmiş hem de yönlendirilmemiş kenarlara sahip olabilen bir grafiktir. Alttaki yönlendirilmemiş grafiği, yönlendirilmiş kenarların yönelimlerinin unutulmasıyla elde edilir ve diğer yönde, karıştırılmamış her bir kenara bir yön atanarak karışık bir grafiğin bir yönelimi elde edilir. Bir kenar kümesi, yönlendirilmiş bir döngü oluşturmak üzere yönlendirilebiliyorsa, karışık bir grafikte …

16 ds.algorithms  reference-request  graph-theory  graph-algorithms  directed-acyclic-graph 

Genel grafiklerdeki üçgenleri saymak zamanında önemsiz bir şekilde yapılabilir ve daha hızlı yapmanın zor olduğunu düşünüyorum (referanslar hoş geldiniz). Düzlemsel grafikler ne olacak? Aşağıdaki basit prosedür, O ( n log n ) zamanında yapılabileceğini göstermektedir. Sorum iki katlıdır:O(n3)O(n3)O(n^3)O(nlogn)O(nlog⁡n)O(n\log{n}) Bu prosedür için referans nedir? Zaman doğrusal hale getirilebilir mi? Lipton-Tarjan'ın düzlemsel …

16 reference-request  graph-algorithms  planar-graphs 

Sorunumu bir örnekle tanıtacağım. Bir belirli kümesi oluşan bir sınav, tasarlıyorsunuz Say (adaylar ya doğru ya da yanlış alabilirsiniz) bağımsız sorular. Soruların her birine verilecek bir puana karar vermek istersiniz, kural, toplam puanı belirli bir eşiğin üzerinde olan adayların geçeceği ve diğerlerinin başarısız olacağıdır.nnn Aslında, bu konuda çok titizsiniz ve …

16 reference-request  boolean-functions 

0-1 prensibi, bir sıralama ağı tüm 0-1 dizileri için çalışıyorsa, herhangi bir sayı kümesi için çalıştığını söyler. Bir var , bir ağ S'den her 0-1 sekansı sıralar halinde, o zaman, her 0-1 sekansı ve boyutu sıralar örneğin S polinom olan n ?S⊂ { 0 , 1 }nS⊂{0,1}nS\subset \{0,1\}^nSSSnnn Örneğin, , …

16 ds.algorithms  sorting  sorting-network 

Değişkenlerin sayısı sabitse tamsayı doğrusal programlamanın polinominal zamanda çözülebildiğini okudum , yani n ∈ O ( 1 ) . Değişken sayısı logaritmik olarak büyüyorsa, yani belirli bir N boyutu girişi için n ∈ O ( log 2 ( N ) ) , sorun polinom zamanında hala çözülebilir mi, yoksa açık …

16 cc.complexity-theory  np  open-problem 

ve alt kümeleri olsun . Minkowski toplamını A + B = \ {a + b ~ | ~ a \ 'da A, b \' de B \} bulmakla ilgileniyoruz .AAABBB{0,…,n}{0,…,n}\{0,\ldots,n\}A+B={a+b | a∈A,b∈B}A+B={a+b | a∈A,b∈B}A+B=\{a+b~|~a\in A,b\in B\} χX:{0,…,2n}→{0,1}χX:{0,…,2n}→{0,1}\chi_X:\{0,\ldots,2n\}\to \{0,1\} karakteristik bir fonksiyonudur iseXXXχX(x)={1 if x∈X0 otherwiseχX(x)={1 if x∈X0 otherwise\chi_X(x) = \begin{cases} …

16 convolution  fft 

Homotopy türü teorisi bloguna bakıldığında, Agda ve Coq'daki Homotopy Type Theory'nin çoğunu resmileştiren çok sayıda kütüphane kolayca bulunabilir. Orada kimse Hott resmileştirmek benzer herhangi bir girişim varsa farkında mı İdris ?

16 proof-assistants  homotopy-type-theory 

Let bir digraph (mutlaka bir DAG) olabilir ve izin s , t ∈ V ( G ) . G'deki basit s - t yollarının sayısını hesaplamanın karmaşıklığı nedir ? G,GGs , t ∈ V( G )s,t∈V(G)s,t \in V(G) s - ts−ts-tG,G,G Sorunun # -tamamlanmasını bekliyorum ama kesin bir referans bulamamıştım. …

16 ds.algorithms  reference-request  counting-complexity 

Bir permütasyonun paritesini hesaplayan tek geçişli bir algoritma arıyorum. Bir giriş permütasyonunun tarafından verildiğini varsayıyorum . Çıktı, permütasyonun paritesi olmalıdır. Bir deterministik algoritmanın ne kadar bellek kullanması gerektiğiyle ilgili soru. Sorun için rastgele bir algoritma var mı?π[1],π[2],⋯,π[n]π[1],π[2],⋯,π[n]\pi[1], \pi[2], \cdots, \pi[n] Biliyorum, tek geçişteki bilgi işlem evirimi sayısı Θ(n)Θ(n)\Theta(n) bellek kullanıyor. …

16 ds.algorithms  permutations  streaming-algorithms 

Gerçek sayılarla, gerçek sayıların kullanımına ilişkin en bilinen sonuçların yalnızca hesaplanabilir gerçekler göz önüne alındığında kullanılabileceğini belirten genel bir teorem var mı? Yoksa yalnızca hesaplanabilir gerçekler göz önüne alındığında geçerli kalan sonuçların uygun bir karakterizasyonu var mı? Bir yan soru, hesaplanabilir gerçeklerle ilgili sonuçların, tüm gerçekleri veya hesaplanamayan herhangi bir …

16 computability  computing-over-reals  topology  model-theory 

tam dillerin bir listesine ihtiyacım var . Karmaşık Hayvanat Bahçesi'nde listelenen bu tür iki sorun vardır :Σp2Σ2p\Sigma_2^p Minimum eşdeğer DNF. Bir DNF formülü F ve tamsayı k verildiğinde, F'ye eşdeğer bir DNF formülü var mı veya k'nin daha az değişmezi mi var? En kısa ima. F formülü ve k tamsayısı …

16 complexity-classes  polynomial-hierarchy 

Yakın zamanda bir arkadaşımla (çok iyi yazılmış dillerin savunucusu olan) bir tartışma yapıyordum. Yorum yaptı: Lambda Matematik'in mucitleri her zaman yazılmasını istediler. Şimdi görebilirsiniz Kilisesi ile ilişkili bulunmuştur Basitçe Yazılan Lambda Calculus . Gerçekten de, Lambda Hesabı hakkındaki yanlış anlaşılmayı azaltmak için Basitçe Yazılan Lambda Analizini açıklamış gibi görünüyor. Şimdi …

16 lambda-calculus  church-turing-thesis  lisp  typed-lambda-calculus 

Biz NFA söylemek olan sürekli belirsiz mevcut ise herhangi bir kelime şekilde ya göre kabul ya da (tam olarak) yolları.MMM w ∈ Σ ∗ 0 kk ∈ Nk∈Nk\in \mathbb{N}w ∈ Σ*w∈Σ∗w\in \Sigma^*000kkk Eğer otomasyon sürekli olarak için belirsiz ise , kesin olmayan FA (UFA) olarak adlandırılır .k = 1 MMMMk …

16 complexity-classes  fl.formal-languages  automata-theory  regular-language 

Veri yapıları hakkında bir ders veriyorum ve önümüzdeki hafta başında dalak ağaçlarını kapatacağım. Yayvan ağaçlarla ilgili makaleyi defalarca okudum ve veri yapısının arkasındaki analiz ve sezgiye aşinayım. Ancak, Sleator ve Tarjan'ın analizlerinde kullandığı potansiyel işlev için sağlam bir sezgi bulamıyorum. Analiz ağacındaki bir rasgele ağırlığı her öğe atayarak çalışır sonra …

16 ds.data-structures  intuition  amortized-analysis 

Bu forum için çok geniş bir soru varsa özür dilerim, ancak araştırmacıların (TCS'de) bir araştırma makalesinin tanıtımını yazmak için kullandıkları belirli taktik ve ipuçlarıyla ilgileniyorum.

16 soft-question  advice-request  research-practice  writing