«reference-request» etiketlenmiş sorular

Yeniden yapılanma varsayımı , grafiklerin (en az üç köşeli), köşe silinen alt sayfaları tarafından benzersiz bir şekilde belirlendiğini söylüyor. Bu varsayım, beş yıllık. İlgili literatür taramasında, aşağıdaki grafik sınıflarının yeniden yapılandırılabildiğini biliyorum: ağaçlar bağlantısı kesilmiş grafikler, tamamlayıcısı bağlantısı kesilmiş grafikler düzenli grafikler Maximal Outerplanar Grafikleri maksimum düzlemsel grafikler dış düzlemsel …

24 reference-request  graph-theory  co.combinatorics  treewidth 

İlk SAT çözücüsü yapmak istiyorum. SAT rekabetini ve SAT konferansını biliyorum ve bu konuda çok fazla makale var. Ben bir marş, boğulmuş bir marşım. Nereden başlamalıyım? Sonunda modern teknolojiyi zorlamak istiyorum. Nasıl başlayacağımız konusunda uzman tavsiyesi istiyorum, böylece vaktimi gereksiz yere çok erken boşa harcamam. Çok teşekkürler.

24 ds.algorithms  reference-request  lo.logic  sat 

Verilen nnn altkümeleri { 1 , … , d } 'S1,…,SnS1,…,SnS_1,\ldots,S_n nin S n'si .{1,…,d}{1,…,d}\{1,\ldots,d\} Si,SjSi,SjS_i,S_jSi⊊SjSi⊊SjS_i \subsetneq S_j Bu problemin önemsiz çözümü tüm set çiftlerinden geçer ve zamanındaki bir çiftin dahil edilmesini kontrol eder , bu nedenle genel çalışma zamanı . Bu sorun daha hızlı çözülebilir mi? Literatürde bunun için …

24 ds.algorithms  reference-request 

İzin verilen kelimelerin (alfabetik olarak sıralanmış) ve kelimelerin büyük bir veri tabanı göz önüne alındığında, verilen kelimeye en yakın olan veri tabanını Levenshtein mesafesi cinsinden bulun. Doğal yaklaşım, elbette, verilen kelime ile sözlükteki tüm kelimeler arasındaki levenshtein mesafesini basitçe hesaplamaktır (mesafeleri hesaplamadan önce veritabanında ikili bir arama yapabiliriz). Bu soruna …

24 ds.algorithms  reference-request  string-matching  string-search 

Sabit için , tek bir giriş grafiği verilen doğrusal zamanda belirleyebilir G olup onun, treewidth isimli ≤ k . Her iki Ancak, k ve G, girdi olarak verilir, sorun NP zordur. ( Kaynak ).k∈Nk∈Nk \in \mathbb{N}GGG≤k≤k\leq kkkkGGG Bununla birlikte, giriş grafiği düzlemsel olduğunda , karmaşıklık hakkında çok daha az şey …

23 reference-request  graph-theory  np-hardness  open-problem  treewidth 

Sayısız olarak, bir grafiğin Cheeger sabitini belirlemenin -hard olduğunu birçok makalede okudum. Bir halk teoremi gibi görünüyor, ancak bu açıklama için asla bir alıntı veya kanıt bulamadım. Bunun için kime kredi vermeliyim? Eski bir makalede (İzoperimetrik Grafik Sayıları, J. Comb. Theory B, 1989) Mohar, yalnızca "çoklu kenarlı grafikler için" iddiasını …

23 reference-request  graph-theory  spectral-graph-theory 

Karmaşıklık teorisi, NP'nin eksiksizliği gibi kavramlar aracılığıyla, nispeten verimli çözümleri olan hesaplanabilir problemler ile anlaşılmaz olanları birbirinden ayırır. "İnce taneli" karmaşıklık, bu nitel ayrımı sorunları çözmek için gereken tam zamana ilişkin kantitatif bir rehber haline getirmeyi amaçlamaktadır. Daha fazla ayrıntı burada bulunabilir: http://simons.berkeley.edu/programs/complexity2015 İşte bazı önemli hipotezler: ETH: 333 - …

23 cc.complexity-theory  reference-request  complexity-classes  fine-grained 

Şu anda bitcoin SHA256 kullanan bir çalışma kanıtı (PoW) sistemine sahiptir. Diğer karma fonksiyonlar, çalışma sistemi kullanım grafiklerini, kısmi karma fonksiyon inversiyonunu kullanır. Düğüm Teorisi'nde Düğüm tanıma gibi bir Karar problemi kullanmak mümkün müdür ve işin bir ispatı işlevi yapar mı? Ayrıca bunu daha önce kimse yapmış mı? Ayrıca, bu …

23 cc.complexity-theory  reference-request  cr.crypto-security  algebraic-topology 

Şu anda EXPSPACE-komple sorunları bulmaya çalışıyorum (özellikle bir azaltma için ilham bulmak için) ve sonuçların az olması beni şaşırttı. Şimdiye kadar bunları buldum ve listeyi genişletmekte sorun yaşıyorum: üstel ifadeli düzenli ifadelerin evrenselliği (veya diğer özellikleri). vektör toplama sistemleriyle ilgili problemler gözlemlenemeyen oyunlar (örneğin bu bloga bakın ) Birinci Mertebeden …

23 cc.complexity-theory  reference-request  big-list 

Sabit bir sonlu alfabe için , resmi bir dil L üzerinde Σ olan düzenli bir mevcutsa deterministik sonlu durum makinesi üzerinde (DFA) Σ tam kabul L .ΣΣ\SigmaLLLΣΣ\SigmaΣΣ\SigmaLLL "Neredeyse" düzenli olan, yalnızca kelime uzunluğuyla polinomlu bir şekilde büyüyen otomata aileleri tarafından tanınabilecekleri anlamında olan dillerle ilgileniyorum. Resmen beni biçimsel dil diyelim …

23 reference-request  fl.formal-languages  automata-theory  online-algorithms  dfa 

Bazılarınız, araştırma seviyesi olmadığı için kapatılmış olan bu soruyu izliyor olabilirsiniz. Dolayısıyla, sorunun araştırma düzeyinde olan kısmını çıkartacağım. Sıralama düzenlemesinin azaltılması veya EXPTIME tamamlanmış bir sorun gibi "basit" tekniklerin ötesinde, bir sorunun zaman karmaşıklığı için düşük sınırları kanıtlamak için hangi teknikler kullanılmıştır? Özellikle: Son on yılda geliştirilen "son teknoloji" teknikler …

23 cc.complexity-theory  reference-request  fl.formal-languages  time-complexity  reductions 

Herkes #P olan problemleri ve / veya problemleri sayma konusunda iyi ve yeni bir anket önerebilir mi?

23 cc.complexity-theory  reference-request  counting-complexity 

(2 boyutlu) dikdörtgenlerin özdeş kopyalarını, üst üste bindirmeden dışbükey (2 boyutlu) bir çokgenin içine paketleme sorunu ile ilgileniyorum. Benim sorunumda, dikdörtgenleri döndürmenize izin verilmiyor ve bunların eksenlere paralel olarak yönlendirildiğini varsayabilirsiniz. Size sadece bir dikdörtgenin boyutları ve çokgenin köşeleri verilmiştir ve dikdörtgenin kaç tane aynı kopyasının çokgene paketlenebileceği sorulmuştur. Dikdörtgenleri …

23 reference-request  np-hardness  cg.comp-geom  optimization  packing 

Grafik izomorfizmi ile gizli alt grup problemi arasındaki ilişkiyi anlamaya çalışıyorum. Bunun için iyi bir referans var mı?

23 cc.complexity-theory  reference-request  quantum-computing  graph-isomorphism 

mmmnnnm≫nm≫nm \gg nXiXiX_iiiiXmaxXmaxX_\maxXminXminX_\minXsec−maxXsec−maxX_{\mathrm{sec-max}}Xi−Xj∼N(0,2m/n)Xi−Xj∼N(0,2m/n)X_i - X_j \sim N(0,2m/n)|Xi−Xj|=Θ(m/n−−−−√)|Xi−Xj|=Θ(m/n)|X_i - X_j| = \Theta(\sqrt{m/n}) i,ji,ji,jXmax−Xmin=O(mlogn/n−−−−−−−−√)Xmax−Xmin=O(mlog⁡n/n)X_{\max} - X_{\min} = O(\sqrt{m\log n/n})n/2n/2n/2 ayrık kutu çifti. Bu (formel olan) bağımsız değişken açar bize beklemek arasındaki boşluk XmaxXmaxX_{\max} ve XminXminX_{\min} olduğunu Θ(mlogn/n−−−−−−−−√)Θ(mlog⁡n/n)\Theta(\sqrt{m\log n/n}) yüksek bir olasılıkla. XmaxXmaxX_\max ve X _ {\ mathrm {sec-max}} arasındaki boşlukla ilgileniyorum Xsec−maxXsec−maxX_{\mathrm{sec-max}}. …

23 reference-request  pr.probability