Teorik Bilgisayar Bilimi

Peter Shor'un bir cevabını ve Adam Crume'in önceki bir sorusunu okurken , PP\mathsf{P} hard olmanın ne demek olduğu hakkında bazı yanlış düşüncelerim olduğunu fark ettim. Bir problem, PP\mathsf{P} herhangi bir sorun varsa -Sert PP\mathsf{P} ile bunun indirgenebilir LL\mathsf{L} (veya tercih ise NCNC\mathsf{NC} ) azalma. Sorunu çözmek için bir polinom zaman …

22 cc.complexity-theory  complexity-classes 

Bu, elimizdeki algoritmayı ne kadar etkili ifade edebileceğimizle ilgilidir. Lisans eğitimim için buna ihtiyacım var. Bir sahte kod yazmanın standart bir yolu olmadığını anlıyorum. Farklı yazarlar farklı sözleşmeleri takip eder. Buradaki insanlar, en iyi olanı takip edip, düşünme şeklini işaret etmeleri yararlı olacaktır. Bununla ilgili ayrıntılı olarak ele alan herhangi …

22 ds.algorithms  soft-question  advice-request  writing 

Bir tensör vektörler ve yüksek boyutlara matrisler ve bir genellemedir sıralaması bir tensörünün de matris sıralamasını genelleştirilmiş. Yani, bir tensörünün sıralaması TTT sıralaması sayısının en az bir tensörü için toplamı yani TTT . Bir vektör ve matris, sırasıyla derece 1 ve 2 tensörleridir. elementler FTTT alanından gelir . Eğer F …

22 ds.algorithms  reference-request  computability  tensor-rank 

Belirli bir basit olmayan poligonun, iki farklı biçimsel duyumdan herhangi birinde neredeyse basit olup olmadığına karar vermenin karmaşıklığıyla ilgileniyorum : Zayıf basit veya kendinden geçişli . Bu terimler yaygın olarak bilinmediğinden, bazı tanımlarla başlayayım. Bir çokgen sonlu bir dizi bağlantı hattı bölümlerinin kapalı döngüdür düzlemde noktaları. Noktaları denir köşe poligon …

22 ds.algorithms  cg.comp-geom  polygon 

Aşağıdaki iki işleme tabi tutulan bir dizi öğeyi tutabilen veri yapıları hakkında ne bilinmektedir? Push (x): dizinin sonuna x ekleyin ve dizideki konumu için bir tanımlayıcı döndürün Özü (S): sırasız bir tanımlayıcı kümesi verilir, bu konumlardaki öğeleri sıradan çıkarın ve kaldırılan öğelerin listesini sıra sırasına göre döndürün İsterseniz bunu bir …

22 ds.data-structures 

olduğuna inanmak ya da ye inanmak için herhangi bir gerekçe var mıdır ?N L ≠ LN-L = LNL=LNL=LN-L ≠ LNL≠LNL\neq L olduğu bilinmektedir . Arasında derandomization literatürü oldukça tatmin edici olduğunu . ikna eden bazı makaleler veya fikirler hakkında bilgisi olan var mı ? R L R, L = L …

22 cc.complexity-theory  reference-request  complexity-classes  space-bounded 

Bir sorun NP zor ise (polinom zaman azaltmalarını kullanarak), bunun P-zor olduğu anlamına mı geliyor (log alanı veya NC azaltmalarını kullanarak)? NP'deki herhangi bir sorun kadar zorsa, P'deki herhangi bir sorun kadar zor olması sezgisel gözükse de, indirimleri nasıl zincirleyeceğimi ve kütük boşluğu (veya NC) azaltmasını nasıl elde edeceğimi göremiyorum.

22 cc.complexity-theory  np-hardness 

Bu soru, artırma yollarını bulmak için DFS kullanırken Ford-Fulkerson maksimum akış algoritmasının zaman karmaşıklığı ile ilgilidir . DFS'nin kullanılmasının, maksimum akışta doğrusal bir sayıda yinelemeye ihtiyaç duyabileceğini gösteren iyi bilinen bir örnek vardır, örneğin yukarıdan bağlantılı Wikipedia sayfasına bakın. Bununla birlikte, bu örnekle gerçekten ikna olmadım: standart bir DFS uygulaması, …

22 ds.algorithms  reference-request  max-flow 

CS'da, etkili algoritmaların bilinmediği problemler var mı, buna rağmen, bu tür verimli algoritmaları kanıtlayan varlık teoremlerine rağmen var mı? Bu sorunların adı ne? Daha fazla bilgiyi nerede bulabilirim?

22 ds.algorithms  reference-request  terminology 

Hesaplanabilir fonksiyonlar kavramını öğretmekte zorlanıyorum. Neden Hilbert / Ackermann / Godel / Turing / Church / ... gibi araştırmacıların 'hesaplanabilirlik' kavramını icat ettiği fikrini geliştirmeye çalıştım. Öğrenciler derhal şunları söyledi: "Hesaplanabilirlik ne anlama geliyor?" ve onlara Turing makinelerini öğretmediğim sürece cevap veremem ve sonra "bir Turing makinesi hesaplarsa bir fonksiyonun …

22 soft-question  computability  turing-machines  teaching 

Bir ilişkinin (deterministik) iletişim karmaşıklığı yanı sıra , gerekli iletişim miktarı için bir başka temel ölçü, protokol bölüm numarasıdır . Bu iki önlem arasındaki ilişki sabit bir faktöre kadar bilinmektedir. Kuşhilevitz ve Nisan (1997) tarafından yapılan monografi;cc(R)cc(R)cc(R)RRR pp(R)pp(R)pp(R) cc(R)/3≤log2(pp(R))≤cc(R).cc(R)/3≤log2⁡(pp(R))≤cc(R).cc(R)/3 \le \log_2(pp(R)) \le cc(R). İkinci eşitsizlikle ilgili olarak, ile (sınırsız bir …

22 fl.formal-languages  lower-bounds  open-problem  regular-expressions  communication-complexity 

Gelen lineer optik hesaplama karmaşıklığı ( ECCC TR10-170 ), Scott Aaronson ve Alex Arkhipov kuantum bilgisayarları verimli klasik bilgisayarlar tarafından simüle edilebilir o zaman polinom hiyerarşi üçüncü düzeyine çöker savunuyorlar. Motive edici sorun, doğrusal-optik ağ tarafından tanımlanan bir dağıtımdan örnekleme; Bu dağılım, belirli bir matrisin kalıntısı olarak ifade edilebilir. Klasik …

22 cc.complexity-theory  quantum-computing 

Şu anda Güvenlik Konusunda Mantıksal Yöntemler konulu küçük bir ders (Yüksek Lisans düzeyinde dört iki saat ders) öğretmekteyim , ancak Güvenlikte Örgün Yöntemler başlığı daha uygun olabilir. Kısaca şu konuları kapsar (ilişkili mantıksal yöntemlerle): Dijital Haklar Yönetimi ve Politika Uygulama (genel formalizasyon, modal mantık, otomata yoluyla yaptırım) Prova taşıma kodu …

22 lo.logic  cr.crypto-security  teaching  security  formal-methods 

Bu soru, Aadita Mehra'nın sorduğu DNA algoritmaları hakkındaki soruyu takip ediyor . Buradaki yorumlarda, Joe Fitzsimmons, kısmen şöyle dedi: Bunu önlemek için sistemin yarıçapı kütle ile orantılı olarak ölçeklenmelidir. Hesaplamalı güç, en çok kütle içinde doğrusal olarak ölçeklenir. Dolayısıyla, üstel makine miktarınızın üstel bir yarıçapı vardır. Işıktan daha hızlı sinyal …

22 cc.complexity-theory  quantum-computing  ne.neural-evol  physics  natural-computing 

Yaklaşım algoritmaları tasarlanırken, bazen bir yuvarlama basamağı izleyen yarı-yarı zamanlı bir program çözülür. Bunu göstermek için sıklıkla kullanılan bir örnek Max-Cut. (Bkz. Örneğin Vijay Vazirani'nin Yaklaşım Algoritmaları.) Analizlerinde kullanılan daha karmaşık yuvarlama algoritmalarını ve tekniklerini açıklamak için Max-Cut probleminin ötesine geçen iyi eğitim kaynakları veya anketler var mı? SDP çözümünün …

22 ds.algorithms  reference-request  approximation-algorithms  semidefinite-programming  csp