«reference-request» etiketlenmiş sorular

Size bağlı, basit ve yönlendirilmemiş bir grafik H verildiğini varsayalım. H-serbest kesim problemi aşağıdaki gibi tanımlanır: Basit, yönlendirilmemiş bir grafik G verildiğinde, kesimler (L ve R) tarafından indüklenen grafiklerin H için izomorfik bir alt çizgi içermemesi için bir kesim (köşelerin boş olmayan iki sete, L, R'ye bölünmesi) vardır. . Örneğin, …

17 cc.complexity-theory  reference-request  graph-theory  np-hardness 

Kuantum Hesaplama , bilgisayarların verimlilik yeteneklerini geliştirmek için kuantum fiziğinden (örn. Kuantum dolaşıklığı) yararlanmayı amaçlayan aktif bir araştırma alanıdır ( Church-Turing tezini değiştirmez ). Kuantum-hesaplama teorisini (kübitler ve ışınlanma gibi) göstermek için yapılmış en önemli deneyler nelerdir?

17 reference-request  quantum-computing 

İlişkisel veritabanlarını anlamak için en az iki farklı teorik yaklaşımın farkındayım: Codd'un ilişkisel cebiri / hesabı ve kategori teorisi. Bu iki yaklaşım arasında herhangi bir ilişki var mı? Bir anlamda eşdeğer midirler? Bu çerçevelerin her ikisinin de ilişkisel veritabanlarını nasıl açıkladığını açıklayan herhangi bir giriş çalışması var mı? Tarihsel Bilgiler: …

17 reference-request  ct.category-theory  db.databases  relational-structures 

Arkaplan . Kategori teorisi, monadlar ve Haskell ile ilgili araştırmalarla ilgilenen bir lisans öğrencisiyim ve bu alanda lisans tezim için bir konu bulmak istiyorum. Gazeteye baktım Eugenio Moggi , “ Hesaplamalar ve Monadlar Kavramı ”, 1991, ve henüz çok fazla anlamadım. Muhtemelen tam olarak anlamak için biraz zamana ihtiyacım olacak. …

17 reference-request  pl.programming-languages  big-picture  ct.category-theory  monad 

Üç genel matroidin kesişiminin, Hamilton çevriminden indirgeme ile yapılan NP-sert ( kaynak ) olduğu bilinmektedir . İndirgeme bir grafik matroid ve iki bağlantı matroidi kullanır. Üzerinde çalıştığım bir sorunun özel bir durumu, kavşak çoklu grafik matroidleri ile çözülebilir, ancak bu sorunun P'de olup olmadığını bulamadım. Soru: Biliniyor mu? Birisi beni …

16 reference-request  np-hardness  reductions 

Pozitif tamsayı değerleri dizisi doğrusal zamanda sıralamakla ilgileniyorum (tek tip maliyet ölçülü RAM modelinde, yani tamsayılar logaritmik boyuta sahip olabilir, ancak aritmetik işlemlerin alınacağı varsayılır birim zaman). Tabii ki, bu karşılaştırma tabanlı sıralama algoritmaları ile imkansız, bu yüzden bir "yaklaşık" sıralama, yani bazı permütasyon hesaplamak ilgileniyorum bir gerçekten genel olarak …

16 reference-request  time-complexity  sorting 

1950'li ve 1960'lı yılların pek çok bilgisayar bilimi yayını, zihnin doğası ve fiziksel dünyayla ilgili bilginin anlamı üzerine büyüleyici felsefi spekülasyonlar içermektedir. Meşhur örnekler "Turing Test", Zuse'un "Calculating Space", Wheeler'ın "it from bit" vb. Bugün bu tür temalar popüler bilim kitaplarında geniş yer kaplıyor, ancak ciddi araştırma yayınlarından başka her …

16 reference-request  soft-question  philosophy 

Karışık grafik, hem yönlendirilmiş hem de yönlendirilmemiş kenarlara sahip olabilen bir grafiktir. Alttaki yönlendirilmemiş grafiği, yönlendirilmiş kenarların yönelimlerinin unutulmasıyla elde edilir ve diğer yönde, karıştırılmamış her bir kenara bir yön atanarak karışık bir grafiğin bir yönelimi elde edilir. Bir kenar kümesi, yönlendirilmiş bir döngü oluşturmak üzere yönlendirilebiliyorsa, karışık bir grafikte …

16 ds.algorithms  reference-request  graph-theory  graph-algorithms  directed-acyclic-graph 

Genel grafiklerdeki üçgenleri saymak zamanında önemsiz bir şekilde yapılabilir ve daha hızlı yapmanın zor olduğunu düşünüyorum (referanslar hoş geldiniz). Düzlemsel grafikler ne olacak? Aşağıdaki basit prosedür, O ( n log n ) zamanında yapılabileceğini göstermektedir. Sorum iki katlıdır:O(n3)O(n3)O(n^3)O(nlogn)O(nlog⁡n)O(n\log{n}) Bu prosedür için referans nedir? Zaman doğrusal hale getirilebilir mi? Lipton-Tarjan'ın düzlemsel …

16 reference-request  graph-algorithms  planar-graphs 

Sorunumu bir örnekle tanıtacağım. Bir belirli kümesi oluşan bir sınav, tasarlıyorsunuz Say (adaylar ya doğru ya da yanlış alabilirsiniz) bağımsız sorular. Soruların her birine verilecek bir puana karar vermek istersiniz, kural, toplam puanı belirli bir eşiğin üzerinde olan adayların geçeceği ve diğerlerinin başarısız olacağıdır.nnn Aslında, bu konuda çok titizsiniz ve …

16 reference-request  boolean-functions 

Let bir digraph (mutlaka bir DAG) olabilir ve izin s , t ∈ V ( G ) . G'deki basit s - t yollarının sayısını hesaplamanın karmaşıklığı nedir ? G,GGs , t ∈ V( G )s,t∈V(G)s,t \in V(G) s - ts−ts-tG,G,G Sorunun # -tamamlanmasını bekliyorum ama kesin bir referans bulamamıştım. …

16 ds.algorithms  reference-request  counting-complexity 

Eşik kapıları ile ifade edilebilir fonksiyonların karmaşıklığını anlamaya çalışıyorum ve bu beni yol açtı . Özellikle, şu anda içinde öğrenme hakkında bilinenlerle ilgileniyorum , çünkü bölgede uzman değilim.T C 0T C0TC0\mathsf{TC}^0T C0TC0\mathsf{TC}^0 Şimdiye kadar keşfettiğim şey: Tüm , Linial-Mansour-Nisan aracılığıyla tekdüze dağılım altında quasipolinom zamanda öğrenilebilir .A C0birC0\mathsf{AC}^0 Bunların kağıt …

16 cc.complexity-theory  reference-request  cr.crypto-security  lg.learning  boolean-functions 

Karmaşıklık sınıfı operatörleri hakkında yazarken başvurabileceğim iyi açıklayıcı makaleler veya anketler olup olmadığını merak ediyorum : karmaşıklık sınıflarını nicelleştiriciler gibi şeyler yaparak dönüştüren operatörler. Operatör örnekleri Aşağıdakiler, bir cevabın tanımlayabilmesi gereken minimum bir operatör listesi olarak yorumlanabilir. Burada, CC\mathbf C keyfi bir sonlu alfabe üzerinde rastgele bir dil kümesidir ΣΣ\Sigma. …

16 reference-request  complexity-classes 

Bir kenar kapak grafiğin her tepe kapağı en az bir kenarına bitişik olacak şekilde bir grafik kenarlarının bir alt kümesidir. Aşağıdaki iki makale, sayma kenarı kapaklarının # P -complete olduğunu söylüyor : Kenar Kapaklarını Saymak ve Yol Grafiklerinin Kenar Kapaklarını Oluşturmak için Basit Bir FPTAS . Ancak, bir şeyi kaçırmadıkça, …

16 reference-request  graph-algorithms  counting-complexity  proofs 

Negatif olmayan tamsayılarda lineer diofantin denklemini çözmede NP-tam problemi hakkında bulabileceğim çok az bilgi var. Yani, negatif olmayan denklemine bir çözüm var mı, burada tüm sabitler pozitif mi? Bu sorunun bildiğim tek kayda değer sözü Schrijver'in Doğrusal ve Tamsayılı Programlama Teorisinde . Ve o zaman bile, bu oldukça sıradan bir …

16 cc.complexity-theory  reference-request  np-hardness  counting-complexity