Ilmu Komputer Teoritis

Diberikan grafik G yang tidak terarah, kita dapat mengatakan bahwa G hampir bipartit jika menghapus tepi k (atau simpul) akan membuatnya menjadi bipartit. Apakah ada algoritma waktu poli untuk menentukan apakah grafik tepat atau kira-kira hampir bipartit?

8 ds.algorithms  graph-theory 

Mari menjadi parameter grafik (ex. Diameter, jumlah dominasi, dll)sss Keluarga dari grafik memiliki properti s -treewidth jika ada fungsi f sehingga untuk setiap grafik G ∈ F , treewidth G paling banyak adalah f ( s ) .FF\mathcal{F}sssfffG∈FG∈FG\in \mathcal{F}GGGf(s)f(s)f(s) Sebagai contoh, misalkan , dan F adalah keluarga dari grafik planar. …

8 graph-theory  graph-algorithms  graph-minor 

Saya bingung tentang contoh yang diberikan dalam artikel Wikipedia tentang tata bahasa konteks-sensitif: https://en.wikipedia.org/wiki/Context-sensitive_grammar Disclamer : Saya sudah mengubah bagian yang dibahas di artikel wikipedia, jadi keadaan artikel saat ini akan berbeda dari yang saya bahas dalam pertanyaan ini. Versi asli ada di sini: https://en.wikipedia.org/w/index.php?title=Context-sensitive_grammar&oldid=747616366 Tata bahasa berikut, dengan simbol …

8 fl.formal-languages  grammars 

Dibandingkan dengan spektrum grafik tidak berarah, yang sesuai dengan matriks simetris, spektrum grafik berarah tidak terlalu dikenal: Diketahui bahwa graf berarah G=(V,E)G=(V,E)G = (V,E) memiliki matriks adjacency A(G)A(G)A(G) yang nilai eigennya adalah biner {0,1}{0,1}\{0,1\} jika GGG adalah a-siklik. Ini mengikuti dengan menyortir simpul ke dalam komponen terhubung kuat: perbaikan ini …

8 graph-theory  graph-algorithms  linear-algebra  spectral-graph-theory 

Setelah membaca Efek sebagai Sesi, Sesi sebagai Efek , saya bertanya-tanya bagaimana bukti kesetaraan antara keduanya terjadi, atau bahkan, bukti jenis Sesi menjadi Jenis dan Sistem Efek. Dengan cara yang lebih umum, bagaimana seseorang dapat membuktikan hubungan (misalnya kesetaraan) antara "kelas" * jenis yang berbeda? Apakah tes ekspresif seperti yang …

8 type-theory  proofs  type-systems 

(Ini adalah "upper end" dari pertanyaan saya dari lebih dari 10 bulan yang lalu di cs.stackexchange. Itu pertanyaan dan "ujung bawah" saya bertanya di sini selama 8 bulan yang lalu , yang saya juga memiliki karunia di, keduanya belum terjawab. Ini adalah tangkapan layar dari tampilan tulisan ini, jika tidak …

8 np-hardness  csp  promise-problems 

Apa publikasi pertama dari konsep optimalisasi penggabungan berdasarkan mengidentifikasi urutan posisi berturut-turut dalam meningkatkan pesanan (alias berjalan) dalam waktu linier; kemudian berulang kali menggabungkan dua sekuens terpendek seperti itu dan menambahkan hasil penggabungan ini ke daftar fragmen yang diurutkan. Dalam beberapa publikasi saya (mis. Http://barbay.cl/publications.html#STACS2009 , http://barbay.cl/publications.html#TCS2013 ) Saya menggunakan …

8 reference-request  sorting  huffman 

Apa yang diketahui tentang kompleksitas masalah NP-hard pada grafik Cayley? Misalkan grafik diberikan secara eksplisit sebagai tabel perkalian grup dan daftar generator. Jadi panjang input adalah ukuran grafik. Bisakah kita menyelesaikan masalah NP-complete pada grafik seperti itu (klik / max-cut maksimum) dalam waktu polinomial? Bagaimana dengan beberapa kasus khusus kelompok? …

8 np-hardness  np-complete 

Pathwidth dari grafik bipartit lengkap K3,nK3,nK_{3,n} dengan ukuran partite 333 dan nnn paling banyak 333 . Saya tertarik merencanakan grafik ini dengan proses berikut: Gambarlah di bidang sedemikian rupa sehingga tidak ada tepi yang mengandung simpul di bagian dalamnya, dan sedemikian rupa sehingga tidak lebih dari 2 tepi yang melintas …

8 graph-theory  co.combinatorics  graph-drawing 

Banyak struktur pohon yang seimbang (pohon merah / hitam, pohon splay, dll.) Dan beberapa struktur kamus yang diurutkan lainnya (daftar centang) mendukung operasi gabungan yang menggunakan dua kamus di mana semua kunci dalam struktur pertama kurang dari semua kunci di yang kedua, kemudian menggabungkan dua kamus ke dalam kamus tunggal …

8 ds.data-structures 

Saya mencari contoh masalah yang mudah untuk mendapatkan algoritma yang berjalan dalam waktu , atau 2 O ( n c ) untuk beberapa c > 1 tetapi yang tidak diketahui apakah ada algoritma berjalan dalam waktu 2 O ( n ) .2O ( n logn )2O(nlog⁡n)2^{O(n\log n)}2O ( nc)2O(nc)2^{O(n^c)}c > …

8 exp-time-algorithms  hamiltonian-paths 

Singkatnya, pertanyaan saya adalah: apakah bukti asli Karp yang mengurangi SAT menjadi 3SAT tidak perlu diuraikan? Dengan rincian sebagai berikut. Dalam makalahnya pada 1972, Reducibilitas Diantara Masalah Combinatorial , Karp membuktikan bahwa SAT berkurang menjadi 3SAT dengan menyatakan: Ganti klausa , di mana adalah literal dan , dengan mana adalah …

8 cc.complexity-theory  sat  reductions 

Tampaknya menjadi terkenal bahwa bahasa pemrograman tidak dapat memiliki jumlah, produk, dan nonterminasi bersama. Q1 . Apakah ini benar? Di bawah ini (atau di tautan di atas saya berikan) adalah argumen parsial. Namun, pemrograman Generik Hinze dengan Adjunctions mengabaikan masalah ini, bahkan setelah membahas dengan tepat kategori mana yang terlibat. …

8 pl.programming-languages  ct.category-theory  haskell 

Saya mencoba memahami makalah ΠΣ: Jenis Ketergantungan tanpa Gula dengan menerapkan juru bahasa dan pemeriksa jenis bahasa. Dalam melakukannya, saya telah melihat bahwa unfold t as x -> usintaks untuk definisi rekursif (sintaks didefinisikan dalam Bagian 2.1) mengikat variabel, tetapi saya tidak melihat mengapa itu diperlukan. Tak satu pun dari …

8 type-theory  dependent-type 

Saya sebelumnya menanyakan pertanyaan ini di Programmers.SE , tanpa hasil. Saya mencari sumber belajar tertulis tentang bagaimana merancang struktur data bersamaan. Saya lebih tertarik pada proses desain (misalnya, mengidentifikasi invarian yang tepat) daripada produk akhir (daftar kode lengkap). Sebagai contoh konkret: Saya benar-benar menikmati buku Chris Okasaki “Struktur Data Murni …

8 ds.algorithms  reference-request  ds.data-structures  concurrency