Teorik Bilgisayar Bilimi

Çoğu Amerikan üniversitesinin sadece tek bir alandaki başvuruları kabul ettiği göz önüne alındığında, bir CS teorisi programına başvurmanın, birinin ilgisinin her iki bölümde de olduğu göz önüne alındığında, uygulamalı bir matematik programına karşı avantajlarının / dezavantajlarının ne olduğunu anlamaya çalışıyorum. Daha spesifik olmak gerekirse, azalan düzende ilgi alanlarım 1. Kombinatorik …

16 soft-question  advice-request  career 

Ben genel grafiklerde aittir ama sınırlı ağaç genişliği grafik içinde bir sorun arıyorum , Aslında ben bu sorunlar sınırlı normal dinamik programlama kullanmaktan daha zor olduğunu düşünüyorum -genişlik grafikler onları çözmek için.ΣP2Σ2P\mathsf{\Sigma^P_2}PP\mathsf{P}

16 cc.complexity-theory  graph-theory  treewidth 

Başlık sorusuna kesin bir cevap almak istiyorum. Herhangi bir programı sonsuz bir tahtadaki sonlu parçaların konfigürasyonuna çeviren bir dizi kural var mı, eğer siyah ve beyaz sadece yasal hamleleri oynarsa, oyun program durursa oyunun sınırlı bir sürede bitmesi gerekir mi? Kurallar sıradan satranç eksi 50 hareket kuralı, borsalar ve rıhtımla …

16 computability  turing-machines  board-games  halting-problem  recreational 

PTIME veya coNP'de aşağıdaki sorun zor mu? değişkenlerinde iki ve Boole ifadesi (yani, ifadeler tamamen ve yoluyla oluşturulur ). , değişkenlere yapılan tüm atamalar için aynı değere sahip olup olmadığına karar verin .e 2 x 1 , … , x n ∧ ∨ e 1 ≡ e 2e1e1e_1e2e2e_2x1,…,xnx1,…,xnx_1,\dots,x_n∧∧\wedge∨∨\veee1≡e2e1≡e2e_1 \equiv e_2 …

16 cc.complexity-theory  time-complexity  boolean-functions  monotone 

Arka fon İkili karar ağacı , her iç düğümün (ve kökün) dizininde indeksiyle etiketlendiği ve kökten yaprağa hiçbir yolun bir dizini tekrarlamadığı köklü bir ağaçtır , yapraklar içindeki çıkışlarla etiketlenir ve her kenar sol çocuk için ve sağ çocuk için olarak etiketlenir . girişine ağaç uygulamak için :TTTj ∈ { …

16 ds.algorithms  query-complexity  decision-trees 

Ek yayınların kaydınıza zarar verebileceği durumlar var mı? Bu, yanlış veya tartışmalı sonuçlar yayınladığınız bariz durumlardan kaçınır. Sonlu zaman durumundan da kaçınmak: sadece düşünmek ve yazmak için çok zamanınız var, bu yüzden bir kağıt yazmak başka bir projede zaman kaybetmenize neden olabilir. Örnek bir kullanım örneği şunlar olabilir: teorik bilgisayar …

16 soft-question  advice-request  career 

Orada teorik kanıtlar DFAs kesiştiği için naif kartezyen ürünlü inşaat "Yapabileceğimiz en iyi" olduğunu söyledi. İki DFA'nın birleştirilmesine ne dersiniz? Önemsiz yapı, her DFA'nın bir NFA'ya dönüştürülmesini, bir epsilon-geçişinin eklenmesini ve ortaya çıkan NFA'nın belirlenmesini içerir. Daha iyisini yapabilir miyiz? Minimum birleştirme DFA'sının boyutunda bilinen bir sınır var mıdır ("önek" …

16 cc.complexity-theory  fl.formal-languages  automata-theory  dfa 

En kötü durum ve ortalama vaka analizi, bir algoritmanın karmaşıklığı için iyi bilinen önlemlerdir. Son zamanlarda düzgünleştirilmiş analiz, en kötü durumda üstel olan bazı algoritmaların, örneğin simpleks algoritması gibi pratikte neden bu kadar iyi çalıştığını açıklamak için başka bir paradigma olarak ortaya çıkmıştır. Sorum şu: Bir algoritmanın karmaşıklığını ölçmek için …

16 cc.complexity-theory  average-case-complexity  smoothed-analysis 

Aşağıdaki makale kamuya açık mı? Dana Scott, 1969, Yüksek tip hesaplanabilir fonksiyonlar teorisi . Yayımlanmamış seminer notları, 7 sayfa, Oxford Üniversitesi. Bu yazının bölüm 8.1.2, Set olarak türler , Cardone ve Hindley, 2006 Lambda hesabı ve Kombinasyon Mantığı Tarihi ; ayrıca Bölüm 10.1, Alan teorisi , bazı önemli düzen-teorik içgörüleri …

16 reference-request  lo.logic  type-theory  domain-theory 

Kenarların doğal bir sayı ile süslendiği bir grafiği çiziniz. İki ve köşeleri arasındaki tüm yollarının kümesini istiyoruz, birbirini takip eden her kenar, bir önceki kenarı süsleyen doğal sayıdan daha büyük bir doğal sayı ile süslenir.P v 1 v 2GGGPPPv1v1v_1v2v2v_2 Bunun için bir uygulama otobüs veya tren programları olacaktır. İstasyonlar arasındaki …

16 ds.algorithms  reference-request  graph-algorithms  terminology 

Bilgisayar bilimi ile ilgili şaşırtıcı şeylerden biri, fiziksel uygulamanın bir anlamda "alakasız" olmasıdır. İnsanlar, röleler, vakum tüpleri, ayrık transistörler, vb. Gibi farklı alt tabakalardan başarılı bir şekilde bilgisayar üretmişlerdir. Prensip olarak, bir bilardo topu bilgisayarı yapmak mümkün görünüyor . Bununla birlikte, fiziksel substrat tamamen alakasız değildir. İnsanlar belirli bileşen setlerinin …

16 computability  turing-machines  terminology  physics  natural-computing 

Sıklıkla bazı çıkarım kurallarına göre bir nesneyi tanımlamak istiyoruz . Bu kurallar , monotonik olduğunda, en az sabit bir nokta veren bir üretme fonksiyonu belirtir . Biz almak ve "endüktif tanımı" olmaya . Dahası, tekdüzeliği, bir kümenin ne zaman içerdiğini (yani bir mülkiyet evrensel olarak tuttuğunda ) belirlemek için "indüksiyon …

16 lo.logic  pl.programming-languages  type-theory  proof-assistants  coq 

Yabancı işlev arayüzlerini (FFI) ve çoklu dil bağlarını tanımlayan herhangi bir programlama dili teorisi var mı? Burada uygun olmayan stackoverflow üzerinde bazı uygulama sorunları sordum . Ama bu sitenin bakış açısıyla sormak ve buradan ne alabileceğimi görmek istiyorum. Cevabınızı gerçekten takdir ediyorum! Dave Clarke'a yaptığı yanıt için teşekkürler ！

16 pl.programming-languages  semantics 

Collatz varsayımını resmi bir dilbilgisi olarak inceleme girişimlerinin iyi bir bibliyografyası olup olmadığını merak ediyordum. (ya da CS topluluğunda bu tür üretken fenomenler ve onların "durma" özellikleriyle ilgilenme girişimleri).

16 fl.formal-languages  nt.number-theory  halting-problem 

Da rasgele bilinmektedir üzerinde -CNF formüller ile değişken yeterince büyük sabiti, maddeleri yüksek olasılıkla (yani, çelişkileri vardır) edilemezdir olan . Bu nedenle, rastgele CNF formülleri ( yeterince için ) tatmin edilemez Boole formülleri (veya dually, totolojiler, yani çelişkilerin olumsuzlamaları) üzerinde doğal bir dağılım oluşturur. Bu dağılım kapsamlı bir şekilde incelenmiştir.kk …

16 cc.complexity-theory  reference-request  lo.logic  sat  random-k-sat