Teorik Bilgisayar Bilimi

Her iki kanıt da çapraz argümanı kullandığından, sayılamayan sonsuz kümelerin varlığı ile durma sorununun kararsızlığı arasında belirsiz bir bağlantı olup olmadığını merak ediyorum. Tüm setler sayılabilir olsaydı, durma problemi karar verilebilir mi?

9 halting-problem 

Çalışmalarım için bu özelliklere sahip bir grafik bulmaya çalışıyorum, ancak ne yazık ki böyle bir grafik bulamıyorum. Bu grafik olup olmadığını bilen var mı, ya da var olmak neden imkansız?

9 graph-theory  graph-classes 

Varsayalım kkk puan R,dR,d\mathbb{R}^d. Bunlar bir Voronoi diyagramı oluşturur. Eğer her birinekkk puan a ±±\pmetiketinde, bunlar üzerinde bir ikili fonksiyon indükler . Soru: Bazı noktalarının neden olduğu tüm bu ikili fonksiyonların VC boyutu ve bu noktaların etiketlenmesi nedir?R,dR,d\mathbb{R}^dkkk

9 cg.comp-geom  machine-learning  lg.learning  convex-geometry  high-dimensional-geometry 

Üst üste binen görüntülerin "harmanlanması" sorununu çözüyorum. Bu kümeler, bunun gibi yönlendirilmemiş ağırlıklı grafikle gösterilebilir: Her düğüm bir görüntüyü temsil eder. Çakışan görüntüler bir kenar ile bağlanır. Kenar ağırlığı örtüşme alanı boyutunu temsil eder ( daha büyük örtüşmeyi daha erken harmanlamak daha iyi genel kaliteye yol açar ). Algoritma genellikle …

9 ds.algorithms  graph-theory  graph-algorithms  directed-acyclic-graph  parallel 

Shannon'ın entropi ile çalışmasını biliyorum, ancak son zamanlarda ampirik entropinin sıklıkla depolama analizinin bir parçası olarak kullanıldığı özlü veri yapıları üzerinde çalıştım . Shannon, ayrı bir bilgi kaynağı tarafından üretilen bilgilerin entropisini −∑ki=1pilogpi−∑i=1kpilog⁡pi-\sum_{i=1}^k p_i \log{p_i}, nerede pipip_i olayın olasılığı iii örneğin belirli bir karakter üretilir ve kkk olası olaylar. MCH'nin …

9 reference-request  shannon-entropy  succinct 

Şimdi programlama dillerinde "soyut yorum" un ne olduğunu daha iyi anlamaya çalışıyorum. Alanın en az sabit bir elemanla genişletilmesi fikrini, sürekli bir fonksiyon için sabit bir nokta veren dört aksiyomu vb. Açıklayan iyi bir kitap bölümü buldum. Bu teknik detayları anlıyorum (bu şemada “soyut yorum” un tam olarak neyi ifade …

9 pl.programming-languages  program-analysis 

Karar verilebilir problemler var, karar verilemeyen bazıları var, yarı geçerlilik var, vb. Bu durumda, bir sorunun meta-karar verilemez olup olmadığını merak ediyorum. Bu (en azından kafamda), karar verilebilir olup olmadığını söyleyemeyiz anlamına gelir. Belki de karar verilebilirliğin kararsız olduğu bilinmektedir (her şey meta kararsızdır) ve herhangi bir şey için karar …

9 computability  decidability  undecidability 

Tek yönlü işlevlerin varlığının, kriptografinin çoğu için (dijital imzalar, psödondom jeneratörleri, özel anahtar şifrelemesi, vb.) Gerekli ve yeterli olduğu iyi bilinmektedir. Sorum şu: nelerdir karmaşıklığı-teorik tek yönlü fonksiyonların varlığı sonuçları? Örneğin, OWF'ler şunu ima eder:NP≠PNP≠P\mathsf{NP}\ne\mathsf{P}, BPP=PBPP=P\mathsf{BPP}=\mathsf{P}, ve CZK=IPCZK=IP\mathsf{CZK}=\mathsf{IP}. Bilinen başka sonuçlar var mı? OWF'ler özellikle polinom hiyerarşisinin sonsuz olduğunu ima …

9 cc.complexity-theory  reference-request  complexity-classes  cr.crypto-security  one-way-function 

Nash Equilibria genel olarak hesaplanamaz. birϵϵ\epsilon-Nash dengesi, rakiplerin stratejileri göz önüne alındığında, her oyuncunun kendi içinde elde ettiği bir dizi stratejidir. ϵϵ\epsilonolası maksimum getirinin Bulmakϵϵ\epsilon-Nash dengesi, verilen ϵϵ\epsilon ve bir oyun, PPADPPAD\mathsf{PPAD}-tamamlayınız. Kesinlikle tanımlara göre, belirli bir stratejinin ϵϵ\epsilon-Nash dengesi herhangi bir Nash dengesinin stratejilerine yakın herhangi bir yerdedir. Bununla …

9 reference-request  gt.game-theory  ppad 

Berkowitz algoritması, matris güçleri kullanan bir kare matrisin determinantı için logaritmik derinliğe sahip bir polinom boyutlu devre sağlar. Algoritma dolaylı olarak iptal kullanır. Determinant (ve kalıcı için olası en iyi devre) hesaplamak için logaritmik veya doğrusal derinliğe sahip bir polinom boyutu devresine ulaşmak için iptal gerekli midir? İptal olmadan devreleri …

9 circuit-complexity  algebraic-complexity  permanent  arithmetic-circuits  determinant 

Diyelim ki P! = NP. 3-SAT örneklerini her zaman kolay yapabileceğimizi biliyoruz. Zor örnekler olduğuna inandığımız şeyi de üretebiliriz (çünkü algoritmalarımız bunları hızlı bir şekilde çözemez). Belirli bir örnek boyutu (n) için yalnızca Poli (n) veya daha küçük boyutlu Poli (n) (hatta sabit) örnekler olduğu sürece, sert örnek kümesinin keyfi …

9 np-hardness  p-vs-np 

DOĞRUSAL DİOFANT Denklemler (doğal numaraları verilen , orada doğal sayı ve , öyle ki ?) Polinom zamanda çözülebilir.a , b , cbir,b,ca, b, cxxxyyya x + b y+ c = 0birx+by+c=0ax + by + c = 0 KADRATİK DİOFANTİN DENKLEMLERİ ( ) NP-tamamlandı ( kuadratik polinomlar için NP-tamamlanmış karar problemleri …

9 reference-request 

Lütfen unvanın açıklığını affedin, kısa ve öz sunakta netliği feda etmiş olabilirim. Bir dizinin elemanlarını bir ikili arama ağacına eklemenin ve bunları geri okumanın (ekleme üzerine), bu dizide Quicksort'u çalıştırmakla aynı karşılaştırmaları gerektirdiğini görebilirsiniz. Quicksort'un kullandığı pivot sırası, ikili arama ağacına ekleme dizisidir. Bu, Heapsort ve yığınlar için de önemsizdir, …

9 ds.algorithms  ds.data-structures  sorting 

Bu makalenin sonunda, Doğrusallaştırılabilir Paylaşılan Nesneler (PODC'10) , yazarlar aşağıdaki ifadeyi kaynak göstermeden sunmuşlardır: Bununla birlikte, doğrusallık, ancak fikir birliği çözülebilirse elde edilebilir. Burada, linearizability kağıt önerilmiştir paylaşılan nesneler, en güçlü olan bilinen kesafet özelliğidir bir doğruluk durumu aynı zamanda geçerli amaçları için: Linearizability . Aşağıdaki argümanlar aşağıdaki argümanlar nedeniyle …

9 reference-request  dc.distributed-comp 

Bir formülün tatmin edilebilirliğinin karmaşıklığını arıyorum ∀y1,…,yn,∃x1,…,xm,ϕ∀y1,…,yn,∃x1,…,xm,ϕ\forall y_1, \dots,y_n, \exists x_1,\dots,x_m, \phi veya bir formülün ∃x1,…,xm∀y1,…,yn,ϕ∃x1,…,xm∀y1,…,yn,ϕ \exists x_1,\dots,x_m \forall y_1, \dots,y_n,\phi nerede ϕϕ\phi formun formülüdür: ϕ:=ϕ∧ϕ | ¬ϕ | ϕ→ϕ | ψϕ:=ϕ∧ϕ | ¬ϕ | ϕ→ϕ | ψ\phi:= \phi \wedge\phi ~| ~\neg \phi ~| ~ \phi\to \phi~| ~\psi ψ:=t>t | …

9 cc.complexity-theory  reference-request  lo.logic