Teorik Bilgisayar Bilimi

Karger'in mincut algoritmasının, bir grafiğin sahip olabileceği maksimum olası mincut sayısının select 2 olduğunu kanıtlamak için (yapıcı olmayan bir şekilde) kullanılabileceğini biliyoruz ( n2)(n2)n \choose 2. Başka bir kardinalite kümesine n \ select 2'ye iki yönlü (oldukça tarafsız) bir kanıt vererek bu kimliği bir şekilde kanıtlayıp kanıtlayamayacağımızı merak ediyordum ( …

14 ds.algorithms  graph-theory  co.combinatorics  graph-algorithms  max-flow-min-cut 

Eğer topları rastgele olarak n kutularına yerleştirilirse , en ağır yüklü kutuda yüksek olasılıkla O ( lg n / lg lg n ) topları bulunur. In "Basit Tablolama Hashing Gücü" , Pătraşcu ve Thorup söz o "sınırlı bağımsızlık uygulamalar için Chernoff-Hoeffding sınırları" ( ayna ) topları bir tarafından dağıtılır eğer …

13 ds.data-structures  randomness  hash-function  independence 

Akademi dışında 'güçlerimin' faydaları nelerdir? Makaleleri öğretmek ve yayınlamaktan başka ne yapabilirim? Güçlerimi nereye uygulayabilirim? Tartışma uğruna: Lütfen algoritmalarda / TCS'de doktora yaptığımı ve çok sayıda 'şey' öğrendiğimizi ve mevcut algoritmalar vb. , yaklaşık / rasgele algoritmalar, matematiksel programlama vb. Sorunun ardındaki gerekçe: Bu alandaki insanlar için akademik olmayan kariyer …

13 soft-question  big-picture  career 

Geçen hafta, Leslie'nin Lamport'un 1982'de Çözülen Sorunlar, Çözülmemiş Sorunlar ve Eşzamanlı Olmayan Sorunlar hakkında verdiği bir konferansın trasncript'ini tekrar okuyordum . Kağıt kolayca okunabilir, ancak beni düşündüren şeylerden biri şu iddia: Herhangi bir problem karşılıklı dışlama problemi veya üretici-tüketici problemi veya bu ikisinin bir kombinasyonu olarak kabul edilebilir mi? Bu …

13 reductions  dc.distributed-comp  concurrency 

N boyutu bir tamsayı tablosu korumak ve zaman O ( log n ) aşağıdaki işlemlere izin verecek bir veri yapısı arıyorum .tttnnnO(logn)O(log⁡n)O(\log n) artırır, t [ a ] , t [ a + 1 ] , ... , t [ b ] .increase(a,b)increase(a,b)\text{increase}(a,b)t[a],t[a+1],…,t[b]t[a],t[a+1],…,t[b]t[a],t[a+1],\ldots,t[b] t [ a ] , t [ …

13 ds.data-structures  cg.comp-geom 

Motivasyon: Bir yazar bir yazıyı düzenler ve düzenlemelerin net bir özetini görmek istiyorum. Araçlar benzeri tüm "fark" Sen eğer yararsız olma eğilimi hem etrafına metin hareketli (örneğin yeniden organize yapı) ve yerel düzenlemeler yapıyor. Doğru yapmak gerçekten çok mu zor? Tanımlar: İzin verilen işlemlerin yapıldığı minimum düzenleme mesafesini bulmak istiyorum: …

13 ds.algorithms  reference-request  parameterized-complexity  string-matching  edit-distance 

Hatırlatma; genişliği bir çözünürlük çürütülmesi ve bir CNF Formül F meydana gelen herhangi bir madde olarak değişmez maksimal sayısıdır R . Her için w , edilemezdir formüller vardır F her çözünürlük çürütülmesi 3-CNF st F en azından genişliği gerektirir w .R,RRFFFR,RRwwwFFFFFFwww Ben genişlik 4 çözünürlük çürütme olmayan 3-CNF (mümkün olduğunca …

13 cc.complexity-theory  lo.logic  sat  proof-complexity 

Giriş tamsayıları bazı polinomlarla sınırlanmışsa polinom (sözde-polinom) zaman algoritmasına sahip olduğu için bölüm problemi NP-tamamlanmamıştır. Ancak, giriş tam sayıları bir polinom tarafından sınırlanmış olsa bile, 3-Partition NP-tam bir problemdir. Varsayalım, , Ara NP-tam problemlerinin var olması gerektiğini kanıtlayabilir miyiz? Cevap evet ise, böyle "doğal" bir aday sorunu var mı?P≠NPP≠NP\mathsf{P \ne …

13 cc.complexity-theory  np-hardness  partition-problem 

Aşağıdaki oyunla karşılaştım. Bunu istendiği gibi taşıyacağım. Bir böcek çevreleri ziyaret ediyor ve bir düşman seyahat süresini en üst düzeye çıkarmak istiyor. Düşman her dönüşte bir daire çizer. Böcek geçerli konumundan doğrudan en yeni dairenin merkezine doğru yürür, sonra dairenin iç kısmıyla karşılaştığında durur (böylece: yerini kapsayan bir daire oynandığında …

13 gt.game-theory 

Eğer ise , polinom zamanında çözülemeyen toplam arama problemleri olduğunu ( hem üyeliğe hem de üye olmayanlara tanık olmak).NP∩coNP≠PNP∩coNP≠P\mathsf{NP}\cap\mathsf{coNP} \neq \mathsf{P}NPNP\mathsf{NP} Bunun tersi de doğrudur, yani Toplam arama sorununun varlığı polinom zamanında çözülemez mi? ?NPNP\mathsf{NP}NP∩coNP≠PNP∩coNP≠P\mathsf{NP}\cap\mathsf{coNP} \neq \mathsf{P}

13 cc.complexity-theory  reference-request  search-problem 

Bu demek ki, bir işlev olduğu zaman inşa edilebilir makine Turing deterministik çoklu bant mevcutsa, M , tüm uzunluğu girdilerine olduğu , n en yapar f ( n ) adımları ve her biri için , n , bazı giriş vardır uzunluk , n hangi M exacltly yapar f ( n …

13 cc.complexity-theory  time-complexity  terminology 

Bu soru, kutu kısıtlamaları (kutu-QP) ile ikinci dereceden programlama problemleri, yani formun optimizasyon problemleri ile ilgilidir. en aza indirmek tabi .f(x)=xTAx+cTxf(x)=xTAx+cTxf(\mathbf{x}) = \mathbf{x}^T A \mathbf{x} + \mathbf{c}^T \mathbf{x}x∈[0,1]nx∈[0,1]n\mathbf{x} \in [0,1]^n Eğer yarı-tanımlı olumlu oldu, sonra her şey kolay güzel ve dışbükey ve olurdu ve biz polinom zamanda bu sorunu çözebilirdi.AAA …

13 ds.algorithms  optimization  exp-time-algorithms 

Çevrimiçi Algoritmalar hakkında yeni kitaplar var mı? Konuyla ilgili sadece iki kitap biliyorum. Allan Borodin ve Ran El-Yaniv'in Çevrimiçi Hesaplama ve Rekabet Analizi: Bu klasik fakat eski bir kitaptır ve bu alanda pek çok gelişme içermemektedir. Niv Buchbinder ve Joseph (Seffi) Naor'un Primal-Dual Yaklaşımı ile Rekabetçi Çevrimiçi Algoritmaların Tasarımı : …

13 reference-request  big-list  online-algorithms 

[1] 'de, Mitchell Wand, saf lambda hesabına fexprs eklemenin, bağlamsal eşdeğerlik teorisini önemsizleştirdiğini, yani iki terimin, eşdeğer oldukları sürece bağlamsal olarak eşdeğer olduğunu gösterdi. İlgili çalışmaları incelerken, "sonucumuz eski bir Albert Meyer gözlemini genişletiyor ve bağlamsal eşdeğerliği önemsiz hale getiriyor " dedi. Ancak [2] 'ye atıfta bulunulabilecek şey, Meyer tarafından …

13 pl.programming-languages  lisp  scheme 

Microsoft Word'ün tek amaçlı (Turing tamamlanmamış) mekanik uygulamasını oluşturmak mümkün müdür? Yineleyiciler, birinci dereceden fonksiyonlar, programlama tekniklerinin tüm gamı ​​gibi şeyleri uygulamak mümkün müdür? Dişliler ve diğer mekanik parçalar veri yapılarını veya hatta program nesnelerini temsil edebilir mi? Belirli bir noktada bu, genel amaçlı bir Turing eşdeğeri makine yapılmasını gerektiriyor …

13 computability  pl.programming-languages  machine-models  ar.hardware-architecture