Saya seorang sarjana penelitian yang bekerja dalam teori Algoritma dan Kompleksitas, saya menggunakan kompleksitas parameter sampai batas tertentu. Bagi saya tampaknya para peneliti dalam kompleksitas parameter sangat aktif (saya tidak bermaksud yang lain tidak) dalam hal jumlah makalah penelitian....
Adakah yang tahu dari mana nama System "F" dan System "T" berasal? Saya tidak bertanya siapa yang memperkenalkan nama-nama itu (Girard System F, dan Gödel System T), tetapi apa arti "F" dan
Diketahui bahwa Ford-Fulkerson atau Edmonds-Karp dengan heuristic pipa gemuk (dua algoritma untuk max-flow) tidak perlu berhenti jika beberapa bobotnya tidak rasional. Bahkan, mereka bahkan dapat bertemu pada nilai yang salah ! Namun, semua contoh yang dapat saya temukan dalam literatur [referensi...
Saya ingin tahu tentang cara di mana Anda telah melihat ketidakseragaman berguna dalam perhitungan. Salah satu caranya adalah keacakan, seperti dalam , dan yang lainnya adalah tabel pencarian yang digunakan untuk menunjukkan bahwa semua bahasa memiliki sirkuit yang tidak seragam.B PP⊆ P./...
Braverman menunjukkan bahwa distribusi yang -berdiri bebasϵ-kedalaman mendalamdAC0sirkuit ukuranmdengan "menempelkan" perkiraan Smolensky dan pendekatan Fourier darifungsi Boolean yang dapat dikomputasi denganAC0. Penulis dan orang-orang yang menduga dugaan ini bahwa eksponen di sana dapat...
Saya mencari masalah yang sulit diselesaikan dalam waktu FPT tetapi memiliki algoritma perkiraan. Artinya, masalah itu adalah: R1. W [1] -hard. R2. Akui algoritma perkiraan (lebih disukai konstan) dalam waktu FPT. Masalah yang saya kenal adalah menghitung jumlah jalur sederhana panjang dalam...
Biarkan menjadi alfabet terbatas. Untuk bahasa tertentu yang sintaksis monoid adalah gagasan terkenal dalam teori bahasa formal. Selanjutnya, monoid mengenali bahasa jika ada morfisme sedemikian rupa sehingga .L ⊆ A ∗SEBUAHAAL ⊆ A∗L⊆A∗L \subseteq A^{\ast} M L φ : A ∗ → M L = φ - 1 ( φ ( L ) ) )M.(...
Apakah kita mampu membuktikan teorema parametricity gratis tentang fungsi seperti ? Seharusnya menyatakan bahwa f mengambil daftar dan selalu mengembalikan permutasi itu.f:∀A.[A]⊸[A]f:∀A.[A]⊸[A]f : \forall A . [A] ⊸ [A]fff Contoh lain: membuktikan bahwa fungsi akan selalu mengembalikan daftar...
Dalam Martin-LOF Sebuah Intuitionistic Teori Jenis: predikatif Bagian terbukti bahwa jenis memeriksa adalah decidable tunduk typeable makhluk di tempat pertama, dengan membuktikan Teorema normalisasi untuk istilah typeable tertutup. Di sisi lain, saya pernah melihatnya ditulis di banyak tempat...
Apa batas atas asimptotik yang paling dikenal pada ukuran bukti yang dapat diperiksa secara probabilistik? Idealnya, saya mencari survei kontemporer tentang pertanyaan luas ini, tetapi jika tidak ada, saya terutama tertarik pada ketidak-taksiran 3-SAT. Misalkan 7/8 + ε-3-SAT menjadi 3-SAT dengan...
The Robertson-Seymour teorema mengatakan bahwa setiap keluarga kecil-tertutup grafik dapat dicirikan oleh finitely banyak anak di bawah umur dilarang.GG\mathcal G Apakah ada algoritma yang untuk input GG\mathcal G menghasilkan anak di bawah umur terlarang atau apakah ini tidak dapat...
Saya mengalami kesulitan dalam memahami bukti normalisasi yang kuat untuk kalkulus konstruksi. Saya mencoba mengikuti bukti dalam makalah Herman Geuvers "Sebuah bukti pendek dan fleksibel dari Normalisasi Kuat untuk Kalkulus Konstruksi". Saya bisa mengikuti jalur utama penalaran dengan baik....
Ada sejumlah model berbeda untuk mendefinisikan transformasi antar bahasa. Transduser keadaan terbatas dan transformasi grafik MSO-definable atas grafik string adalah dua yang paling saya kenal. Kita tahu bahwa transduser keadaan terbatas 2-arah (yang lebih ekspresif daripada rekan-rekan 1-arah...
Apakah ada beberapa hasil pada penyelesaian masalah bahasa formal menggunakan analisis matematika, matematika kontinu. Misalnya, menyelesaikan masalah non-kekosongan persimpangan untuk bahasa bebas konteks dan bahasa
Hasil ini oleh Tavenas, Koiran dan lain-lain menunjukkan bahwa setiap polinomial yang dihitung oleh sirkuit ukuran sss dihitung oleh kedalaman-4 sirkuit homogen ukuran sd√sds^{\sqrt{d}} . Apakah ada hasil yang serupa untuk sirkuit Boolean atau kita tahu mengapa hal seperti itu tidak mungkin?...
Saya mencari untuk menulis survei tentang metode yang mewakili dinamika perhitungan berbasis negara dalam kerangka kerja coalgebras. Sejauh ini saya sudah berhasil menemukan makalah tentang representasi coalgebra DFA, NFA, mesin Mealy, mesin Moore, tata bahasa bebas konteks, dan bahkan sistem...
Dua tumpukan dapat diimplementasikan secara efisien menggunakan satu larik berukuran tetap: tumpukan # 1 mulai dari ujung kiri dan tumbuh ke kanan, dan tumpukan # 2 mulai dari ujung kanan dan tumbuh ke kiri. Apakah sama mungkin untuk tiga tumpukan? Lebih khusus lagi, apakah mungkin untuk...
Akhir-akhir ini, saya menjadi tertarik pada geometri aljabar dan mulai membaca tentangnya. Saya masih tahu sedikit tentang bidang ini, tetapi saya ingin tahu apakah itu ada hubungannya dengan bidang utama saya, teori jenis dan bahasa pemrograman. Saya tahu topologi aljabar memiliki banyak aplikasi...
Konteks : Ada beberapa makalah yang mempelajari implikasi dari kurva timelike tertutup (CTL) terhadap kompleksitas kuantum. Pada tahun 2008, Aaronson dan Watrous menerbitkan makalah terkenal mereka tentang topik ini yang menunjukkan bahwa bentuk perjalanan waktu tertentu dapat membuat komputasi...
Ada jenis hasil dalam TCS yang biasanya disebut hasil bootstrap . Secara umum, itu dari bentuk Jika proposisi berlaku, maka proposisi berlaku.AAAA′A′A' di mana dan adalah proposisi yang terlihat serupa, dan tampaknya "lebih lemah" daripada , yang merupakan alasan kami memberi nama jenis hasil...