Ilmu Komputer Teoritis

16
?

Saat membaca blog Dick Lipton, saya menemukan fakta berikut di dekat akhir posting Bourne Factor : Jika, untuk setiap , ada hubungan bentuk mana , dan masing-masing , b_k dan c_k adalah poli (n) dengan panjang bit, kemudian anjak memiliki polinomial sirkuit

16
Dalam keadaan apa algoritma

Misalkan, untuk setiap ϵ>0ϵ>0\epsilon > 0 , ada mesin Turing MϵMϵM_{\epsilon} yang menentukan bahasa LLL dalam waktu O(na+ϵ)O(na+ϵ)O(n^{a + \epsilon}) . Apakah ada algoritma tunggal yang menentukan LLL dalam waktu O(na+o(1))O(na+o(1))O(n^{a + o(1)}) ? (Di sini, istilah o(1)o(1)o(1) diukur...

16
Perpanjangan operator kebisingan

Dalam masalah yang sedang saya kerjakan, perpanjangan dari operator kebisingan muncul secara alami, dan saya ingin tahu apakah ada pekerjaan sebelumnya. Pertama izinkan saya merevisi operator kebisingan dasar T εTεT_{\varepsilon} pada fungsi Boolean yang bernilai nyata. Diberi fungsi f : { 0 , 1 }...

16
Apakah pewarnaan vertex - dalam arti tertentu?

Kita tahu bahwa pewarna tepi grafik GGG adalah pewarna simpul dari graph khusus, yaitu dari grafik garis L(G)L(G)L(G) dari GGG . Apakah ada operator grafik ΦΦ\Phi sehingga pewarnaan simpul pada grafik GGG adalah pewarnaan tepi dari grafik Φ(G)Φ(G)\Phi(G) ? Saya tertarik pada operator grafik yang...