«reference-request» etiketlenmiş sorular

Yaklaşık grafik renklendirmesinde bir sonuç duydum, ancak kaynağı bulamıyorum. Sonuç: Her sabit için yeterince büyük bir vardır bir boyama şekilde ile -colorable grafik renk NP zordur.hhhkkkkkkh khkhk Birisi beni ilgili makaleye yönlendirebilir mi?

10 reference-request  approximation-hardness  graph-colouring 

Yüksek lisans tezimi CS'de yazıyorum ve takma ad analizi ile çalışıyorum. İlgilendiğim şey, Java benzeri diller için intra-işlemsel, akışa duyarlı zorunlu ve diğer ad analizidir. Bu konunun temellerini detaylı bir şekilde tanımlayan ancak gerçekten uygun bir şey bulamayan metinler arıyorum. Derleyiciler ve statik analiz üzerine birkaç ders kitabından sağ çıktım, …

10 reference-request  pl.programming-languages  compilers  program-analysis 

Boole formül dengeleme sorununun karmaşıklığı hakkında referanslar arıyorum . Özellikle, Boole formüllerinin dengelenebileceği biliniyor muydu ?AC0AC0\mathsf{AC^0} Boole formül dengelemesinin basit bir kanıtı var mı ?AC0AC0\mathsf{AC^0} "Basit" derken, aşağıda bahsettiğimden daha basit bir kanıt demek istiyorum, özellikle Boolean formül değerlendirmesinin olmasına bağlı olmayan bir kanıt arıyorum .NC1NC1\mathsf{NC^1} Arka fon Burada bahsedilen …

10 cc.complexity-theory  ds.algorithms  reference-request  lo.logic  boolean-formulas 

Son zamanlarda iyi sayıda CoLT makalesi okuyorum. Her ne kadar münferit belgelerle mücadele etmememe rağmen (en azından diğer teori kağıtları ile mücadele ettiğimden daha fazla değil), bir bütün olarak alanı iyi bir şekilde kavradığımı düşünmüyorum. Lisansüstü düzeyde CoLT tanıtımı için standart bir metin, anket veya ders notu var mı? Temel …

10 reference-request  machine-learning  lg.learning  survey  books 

Let . Basit grafikler oluşturmak için gereken G bölgesinin çevresi g gibi tüm grubu olduğu gr formları bir çift kenar kapak -cycles G (her kenar tarafından paylaşılır tam olarak iki g -cycles) ve bu şekilde herhangi iki kesişme g- döngüleri bir tepe noktası, bir kenar veya boştur. Oluşturulan grafikler keyfi …

10 ds.algorithms  reference-request  graph-theory  co.combinatorics  pseudorandom-generators 

Grafikler için en basit gösterimler bitişik matrisler / listeler kullanır, yani her düğüm ve kenar açıkça temsil edilir. Güçlü düzenlilik sergileyen grafikler için örtük temsillerin önemi uzun zamandır bilinmektedir. Örneğin, Galperin ve Wigderson (1983), Papadimitriou ve Yannakakis ( Grafiklerin Özlü Gösterimleri Üzerine Bir Not , 1986), bitişiklik matrisi bir kenar …

10 ds.algorithms  reference-request  graph-theory  survey  binary-decision-diagrams 

Birkaç yıl önce, sıralı matematikte eşitlik için aşağıdaki sol kurala rastladım: s≐t⇝θθ(Γ)⊢θ(C)Γ,s≐t⊢Cs≐t⇝θθ(Γ)⊢θ(C)Γ,s≐t⊢C \frac{s \doteq t \leadsto \theta \qquad \theta(\Gamma) \vdash \theta(C)} {\Gamma, s \doteq t \vdash C} Burada, değerlerini hesaplar en genel birleştiricidir θ için s ve t sonra ve sonuca yerdeğiştirme uygular C ve bağlam tüm hipotezler y .s≐t⇝θs≐t⇝θs …

10 reference-request  lo.logic  pl.programming-languages  proof-theory  sequent-calculus 

Let Karşılıklı Unbiased Bazlar bir kümesi (MUB) içinde \ mathbb {C} ^, n , örneğin, her bir B_i ortonormal baz ve için \ v B_i olarak, w \ içinde B_j, i \ neq j biz var | \ langle v \ vert w \ rangle | = \ frac {1} …

10 reference-request  quantum-information 

JBV, bazı yorumları bir soruya dönüştürmemi önerdi, işte gidiyor. Başka bir soru [1] QM bilişim uygulamalarını soruyor. Bir cevap [2] “kuantum mekaniğini etkin bir şekilde simüle ediyordu”. Görünüşe göre bu fikir Feynman'ın konuyla ilgili ilk yazısına kadar uzanıyor; bir referansım olmamasına rağmen. Yani: Soru. Bir kuantum bilgisayarın rasgele bir kuantum …

10 reference-request  quantum-computing  application-of-theory 

Gazetede iki bilgi teorisi problemi üzerine Erdõs ve Rényi, bir para setindeki sahte paraların sayısını belirlemek için yapılması gereken minimum tartım sayısı üzerinde daha düşük sınırlar vermektedir .nnn Daha resmi: Sahte paralar doğru paralardan daha küçük bir ağırlığa sahiptir; hem doğru hem de yanlış sikkelerin ve ağırlıkları bilinir. Bir ölçek …

10 ds.algorithms  reference-request  co.combinatorics  it.information-theory  randomized-algorithms 

Bir zaman / uzay dengesizliği şeklinde ifade edilen bir dizi -boyutlu nokta üzerinde yarım boşluk aralığı sayma sorguları gerçekleştirmek için mevcut en iyi sınır nedir ? Matousek'in 1993 tarihli seminal belgesine (Teorem 6.2, Verimli Hiyerarşik Kesimlerle Aralık Arama) göre, için yarım alanlarının kesiştiği sorgular için boyut veri yapısı kullanarak aralık …

10 reference-request  ds.data-structures  cg.comp-geom 

, (pozitif) ağırlıklı kenarları olan bir grafik olsun . alt satırında bir düğüm ile ilişkilendirmek için bir düğüm / site kümesi için Voronoi diyagramını tanımlamak istiyorumGGGSSSv∈Sv∈Sv \in SR(v)R(v)R(v) bir kesinlikle daha yakın tüm düğümler tarafından indüklenen v başka bir düğüme göre S , bir yolun uzunluğunu yaylar üzerindeki ağırlıkların toplamıyla …

10 reference-request  graph-theory  cg.comp-geom 

VC-Dimension'ın arkasındaki teoriyi çok iyi biliyorum, ama şimdi istatistiksel öğrenme teorisindeki son (son 10 yıl) gelişmelere bakıyorum: (yerel) Rademacher ortalamaları, Massart'ın Sonlu Sınıfı Lemma, Kaplama Numaraları, Zincirleme, Dudley Teorem, Sahte Mod, Yağ Parçalayıcı Boyut, Paketleme Numaraları, Rademacher Bileşimi ve muhtemelen farkında olmadığım diğer sonuçlar / araçlar. Bir web sitesi, anket, …

10 reference-request  machine-learning  lg.learning  books  vc-dimension 

Zorunlu diller için tip sistemleri hakkında araştırma makaleleri araştırmamda, yalnızca değiştirilebilir referanslara sahip, ancak bileşik operatörler, döngüler veya koşullu gibi gerçek zorunlu kontrol yapıları olmayan bir dile çözümler buluyorum. Dolayısıyla, http://rust-lang.org gibi kısmi tür çıkarımlı zorunlu bir dilin nasıl uygulanabileceği açık değildir . Makaleler, parametrelenmiş tiplerin List of aHindley-Milner tip …

10 reference-request  pl.programming-languages  type-theory  type-inference  imperative-programming 

Deutsch algoritması iyi bilinen bir kuantum bilgisayar olan f( 0 ) + f( 1 )şık2f(0)+f(1)şık2f(0) + f(1)\mod{2} sadece bir tanesidir bir değerlendirme ile fff . + ' Yi \ cdot+++ ile değiştirirsek , sorun oldukça farklı görünüyor. Benim soru: değerini hesaplama kuantum algoritması vardır mevcut mu f (0) \ cdot …

10 reference-request  quantum-computing