Teorik Bilgisayar Bilimi

Yıllar geçtikçe, birçok FourS teoreminin ayrık Fourier analizi kullanılarak kanıtlandığını görmeye alıştım. Walsh-Fourier (Hadamard) dönüşümü, mülk testi, sözderandumluluk, iletişim karmaşıklığı ve kuantum hesaplama dahil, neredeyse her TCS alt alanında kullanışlıdır. Boolean'ın Fourier analizini, bir problemle uğraşırken çok kullanışlı bir araç olarak kullanmakta rahat olmama rağmen, Fourier analizini kullanan vakaların iyi …

59 soft-question  boolean-functions  fourier-analysis 

Deterministik sonlu durum otomatlarını (DFA) undergrad'da okuduktan sonra çok iyi anlaşıldığını hissettim. Benim sorum, onlar hakkında hala anlamadığımız bir şey olup olmadığı. DFA'ların genelleştirilmesinden bahsetmiyorum, fakat orjinalinde incelediğimiz orijinal değiştirilmemiş DFA'lar. Bu belirsiz bir soru ama umarım fikri anlarsın. DFA'ları tamamen anladığımızı söylemenin adil olup olmadığını anlamak istiyorum. Bu yüzden, …

59 soft-question  open-problem  dfa 

Polinom zamanında (Giriş uzunluğu + Çıkış uzunluğu) çalışan, ancak aynı ölçüdeki asimptotik çalışma süresinin gerçekten çok büyük bir üs / sabit değerine sahip olduğunu (en azından, çalışma süresinde kanıtlanmış üst sınırın bulunduğu yerlerde ) duyarlı algoritmalar biliyor musunuz? böyle bir yolu)?

59 ds.algorithms  big-list 

İspatlarınızı kontrol etmek için genel kurallar nelerdir? Bunun benim gibi mezun öğrenciler için önemli olduğuna inanıyorum. Bir şeyi kanıtlamak için ne yapmamız gerektiğini zaten biliyorum, ancak göndermeden önce her zaman her şeyi kontrol etmeniz gerekir. Kendi danışmanına bile. Deneme-yanılma ile kendime bazı stratejiler geliştirdim ve danışmanımdan çok tavsiye aldım. Ancak …

59 soft-question  research-practice  writing 

Yaygın tahmin ediliyor , matris çarpımı için optimal üs, 2'ye eşit aslında Sorum basit şöyledir:ωω\omega olduğuna inanmamız için hangi sebepler var ?ω=2ω=2\omega = 2 Coppersmith-Winograd gibi hızlı algoritmaların farkındayım, ancak bunların neden olduğuna ilişkin kanıt olarak değerlendirilebileceğini bilmiyorum .ω=2ω=2\omega = 2 Doğal olarak, bana bir topluluğun bir sonucun sadece estetik …

59 ds.algorithms  linear-algebra  matrix-product 

Bu soru bir süredir merak ettiğim bir şey. İnsanlar P-NP problemini tanımladıklarında, genellikle NP sınıfını yaratıcılıkla karşılaştırırlar. Mozart kalitesinde bir senfoni oluşturmanın (NP görevine benzer şekilde) önceden oluşturulmuş bir senfoninin Mozart kalitesinde (P görevine benzer) olduğunu doğrulamaktan çok daha zor göründüğünü belirtiyorlar. Fakat NP gerçekten "yaratıcılık sınıfı" mı? Çok fazla …

59 cc.complexity-theory  complexity-classes  soft-question 

Sitede yeniyim. Matematik akışında bu topluluk wiki olur, ancak bunu nasıl ayarlayacağımı bilmiyorum. Bir araştırma sorusu değil, umarım profesyonel teorik bilgisayar bilimcilerine ilgi duyarız. Ben teoride 2. sınıf mezun bir öğrenciyim ve akademide bir kariyer yapmak için toplumun şu anda yapmam gerekenler için ne gibi önerileri olduğunu merak ediyordum. Biliyorum …

59 soft-question  career  advice-request 

arka fon Birkaç yıl önce, ben lisanstayken, itfa edilmiş analiz üzerine bir ev ödevi verildi. Sorunlardan birini çözemedim. Ben bunu sormuştu comp.theory , ama tatmin edici bir sonuç ortaya çıktı. TA'nın kanıtlayamadığı bir konuda ısrar ettiğini ve ispatını unuttuğunu söylediğini hatırlıyorum, ve ... [ne biliyorsunuz]. Bugün, sorunu hatırladım. Hala bilmek …

59 ds.algorithms  ds.data-structures  open-problem  time-complexity 

İnternetin gelişmesiyle (ve sağduyuyla) açık erişim araştırması için giderek daha fazla talep var. Bazı araştırmacılar (ben dahil), hakemli dergilerde yayınlanan araştırma makalelerinin maaşların gerisinde kaldığını sinir bozucu buluyor. Kabul edilen tüm yayınları herkesin rahatça kullanabilmesini sağlayan dergiler ve konferanslar (teorik bilgisayar bilimi, grafik teorisi, birleştiriciler, birleştirici optimizasyon ile ilgili) arıyorum. …

58 soft-question  conferences  journals 

Yeni bir problem için bir algoritma tasarlarken, bir süre sonra bir polinom zaman algoritması bulamazsam, bunun yerine NP zor olduğunu kanıtlamaya çalışabilirim. Eğer başarılı olursam, neden polinom zaman algoritmasını bulamadığımı açıkladım. P! = NP olduğunu kesin olarak bilmiyorum, sadece şu anki bilgilerle yapılabilecek en iyi şey bu, ve aslında fikir …

58 cc.complexity-theory  lower-bounds  conditional-results 

İplik olarak teorik bilgisayar bilimindeki büyük çözülmemiş problemler? , Iddo Tzameret, aşağıdaki mükemmel yorumu yaptı: Ben aramızda temel problemler olarak görülüyor majör açık problemler arasında ayrım gerektiğini düşünüyorum P≠NPP≠NP P\neq NP çözülmesi halinde, teknik bir atılım teşkil edecek ve büyük açık problemler, ama mutlaka üzerinde örneğin, üstel alt sınır olarak …

58 big-list  open-problem 

Son zamanlarda, bir fizikçiyle konuşurken, tecrübelerime göre, doğal olarak üssel bir zamana ihtiyacı olan bir problemin, P veya BPP'de olduğu gibi, ortaya çıkmadığını ortaya koyduğumu, azalmanın neden ortaya çıktığını belirten bir “genel sebep” olduğunu iddia ettim. --- ve neredeyse her zaman, bu sebep bir düzine ya da daha az "olağan …

56 big-list  big-picture 

Genetik algoritmalar teori dünyasında pek bir çekişe sahip olmamakla birlikte, oldukça iyi kullanılan bir metaheuristik yöntemdir (metaheuristik ile, tavlama, gradyan inişi ve benzerleri gibi birçok soruna genel olarak uygulanan bir teknik anlamına gelir). Aslında, GA benzeri bir teknik , uygulamada Öklid TSP'si için oldukça etkilidir . Bazı meta-nitelikler teorik olarak …

56 ds.algorithms  ne.neural-evol 

2SAT'ı çözen polinom algoritmasına rastladım. 2SAT’in, SAT örneklerinin hepsinin (veya birçoğunun) NP-Tamam olduğu P’de olduğunu övünç buldum. Bu sorunu farklı yapan nedir? Bu kadar kolay kılan şey nedir (NL-Complete - P'den bile daha kolay)?

55 cc.complexity-theory  np-hardness  big-picture  polynomial-time 

Kağıt yazmak için hangi araçları kullanıyorsunuz? Sahip olduğum küçük deneyime göre, teorisyen insanlar gerçekten yaratıcı olmanın yanı sıra, yazılar yazmak ve incelemek için çok zaman harcıyorlar. Başka bir deyişle, çalışmalarını diğer insanlarla paylaşmak. Belki de gazeteler bunu yapmanın doğru yolu değildir, ancak bu başka bir tartışmaya bırakılmalıdır. Her durumda, sonuçları …

55 soft-question  big-list  research-practice  writing