Teorik Bilgisayar Bilimi

Koşullu mantık, diğer koşul kavramlarına karşılık gelen modal operatörlerle geleneksel mantıksal imaları arttıran mantıklardır (örneğin, nedensel koşullu " A " B "ye veya olasılık koşullandırmasına neden olur" A | B "," A verilen B "yiokur).A□→BA◻→BA\; \square\!\!\!\!\to BAAAA|BA|BA|BAAABBB Tipik olarak bu mantıklar model teorik olarak incelenir, ancak bunların programlama dili tasarımına …

11 reference-request  lo.logic  pl.programming-languages  type-theory  proof-theory 

"Birinci derece formül bir model var mı?" Sorusunun genel olarak kararsız olduğunu biliyorum .φφ\phi Herkes bana bir bağlantı veya sonlu modeller için cevap veren bir kitap verebilir. İlk sipariş formülüm varsa , sonlu bir modeli olup olmadığına karar verilebilir mi ? Sorunun iyi bilindiğinden eminim, ancak cevap aramaya nereden başlayacağımı …

11 reference-request  lo.logic  computability  finite-model-theory 

Bu konuda zaten yayınlanmış bir sonuç olup olmadığını sormak istiyorum: İki düzenli normal ( d derecesi diyelim ve n düğüm sayısı ) bağlı her bir düğüm çifti arasındaki olası tüm farklı yolları alıyoruz ve uzunluklarını yazıyoruz. Elbette bu farklı yol sayısı üsteldir. Sorum şu ki, uzunlukları sıralarsak ve karşılaştırırsak (iki …

11 graph-theory  co.combinatorics  graph-algorithms  graph-isomorphism 

NEXP ve aynı zamanda üstel zaman ve sadece bir alternatif (varoluşsal bir durumdan başlayarak) kullanarak alternatif bir TM tarafından çözülebilir bir sorun var.NPNP^{\text{NP}} NEXP hakkında bilinen bir şey var mı ? NEXP veya başka bir sınıfa eşit mi? Genel olandan başka tam sorunlar var mı (bir NEXP makinesi ve bir …

11 cc.complexity-theory  reference-request  complexity-classes  nexp 

Ortalama vaka alanı karmaşıklığı analiz edilen sorunları bulmaya çalışıyorum. Daha spesifik olarak, süper doğrusal olan kanıtlanmış bir alan karmaşıklığı alt sınırı ile ilgili herhangi bir sorun olup olmadığını bilmek istiyorum ve özellikle bir ortalama-durum analizi (örneğin, algoritmaya izin verilse bile sınır tutar) küçük bir süre için hata yapmak vb.) Şimdiden …

11 cc.complexity-theory  reference-request  space-bounded  average-case-complexity 

Nurikabe , Mayın Tarlası / Nonogramlara gevşek bir şekilde benzeyen, kısıt tabanlı bir ızgara doldurma bulmacasıdır; sayılar her hücre için açma / kapama değerleriyle doldurulacak bir ızgaraya yerleştirilir, her sayı o büyüklükteki bağlı 'açık' hücrelerin bir bölgesini ve 'kapalı' hücreler bölgesinde bazı küçük kısıtlamaları gösterir ( bağlı olmalı ve bitişik …

11 cc.complexity-theory  np-hardness  puzzles 

SHA-1 güvenliği, çarpışmaların bulunması için bir algoritma ilk olarak CRYPTO 2004'te yayınlandığından ve daha sonra geliştirildiğinden tartışılmıştır. Wikipedia birkaç referans listeliyor , ancak bu konuda yayınlanan (ve daha sonra geri çekilen) en son araştırmanın 2009 yılında yapıldığı anlaşılıyor (Cameron McDonald, Philip Hawkes ve Josef Pieprzyk "O karmaşıklığı olan SHA-1 için …

11 cr.crypto-security  hash-function  cryptographic-attack 

1999 tarihli "PCF Metrik Modeli" çalıştayında Martín Escardó, PCF'nin tam ultrametrik uzaylar ve genişlemeyen haritalar kategorisinde basit bir yorumunun mümkün olduğunu gösterdi. Bu modelin yeterli olduğunu ve bir zaman aşımı yapısının (yani, sınırlı sayıda adım için argümanını çalıştıracak bir operatör ekleyebileceğini ve içinde sonlandırılamazsa bir cevap verebileceğini veya bir hata …

11 pl.programming-languages  denotational-semantics  metric-spaces 

Angluin ve Laird ('88) "rasgele sınıflandırma gürültülü PAC" (veya gürültülü PAC) modelinde rasgele bozulmuş verilerle öğrenmeyi resmileştirdi . Bu model, benzer öğrenme PAC olasılığı ile, bağımsız bir şekilde, rastgele, bozuk (ters çevrilmiş) vardır öğrenen verilen örneklerin etiket dışında .η&lt;1/2η&lt;1/2\eta < 1/2 Gürültülü PAC modelinde öğrenilebilir olanı karakterize etmeye yardımcı olmak …

11 lg.learning 

Bu soru üzerine sorulan bir soruya motive edilmiş stackoverflow . Eğer köklü ağaç verilir varsayalım (yani bir kök var ve düğümleri çocuk vb var) üzerinde düğümleri (etiketli ).n 1 , 2 , … , nTTTnnn1,2,…,n1,2,…,n1, 2, \dots, n Her tepe noktası , negatif olmayan bir tamsayı ağırlığına sahiptir: .w beniiiwiwiw_i …

11 cc.complexity-theory  reference-request  np-hardness  tree  application-of-theory 

Sınırsız hesaplama kaynaklara sahip Merlin, o Arthur ikna etmek istiyor için ile ve Bu toplamın basit bir şekilde hesaplanması (modüler üs alma ve ekleme), FFT tabanlı çarpma ile zaman alır. * Ancak Arthur yalnızca işlemlerini gerçekleştirebilir. ( N , m , k ) k = O ( log N ) …

11 cc.complexity-theory  ds.algorithms  time-complexity  interactive-proofs  nt.number-theory 

SAT çözümleyicilerini özel grafik algoritmalarıyla rekabet etmenin önündeki engeller nelerdir? Başka bir deyişle, algoritma tasarımcısı rolünün yerini alabilecek SAT çözücüler beklemek - yani sorun yapısını otomatik olarak tanıyabilmek ve daha sonra özel bir algoritma kadar hızlı bir şekilde çözmek mümkün müdür? Bugünün SAT çözümleyicileri için zor olduğunu düşündüğüm bazı örnekler: …

11 ds.algorithms  graph-theory  sat 

Ben CS öğrencisiyim. Bir teoride grafik teorisi yaptık. Bunu ilginç buldum. Grafik teorisinin bilgisayar bilimi alanındaki gerçek uygulamaları nelerdir? Örneğin, grafik teorisindeki bazı kavramların ağları tasarlamak için kullanılabileceğini buldum. Benzer uygulamalar nelerdir?

11 graph-theory  co.combinatorics  big-list  application-of-theory 

Aşağıda verilen bir tanıma göre sınıftaki bir algoritmanın 'refleksif' olarak kabul edilebileceği teorik veya pratik bir karma algoritma sınıfı var mı: hash1 = algo1 ("giriş metni 1") hash1 = algo1 ("girdi metni 1" + karma1) + Operatörü, algoritmayı (algo1) tam olarak aynı sonucu verecek şekilde çıktıyı (hash1) tekrar girişe ("girdi …

11 ds.algorithms  hash-function 

Let üzerinden derece herhangi bir tepe arasında olduğu şekilde, bir asiklik yönlendirilmiş çizge O ( giriş | V | ) . G'nin her tepe noktası için, yalnızca her tepe noktasından dfs çalıştırarak ulaşılabilir köşe sayısını sayabiliriz ve bu O ( | V | | E | ) zamanını alır. Bu …

11 ds.algorithms  graph-theory  graph-algorithms  directed-acyclic-graph