«reference-request» etiketlenmiş sorular

Bugün alt sınırlarını öğrettim ve öğrencilerden biri A C isminin nedenini sordu . Resmi açıklama "A" nın "Alternatif" anlamına gelmesidir.A C0birC0AC^0A CbirCAC Yıllar önce Nick Pippenger Steve Cook'un Nick Pippenger'dan (Nick'in sınıfı) sonra ve daha sonra Nick'in Steve'den (Steve'in sınıfı) S C olarak adlandırıldığı söyleniyor .N-CN-CNCSCSCSC hikayenin bir parçası içinde, …

17 cc.complexity-theory  reference-request  ho.history-overview 

Graph İzomorfizminin ( GIGIGI ) olduğu grafik sınıfları hakkında okuyorum PPP. Bu tür bir durum, burada açıklandığı gibi sınırlı değerlik grafiğidir (her bir tepe noktasının derecesi üzerinde maksimum) . Ama çok soyut buldum. Birisi bana açıklayıcı doğanın bazı referanslarını önerebilirse minnettar olurum. Grup teorisinde güçlü bir arka planım yok, bu …

17 ds.algorithms  reference-request  graph-theory  graph-isomorphism 

Yıllar önce, bir DFA'dan (deterministik) minimal NFA'nın (belirsiz olmayan sonlu otomatiğin) hesaplanmasının, on yıllardır bilinen ve verimli bir algoritma. Kimse bir algoritma buldu mu?O(nlgn )Ö(nlg⁡n)O(n \lg n) Hızlı bir araştırma bana kesinlikle zor bir sorun olduğunu kanıtlayan bu makaleyi verdi. Görünüşe göre hiçbir algoritma verilmiyor. [1] Minimal NFA problemleri zor …

17 ds.algorithms  reference-request  fl.formal-languages  automata-theory  optimization 

Bağlam: mantık ve otomatlar arasındaki ilişkiler Büchi Teoremi, dizeler üzerindeki Monadic İkinci Dereceden mantığın (MSO) normal dil sınıfını yakaladığını belirtir. Kanıt aslında dizeler üzerinde varolan MSO'nun ( ∃MSO∃MSO\exists\text{MSO} veya EMSO ) normal dilleri yakalamak için yeterli olduğunu göstermektedir. Bu biraz şaşırtıcı olabilir, çünkü genel yapılar üzerinde, MSO dan kesinlikle daha …

17 reference-request  lo.logic  regular-language  finite-model-theory 

Üç tür düğüm ile bir anahtar ağı (ad icat edilir) yapılır: bir Başlangıç ​​düğümü bir Bitiş düğümü bir veya daha fazla Anahtar düğümü Anahtar düğümünde 3 çıkış bulunur: Sol, Yukarı, Sağ; iki L ve R durumu ve bir hedef durumu TL veya TR'dir . Her anahtar aşağıdaki kurallara göre hareket …

17 ds.algorithms  reference-request  graph-algorithms  np 

Küçük bir alan üzerinde uzunluk döngüsel konvolüsyonu için en iyi bilinen yöntemler nelerdir , yani | F | « N ? Özellikle sabit boyutlu alanlarla, hatta F ile ilgileniyorumnnn|F|≪n|F|≪n|\mathbb{F}| \ll n. Genel asimtotik etkinlik ifadeleri ve referansları çok takdir edilmektedir.F=F2F=F2\mathbb{F} = \mathbb{F}_2 Arka plan: bir alan olsun ve n > …

17 ds.algorithms  reference-request 

Negatif rakip yöntem ( ) kuantum sorgu karmaşıklığını karakterize eden bir SDP'dir. Yaygın olarak kullanılan rakip yöntemin ( A D V ) genelleştirilmesidir ve rakip yöntemi engelleyen iki engelin üstesinden gelir:ADV±ADV±ADV^\pmADVADVADV Özellik testi engeli: 0-örneklerinin tümü -tüm 1-örneklerden uzaksa, rakip yöntem Ω ( 1 / ϵ ) ' den daha …

17 cc.complexity-theory  reference-request  quantum-computing  query-complexity  property-testing 

I Başlangıç tepe verilen bir yönlendirilmiş grafikte basit yolların sayısı yaklaştırmak için bazı iyi polinom zaman algoritmanın var olduğunu söylendi verilen son tepe . Bu konuda iyi bir referans bilen var mı?sssttt Arka plan: genel bir grafikte tam yol sayısını saymak # P-tamamlandı ancak problem için polinom zaman yaklaşımları olabilir. …

17 ds.algorithms  reference-request  graph-algorithms  approximation-algorithms  counting-complexity 

Eğer n toplara n top atarsanız, en fazla yüklenen çöp kutusunun içinde O(logn)O(log⁡n)O(\log n) toplar olması muhtemeldir . Genel olarak, n bölmelerdeki m>nm>nm > n topları hakkında soru sorabilirsiniz . Raab ve Steger tarafından RANDOM 1998'den bir makale bunu ayrıntılı olarak inceliyor, m arttıkça, m / n'nin beklenen değerinin biraz …

17 reference-request  pr.probability 

Bir grafiğin kavşak sayısını hesaplamanın parametreli karmaşıklığı hakkında bir şey biliniyorsa (tüm kenarlarını kaplamak için gereken en az sayıda klik)? Uzun zamandır NP-tam olduğu bilinmektedir ve açıkçası FPT'dir, çünkü bir çekirdeğe sahiptir: Eğer bir grafiği ile grafiği kapatabilirseniz, o zaman en fazla 2 k farklı kapalı köşe mahallesi vardır (iki …

17 ds.algorithms  reference-request  graph-algorithms  parameterized-complexity 

Terim aşırı yüklendiğinden, önce kısa bir tanım. Bir poşet bir dizi kısmi düzenine sahip . İki elemanları göz önüne alındığında , biz tanımlayabilir kendi azından üst bağlanmış olarak (birleştirme) ve benzer tanımlamak bağlı düşük bir en büyük olarak (karşılamak) (birleştirme).XXX≤≤\lea,b∈Xa,b∈Xa,b \in Xx∨yx∨yx \vee yXXXx∧yx∧yx \wedge y Kafes, herhangi iki öğenin …

17 reference-request  co.combinatorics  metrics  lattice  order-theory 

Programlama dilleri teorisinde yeniyim ve programlama dillerinin biçimsel semantiği için bir kaynak üzerinde iyi bir kaynak arıyorum. Özellikle yapısal operasyonel semantik aramak. Kitap önerileri aldım. Ama daha tanıtım seviyesinde bir kaynak arıyorum. Özellikle eğiticiler, web sitesi ve ücretsiz kitap önerileri memnuniyetle karşılanmaktadır.

17 reference-request  pl.programming-languages  semantics  formal-systems 

NP-komple problemine ikinci bir çözüm bulma probleminin NP-tamlığı ile ilgili herhangi bir genel sonuç veya örnek olup olmadığını anlamaya çalışıyorum. Daha doğrusu, aşağıdaki formdaki herhangi bir sorunla ilgileniyorum: Bir çözüm Verilen bir örnek için I NP-tam problemin, bir çözümü var S ' ≠ S için I ?SSSIIIS′≠SS′≠SS' \neq SIII NP-tam …

17 cc.complexity-theory  reference-request  np-hardness  unique-solution 

Anladığım kadarıyla, tüm bildiğimiz simpleks algoritmalar için deterministik pivot kuralları, algoritmanın optimum bulmak için üstel zaman (veya en azından polinom değil) gerektiren belirli girişlere sahiptir. Bu örnekleri 'patolojik' olarak adlandıralım, çünkü genellikle (çoğu girişte) simpleks algoritması hızla sona erer. Matematiksel programlama dersimden, belirli kurallar için standart patolojik örneklerin oldukça yapılandırılmış …

17 cc.complexity-theory  reference-request  linear-programming  simplex 

Bazı indüklenmiş altgrafları tespit etmek için cebirsel yöntemleri kullanma hakkında bir makale okurken, kenar idealinin değişmeli cebir ve grafik teorisini birleştiren önemli bir araç olduğu görülmektedir . Cebirsel nesnelerin hesaplamalarına aşina olmadığım için, bu konuda iyi referanslar veya kitaplar var mı? Bir Turing makinesindeki bir R halkasını temsil etmede özellikle …

17 ds.algorithms  reference-request  algebra  algebraic-complexity