Bilgisayar Bilimi

Bunu MathUnderflow'a gönderdim, ancak cevap alamadım, bu yüzden burada deneyeceğim diye düşündüm, Rabin ve Fischer'ın eski makalesini okuyorum [mümkünse bir bağlantı yayınlayacak], diğer şeylerin yanı sıra Presburger aritmetiğinin iki kat üstel karmaşıklığı kanıtlandı. Kanıt , ile gayri resmi olarak " " iddiasında bulunan formülünün varlığına dayanmaktadır. . Bu formülün yapısı …

9 complexity-theory  reference-request  logic 

Bu sorunu çözmek için önce şunu gözlemledim: ϕ(pe11 pe22⋯ pekk)=(e1+1)(e2+1)⋯(ek+1)ϕ(p1e1 p2e2⋯ pkek)=(e1+1)(e2+1)⋯(ek+1)\phi(p_1^{e_1} \space p_2^{e_2} \cdots \space p_k^{e_k}) = (e_1 + 1)(e_2 + 1)\cdots(e_k +1) Burada arasında (zorunlu olarak asal olan) bölenler sayısıdır m . Eğer m küçük tamsayıdır öyle ki \ phi (m) = n sonra,ϕ(m)ϕ(m)\phi(m)mmmmmmϕ(m)=nϕ(m)=n\phi(m) = n ϕ(m)=nϕ(m)=n\phi(m) = …

9 number-theory  primes 

Crypto Stack Exchange'deki bu sorunun cevapları temel olarak, logaritma sorununun karmaşıklığını ölçmek için, grubun boyutunu temsil eden sayının uzunluğunu hesaba katmamız gerektiğini söylüyor. Keyfi gibi görünüyor, neden tartışmayı grubun boyutunu seçmiyoruz? Hangi argümanı seçeceğinizi bilmek için bir kriter var mı? Aslında, grubun büyüklüğüne göre yaparsak karmaşıklık büyük ölçüde değiştiği için …

9 time-complexity  discrete-mathematics  cryptography 

Bir grafikteki tüm çiftler arasında en kısa yolunu ( 10'dan küçük olurdu) üretmek istiyorum . Grafik (aslında bir metro haritası):kkkkkk pozitif ağırlıklı yönsüz seyrek yaklaşık 100 düğümlü Şu anki planım her bir çift için en kısa yol yönlendirmesini uygulamak ; Şimdi daha etkili bir alternatif arıyorum (muhtemelen dinamik programlama ile).kkk

9 algorithms  graphs  optimization  shortest-path 

Basit bir çokgen bir üçgenleme (Steiner noktaları olmadan) göz önüne alındığında , bu üçgenlemenin ikili şekli aşağıdaki gibi tanımlanabilir. Üçgenselleştirmedeki her üçgen için bir tepe noktası oluştururuz ve karşılık gelen üçgenler bir kenarı paylaşırsa iki köşeyi birbirine bağlarız. İkili grafiğin, maksimum derece üç olan bir ağaç olduğu bilinmektedir.PPP Başvurum için …

9 reference-request  computational-geometry 

Maksimum iki taraflı eşleştirme sorunundan maksimum akış sorununa kadar ünlü ve zarif bir azalma var: kaynak düğümü , bir terminal düğümü ve eşleştirilecek her öğe için bir düğüm, ardından uygun kenarları ekleyen bir ağ oluşturuyoruz .sssttt Polinom zamanında maksimum akışı maksimum bipartit eşleştirmeye indirmenin bir yolu vardır, çünkü her ikisi …

9 reductions  network-flow  bipartite-matching 

Genellikle while döngüsü için yapısal işlemsel anlamsal gösterimde program durumunun değişmediğini görüyorum: (whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(while \> B \> do \>S, \sigma) \rightarrow (if \>B \> then \>S; (while \> B \> do \>S) \> else \> SKIP, \sigma) Benim için, bu sezgisel değil, eğer durum değişmezse (yani belleğin durumu aynı kalır) BBB …

9 formal-languages  programming-languages  formal-methods  operational-semantics 

İki taraflı bir grafik düzlemseldir, veya küçükleri yoksa .K3,3K3,3K_{3, 3}K5K5K_5 Köşeleri olmayan "köşe" çizgileri olmayan düzlemsel çizimlere izin vermek için gerekli veya / ve yeterli koşulları arıyorum. Bunlar tatmin edici çizimler: Bir parçanın tüm köşeleri tek bir dikey çizgide çizilir. Diğer parçanın tepe noktaları paralel bir dikey çizgi üzerinde çizilir. …

9 graph-theory  terminology  graph-drawing 

Programlama dilleri için uygulama tekniklerini araştırıyorum ve son zamanlarda, sözde bir devam geçen stil modeli (örneğin Scheme ve SML / NJ'de kullanımları göz önüne alındığında) için uygun olan spagetti yığınlarına rastladım . Basitçe söylemek gerekirse, bu soru için sadece tek iş parçacıklı süreçleri ele alalım. Ancak, Wikipedia'daki diyagramda ( başka …

9 data-structures  programming-languages  continuations 

DFA, NFA ve epsilon NFA her üçü de belirli bir normal dili temsil etmemizi sağlar. Bu temsillerden herhangi biriyle aynı düzenli ifadeye ulaşabiliriz, o zaman neden sonlu otomatanın üç temsil biçimini de incelememiz gerekiyor? NFA'nın hangi DFA'nın yapamayacağı konusunda bazı açıklamalar olabilir, yani NFA belirsizliklerin tasarlanmasında bize yardımcı olabilir. Örneğin …

9 automata  finite-automata  education 

Bu soru durma problemi hakkında bana geldi ve çevrimiçi olarak iyi bir cevap bulamadım, birinin yardım edip edemeyeceğini merak ettim. Giriş TM'nin kendisi olmadığı sürece herhangi bir girişteki herhangi bir TM için durma sorununun çözülebilmesi mümkün müdür? Temelde: Halts(TM, I) IF TM == I: Undecidable, return a random result/throw an …

9 computability  undecidability  halting-problem 

Bugün öğle yemeğinde, bu sorunu meslektaşlarımla birlikte gündeme getirdim ve sürpriz olarak Jeff E.'nin sorunun karar verilebilir olduğu iddiası onları ikna etmedi ( burada mathoverflow ile ilgili bir yazı). Açıklanması daha kolay olan bir problem bildirimi de ("P = NP?") Karar verilebilir: ya evet ya da hayır, ve bu cevapları …

9 computability  undecidability 

Vantage point ağaçlarını öğreniyorum ve bunu Peter Yianilos'un Genel Metrik Uzaylarında En Yakın Komşu Arama için Veri Yapıları ve Algoritmalar (SODA 1993 , SIAM, sayfa 311-321; PDF ) makalesini okurken tanıştım . Aşağıdaki sözde kod Algoritma 1'de görünür. function Make_vp_tree(S)if S=∅ then return ∅new(node);node↑.p:=Select_vp(S);node↑.mu:=Medians∈Sd(p,s);…function Make_vp_tree(S)if S=∅ then return ∅new(node);node↑.p:=Select_vp(S);node↑.mu:=Medians∈Sd(p,s);…\begin{align*} \hspace{2em}&\hspace{-2em} …

9 notation 

Rastgele Eritilebilir Yığınlar , daha sonra insert dahil diğer tüm işlemleri tanımlamak için kullandığımız bir işlem " kaynağına " sahiptir. Soru şu ki, o ağacın beklenen yüksekliği nedir? nnn düğümler? Gambin ve Malinkowski'nin Teorem 1'i, Rastgele Eritilebilir Öncelik Kuyrukları (SOFSEM 1998, Bildiriler, Bilgisayar Biliminde Ders Notları cilt 1521, s. 344-349, …

9 algorithm-analysis  data-structures  randomized-algorithms  heaps 

3 renklendirmenin karar verilebilir olduğunu kanıtlamak için şunu söylemek yeterli mi? Grafikteki her düğümün 3 olası rengi vardır Bu nedenle her şeyi sıralayabiliriz 3n3n3^n ve iki kenarın aynı renkteki düğümleri bağlamadığını kontrol edin Bu, 3 renklendirmenin karar verilebilir olduğunu kanıtlıyor mu? Yoksa doğru bir kanıt için Turing makinesi mi yapmam …

9 computability  turing-machines  colorings