Saya seorang mahasiswa pascasarjana dalam matematika dengan latar belakang yang kuat dalam logika. Saya telah mengambil kursus pascasarjana selama setahun di bidang logika bersama-sama dengan program pascasarjana tentang teori model terbatas dan satu lagi tentang teori memaksa dan menetapkan....
Monad apa pun juga merupakan fungsi aplikasi dan fungsi aplikasi apa pun adalah fungsi. Juga, comonad apa pun adalah functor. Apakah ada konsep yang sama antara comonads dan functors, sesuatu seperti functor co-aplikatif, dan apa propertinya? \begin{array}{c} \end{array} Functors↑Fungsional yang...
Pertimbangkan permutasi dari [ 1 .. n ] . Inversi didefinisikan sebagai pasangan ( i , j ) dari indeks sedemikian rupa sehingga saya < j dan σ ( i ) > σ ( j ) .σσ\sigma[1..n][1..n][1..n](i,j)(i,j)(i, j)i<ji<ji < jσ(i)>σ(j)σ(i)>σ(j)\sigma(i) > \sigma(j) Tetapkan untuk menjadi...
Kompleksitas rangkaian bounded depth adalah salah satu bidang penelitian utama dalam teori kompleksitas sirkuit. Topik ini memiliki asal dalam hasil seperti "fungsi paritas tidak dalam " dan "fungsi mod tidak dihitung oleh ", di mana adalah kelas bahasa yang dapat ditentukan oleh non-seragam,...
Dalam algoritma Strassen, untuk menghitung produk dari dua matriks dan B , matriks A dan B dibagi menjadi 2 × 2 matriks blok dan algoritma menghasilkan perhitungan secara rekursif 7 blok produk matriks-matriks sebagai lawan dari 8 blok matriks- naif produk matriks, yaitu, jika kita ingin C = A B ,...
Saya mencari contoh alami dari algoritma yang efisien (yaitu dalam waktu polinomial) st kebenaran dan efisiensi mereka dapat dibuktikan secara konstruktif (misalnya di PR APRSEBUAHPRA atau ), tetapiHSEBUAHHSEBUAHHA tidak ada bukti menggunakan hanya konsep efisien yang diketahui (yaitu kita tidak...
Mulai dari Curry-Howard-Lambek, telah ada trinitas bagus dari teori tipe, logika, dan kategori. Saya ingin tahu apa yang Anda dapatkan semantik kategoris ketika Anda menambahkan (paksaan) subtipe ke teori jenis - sepertinya ini belum banyak dieksplorasi, jika sama sekali. Secara umum, menambahkan...
Baru-baru ini, saya menemukan varian pewarnaan tepi berikut. Diberikan grafik tidak terarah yang terhubung, temukan pewarnaan tepi yang menggunakan jumlah warna maksimum dan juga memenuhi kendala bahwa, untuk setiap simpul , insiden tepi untuk paling banyak menggunakan dua warna.vvvvvv Dugaan...
Satu hal yang dapat dilakukan oleh komputer kuantum (mungkin bahkan hanya dengan sirkuit kuantum log-depth BPP +) adalah untuk memperkirakan-sampel transformasi Fourier dari fungsi Boolean -nilai dalam P.±1±1\pm 1 Di sini dan di bawah ini ketika saya berbicara tentang pengambilan sampel...
Pertimbangkan hal berikut masalah QQQ : Kami diberi integer , dan k interval [ l i , r i ] dengan 1 ≤ l i ≤ r i ≤ 2 n . Kita juga diberi bilangan bulat 2 n d 1 , … , d 2 n ≥ 0 . Tugasnya adalah memilih jumlah interval minimum [ l i , r i ]nnnkkk[ lsaya, rsaya][lsaya,rsaya][l_i,r_i]1 ≤ lsaya≤ rsaya≤...
Ketika mencoba meyakinkan para ekonom tentang relevansi teori kompleksitas dalam cetakan, adakah referensi standar untuk dikutip? Saya akrab dengan posting blog Noam Nisan , survei Tim Roughgarden , dan bab 11 esai Scott Aaronson . Posting-posting ini dapat diakses oleh para ilmuwan komputer,...
Apakah kelas grafik berikut dikenal dalam literatur? Kelas grafik diparameterisasi dengan bilangan bulat positif dan dan berisi setiap grafik sedemikian rupa sehingga untuk setiap simpul , subgraf diinduksi pada semua simpul pada jarak paling banyak dari di memiliki treewidth paling banyak...
Saya sedang melakukan beberapa tinjauan literatur tentang masalah Graph isomorphism. Sebagian besar makalah yang saya baca ditulis oleh EM Luks dan Laszlo Babai. Makalah ini menggunakan pengetahuan tingkat tinggi teori grup dan teori kompleksitas. Karena saya baru di bidang ini, banyak hal yang...
Saat ini saya seorang siswa sekolah menengah, tertarik pada ilmu komputer teoretis dan matematika terapan. Saya telah belajar sendiri tentang aljabar linear, kalkulus, dan matematika konkret. Saya memiliki anggapan naif bahwa bagi seseorang untuk menulis algoritma yang lebih baik, seseorang harus...
Beberapa pekerjaan pada sensitivitas vs sensitivitas blok telah ditujukan untuk memeriksa fungsi dengan kesenjangan sebesar mungkin antara s(f)s(f)s(f) dan bs(f)bs(f)bs(f) untuk menyelesaikan dugaan bahwa bs(f)bs(f)bs(f) hanya lebih besar secara polinomi dari s(f)s(f)s(f) . Bagaimana dengan arah...
Misalkan saya mempertimbangkan varian BPP berikut, yang kami sebut E (xact) BPP: Suatu bahasa ada di EBPP jika ada waktu polinomial acak TG yang menerima setiap kata dalam bahasa dengan probabilitas 3/4 tepat dan setiap kata tidak dalam bahasa dengan tepat 1/4 probabilitas. Jelas EBPP terkandung...
Saat mencari Sistem informasi pada Kelas Grafik dan Inklusi mereka , saya menemukan beberapa kelas grafik yang masalah Siklus Hamiltonian adalah NP-lengkap sedangkan kompleksitas masalah Jalur Hamiltonian TIDAK diketahui. Beberapa kelas tersebut adalah grafik derajat 3 maksimum bipartit, grafik...
Mengikuti saran Josh Grochow, saya mengubah komentar saya dari pertanyaan sebelumnya menjadi pertanyaan baru. Bukti apa yang kita miliki untuk ?UP≠NPUP≠NP\mathsf{UP} \neq \mathsf{NP} Berikut UPUP\mathsf{UP} adalah kelas bahasa dikenali oleh waktu non-deterministik mesin Turing polinomial yang...
Batas bawah Blum adalah sirkuit batas bawah paling dikenal atas dasar lengkap untuk fungsi eksplisit f : { 0 , 1 } n → { 0 , 1 } , lih. Jawaban Jukna untuk pertanyaan ini untuk hasil terkait.3n−o(n)3n−o(n)3n-o(n)f:{0,1}n→{0,1}f:{0,1}n→{0,1}f : \{0,1\}^n \to \{0,1\} Apa batas bawah paling dikenal...
Makalah "Algoritma Subquadratic for 3SUM", oleh Ilya Baran, Erik D. Demaine, Mihai Patrascu memiliki kompleksitas berikut untuk Masalah 3SUM: diberi daftar L.L.L dari nnn bilangan bulat jika ada x , y, z∈ Lx,y,z∈L.x,y,z \in L sedemikian rupa sehingga x + y= z.x+y=z.x+y=z. w -w-w-A C 0 O ( n 2 /...