«cc.complexity-theory» etiketlenmiş sorular

NP ve NP ile sınırlı diğer kaynak hesaplamaları.

1
Simetrik polinomların değerlendirilmesi
Let bir olmak simetrik polinom polinom bu şekilde, yani, Tüm ve tüm permütasyonlar . Kolaylık sağlamak için, hesaplama modeliyle ilgili sorunları gidermekten kaçınmak için nin sonlu bir alan olduğunu varsayabiliriz .f:Kn→Kf:Kn→Kf:\mathbb{K}^n \to \mathbb{K}f(x)=f(σ(x))f(x)=f(σ(x))f(x)=f(\sigma(x))x∈Knx∈Knx \in \mathbb{K}^nσ∈Snσ∈Sn\sigma \in S_nKK\mathbb{K} Let işlem karmaşıklığını ifade f , yani bir algoritma karmaşıklığı, verilen X , …
2
Optimize edilmesi kolay ancak değerlendirilmesi zor
Optimal bir çözüm üretmenin, belirli bir aday çözümün kalitesini değerlendirmekten çok daha kolay olduğu bilinen herhangi bir optimizasyon problemi örneği var mı? Somutluk için, şu formdaki polinom-zaman çözülebilir optimizasyon problemlerini düşünebiliriz: "verilen x, simge durumuna küçültme ", burada diyelim ki # P zor. Bu tür sorunlar açıkça var (örneğin, hesaplanmasa …
1
İkili teoremler ne besliyor?
Bazı NP problem sınıflarının , sınıftaki her görevin ya NP-tamamlanmış ya da P'de olduğunu garanti eden ikilik teoremleri olduğu iyi bilinmektedir . En iyi bilinen bu sonuç, bir dizi genellemeyle birlikte Schaefer'in ikilik teoremidir . Anladığım kadarıyla, bu ikilik teoremlerini kanıtlamak gerçekten kolay değil. Acaba, bazı sınıfların neden ikiye dayalı …
2
Minimum sayıda ekleme kullanarak matris vektör çarpma algoritması
Aşağıdaki sorunu düşünün: matrisi verildiğinde, v ↦ M v hesaplamak için çarpma algoritmasındaki ekleme sayısını optimize etmek istiyoruz .MMMv↦Mvv↦Mvv \mapsto Mv Matris çarpımının karmaşıklığıyla bağları nedeniyle bu problemi ilginç buluyorum (bu problem matris çarpımının sınırlı bir versiyonudur). Bu sorun hakkında ne biliyor? Bu problemi matris çarpım probleminin karmaşıklığıyla ilgili ilginç …
1
İkili Karar Ağacının Ptime'da kanonik temsili?
İkili karar ağaçları (BDT) için izlenebilir bir şekilde bir çeşit "normal form" vermenin bir yolu olup olmadığını merak ediyorum. Daha doğrusu: BDT, boole değişkenleri ile etiketlenmiş iç düğümleri ve veya etiketlenmiş yaprakları olan bir ağaçtır . BDT, boole işlevini bariz bir şekilde temsil eder. İki BDT , aynı işlevi temsil …
1
Deterministik doğrudan toplam teoreminin sahip olduğu bilinmeyen iletişim problemleri
Bu direkt toplamı teoremi çözme olmadığı, yani belirleyici haberleşme karmaşıklığı için geçerli olup olmadığı eski açık bir sorundur olan bir sorun, bağımsız örneklerde T kat daha fazla tek bir örneği çözme daha. [FKNN95] aşağıdaki sonuçları gösterdi:tttttt Olumsuz bir sonuç: Deterministik iletişim karmaşıklığı , ancak t bağımsız örneklerde hesaplamanın karmaşıklığı Θ …
1
[N] üzerinde sadece sabit zaman ve mekan kullanarak bağımsız bir permütasyon oluşturabilir miyiz?
Let sabit sabit. tamsayısı verildiğinde bir permütasyonu oluşturmak istiyoruz :k>0k>0k>0nnnσ∈Snσ∈Sn\sigma \in S_n Konstrüksiyon sabit zaman ve mekan kullanır (yani ön işleme sabit zaman ve mekan gerektirir). Rasgeleleştirmeyi kullanabiliriz. Verilen , sabit zaman ve mekan olarak hesaplanabilir.i∈[n]i∈[n]i\in[n]σ(i)σ(i)\sigma(i) Permütasyon isimli tarzında bağımsız yani tüm , rastgele değişkenler bağımsız ve düzgün dağılmış olan …
1
Diferansiyel denklemler kendi karmaşıklık sınıflarında sınıflandırılabilir mi?
Sorunlar, bir bütün olarak, Hesaplamalı Karmaşıklık sayesinde sınıflandırılmıştır. Fakat diferansiyel denklemlerde, diferansiyel denklemleri hesaplama yapılarına göre sınıflandırmak mümkün müdür? Örneğin, birinci dereceden homojen olmayan bir denklemin çözülmesi nispeten diyelim ki 100. dereceden homojen bir denklemden daha zor ise, çözme yöntemi aynı olduğu için ayrı konveksite sınıfları olarak sınıflandırılabilirler mi? Çözme …
2
Hangi grafik problemleri Yönlendirilmiş (/ ağırlıklı) grafiklerde zor, yönlendirilmemiş (/ ağırlıksız) grafiklerde FPT?
NP-Tamlık ile ilgili eşdeğer soruları takiben ( ağırlık sorusuna ve yönlendirilmiş soruya bakın ), parametreleştirilmiş sorunların bu özelliklerden nasıl etkilendiğini merak ediyordum. Yönlendirilmiş grafiklerde hangi -hard grafik problemleri -Hard, ancak yönlendirilmemiş grafiklerde sabit parametre izlenebilir mi?W [ 1 ]N-PNPNPW[ 1 ]W[1]W[1] Ağırlıklı grafiklerde hangi -hard grafik problemleri -Sert, ancak ağırlıksız …
1
Kanıt Grafik İzomorfizma sorun değil
Grafik izomorfizm problemi, veya N P- komplet problemlerine sınıflandırmaya direnen en uzun süredir devam eden problemlerden biridir . N P-tamamlanamayacağına dair kanıtlarımız var . İlk olarak, polinom hiyerarşisi [1] ikinci düzeye çökmediği sürece Grafik İzomorfizmi N P- tam olamaz . Ayrıca, GI'nin sayım [2] versiyonu, bilinen herhangi bir N P- …
1
Hartmanis-Stearns varsayımı ve hesaplanabilir aşkın sayılar
"1965 makalesinde algoritmalarının hesaplama karmaşıklığı üzerine Hartmanis ve Stearns tarafından" yazarlar gerçek zamanlı Turing Makinesi gerçek sayı hesaplar eğer varsayım örneğin içinde, taban 10, daha sonra r ya bir rasyonel sayı veya bir aşkın sayı.rrrrrr Örneğin, temel 10'da gerçek zamanlı bir Turing makinesi tarafından hesaplanamayan hesaplanabilir bir aşkın sayı var …
3
İspat Karmaşıklık Teorisinde İspatlara grafik teorik kısıtlama
İspat karmaşıklığı, hesaplama karmaşıklığı teorisinin en temel alanıdır. Bu alanın nihai amacı ispatlamaktır , yani herhangi bir ispat verilen girdi formülünün tatmin edilemez olduğuna dair bir kanıt veremez. N-P≠ c o NPN-P≠cÖN-PNP\neq coNP Bir grafik, resmi ispat modellerinden biridir. Benim sorum bu modele daha fazla sınırlama getirmek. Bir kanıt DAG …
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.