«complexity-theory» etiketlenmiş sorular

Problem çözmenin (hesaplamalı) karmaşıklığı ile ilgili sorular

2
Polinom zamanında çözülebilen ancak polinom zamanında doğrulanamayan bir görev var mı?
Bir meslektaşım ve ben profesörlerimizden birinin notlarını aldık. Notlar, polinom zamanında çözülmesi mümkün olan (PF sınıfında olan) ancak polinom zamanında doğrulanamayan (NPF sınıfında DEĞİLDİR) olmayan işler olduğunu belirtir. Bu sınıflar hakkında detaylı bilgi vermek için: X girdilerinden bazılarını alıyoruz ve (X, Y) görevimizi temsil eden R ilişkisinde olacak şekilde Y …
4
NP problemleri var mı, P de değil, NP Complete değil mi?
NPNP\mathsf{NP} ( PP\mathsf{P} değil) Complete değil, bilinen herhangi bir sorun var mı? Benim anladığım şu ki, durumun olduğu yerde şu anda bilinen bir sorun yok, ancak bir olasılık olarak göz ardı edilmedi. NPNP\mathsf{NP} Bir sorun varsa NPNP\mathsf{NP} (ve PP\mathsf{P} ), ancak NP-completeNP-complete\mathsf{NP\text{-}complete} , bu durum sorun örnekleri arasında mevcut bir …
1
Depoları minimum hareketle doldurmak NP-zor mu?
Vardır kutuları ve topları türü. inci bin Etiketlerin sahip için , o tipi topları beklenen numarası .nnnmmmiiiai,jai,ja_{i,j}1≤j≤m1≤j≤m1\leq j\leq mjjj J tipi bjbjb_j topları ile başlar . Tipi Her top j ağırlığı vardır w_j ve bidonları içine öyle ki bin topları koymak istiyorum ben kilo vardır c_i . Önceki durumun tutabileceği …
2
Neden PSPACE ≠ EXPTIME olduğuna inanıyoruz?
PSPACE'in neden EXPTIME'dan farklı olduğuna inanıldığını sezgisel olarak anlamakta güçlük çekiyorum. PSPACE, giriş büyüklüğünde uzay polinomunda çözülebilen bir sorun kümesi ise , o zaman daha fazla üssel zaman patlaması yaşayan ve üssel alanı kullanmayan bir problemler sınıfı nasıl olabilir?f(n)f(n)f(n) Yuval Filmus'un cevabı çoktan yardımcı oldu. Bununla birlikte, biri neden PSPACE …
4
Polinom zamanında Seyahat Eden Satıcı Problemine bir çözümü nasıl doğrulayabilirim?
Bu yüzden TSP (Seyahat eden satıcı problemi) karar problemi NP tamamlandı . Fakat TSP'ye verilen bir çözümün polinom zamanında gerçekte optimal olduğunu, polinom zamanında optimal çözümü bulamayacağımıza göre (sorunun P'de olmadığı için) nasıl olduğunu nasıl anlayabileceğimi anlamıyorum? Doğrulamanın polinom zamanında yapılabileceğini görmeme yardımcı olabilecek herhangi bir şey var mı?
2
NP'de olmayan fakat karar verilebilen NP-Zor problemleri
NP-Komple olmayan ve çözülemeyen NP-Zor probleminin kolay anlaşılır bir örneği olup olmadığını merak ediyorum. Örneğin, durma sorunu NP-Hard'tır, NP-Complete değil, ancak kararlaştırılamaz. Bunun, bir çözümün polinom zamanında doğrulanamamasının ancak bir problem olduğu anlamına geldiğine inanıyorum. (Lütfen böyle değilse, bu ifadeyi düzeltin).
1
Yönlendirilmiş bir grafikteki iki düğüm arasındaki basit yolların sayısını saymak ne kadar zor?
Yönlendirilmiş grafikteki iki düğüm arasında bir yol olup olmadığına karar vermek için kolay bir polinom algoritması vardır (derinlik-ilk-arama ile sadece rutin bir grafik yapın). Bununla birlikte, şaşırtıcı bir şekilde, sorunların varlığını test etmek yerine , yol sayısını saymak istiyorsak daha da zorlaştığı görülmektedir . Biz yeniden vertices yolları izin sonra …
3
Relativizasyon neden bir engeldir?
Baker-Gill-Solovay'ı açıklayabildiğimde, sahip olabileceğimiz bir kehanetin, ve var olabileceğimiz bir kahin olduğunun bir arkadaşıma, bu tür tekniklerin neden problemini ispatlamak için uygun olmadığına dair bir soru geldi ve tatmin edici bir cevap veremedim.PNPP=NP\mathsf{P} = \mathsf{NP}PNPP≠NP\mathsf{P} \neq \mathsf{NP}PNPP≠NP\mathsf{P} \neq \mathsf{NP} Daha somut ifade etmek gerekirse, i ispatlamak için bir yaklaşımım varsa …
1
Birçok bölünebilirlik koşuluyla alt küme toplamı
bir doğal sayılar kümesi olsun . Biz düşünün yani bölünebilme kısmi sipariş altında . letS s 1 ≤ s 2SSSSSSs1≤s2⟺s1∣s2s1≤s2⟺s1∣s2s_1 \leq s_2 \iff s_1 \mid s_2 α(S)=max{|V|∣V⊆S,Vα(S)=max{|V|∣V⊆S,V\qquad \displaystyle \alpha(S) = \max \{|V| \mid V\subseteq S, V bir antichain }}\} . Sayıların çoklu kümesinin S olduğu alt küme problemini göz önüne …
2
C'nin boş tipi neden boş / alt tipe benzemiyor?
Vikipedi ile birlikte bulduğum diğer kaynaklar voidgibi boş bir türe karşılık C tipi tipini birim tipi olarak buldum . Bu kafa karıştırıcı buluyorum ki voidboş / alt tip tanımına daha iyi uyuyor. voidSöyleyebileceğim kadarıyla hiçbir değer yok . Geri dönüş tipi boşluğu olan bir işlev, işlevin hiçbir şey döndürmediğini ve …
28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 
3
SAT örneklerinin zorluğunun ölçülmesi
Bir SAT örneği göz önüne alındığında, örneği çözmenin ne kadar zor olacağını tahmin edebilmek istiyorum. Bir yol var olan çözücüleri yönetmektir, ancak bu tür zorlukları tahmin etmenin amacını yitirir. İkinci bir yol, cümleciklerin değişkenlere oranını rasgele-SAT'daki faz geçişleri için olduğu gibi arıyor olabilir, ancak eminim ki daha iyi yöntemler var. …
6
Elementlerin tekrarı olmadan bir çift setinden kombinasyon oluşturma
Bir çift çiftim var. Her çift, (x, y) formundadır, öyle ki, x, y, aralıktaki tam sayılara aittir [0,n). Yani, n 4 ise, o zaman aşağıdaki çiftleri var: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Zaten çiftlerim var. Şimdi, n/2tamsayıların hiçbirinin tekrarlanmayacağı şekilde çiftler kullanarak bir kombinasyon oluşturmam gerekiyor (başka bir deyişle, …
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.