«reference-request» etiketlenmiş sorular

Herhangi bir düzlemsel , sırasıyla, dış düzlemsel grafik karşılar | E ′ | ≤ 3 | V ′ | - 6 , sırasıyla, | E ′ | ≤ 2 | V ′G=(V,E)G=(V,E)G=(V,E)|E′|≤3|V′|−6|E′|≤3|V′|−6|E'|\le 3|V'|-6 , her alt grafiği için G ' = ( V ' , E ' ) arasında G …

16 reference-request  graph-theory  graph-algorithms 

Merak ediyorum, görsel olarak aşağı itilen otomata ile ilgili herhangi bir makale veya araştırma var, ancak tek harfler yerine kelimelerin yığına itilmesine izin veriyor musunuz? Alternatif olarak, εε\epsilon geçişlerine sembollerin itilmesine izin veren bir yapı da aynı hedefe ulaşabilir. Açıkçası, bu tür varyasyonlar oluşturulabilir, ancak VPA'ları ilginç kılan kapatma ve …

16 reference-request  fl.formal-languages  automata-theory  context-free  context-free-languages 

Sistem F'de ikili ürünleri türüyle kodlayabileceğiniz iyi bilinmektedir Daha sonra projeksiyon işlevlerini \ pi_1: A \ times B \ to A ve \ pi_2: A \ times B \ to B tanımlayabilirsiniz .π 1 : A × B → A π 2 : A × B → BA × B …

16 reference-request  pl.programming-languages  dependent-type  parametricity 

Dick Lipton'un blogunu okurken Bourne Factor gönderisinin sonuna doğru aşağıdaki gerçeğe rastladım : Her , formun bir ilişkisi varsa ( 2 n ) ! = m - 1 ∑ k = 0 a k b c k k burada m = p o l y ( n ) ve a …

16 ds.algorithms  reference-request  factoring  comp-number-theory 

Bir köşe yönlendirilmemiş grafik verildiğinde , bir -bisik olan bir alt çizgi bulmak için en iyi bilinen çalışma zamanı nedir? Bisikletin bir tarafını "tahmin" etmenin \ binom {n} {k} \ mbox {poli} (n) zaman algoritmasından daha hızlı parametrelenmiş algoritmalar var mı ve hepsinde en az k başka köşe noktası olup …

16 ds.algorithms  reference-request  graph-algorithms  parameterized-complexity 

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 

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 

Verilen noktalar içindeki ve uzaklığı , bu noktaların en büyük alt kümesini bulur, öyle ki hiçbir ikisinin Öklid uzaklığı aşmaz .R d l lp1, … , Pnp1,…,pnp_1,\ldots,p_nR,dRd\mathbb{R}^{d}llllll Bu sorunun karmaşıklığı nedir? İki noktanın mesafesi en fazla olduğunda bir kenarı olan noktaların üzerindeki grafikte , sorun maksimum bir klik bulmakla eşdeğerdir. …

16 ds.algorithms  reference-request  cg.comp-geom 

Birbirine güvenmeyen, keyfi olarak güçlü iki katılımcınız olduğunu varsayalım. Bit taahhüdüne erişebilirler (örneğin, bir oyuncunun diğerine verebileceği ancak ilk oyuncu ikinciye bir anahtar verene kadar açılamayan verileri içeren mühürlü zarflar). Bunu habersiz bir aktarım protokolü oluşturmak için kullanabilir misiniz? Oyuncular hile tespit etmek için sonunda tüm zarfları açmayı kabul etseler …

16 reference-request  cr.crypto-security 

X içermeyen grafikler, indüklenmiş alt çizgi olarak X'den hiçbir grafik içermeyen grafiklerdir. Bir delik , en az 4 köşeleri ile bir döngüdür. Bir tek delikli köşe bir tek sayı olan bir deliktir. Bir anti delik bir deliğin tamamlayıcısıdır. (Tek delikli, tek deliksiz) içermeyen grafikler tam olarak mükemmel grafiklerdir; bu Güçlü …

16 reference-request  graph-theory  co.combinatorics  graph-classes 

ACM Dergisi'nde Deneysel Algoritmik JEA dergisinde olduğu gibi . Temel çalışmalar hangileriydi? Ana sonuçlar nelerdir? Nasıl karakterize edilirler? Bilgisayar biliminin diğer alanlarıyla ilginç bir bağlantısı var mı?

16 ds.algorithms  reference-request  experimental 

Bu sorunu anlamak için ne okumalıyım? Küçük derinlik kuantum devrelerinin gücü. Mi ? Başka bir deyişle, herhangi bir kuantum algoritmasının "kuantum" kısmı, polinom-zaman klasik postprocessing yapmaya istekli olduğumuz sürece, polilog (n) derinliğine sıkıştırılabilir mi? (Bunun Shor'un algoritması için geçerli olduğu bilinmektedir.) Öyleyse, genel amaçlı bir kuantum bilgisayarı oluşturmak genel olarak …

16 cc.complexity-theory  reference-request  quantum-computing 

Bilgisayarlarla ilgili bazı kitaplar buluyorum ama hepsi teknoloji ile ilgili. Teoriyle daha bağlantılı bir şey istiyorum.

15 reference-request  soft-question  philosophy 

Matematik yüksek lisans öğrencisiyim ve teorik bilgisayar bilimi, ne hakkında olduğunu hiç anlamadığım bir alan çünkü konu hakkında iyi bir okuma bulamadım. Bu alanın aslında ne hakkında olduğunu, ne tür konularla ilgilendiğini, içine girmek için hangi ön koşulların gerekli olduğunu vb. Bilmek istiyorum. Şimdilik sadece bilmek istiyorum: Teorik bilgisayar bilimine …

15 reference-request  soft-question  books