Ilmu Komputer Teoritis

(Permintaan maaf jika ini salah tempat atau terlalu luas. Saya terbuka untuk saran tentang cara merumuskannya kembali.) Saya tertarik menelusuri sejarah "kuno" algoritma max-flow, dan algoritma optimasi diskrit secara umum. Ford-Fulkerson adalah pemain inti saya dari titik awal. Apa kemajuan yang signifikan sebelum itu? Seberapa jauh ke belakang kita bisa …

9 ds.algorithms  graph-algorithms  ho.history-overview 

DLOGTIME didefinisikan di http://en.wikipedia.org/wiki/DLOGTIME didefinisikan di http://en.wikipedia.org/wiki/L_%28complexity%29 NC dan NC n didefinisikan di http: // en .wikipedia.org / wiki / NC_% 28kompleksitas% 29LL\operatorname{L} NCNC\operatorname{NC}NCnNCn\operatorname{NC}^n DLOGTIME tampaknya menjadi yang terkecil yang mungkin berfungsi. Saya sudah baca di berbagai tempat ituL⊆NC2L⊆NC2\, \operatorname{L} \subseteq \operatorname{NC}^2 \,, \,meskipun setiap tempat saya telah menemukan bahwa …

9 cc.complexity-theory  circuit-complexity 

Delaunay triangulasi dalam pesawat memaksimalkan sudut minimum dalam segitiga. Apakah hal yang sama berlaku untuk triangulasi poin Delaunay pada bola? (di sini "sudut" adalah sudut lokal di lingkungan sekitar titik di puncak). Terinspirasi oleh tetapi tidak terkait dengan pertanyaan ini di Math.SE.

9 cg.comp-geom  delaunay-triangulation 

Saya mencoba untuk mempelajari lebih lanjut tentang pengecekan seluruh tipe program dan sistem inferensia tipe yang menggunakan informasi dari situs pemanggilan fungsi untuk menghitung informasi jenis (selain pendekatan standar menggunakan fungsi tubuh). Sebagai contoh, algoritma seperti itu mungkin menggunakan pemanggilan fungsi foo(1)untuk menyimpulkan bahwa fungsi dalam foomengambil argumen integer. Jelas …

9 pl.programming-languages  type-theory  type-inference  type-systems 

Saya membaca kertas tua MC Golumbic tentang grafik EPT (persimpangan jalur di pohon). Dalam makalah itu ditunjukkan bahwa jumlah klik maksimal dari instance grafik EPT adalah polinomial. Disimpulkan bahwa jika oracle melaporkan bahwa grafik adalah grafik EPT, maka dimungkinkan untuk menemukan klik maksimum dengan algoritma enumerasi klik standar.GGG Pertama-tama, apa …

9 ds.algorithms  graph-algorithms  clique 

Dalam masalah Max-Cut , seseorang mencari subset S dari simpul dari grafik sederhana yang tidak diarahkan sedemikian rupa sehingga jumlah tepi antara S dan komplemen S adalah sebesar mungkin. Max-Cut adalah APX-lengkap pada grafik derajat-terikat [PY91], dan pada kenyataannya APX-lengkap pada grafik kubik (yaitu grafik derajat 3) [AK00]. Max-Cut adalah …

9 cc.complexity-theory  approximation-algorithms  approximation-hardness  max-cut 

Asumsikan kerangka kerja dalam kompleksitas komunikasi di mana kita memiliki dua pemain A (kutu) dan B (ob) dan R (eferee). A dan B tidak berkomunikasi secara langsung satu sama lain. Dalam setiap putaran komunikasi, masing-masing dari mereka mengirim pesan ( , ) ke R. R menghitung dua fungsi dan dan …

9 cc.complexity-theory  reference-request  communication-complexity 

Untuk aplikasi pembelajaran mesin, kebutuhan kelompok saya untuk menghitung jarak Euclidean ke th tetangga terdekat di set X untuk setiap x ∈ ( X ∪ Y ) ⊂ R d (untuk d antara 5 dan sekitar 100, dan | X | ≈ | Y | beberapa ratus hingga beberapa juta). …

9 reference-request  cg.comp-geom  near-neighbors 

Diberikan fungsi submodular pada mana dan terpisah dan . Berikut dan yang submodular di dan masing-masing.Ω = X 1 ∪ X 2 X 1 X 2 f ( S ) = f 1 ( S ∩ X 1 ) + f 2 ( S ∩ X 2 ) f 1 …

9 ds.algorithms  submodularity 

Saya belajar teori aljabar parsing. Masalah pertama saya adalah mengidentifikasi contoh semiring yang spesifik untuk teori bahasa formal. Berikut ini adalah upaya untuk membangun dua contoh. 1 Dengan tata bahasa CNF, elemen semiring adalah kumpulan simbol terminal dan nonterminal dengan operasi: i) Perkalian , bergabung dengan dua set pasangan-bijaksana sesuai …

9 fl.formal-languages 

Wikipedia - SHA-2 mengatakan SHA-224 identik dengan SHA-256, kecuali bahwa: nilai variabel awal h0 hingga h7 berbeda, dan output dibangun dengan menghilangkan h7. RFC3874 - Sebuah 224-bit Fungsi Hash satu arah: SHA-224 mengatakan Penggunaan nilai awal yang berbeda memastikan bahwa nilai intisari pesan SHA-256 terpotong tidak dapat keliru dengan nilai …

9 cr.crypto-security  hash-function 

Saya bertanya-tanya tentang kumpulan bahasa apa yang dihasilkan oleh pembatasan ekspresi reguler. Andaikan semua batasan memiliki simbol konstan untuk setiap elemen dan gabungan. Kemudian delapan kelas dapat dibentuk dengan ada atau tidak adanya komplemen / negasi, alterasi / persatuan, dan bintang Kleene. (Ya, ekspresi reguler 'normal' tidak memiliki operator C …

9 fl.formal-languages  regular-expressions 

Di mana-mana yang saya baca tentang masalah pemotongan paling jarang, hanya dikatakan bahwa masalahnya dikenal sebagai NP -hard. Di mana saya dapat menemukan bukti ini? Mana masalah NP-keras yang diketahui mengurangi ke masalah pemotongan paling jarang? Saya tidak dapat menemukan bukti dalam buku Vazirani - Algoritma Aproksimasi, yang menyajikan algoritma …

9 cc.complexity-theory  reference-request  np-hardness 

Saya mencoba menunjukkan bahwa masalah tertentu tidak dapat diperkirakan dengan pengurangan dari set penutup. Reduksi saya mengubah sebuah instance dengan ground set ukuran dan menjadi instance dari masalah saya di mana parameter tertentu berukuran . Saya kemudian dapat menunjukkan bahwa contoh set penutup di mana ukuran penutup s sesuai dengan …

9 cc.complexity-theory  approximation-hardness  set-cover 

(Pertanyaan awal saya masih belum dijawab. Saya telah menambahkan klarifikasi lebih lanjut.) Saat menganalisis jalan acak (pada grafik tidak berarah) dengan melihat jalan acak sebagai rantai Markov, kami membutuhkan grafik untuk non-bipartit sehingga teorema dasar rantai Markov berlaku. Apa yang terjadi jika grafik bukan bipartit? Saya secara khusus tertarik pada …

9 pr.probability  random-walks