Teorik Bilgisayar Bilimi

Teorik bilgisayar bilimcileri ve ilgili alanlardaki araştırmacılar için soru cevap

1
Ağaç genişliğinin hesaplanması zor (kolay) olan ilginç grafik sınıfları var mı?
Treewith, bir grafiğin ağaç olmaktan ne kadar yakın olduğunu gösteren önemli bir grafik parametresidir (sıkı bir topolojik anlamda olmasa da). Trewidth hesaplamanın NP-sert olduğu iyi bilinmektedir. Ağaç genişliğinin hesaplanmasının zor olduğu doğal grafik sınıfları var mı? Benzer şekilde: Ağaç genişliğinin hesaplanmasının kolay olduğu ilginç grafik sınıfları var mı? Evet ise, …
1
Bir Hattaki Paralel Çakıl Oyunu
Olarak çakıl oyun , bir düğümde çakıl i, eklemek veya düğüm i + 1, bir çakıl taşı kaldırabilir var ise, bir hat üzerinde N. 0 ile düğüm 0. bir çakıl ile oyun başlar etiketli N + 1 düğümleri vardır. Amaç, aynı anda çok fazla çakıl taşı koymadan ve çok fazla …
1
Adleman'ın sonsuz dönemlere ilişkin teoremi?
Adleman bu 1978'de göstermiştir boolean bir fonksiyonu ise: bir değişken boyutlu bir olasılık Boole devre ile hesaplanabilmektedir , daha sonra de deterministik hesaplanabilmektedir ve cinsinden polinom büyüklüğünde boole devresi ; aslında, boyutunda . BPP⊆P/polyBPP⊆P/poly\mathrm{BPP}\subseteq \mathrm{P/poly}fffnnnMMMfffMMMnnnO(nM)O(nM)O(nM) Genel Soru: hangi diğer (boole dışında) semirleri tutar? BPP⊆P/polyBPP⊆P/poly\mathrm{BPP}\subseteq \mathrm{P/poly} Biraz daha spesifik olmak gerekirse, …
1
DFS ağacı her zaman hangi grafikler için bir yoldur?
Hangi yönlendirilmemiş grafiklerin tümü için derinlik-ilk arama ağaçları (olası tüm başlangıç ​​köşeleri ve ilk önce komşuları araması gereken tüm seçenekler için) yönlendirilmiş yollardır? Yani, her DFS ağacında sadece bir yaprak olmalı ve diğer tüm tepe noktalarının tam olarak bir çocuğu olmalıdır. Örneğin, döngüler, tam grafikler ve dengeli tam çift taraflı …
2
olduğu varsayımıyla
Bilindiği gibi, eğer sonra polinom hiyerarşi çöker ve .Σ P 2 M A = A MNP⊆P/PolyNP⊆P/PolyNP\subseteq P/PolyΣP2Σ2P\Sigma_2^{P}MA=AMMA=AMMA = AM olduğunda bilinen en güçlü çökmeler nelerdir ?NEXP⊆P/PolyNEXP⊆P/PolyNEXP\subseteq P/Poly
2
ALogTime! = PH'un kanıtlanması zor (ve bilinmiyor)?
Lance Fortnow geçtiğimiz günlerde L! = NP'yi kanıtlamanın P! = NP'yi kanıtlamaktan daha kolay olması gerektiğini iddia etti : NP'yi Logaritmik uzaydan ayırın. Blog öncesi 2001'de köşegenleştirme üzerine bir ankette (Bölüm 3) dört yaklaşım verdim , ancak hiçbiri göz ardı edilmedi. P'yi NP'den ayırmaktan çok daha kolay olmalıdır. Bağlantılı anketteki …
1
Rabin'in “bir işlevi hesaplamanın zorluk derecesi ve özyinelemeli kümelerin kısmi sıralaması”
Bakıyorum: Michael O. Rabin, "Bir işlevi hesaplamanın zorluk derecesi ve özyinelemeli kümelerin kısmi sıralaması", Hebrew Üniversitesi, Kudüs, 1960 Özet: “Belirli bir hesaplanabilir (özyinelemeli) işlevi hesaplama görevinin doğasında bulunan iş miktarını ölçmeye çalışıyoruz. Hesaplamanın zorluk derecesi kavramı tanıtılır ve incelenir. Bu kavram, söz konusu fonksiyonları hesaplamak için kullanılan ideal bilgisayarlardan (Turing …
2
Tutarlı Uzayların arkasındaki sezgiyi açıklayabilir misiniz?
Doğrusal Mantık Tutarlı uzaylar kullanılarak yorumlanır ve Girard'ın makalelerinde belirgin bir şekilde yer alırlar. Onları resmi olarak tanımlamanın üç ana yolunun hepsini biliyorum ve bunlar hakkında bir şeyler kullanmak ve ispatlamak için herhangi bir problem oluşturmuyorlar, ama ne anlama geldiğini anlayamıyorum . Onları anlamanın bir yolu varmış gibi geliyor . …
4
Bir lineer denklem sistemine en kapsamlı çözümü bulma
Lineer denklemler sistemine en açık çözümü bulmak ne kadar zor? Daha resmi olarak, aşağıdaki karar sorununu göz önünde bulundurun: Örnek: Tamsayı katsayıları ve bir sayı ile doğrusal denklemler sistemi .ccc Soru: Sisteme en az değişkeninin sıfıra atanmış bir çözümü var mı ?ccc Ayrıca bağımlılığın ne olduğunu belirlemeye çalışıyorum . Yani, …
2
Bağımlı olarak yazılan lambda hesabı için kilise-Rosser özelliği?
Church-Rosser mülkünün, basitçe yazılmış lambda hesabında -indirgeme sağladığı bilinmektedir . Bu hesap içermeyen tüm denklemler bu anlamda tutarlı olduğunu ima λ örneğin: -terms derive olan K ≠ ı , aynı normal bir form paylaşmak olmadığı için.βηβη\beta \etaλλ\lambda≠≠\neq Ayrıca, sonucun ürün tiplerine karşılık gelen çiftlere genişletilebileceği de bilinmektedir. Ama merakla, polimorfik …
1
En yavaş çoklu azaltma?
Biz kanıtlamak istediğinizde olan K P -Komple, daha sonra standart yaklaşım, bilinen bir polinom zaman hesaplanabilir çok-on azalttığı da bir N P için Komple sorun L . Bu bağlamda indirgemenin çalışma süresi üzerinde sıkı bir sınırlamaya ihtiyacımız yok. Herhangi bir polinom sınırına sahip olması yeterlidir , bu da muhtemelen çok …
1
SETH'nin MA versiyonunun nasıl yanlış olduğu kanıtlanmıştır?
Güçlü Üstel Zaman Hipotezinin (SETH) belirsiz olmayan bir uzantısını tartışan bu makaleye göre , "[…] Williams son zamanlarda k-TAUT'un Merlin-Arthur karmaşıklığı ile ilgili hipotezleri yanlış gösterdi". Ancak, bu yazı sadece kişisel bir iletişimi belirtmektedir. SETH'nin MA versiyonunun nasıl yanlış olduğu kanıtlanmıştır? Formülün cebirlenmesini içerdiğinden şüpheleniyorum , ancak başka bir fikrim …
2
Etiketli DAG'ın sözlükbilimsel olarak en az topolojik türü
Bir asiklik yönlendirilmiş grafiktir biz girdi olarak verilir problemi göz önünde , bir etiketleme fonksiyonu gelen V bir grubu için L toplam sipariş <_l biz istenir (örneğin, tam sayı) ve sözlükbilimsel olarak en küçük topolojik G türünü \ lambda cinsinden hesaplamak . Daha kesin olarak, bir topolojik sıralama arasında G …
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.