Teorik Bilgisayar Bilimi

Anlayışımı kontrol etmek için, hesaplamanın enerji gereksinimleriyle ilgili bazı düşünceleri paylaşmak istiyorum. Bu benim önceki sorumun bir takipçisi ve Vinay'in koruma yasalarıyla ilgili sorusuyla ilgili olabilir . Termodinamik açıdan, bir hesaplama yapmanın, bir dereceye kadar yatay bir çizgi boyunca bir ağırlığın taşınmasına benzer şekilde bir ölçülebilir olduğu düşünülebilir: Tek enerji …

22 cc.complexity-theory  big-picture  physics 

Diyelim ki düzlemde birkaç ayrık basit çokgen ve her poligonun dışında iki nokta ve t verildi . Öklid en kısa yol problemi ile ilgili Öklid kısa yol hesaplamak için s için t herhangi bir çokgen iç kesişmez. Somutluk için, s ve t koordinatlarının ve her çokgen köşesinin koordinatlarının tamsayı olduğunu …

22 ds.algorithms  cg.comp-geom  open-problem  computing-over-reals 

Bu soru, ikili sayıların normal çarpımı ile polinom çarpma mod 2 arasındaki ilişki hakkındadır. Soruyu somutlaştırmak için, ideal olarak Knuth vol. 2, 3. baskı, sayfa 420 kitapta verilenden daha fazla. "Polinomların modulo 2 çarpımı, katsayılar bilgisayar sözcükleriyle doldurulmuşsa, ikili bir bilgisayarda sıradan aritmetik işlemlerle kolaylaştırabilir mi?" Knuth, girdideki bit sayısını …

22 ds.algorithms  reductions  time-complexity 

Let bir grafiktir olabilir. Bir köşe için tanımlama, (açık) mahalle olarak de . Yani, N (x) = \ {y \ 'de V \, \ vert \, \ {x, y \} \, E \} . İki köşe tanımlama u, v içinde G olduğu ikiz ise u ve v , komşu aynı …

22 ds.algorithms  reference-request  graph-algorithms 

Ben sadece sorumun cevabının "evet" olduğunu varsaydığımı fark ettim ama iyi bir nedenim yok. Belki de sadece en kötü durumdaki yavaşlamayı kanıtlayan bir çöp toplayıcı olduğunu hayal ediyorum . Alıntılayabileceğim kesin bir referans var mı? Benim durumumda tamamen işlevsel bir veri yapısı üzerinde çalışıyorum ve bu detaylar önemliyse, Standart ML …

22 reference-request  ds.data-structures  pl.programming-languages  functional-programming 

Son birkaç aydır sosyal seçim, ok teoremi ve ilgili sonuçlar hakkında ders vermeye başladım. Seminal sonuçları okuduktan sonra, kısmi sipariş tercihlerinde neler olduğunu kendime sordum, cevabı Pini ve ark. : Kısmen sipariş edilen tercihlerin bir araya getirilmesi: imkansızlık ve olasılık sonuçları . Sonra kabul edilebilir sosyal seçim işlevlerinin bir karakterizasyonunu …

22 co.combinatorics  gt.game-theory  boolean-functions  social-sciences 

Bu cevabı bir süre önce okuduktan sonra , tamamen homomorfik şifrelemeye ilgi duydum. Gentry'nin tezinin girişini okuduktan sonra, şifreleme şemasının üçüncü paragrafta tanımlandığı gibi unutulmaz kod yürütme için kullanılıp kullanılamayacağını merak etmeye başladım. Tamamen homomorfik bir şifreleme şemasında tipik olarak bazı verileri şifreleriz, bunu veriler üzerinde belirli bir fonksiyonun hesaplandığı …

22 cr.crypto-security  homomorphic-encryption  obfuscation 

Peter Shor , n × n × n Rubiks küpünün çözülmesinin karmaşıklığına dair daha önceki bir soruyu cevaplama girişimi ile ilgili ilginç bir nokta ortaya koydu. NP'de bulunması gerektiğini göstermek için oldukça saf bir girişim yayınlamıştım. Peter'ın belirttiği gibi, benim yaklaşımım bazı durumlarda başarısız oluyor. Böyle bir örneğin olası bir …

22 co.combinatorics  puzzles 

3-MUL olarak adlandırdığımız aşağıdaki sorunun zaman karmaşıklığı hakkında bilinenler nelerdir? Verilen bir dizi SSS ve nnn tamsayılardır, orada elemanları a,b,c∈Sa,b,c∈Sa,b,c\in S şekilde ab=cab=cab=c ? Bu problem 3-SUM problemine benzer, a,b,c∈Sa,b,c∈Sa,b,c\in S şeklinde a+b+c=0a+b+c=0a+b+c=0 (veya eşdeğerde a+b=ca+b=ca+b=c ) olup olmadığını sorar . 3-SUM, cinsinden kabaca ikinci dereceden bir zaman gerektirecek şekilde …

22 cc.complexity-theory  ds.algorithms  time-complexity 

Temel referanslar nelerdir? SGT ve genel olarak CS'ye uygulamaları ve daha özel olarak makine öğrenmesi için iyi, üst düzey anketler ve uygulamaları var mı?

22 reference-request  spectral-graph-theory 

Bir algoritmanın çalışma süresini analiz etmenin bazı yolları: 1) En kötü durum analizi: En kötü durumda çalışma süresi. 2) Ortalama durum analizi: Rasgele bir durumda beklenen çalışma süresi. 3) İtfa edilmiş analiz: En kötü durumda olan sıradaki ortalama çalışma süresi. 4) Düzgünleştirilmiş analiz: Rastgele bozulan en kötü durum için beklenen …

22 ds.algorithms 

Scott Aaronson ilginç bir meydan okuma önerdi : CS bilgisayar problemlerini fizikçilerin büyük parçacık çarpıştırıcılarını kullandıkları gibi çözmesine yardımcı olmak için bugün süper bilgisayarlar kullanabilir miyiz? Daha somut olarak, önerim, dünyanın bilgi işlem gücünün bir kısmını, aşağıdaki gibi soruları cevaplamak için tamamen tükenmiş bir girişime adamaktır: 4'e 4'lük bir matrisin …

22 cc.complexity-theory 

Orijinal Nondeterministic Zaman Hiyerarşisi Teoremi Cook'a aittir (link S. Cook, nondeterministik zaman karmaşıklığı için bir hiyerarşi , JCSS 7 343-353, 1973). Herhangi bir gerçek sayılar için bu teoremi durumları ve r 2 , eğer 1 ≤ r 1 < r, 2 , sonra NTIME ( n- r 1 ) sıkı …

22 cc.complexity-theory  nondeterminism  time-hierarchy 

Başlığın tam olarak ifade edilmesi, Anand Kulkarni'den (bu sitenin oluşturulmasını öneren) kaynaklanıyor. Bu soruya örnek bir soru soruldu, ama delice merak ediyorum. Cebirsel geometri hakkında çok az şey biliyorum ve aslında sadece P / poli ile NP sorusundaki engelleri (sadece görmezden gelen, cebirsiz olmanın, muhtemelen doğal bir kanıt olmayacak) oynadığı …

22 cc.complexity-theory  np-hardness  lower-bounds  gct  barriers 

Bu, " Kitaptan Algoritmalar " satırları boyuncadır . İndirgemeler de algoritmalar olsa da, bir kişinin kitaptan algoritmalar ile ilgili soruya cevap olarak bir azalma düşüneceğini düşündüm. Dolayısıyla ayrı bir sorgu! Her türlü indirimden en fazla şey bekleriz. Köşe kapağından yıldızlardaki multicut'a çok basit bir düşüşle başlayacağım. Azalma, kaynak sorunu tanımlandığında …

22 ds.algorithms  np-hardness  big-list  reductions