«cc.complexity-theory» etiketlenmiş sorular

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

3
Faktoring ile temsil edilen tam sayıları eklemek faktoring kadar zor mu? Referans talebi
Aşağıdaki sonuç için bir referans arıyorum: Faktörlü gösterimde iki tamsayı eklemek, normal ikili gösterimde iki tamsayı faktoring kadar zordur. (Orada olduğundan eminim, çünkü bu bir noktada merak ettiğim bir şeydi ve nihayet baskıda gördüğümde heyecanlanmıştı.) "Katsayıları gösteriminde iki tamsayı ekleme" sorun: iki sayı asal çarpanlama verilen ve y , çıkış …
3
P dışındaki P sorunu olmayan sorunlar
Peter Shor'un bir cevabını ve Adam Crume'in önceki bir sorusunu okurken , PP\mathsf{P} hard olmanın ne demek olduğu hakkında bazı yanlış düşüncelerim olduğunu fark ettim. Bir problem, PP\mathsf{P} herhangi bir sorun varsa -Sert PP\mathsf{P} ile bunun indirgenebilir LL\mathsf{L} (veya tercih ise NCNC\mathsf{NC} ) azalma. Sorunu çözmek için bir polinom zaman …
1
NP sertliği P sertliği anlamına mı geliyor?
Bir sorun NP zor ise (polinom zaman azaltmalarını kullanarak), bunun P-zor olduğu anlamına mı geliyor (log alanı veya NC azaltmalarını kullanarak)? NP'deki herhangi bir sorun kadar zorsa, P'deki herhangi bir sorun kadar zor olması sezgisel gözükse de, indirimleri nasıl zincirleyeceğimi ve kütük boşluğu (veya NC) azaltmasını nasıl elde edeceğimi göremiyorum.
1
Boson Örnekleme kağıdı, karmaşık matrislerin kolay sınıflarını nasıl önler?
Gelen lineer optik hesaplama karmaşıklığı ( ECCC TR10-170 ), Scott Aaronson ve Alex Arkhipov kuantum bilgisayarları verimli klasik bilgisayarlar tarafından simüle edilebilir o zaman polinom hiyerarşi üçüncü düzeyine çöker savunuyorlar. Motive edici sorun, doğrusal-optik ağ tarafından tanımlanan bir dağıtımdan örnekleme; Bu dağılım, belirli bir matrisin kalıntısı olarak ifade edilebilir. Klasik …
1
Bir metreküp santimetreye ne kadar işlem gücü sığar?
Bu soru, Aadita Mehra'nın sorduğu DNA algoritmaları hakkındaki soruyu takip ediyor . Buradaki yorumlarda, Joe Fitzsimmons, kısmen şöyle dedi: Bunu önlemek için sistemin yarıçapı kütle ile orantılı olarak ölçeklenmelidir. Hesaplamalı güç, en çok kütle içinde doğrusal olarak ölçeklenir. Dolayısıyla, üstel makine miktarınızın üstel bir yarıçapı vardır. Işıktan daha hızlı sinyal …
1
Hesaplamada enerji hususları
Anlayışımı kontrol etmek için, hesaplamanın enerji gereksinimleriyle ilgili bazı düşünceleri paylaşmak istiyorum. Bu benim önceki sorumun bir takipçisi ve Vinay'in koruma yasalarıyla ilgili sorusuyla ilgili olabilir . Termodinamik açıdan, bir hesaplama yapmanın, bir dereceye kadar yatay bir çizgi boyunca bir ağırlığın taşınmasına benzer şekilde bir ölçülebilir olduğu düşünülebilir: Tek enerji …
2
3-SUM'un çarpımsal sürümü
3-MUL olarak adlandırdığımız aşağıdaki sorunun zaman karmaşıklığı hakkında bilinenler nelerdir? Verilen bir dizi SSS ve nnn tamsayılardır, orada elemanları a,b,c∈Sa,b,c∈Sa,b,c\in S şekilde ab=cab=cab=c ? Bu problem 3-SUM problemine benzer, a,b,c∈Sa,b,c∈Sa,b,c\in S şeklinde a+b+c=0a+b+c=0a+b+c=0 (veya eşdeğerde a+b=ca+b=ca+b=c ) olup olmadığını sorar . 3-SUM, cinsinden kabaca ikinci dereceden bir zaman gerektirecek şekilde …
2
Açık sorunları çözmek için “Deneysel Karmaşıklık Teorisi” kullanılıyor mu?
Scott Aaronson ilginç bir meydan okuma önerdi : CS bilgisayar problemlerini fizikçilerin büyük parçacık çarpıştırıcılarını kullandıkları gibi çözmesine yardımcı olmak için bugün süper bilgisayarlar kullanabilir miyiz? Daha somut olarak, önerim, dünyanın bilgi işlem gücünün bir kısmını, aşağıdaki gibi soruları cevaplamak için tamamen tükenmiş bir girişime adamaktır: 4'e 4'lük bir matrisin …
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ığı …
5
Arasında unprovability Etkileri
" P Versus NP resmi olarak bağımsız mı? " Okuyordum ama şaşırdım. Yaygın olarak karmaşıklık teoride inanılan . Benim sorum bu kanıtlanabilir değilse (söylediklerine hakkındadır Z F C ). (Sadece P ≠ N P'nin Z F C'den bağımsız olduğunu ancak bunun nasıl kanıtlandığı hakkında daha fazla bilgi bulamadığımızı varsayalım .)P≠NPP≠NP\mathsf{P} …
4
Pratikte sezgisel olarak çözülebilen sorunlar?
Son zamanlarda, hesaplama karmaşıklığı kavramını, algoritmalar veya karmaşıklık konusunda daha önce hiç resmi bir ders almayan genç yetenekli, kendi kendini eğiten bir programcıya gayrı resmi olarak açıklamanın acı dolu eğlenceli deneyiminden geçtim . Şaşırtıcı olmayan bir şekilde, birçok fikir ilk başta garip görünüyordu, ancak bazı örnekler (PTIME, kararsızlık, hesaplanamazlık) ile …
1
Bir matris probleminin karmaşıklığı
Son zamanlarda araştırmamda aşağıdaki sorun ortaya çıktı. Algoritmik sorular konusunda uzman olmadığımdan, indirilecek uygun problemleri arama konusunda yoğun bir şekilde Googled'im. 3SAT'ın nasıl işe yaradığını göremiyorum ve ZOE ruhaniyette benzer olsa da, bir azalma açık değildir. Başka bir olasılık, gerçeklerin varoluşsal teorisi olabilir. Bu tam bir eşleşme gibi gözükmüyor ama …
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.