Teorik Bilgisayar Bilimi

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

2
Brzozowski'nin DFA minimizasyon algoritmasını farklı kabul eden durum sınıflarıyla sonlu otomata genelleştirmek?
Brzozowski'nin bir DFA'yı eşdeğer bir minimum durum DFA'ya dönüştürme algoritması oldukça basittir: R ( D )R,(D)R(D) "DFA", bir DFA'daki tüm kenarların ters çevrilmesiyle oluşturulan NFA'yı belirtir DDD, eski başlangıç ​​durumunu kabul eden bir devlet haline getirmek ve eski kabul eden ülkeleri başlangıç ​​durumuna getirmek ve eğer P( N)P(N-)P(N) alt küme …
2
"En küçük" karmaşıklık sınıfı nedir?
Bu sorunun cevaplarının tüm polinomlar için sınıflar verdiğine inanıyorum.ppp, sınıfta boyut devresi olmayan bir problem varp ( n )p(n)p(n). Ancak, devre boyutu hakkında sorular soruyorumω( n )ω(n)\omega \hspace{.02 in}(n). (⟨00,11,22,31,44,51,66,71,88,91, . . .⟩(⟨00,11,22,31,44,51,66,71,88,91,...⟩\big(\hspace{-0.07 in}\left\langle \hspace{-0.04 in}0^{\hspace{.02 in}0}\hspace{-0.03 in},\hspace{-0.04 in}1^{\hspace{-0.03 in}1}\hspace{-0.03 in},2^{\hspace{.02 in}2}\hspace{-0.04 in},\hspace{-0.03 in}3^1\hspace{-0.04 in},\hspace{-0.03 in}4^4\hspace{-0.03 in},\hspace{-0.03 in}5^1\hspace{-0.04 in},\hspace{-0.03 in}6^{\hspace{.03 …
1
Minimum otomata olarak yönlendirilmiş çoklu grafikler
Düzenli bir dil verildi LLL alfabede birbirA, minimal deterministik otomatı sabit dış derece ile yönlendirilmiş bağlı bir çoklu grafik olarak görülebilir | A ||bir||A|ve belirgin bir başlangıç ​​durumu (geçiş etiketlerini, nihai durumları unutarak). İlk durumu koruyoruz, çünkü her tepe noktasına ondan erişilebilir olmalıdır. Sohbet doğru mu? Yani yönlendirilmiş bağlı ufak …
1
Rastgele bir kehanet hangi TFNP problemlerinin ortalama olarak zor olduğunu değiştirebilir mi?
Şifreleme üzerine bu soruyu gördüğümden beri çeşitli zamanlarda aşağıdaki soruyu düşünüyorum . Soru İzin Vermek RRRBir olmak TFNP ilişkisi. Rastgele bir kehanet P / poly'nin kırılmasına yardımcı olabilir RRRihmal edilemez bir olasılıkla? Daha resmi olarak, \newcommand{\Pr}{\operatorname{Pr}} \newcommand{\E}{\operatorname{\mathbb{E}}} \newcommand{\O}{\mathcal{O}} \newcommand{\Good}{\mathsf{Good}} mu Tüm için P / poli algoritmaları , \ Pr_x [R …
2
Grafik izomorfizmi için bir grafiğin otomorfizmlerinin sayısı
Let ve , iki olmak boyutu -Normal bağlı grafikleri . , olacak şekilde permutasyon kümesi olsun . Eğer , sonra otomorfizmaları kümesidir .GGGHHHrrrnnnAAAPPPPGP−1=HPGP−1=HPGP^{-1}=HG=HG=HG=HAAAGGG büyüklüğünde en iyi bilinen üst sınır nedir? Belirli grafik sınıfları için herhangi bir sonuç var mı (tam / çevrim grafikleri içermiyor)?AAA Not: Otomorfizm grubunun oluşturulması, en azından …
1
Gökkuşağı üçgenlerine kenar bölme
Aşağıdaki sorunun NP zor olup olmadığını merak ediyorum. Giriş: G=(V,E)G=(V,E)G = (V,E) basit bir grafik ve bir renklendirme f:E→{1,2,3}f:E→{1,2,3}f : E \to \{1,2,3\} kenarların (fff belirli bir özelliği doğrulamaz). Soru: bölümlemek mümkün müEEE içine |E|/3|E|/3|E|/3 üçgenler, böylece her üçgen her rengin bir kenarına sahip olacak? Ben renkler olmadan bir grafik …
1
Stephen Cook, gerçekte kanıtlamadan önce SAT'ın NP-Hard olduğunu göstermenin önemini gördü mü?
Doğru , probleminin NP zor olduğunu kanıtlamak için , NP'de bulunan tüm olası sorunları ve daha sonra , her birinin örneklerini eşleyen bir polinom zaman hesaplamalı fonksiyon kullanarak kanıtlamanız gerekir. yi örneklerine .AAABiBiB_{i}AAABiBiB_{i}AAA İlk NP zor problemini bulduktan sonra, indirimleri kullanarak diğer birçok sorunun NP Complete veya NP Hard olduğunu …
1
Bir grafik, en fazla bir numaralı yürüyüşün olduğu bir yönü ne zaman kabul eder?
Aşağıdaki sorunu düşünün: Giriş: basit (yönlendirilmemiş) bir grafik .G = ( V, E)G,=(V,E)G=(V,E) Soru: her için de en fazla bir (yönlendirilmiş) - yürüyüşü olduğu özelliğini tatmin eden bir yönelim var mı ?G,G,Gs , t ∈ Vs,t∈Vs,t \in Vsssttt Bu eşdeğer olarak şu şekilde ifade edilebilir: Giriş: basit (yönlendirilmemiş) bir grafik …
2
Grafik sınıfına bir ad verin: Bir klik ile bağımsız bir kümenin ayrık birleşimi
İzin Vermek G,G,G bir klik ile bağımsız bir kümenin ayrık birleşimi olan bir grafik, yani G =Kn1+Kn2¯¯¯¯¯¯¯¯=Kn1+benn2.G,=Kn1+Kn2¯=Kn1+benn2.G = K_{n_1} + \overline{K_{n_2}} = K_{n_1} + I_{n_2} . Tüm bu grafiklerin grafik sınıfı yasak indüklenmiş alt çizgi setiyle karakterize edilir H ={2K2,P3}'H={2K2,P3}\mathcal{H} = \{2K_2, P_3\} ve bu nedenle bir küme grafiğinin ve …
2
Daha yüksek boyutlu üretken dilbilgisi var mı?
Müzik parçalarını, üretken gramer veya L-sistemlerinde cümleler olarak ele almak için yaklaşımların bulunduğu bilgisayar müziğiyle ilgileniyorum. Beste yapmak yerine, bir dilbilgisi belirlenebilir ve bilgisayarın müziği oluşturmasına izin verilebilir. Örneğin, geç Paul Hudak çevresindeki Yale grubu bu konuda çok güçlü. L-sistemlerle bitki büyümesi gibi daha yüksek boyutlu şeyleri temsil etmek için …
9 grammars 
1
Bu örtme probleminin karmaşıklığı biliniyor mu?
İzin Vermek G=(V,E)G=(V,E)G=(V,E)grafik olmak. Bir tepe noktası setiX⊆VX⊆VX\subseteq Veğer kritik olarak adlandırılırsaX≠∅X≠∅X\neq\emptyset ve tepe noktası yok V∖XV∖XV\setminus X tam olarak bir tepe noktasına bitişik XXX. Sorun, bir köşe kümesi bulmaktırS⊆VS⊆VS\subseteq V minimum boyutta S∩X≠∅S∩X≠∅S\cap X\neq\emptyset her kritik set için XXX. Sorun şu söylentiyi yayıyor: Vertex iii söylenti komşusuna yayılıyor jjj …
1
Bu yol sorununun karmaşıklığı biliniyor mu?
Eşgörünüm: Yönlendirilmemiş bir grafikGGGiki belirgin köşe noktası ve bir tamsayı .s≠ts≠ts\neq tk≥0k≥0k\geq 0 Soru: , en fazla üçgeniyle kesişecek şekilde bir yolu var mı ? (Bu sorun için, yol üçgenden en az bir kenar içeriyorsa, bir yolla bir üçgenin kesiştiği söylenir.)s−ts−ts-tGGGkkk
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.