«barriers» etiketlenmiş sorular

3
Doğal Prova ve Geometrik Karmaşıklıkta Yapısallık
Son zamanlarda, Ryan Willams, Doğal karmaşıklık sınıflarının ayrılmasını sağlamak için kaçınılmaz olduğunu kanıtladı: ve . N E X PN-EXP\mathsf{NEXP}T C0TC0\mathsf{TC}^{0} Doğal , devre karmaşıklığındaki tüm birleşimsel kanıtların yerine getirdiği ve (veya başka bir "zor" karmaşıklık sınıfında) hedef işlevinin , çalışan bir algoritma tarafından "zor" bir özelliğe sahip olup olmadığına karar …
4
Kanıtlar, Engeller ve P - NP
P-NP sorusunu çözen herhangi bir kanıtın görelilik , doğal kanıtlar ve cebirleştirme engellerinin üstesinden gelmesi gerektiği iyi bilinmektedir . Aşağıdaki şemada "prova alanı" farklı bölgelere ayrılmıştır. Örneğin, göreceli ve doğallaşmış bir dizi karşılık gelir. (Geometrik Karmaşıklık Teorisi) elbette kesinlikle dış bölgedir.G Cı TR NR,N-RNG CTG,CTGCT Bazı ispatları ait oldukları en …
2
Mulmuley-Sohoni'nin alt sınırlar üretmeye yönelik geometrik yaklaşımı, doğal kanıtlar üretmekten nasıl kaçınır (Razborov-Rudich anlamında)?
Başlığın tam olarak ifade edilmesi, Anand Kulkarni'den (bu sitenin oluşturulmasını öneren) kaynaklanıyor. Bu soruya örnek bir soru soruldu, ama delice merak ediyorum. Cebirsel geometri hakkında çok az şey biliyorum ve aslında sadece P / poli ile NP sorusundaki engelleri (sadece görmezden gelen, cebirsiz olmanın, muhtemelen doğal bir kanıt olmayacak) oynadığı …
1
gösterme engelleri
Hepimiz biliyoruz ki bariyerleri var. Hepimiz bu engelleri inceledik çünkü P ≠ N P'ye inanıyoruz .P≠NPP≠NPP\ne NPP≠NPP≠NPP\ne NP Ancak olduğunu varsayın ve olasılığın var olduğuna inanan bilge insanlar vardır . Gerçekten durum buysa, iyi bir algoritma görmediğimiz gerçeği, bu alternatif evrende de engeller olabileceğini gösterir. Ait sağlamasının P ≠ N …
15 p-vs-np  barriers 
2
Engeller ve Monoton Devre Karmaşıklığı
Doğal kanıtlar , boole işlevlerinin devre karmaşıklığı üzerindeki alt sınırların kanıtlanmasına karşı bir engeldir. devre karmaşıklığı üzerinde daha düşük sınırların kanıtlanmasında doğrudan böyle bir engel oluşturmazlar . Bu tür engelleri belirleme konusunda ilerleme var mı? Monoton ortamda başka engeller var mı?m o n o t o n emÖnÖtÖnemonotone
2
İlginç NP sorunları için ikinci dereceden alt sınırları kanıtlamanın zorluğuna dair bir açıklama var mı?
Bu benim önceki sorumun bir devamı: NP'de doğal bir problem için en iyi bilinen deterministik zaman karmaşıklığı alt sınırı İnsanların önemsediği ve daha iyi algoritmalar tasarlamaya çalıştığı ilginç bir NP problemi için herhangi bir kuadratik deterministik zamanın alt sınırını kanıtlayamadığımızı şaşırtıcı buluyorum. Üstel Zaman Hipotezi varsayımımız, SAT'ın altel üstel deterministik …
4
Köşegenleştirme sınıf ayrımının özünü yakalar mı?
Köşegenleştirme ve rölativasyon sonuçlarına dayanmayan bir sınıf ayrımı gördüğümü hatırlamıyorum. Diyagonalleştirme hala bilinen bilinen sınıfları ayırmak için kullanılabilir, çünkü rölatifleştirmeyen argümanlar köşegenleştirme sonucunda veya köşegenleştirilmiş Turing makinesi yapısında hala kullanılabilir. İlgili bazı sorular: Köşegenleştirmeye dayalı olmayan sınıf ayrımı kanıtları var mı? Ve öyle olsa bile Arkalarında bir öz-referans mekanizması bulabilir …
2
Diğer karmaşıklık sınıflarını ayırmanın önündeki engeller
Doğal Kanıtlar , Relativizasyon ve Cebirleşme de diğer karmaşıklık sınıflarının ayrılmasını etkiler mi?L≠N-L≠N-P≠cÖN-P≠P'H≠PSPbirCEL≠NL≠NP≠coNP≠PH≠PSPACEL\neq NL\neq NP\neq coNP \neq PH\neq PSPACE vb? Örneğin, doğal kanıtlar bariyeri, N-P≠CÖN-PNP≠CoNPNP\neq CoNP ayrılacağı için P≠N-PP≠NPP\neq NP. Ancak arasındaki ilişkiN-PNPNP ve CÖN-PCoNPCoNP arasındaki ilişkilere kıyasla OWF'lerle fazla bir şey yok gibi görünüyor PPP ve N-PNPNP. Doğal kanıtlar,N-P≠CÖN-PNP≠CoNPNP\neq …
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.