Teorik Bilgisayar Bilimi

Bağlam: Sadece digrafileri ele alıyoruz. CYCLE, bir döngülü grafiklerin dili olsun; NL-tam bir sorundur. HASEDGE en az bir kenarı olan grafiklerin dili olsun. Sonra önemsiz bir şekilde, artık NL-hard değil, öyle.ÇEVRİM ∪ ¯ HASEDGECYCLE∪HASEDGECYCLE∪HASEDGE\text{CYCLE} \cup \text{HASEDGE}CYCLE∪HASEDGE¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯CYCLE∪HASEDGE¯\text{CYCLE} \cup \overline{\text{HASEDGE}} Gerçek sorun: dilinin hala NL zor.CYCLE∪{(V,E):(∃u,v,x,y)[E(u,v)∧E(x,y)∧¬E(u,y)∧¬E(x,v)]}CYCLE∪{(V,E):(∃u,v,x,y)[E(u,v)∧E(x,y)∧¬E(u,y)∧¬E(x,v)]}\text{CYCLE} \cup \{(V, E):(\exists u,v,x,y)[E(u, v) \land …

10 cc.complexity-theory  graph-theory  descriptive-complexity 

Ağlar üzerindeki etkileşimleri değerlendirirken, dinamiği analitik olarak hesaplamak genellikle çok zordur ve yaklaşımlar kullanılır. Ortalama alan yaklaşımları genellikle ağ yapısını tamamen göz ardı eder ve nadiren de iyi bir yaklaşımdır. Popüler bir yaklaşım, bitişik düğümler arasındaki doğal korelasyonları dikkate alan çift yaklaşımdır (sezgisel olarak bunu kenarlarda ortalama alan yaklaşımı türü …

10 graph-theory  gt.game-theory  evolutionary-game-theory 

Bir dil LLL sınıfta DPDPDP , iki dil vardır IFF L1∈NPL1∈NPL1 \in NP ve L2∈coNPL2∈coNPL2 \in coNP , öyle ki L=L1∩L2L=L1∩L2L = L1 \cap L2 Bir standart DPDPDP Komple sorun SAT-UNSAT edilir: iki 3-CNF ifadeleri, verilen FFF ve GGG , bu doğrudur FFF karşılanabilir ve GGG değildir? Kritik SAT sorununun …

10 cc.complexity-theory  np-hardness  complexity-classes  sat 

Oldukça sert bir ikilemle karşı karşıyayım: - M.Tech'i CS'de 2 yıl önce tamamladım, VLSI Test alanındaki tezimi tamamladım. Çalışmamdan hoşlanırken, doktora derecemi devam ettirmek için geri dönmek istemiyorum - doktora derecemi almak için bir araç olarak (yaklaşık / çevrimiçi algoritmalarda) teorik bir ders almak istiyorum. Ancak, TCS'de (Teorik Bilgisayar Bilimi) …

10 soft-question  advice-request  career 

Rice'ın Teoremi nedeniyle bir web tarayıcısında, kelime işlemcide veya işletim sisteminde hataları yakalamak için bir program yazamayacağınızı sık sık duydum: Turing tam bir dil için herhangi bir anlamsal özellik kararsız. Bununla birlikte, bunun gerçek dünya programı için işletim sistemlerini ne ölçüde sevdiğinden emin değilim. Bu tür programlar Turing tamlığının tam …

10 computability 

Ay ve Moser 1965 klibi sonucunun tam metinlerini Grafiklerde Cliques'ta arıyorum ( üstel maksimum sayıda klibi olan grafikler var ). Üniversitemin ödeme duvarının ilgili dergiye erişimi yok. (Aslında, önizleme ispatın ilk birkaç cümlesini sağlar, ancak daha sonra beni dinlenmeden bırakır!)nnn Takip ettiğim bir araştırma yönüyle ilgili bu sonuçla ilgileniyordum, ancak …

10 reference-request  graph-theory  co.combinatorics  clique 

Diyelim ki , bir Boole dilidir, üzerinde sonlu dizeler . , uzunluğunda olan dizelerin sayısı olsun . Bir işlev için, pozitif reel sayı pozitif tamsayılar arasından, olan üst yoğunluk ise her yeterince büyük için .LLL{0,1}{0,1}\{0,1\}LnLnL_nLLLnnnd(n)d(n)d(n)LLL d(n)d(n)d(n)Ln≤2nd(n)Ln≤2nd(n)L_n \le 2^n d(n)nnn Herhangi bir P-complete Boole dilinin üst yoğunluğu mı?O(1/n)O(1/n)O(1/n) Motivasyon PARİT, üst …

10 cc.complexity-theory  reference-request  p-hardness 

Standart formda bir polihedronumuz olduğunu varsayalım: Ax=bx≥0Ax=bx≥0\begin{equation*} \begin{array}{rl} \mathbf{A}\mathbf{x} = \mathbf{b} \\\\ \mathbf{x} \ge 0 \end{array} \end{equation*} Çokyüzlüyü, hiper düzlemin her iki tarafındaki köşe sayısı yaklaşık olarak aynı olacak şekilde bölen bir hiperdüzlem bulmak için bilinen herhangi bir yöntem var mı? (yani bölünmenin iki tarafındaki köşe kardinalitelerinin mutlak farkını en …

10 ds.algorithms  linear-programming  linear-algebra 

Katz ve Lindell , kitaplarında LFSR'nin yalancı jeneratörler için korkunç olduğunu ve artık kullanılmadıklarını savunduklarını belirtiyorlar (ayrıca, insanların akış şifreleri yerine blok şifrelerini kullanmasını da tavsiye ediyorlar). Ancak örneğin, estream portföyündeki ( donanım için hedeflenen Tahıl) şifrelerden birinin bir LFSR kullandığını görüyorum, bu nedenle LFSR'lerin iyi olmadığı görüşü bir fikir …

10 soft-question  cr.crypto-security  pseudorandom-generators 

Birisi beni PCF'de işlevsel süreklilik modülünün tanımlanamaması için referans gösterebilir mi? \ newcommand {\ bool} {\ mathsf {bool}}\newcommand{\N}{\mathbb{N}} \newcommand{\bool}{\mathsf{bool}} Andrej Bauer, bazı sorunları daha ayrıntılı bir şekilde araştıran çok güzel bir blog yazısı yazdı , ancak bu soruya bir bağlam kazandırmak için yazısının sadece bir kısmını özetleyeceğim. Baire alanı BBB …

10 pl.programming-languages  lambda-calculus  denotational-semantics  computing-over-reals 

Ağ Kodlaması hakkında bilgi edinmek istiyorum: http://en.wikipedia.org/wiki/Network_coding Yukarıdaki konularda iyi bir anket biliyor musunuz (örneğin, IEEE Anketleri ve Eğiticileri'nden). Google'da bazı üniversite kursları buldum, ancak zaten iyi bir kaynak okuyan ve bilen insanlardan bazı öneriler istiyorum. Teşekkürler Vasilis

10 it.information-theory  coding-theory  survey  ni.networking-internet 

Karışık bir grafiktir verilen kenarları ile D ve yayları A , bir eşleşen bulmak E bu en aza indirir arkların numara G / M , G / K elde edilir G eşleşen köşe yakalanma çıkararak paralel yaylar.G=(V,E,A)G=(V,E,A)G=(V,E,A)EEEAAAEEEG/MG/MG/MG/MG/MG/MGGG Bu sorunun (karar versiyonu) NP tamamlanmış mı? Literatürde incelendi mi?

10 cc.complexity-theory  reference-request  graph-theory 

İşte bir "parça B" sorusu var. Özet: Deterministik olmayan programlara anlambilim kazandırmaya çalıştığımda ilk düşündüğüm şey, yalnızca deterministiği sona erdirmeyen döngüler hakkında bir şeyler kanıtlayamadığım bir anlambilim ile sonuçlanır. Şüphesiz birisi bu durumda ne yapacağını hesapladı ya da en azından bunun zor olduğuna dikkat çekti, ama onu nasıl arayacağımı bilmiyorum …

10 reference-request  denotational-semantics 

Sorum, faktoringin sertliğine dayanarak inşa edilebilen çeşitli aday tek yönlü işlevlerin güvenliğinin denkliği hakkında. Sorununu varsayarsak FACTORİNGİ: [Verilen N=PQN=PQN = PQ rastgele asal için bulmak , .] P QP,Q&lt;2nP,Q&lt;2nP, Q < 2^nPPPQQQ Anlaşılmaz olasılık ile polinom zamanda çözülemez, fonksiyon PRIME-MULT: [ Girdi olarak bit dizisi verildiğinde , iki rasgele ve …

10 reference-request  cr.crypto-security  nt.number-theory  average-case-complexity  one-way-function 

Doktora çalışmalarına başlamadan önce araştırmacı olarak çalışmak üzere araştırma kaydı bulunan yeni mezun olmuş lisans veya yüksek lisans öğrencileri için pozisyonlar var mı? TCS, yeni doktora mezunlarının fakülte pozisyonuna başvurmadan önce araştırma yapmaları için doktora sonrası pozisyon kültürüne sahiptir. Lisans veya Yüksek Lisans öğrencilerinin doktora başvurusu yapmadan önce araştırma yapmaları …

10 soft-question  advice-request  career