«search-problem» etiketlenmiş sorular

Diyelim ki "S" ve S'de "P" yi gösteren monotonik bir "S" ifadesi var. EDIT : P değerlendirme sayısını en aza indirmekle ilgileniyorum . Bu problem için hangi algoritmalar var ve S için hangi özellikleri ve ek işlemleri gerektiriyorlar? Peki ya önemli özel durumlar, örneğin: S doğrusal bir düzendir - o …

28 ds.algorithms  ds.data-structures  partial-order  order-theory  search-problem 

Mike ve Ike'nin "Kuantum Hesaplama ve Kuantum Bilgisi" nde, Grover'ın algoritması ayrıntılı olarak açıklanmaktadır. Bununla birlikte, kitapta ve Grover'ın algoritması için çevrimiçi bulduğum tüm açıklamalarda, hangi durumu aradığımızı bilmedikçe, amacını yenerek Grover'ın Oracle'ın nasıl inşa edildiğinden bahsedilmiyor gibi görünüyor. algoritması. Özellikle, sorum şu: bazı f (x), bazı x değeri için …

16 quantum-computing  quantum-information  oracles  search-problem  black-box 

Eğer , daha sonra bir logspace algoritması olduğu çözer karar versiyon 2-SAT.L=NLL=NL\mathsf{L = NL} Mi bir logspace algoritma var olduğunu ima bilinen bir tatmin atamasını elde zaman girdi olarak karşılanabilir 2-SAT örneği verilen?L=NLL=NL\mathsf{L = NL} Değilse, alt doğrusal boşluk kullanan algoritmalar (cümle sayısında) ne olacak?

15 sat  search-problem  logspace 

n öğe (X,≤)(X,≤)(X, \leq)üzerinde sonlu bir postayı düşünün ve P , X üzerinde bilinmeyen bir monotonik yüklem (yani herhangi bir x , y ∈ X , eğer P ( x ) ve x ≤ y sonra P ( y ) ise ). P'yi bir x x X düğümü sağlayarak ve …

15 ds.algorithms  lg.learning  partial-order  search-problem  order-theory 

Sekiz kraliçe sorunu hakkında wikipedia makalesini okuyordum. Kesin çözüm sayısı için bilinen bir formül olmadığı belirtilmektedir. Biraz arama yaptıktan sonra, "Tam eşlemelerin problemlerini saymanın sertliği hakkında" adlı bir makale buldum. Bu yazıda, en çok #queens kadar sert olduğu gösterilen ve #P'nin ötesinde bir sorun var. Vikipedi makalesinde # sayıların kapsamlı …

14 cc.complexity-theory  counting-complexity  search-problem 

Eğer ise , polinom zamanında çözülemeyen toplam arama problemleri olduğunu ( hem üyeliğe hem de üye olmayanlara tanık olmak).NP∩coNP≠PNP∩coNP≠P\mathsf{NP}\cap\mathsf{coNP} \neq \mathsf{P}NPNP\mathsf{NP} Bunun tersi de doğrudur, yani Toplam arama sorununun varlığı polinom zamanında çözülemez mi? ?NPNP\mathsf{NP}NP∩coNP≠PNP∩coNP≠P\mathsf{NP}\cap\mathsf{coNP} \neq \mathsf{P}

13 cc.complexity-theory  reference-request  search-problem 

Ben Babai simgesel bir (umarım basit, belki dilsiz) soru var kağıt olduğunun gösterilmesiyle quasipolynomial olduğunu.GIGI\mathsf{GI} Babai iki grafik bir onay belgesi meydana getirmek gösterdi için i ∈ { 1 , 2 } zaman quasipolynomial olarak, izomorfik v = | V i | .Gi=(Vi,Ei)Gi=(Vi,Ei)G_i=(V_i,E_i)i∈{1,2}i∈{1,2}i\in\{1,2\}v=|Vi|v=|Vi|v=|V_i| Babai aslında G 1 ile G 2 …

13 graph-isomorphism  search-problem 

Karmaşıklık sınıfı PPAD onun seminal 1994 Hristos Papadimitriou tarafından icat edilmiştir kağıdı . Sınıf, bir çözümün varlığının "yönlendirilmiş grafiklerde parite argümanı" ile garanti edildiği arama sorunlarının karmaşıklığını yakalamak için tasarlanmıştır: eğer yönlendirilmiş bir grafikte dengesiz bir tepe noktası varsa, başka bir çözüm bulunmalıdır. Ancak genellikle sınıf resmi olarak ANOTHER END …

13 cc.complexity-theory  reductions  search-problem  ppad 

(dahil etme sırasına göre) güç kümesi üzerinde monoton bir yüklem düşünün . "Tekdüze" ile kastediyorum: , , eğer sonra . Ben tüm asgari unsurları bulmak için bir algoritma için arıyorum yani, öyle ki ama , . Genişliğine yana olduğu , n tercih n / 2 \2 | n | ∀ …

12 ds.algorithms  ds.data-structures  partial-order  order-theory  search-problem 

Aşağıdaki sorunu düşünün. nnnv1,⋯,vn∈Rv1,⋯,vn∈Rv_1, \cdots, v_n \in \mathbb{R}S⊆{1,⋯,n}S⊆{1,⋯,n}S \subseteq \{1,\cdots,n\}maxi∈Svimaxi∈Svi\max_{i \in S} v_i Bu sorun kolaydır: sorguları ile argmax'ı bulmak için ikili aramayı kullanabiliriz . Yani indekslere karşılık gelen yapraklı tam bir ikili ağaç oluşturun . Kökten başlayın ve aşağıdaki gibi bir yaprağa doğru yürüyün. Her bir düğümde, sağ ve …

10 approximation-algorithms  randomized-algorithms  search-problem  random-walks  binary-trees 

Şifreleme üzerine bu soruyu gördüğümden beri çeşitli zamanlarda aşağıdaki soruyu düşünüyorum . Soru İzin Vermek RRRBir olmak TFNP ilişkisi. Rastgele bir kehanet P / poly'nin kırılmasına yardımcı olabilir RRRihmal edilemez bir olasılıkla? Daha resmi olarak, \newcommand{\Pr}{\operatorname{Pr}} \newcommand{\E}{\operatorname{\mathbb{E}}} \newcommand{\O}{\mathcal{O}} \newcommand{\Good}{\mathsf{Good}} mu Tüm için P / poli algoritmaları , \ Pr_x [R …

9 cr.crypto-security  relativization  advice-and-nonuniformity  search-problem  random-oracles