Kategori teori dan aljabar abstrak berhubungan dengan cara fungsi dapat dikombinasikan dengan fungsi lainnya. Teori kompleksitas berkaitan dengan seberapa sulit suatu fungsi dikomputasi. Aneh bagi saya bahwa saya belum pernah melihat orang yang menggabungkan bidang studi ini, karena mereka tampak...
Apakah semua fungsi yang Fourier berat terkonsentrasi pada set berukuran kecil (atau istilah dengan tingkat rendah) dihitung dengan
Sebuah aturan bingkai , seperti yang diberikan di bawah ini, menangkap gagasan bahwa, mengingat program cdengan prasyarat pyang memegang sebelum berjalan dan postcondition qyang memegang sesudahnya, beberapa kondisi menguraikan rharus memegang baik sebelum dan sesudah cberjalan. ( Konektif...
Saya tahu itu tidak mungkin untuk memutuskan equivalence untuk kalkulus lambda yang tidak diketik. Mengutip Barendregt, HP The Lambda Calculus: Sintaks dan Semantiknya. Holland Utara, Amsterdam (1984). :ββ\beta Jika A dan B terpisah, seperangkat istilah lambda yang ditutup berdasarkan...
Gagasan pengurangan waktu polinomial (pengurangan Cook) adalah abstraksi dari konsep yang sangat intuitif: secara efisien menyelesaikan masalah dengan menggunakan algoritma untuk masalah yang berbeda. Namun, dalam teori NPNP\mathcal{NP} kelengkapan, gagasan NPNP\mathcal{NP} kekerasan ditangkap...
Saya belum pernah melihat algoritma dengan log di penyebut sebelumnya, dan saya bertanya-tanya apakah ada algoritma yang benar-benar berguna dengan formulir ini? Saya mengerti banyak hal yang mungkin menyebabkan faktor log dikalikan dalam jangka waktu berjalan, misalnya algoritma pengurutan atau...
Apakah mungkin untuk menguji secara algoritmik apakah bilangan yang dihitung rasional atau bilangan bulat? Dengan kata lain, apakah mungkin bagi perpustakaan yang mengimplementasikan angka yang dapat dihitung untuk menyediakan fungsi isIntegeratau isRational? Saya menduga itu tidak mungkin, dan...
Dalam benang baru-baru ini di milis Agda, pertanyaan dari ηη\eta hukum muncul, di mana Peter Hancock membuat pemikiran komentar . Pemahaman saya adalah bahwa ηη\eta undang-undang datang dengan tipe negatif, yaitu. penghubung yang aturan pengantarnya tidak bisa dibalik. Untuk menonaktifkan ηη\eta...
Apakah ada urutan grafik diarahkan , di mana masing-masing C n memiliki tepat n simpul dan masalah{Cn}n∈N{Cn}n∈N\{C_n\}_{n\in \mathbb N}CnCnC_nnnn Mengingat dan grafik G , adalah C n merupakan subgraf diinduksi G ?nnnGGGCnCnC_nGGG dikenal di kelas ? (Misalnya, ketika C n = K n , ini adalah...
Saya ingin belajar tentang Kompleksitas Parametrized (baik di sisi algoritmik dan di sisi kekerasan). Buku / catatan kuliah apa yang bisa saya baca tentang hal
Saya ingin menghitung treewidth grafik. Ada heuristik yang benar-benar bagus untuk masalah grafik NP-hard lainnya seperti VF2 untuk subgraph isomorphism, dengan kode yang tersedia dalam igraph misalnya. Saya telah mencobanya pada grafik saya dan saya menemukan mereka berjalan sangat cepat untuk...
Bagaimana saya bisa menentukan jumlah jalur sederhana yang unik dalam grafik yang tidak diarahkan? Baik untuk panjang tertentu, atau rentang panjang yang dapat diterima. Ingat bahwa jalur sederhana adalah jalur tanpa siklus, jadi saya berbicara tentang menghitung jumlah jalur tanpa...
Saat ini saya sedang melakukan survei literatur tentang masalah Graph isomorphism (GI). Saya ingin mengetahui beberapa pertanyaan terbuka terkait hal-hal berikut Apa parameter grafik yang traktabilitas parameter tetap GI merupakan masalah terbuka. Apa parameter grafik, dengan memperbaikinya...
Pertimbangkan bahasa Lk−distinctLk−distinctL_{k-distinct} yang terdiri dari semua kkk -surat string lebih ΣΣ\Sigma sehingga tidak ada dua huruf yang sama: Lk−distinct:={w=σ1σ2...σk∣∀i∈[k]:σi∈Σ and ∀j≠i:σj≠σi}Lk−distinct:={w=σ1σ2...σk∣∀i∈[k]:σi∈Σ and ∀j≠i:σj≠σi} L_{k-distinct} :=\{w =...
Masalah ini muncul dari postingan blog saya yang baru , seandainya Anda diberi tur TSP, apakah itu lengkap dengan NP-nya untuk menentukan apakah itu minimal? Lebih tepatnya adalah masalah berikut NP-lengkap: Instance: Diberikan grafik G lengkap dengan tepi tertimbang dengan bilangan bulat positif...
Masalahnya Max-Sat meminta Anda untuk menemukan penugasan formula CNF yang memenuhi klausa sebanyak mungkin. Untuk masalah SAT yang lebih sederhana, ada banyak kasus khusus yang diketahui yang dapat diselesaikan dalam waktu polinomial, misalnya kita dapat menyelesaikan 2-SAT dalam waktu...
Saya ingin tahu apakah ada perpustakaan grafik gratis untuk menguji apakah ada sekelompok anak di bawah umur yang ada dalam grafik
Yang terkenal isomorfisma dugaan dari Berman dan Hartmanis mengatakan bahwa semua bahasa -Lengkap adalah waktu polinomial isomorfik (p-isomorfik) satu sama lain. Pentingnya kunci dari dugaan adalah bahwa hal itu menyiratkan P ≠ N P . Itu diterbitkan pada tahun 1977, dan sepotong bukti pendukung...
Masalah penghentian untuk mesin Turing mungkin adalah set kanonik yang tidak dapat ditentukan. Namun demikian, kami membuktikan bahwa ada algoritma yang memutuskan hampir semua instance dari itu. Masalah penghentian karena itu di antara koleksi yang berkembang dari mereka yang menunjukkan "lubang...
Coq, Agda, dan Idris memiliki hierarki tipe tak terbatas (Tipe 1: Tipe 2: Tipe 3: ...). Tetapi mengapa tidak melakukannya seperti λC, sistem dalam lambda cube yang paling dekat dengan kalkulus konstruksi, yang hanya memiliki dua jenis, dan , dan aturan-aturan ini?∗∗*◽◽◽ ∅ ⊢∗: ◽∅⊢∗:◽\frac {} {∅ ⊢ *...