Teorik Bilgisayar Bilimi

Harvey Friedman, ZFC'de kanıtlanamayan düzgün bir sabit nokta sonucu olduğunu gösterdi (her zamanki Zermelo-Frankel, Seçim Aksiyomu ile kuram). Birçok modern mantık sabit nokta operatörleri üzerine inşa edilmiştir, bu yüzden merak ediyordum: teorik bilgisayar bilimi için Üst Vites Sabit Nokta teoreminin bilinen sonuçları var mı? Korunamaz Üst Vites Sabit Nokta Teoremi …

10 computability  lo.logic 

Her şeyden önce, cstheory'nin bu soru için iyi adapte olup olmadığından hala emin değilim, bu yüzden kalabalık durum böyle olmadığını düşünürse rahatsız olmayacağım ... Arama motoru pazarlamasında, çeşitli sorunlar ilginçtir. Adil (ve kârlı) açık artırma mekanizmalarının tasarımı ve sınırlı parasal kaynaklar altında optimal teklif stratejilerinin hesaplanması, ilginç (ve iyi belgelenmiş) …

10 reference-request  lg.learning  gt.game-theory 

Soru : Hesaplanabilir dizileri tahmin etmek (aşağıda tanımlandığı gibi) durma problemi kadar zor mu? Detaylandırma : "Tahmin" başarılı bir şekilde tahmin anlamına gelir, yani önceki n-1 bitlerine erişim verilen dizinin n'inci bitini tahmin etmeye çalışmak (yalnızca ilk bitten başlayıp tüm sonsuz hesaplanabilir dizi). Herhangi bir Turing makinesi tahmincisi p için, …

10 computability 

Herkes eşit olarak değişen ve karmaşıklık ve hesaplanabilirlik "ilginç" hiyerarşilerinden birini kapsayan bir dizi sorun biliyor mu? İlginç olarak, örneğin, Polinom Hiyerarşisi, Aritmetik Hiyerarşisi veya Analitik Hiyerarşi. Veya belki (N) P, (N) EXP, 2 (N) EXP, ...…\ldots 0 , 0', 0'¯¯¯¯, 0'', 0''¯¯¯¯¯, …0,0′,0′¯,0″,0″¯,…0, 0', \overline{0'}, 0'', \overline{0''},\ldots Öte yandan, …

10 cc.complexity-theory  computability 

Gelen Evrensel Kör Kuantum Hesaplama Autors neredeyse klasik kullanıcı hesaplama içeriği hakkında neredeyse her şeyi açıklamadan bir kuantum sunucuda keyfi hesaplamalar yapmak sağlayan bir ölçüm tabanlı protokol açıklar. Protokol açıklamasında yazarlar , tek yönlü modelde Determinizm'de açıklanan bir yöntemle hesaplanması beklenen her kubitle ilişkili "bağımlılık kümelerinden" bahseder. Ancak, bu setin …

10 quantum-computing  cr.crypto-security 

Let π:{0,1}∗→{0,1}∗π:{0,1}∗→{0,1}∗\pi \colon \{0,1\}^* \to \{0,1\}^* Bir permütasyon olmak. ππ\pi sınırsız bir etki alanına etki ederken , açıklamasının sonlu olabileceğini unutmayın. By açıklaması , ben açıklayan bir program anlamına ππ\pi 'nin işlevselliği. (Kolmogorov karmaşıklığında olduğu gibi.) Aşağıdaki açıklamalara bakınız. Örneğin, NOT işlevi böyle bir permütasyondur: işlev DEĞİL (x) Y = …

10 cc.complexity-theory  co.combinatorics  cr.crypto-security  descriptive-complexity  one-way-function 

Aşağıdaki LP var: /* Amaç fonksiyonu */ min: 1 w + 2 x + 0,5 y + z; / * Değişken sınırlar * / w + x <= T1; w + y = U1; x + z = U2; T1 = 50; U1 = 70; U2 = 25; Bu durumda …

10 linear-programming 

Aşağıdaki gibi çerçevelenebilecek bir fizibilite sorum var. Bir nokta verileni bir de boyutlu vektör alanı ve ben en yakın noktası bulmak istiyorum için o karşılar "bir dizi formun kısıtlamaları"d q p ℓ 0pppdddqqqpppℓ0ℓ0\ell_0 Verilen bir dizi en bir az, sıfırdan farklı olabilir.{ q j , j ∈ S }S∈ [ …

10 ds.algorithms  approximation-algorithms  linear-programming 

Hiroimono popüler bir bulmaca. İlgili bulmacanın hesaplama karmaşıklığıyla ilgileniyorum.NPNPNP Problem şu: Girdi : x n kare ızgara ve k tamsayısında bir dizi nokta verilirnnnnnnkkk Soru : Çokgenin köşelerindeki nokta sayısı en az k olacak şekilde doğrusal bir çokgen (kenarları veya y- eksenine paralel ) var mı?xxxyyykkk Çokgenin her köşesi giriş …

10 cc.complexity-theory  np-hardness  puzzles  integer-lattice 

Basitleştirilmiş bir klasik veritabanı işlemi şu şekilde görülebilir: M öğelerini okuma bu okumalara dayalı bazı hesaplamalar yapmak başlangıçta okunan öğeleri içerebilecek bu hesaplamalara dayanarak bazı N sonuçları yazmak. Bu işlemleri gerçekleştirirken (aynı anda) ACID özelliklerinin korunması gerekir. DBMS olmayan eşzamanlı sistemlerde tam olarak aynı gereksinimler (işlemsel olarak M okumalarına dayalı …

10 ds.algorithms  dc.distributed-comp 

Bir boolean devre Verilen üzerinde (sadece DEĞİL kullanan, AND ve OR kapıları) değişkenler, devre tarafından temsil edilen boolean formülü ayıklamak için en etkili yolu nedir? Bu sorun için bir çoklu zaman algoritması var mı?nCCCnnn

10 cc.complexity-theory  time-complexity  boolean-functions 

İki kişinin birlikte olup olmadığını anlayabilecek herhangi bir araç var mı? Birinin Erdos _sayı_'sını anlayabileceği araç gibi.

10 soft-question 

Ağırlıklı kenarları olan güçlü bir şekilde bağlanmış G digrafisi göz önüne alındığında, G'nin minimum derecede güçlü bir şekilde bağlı altgrafının (MSCS) bir parçası olmayan kenarları tanımlamak istiyorum. Bu kenarları bulmanın bir yöntemi, değiştirilmiş bir Floyd-Warshall algoritmasıdır. Floyd-Warshall algoritmasını kullanarak, hangi kenarların i köşe noktasından j noktasına gitmek için asla en …

10 ds.algorithms  graph-theory  graph-algorithms 

Grafik otomorfizması, kenar setinde bir bijeksiyonu indükleyen grafik düğümlerinin permütasyonudur EEE. Biçimsel olarak, bir permütasyon fff düğümleri, örneğin IFF( f ( u ) , f ( v ) ) ∈ E(u,v)∈E(u,v)∈E(u,v)\in E(f(u),f(v))∈E(f(u),f(v))∈E(f(u),f(v))\in E Bir miktar permütasyon için ihlal edilen kenarı, kenar dışı olarak eşlenen kenar veya ön kenarı kenar olmayan …

10 cc.complexity-theory  graph-theory  automorphism  symmetry 

Motivasyon: Standart büyütme yolu maksimum akış algoritmalarında, iç döngü, yönlendirilmiş, ağırlıklı bir grafikte kaynaktan batmaya giden yollar bulmayı gerektirir. Teorik olarak, algoritmanın irrasyonel kenar kapasiteleri olduğunda bile sona ermesi için bulduğumuz yollara kısıtlamalar koymamız gerektiği iyi bilinmektedir. Örneğin Edmonds-Karp algoritması bize en kısa yolları bulmamızı söyler . Ampirik olarak, yağ …

10 ds.algorithms  graph-theory  graph-algorithms