Dalam kompleksitas komputasi optik linier ( ECCC TR10-170 ), Scott Aaronson dan Alex Arkhipov berpendapat bahwa jika komputer kuantum dapat disimulasikan secara efisien oleh komputer klasik maka hierarki polinomial runtuh ke tingkat ketiga. Masalah yang memotivasi adalah pengambilan sampel dari...
Saat ini saya mengajar kursus kecil (Empat dua jam kuliah di tingkat Master) tentang Metode Logika dalam Keamanan , meskipun judul Metode Formal dalam Keamanan mungkin lebih tepat. Ini mencakup secara singkat topik-topik berikut (dengan metode logis terkait): Manajemen Hak Digital dan Penegakan...
Untuk memeriksa pemahaman saya, saya ingin berbagi beberapa pemikiran tentang kebutuhan energi perhitungan. Ini adalah tindak lanjut dari pertanyaan saya sebelumnya dan mungkin terkait dengan pertanyaan Vinay tentang hukum konservasi . Terlintas dalam pikiran saya bahwa, dari sudut pandang...
Ketika mendesain algoritma aproksimasi seseorang kadang-kadang memecahkan program semidefinite diikuti oleh langkah pembulatan. Contoh yang sering digunakan untuk menggambarkan ini adalah Max-Cut. (Lihat misalnya Algoritma Aproksimasi oleh Vijay Vazirani.) Apakah ada sumber atau survei pendidikan...
Misalkan kita diberi beberapa poligon sederhana terpisah di dalam pesawat, dan dua titik dan luar setiap poligon. Masalah jalur terpendek Euclidean adalah menghitung jalur terpendek Euclidean dari ke yang tidak memotong interior poligon apa pun. Untuk konkret, mari kita asumsikan bahwa koordinat...
Biarkan menjadi grafik. Untuk titik , mendefinisikan menjadi (terbuka) lingkungan dari di . Yaitu, . Tentukan dua simpul dalam menjadi kembar jika dan memiliki tetangga yang sama, yaitu, jika .x ∈ V N ( x ) x G N ( x ) = { y ∈ VG = ( V, E)G=(V,E)G=(V,E)x ∈ Vx∈Vx\in VN( x )N(x)N(x)xxxGGGu , v GN( x...
Selain kompleksitas komunikasi (deterministik) dari suatu relasi , ukuran dasar lain untuk jumlah komunikasi yang dibutuhkan adalah nomor partisi protokol . Hubungan antara kedua ukuran ini diketahui hingga faktor konstan. Monograf oleh Kushilevitz dan Nisan (1997) memberikanRc c ( R )cc(R)cc(R)RRR...
Apakah ada masalah dalam CS di mana tidak ada algoritma efisien yang diketahui, meskipun ada teorema yang membuktikan algoritma efisien seperti itu harus ada? Apa sebutan masalah ini? Di mana saya bisa tahu lebih
Saya mengalami kesulitan mengajarkan konsep fungsi yang dapat dihitung. Saya mencoba mengembangkan ide mengapa para peneliti seperti Hilbert / Ackermann / Godel / Turing / Church / ... menciptakan gagasan 'kemampuan komputasi'. Para siswa segera bertanya: "apa artinya komputasi?" dan saya tidak...
Pertanyaan ini adalah tentang kompleksitas waktu dari algoritma aliran maksimum Ford-Fulkerson ketika menggunakan DFS untuk menemukan jalur tambahan. Ada contoh terkenal yang menunjukkan bahwa menggunakan DFS seseorang dapat memerlukan jumlah iterasi linier dalam aliran maksimum, lihat misalnya...
Jika masalah adalah NP-hard (menggunakan pengurangan waktu polinomial), apakah itu menyiratkan bahwa itu P-hard (menggunakan ruang log atau reduksi NC)? Tampaknya intuitif bahwa jika itu sama sulitnya dengan masalah apa pun di NP maka harus sama sulitnya dengan masalah apa pun di P, tapi saya tidak...
Saya bertanya-tanya apakah ada pembenaran untuk percaya bahwa atau untuk percaya bahwa N L ≠ L ?NL = LNL=LNL=LNL ≠ LNL≠LNL\neq L Diketahui bahwa . Literatur tentang derandomization dari R L ini cukup meyakinkan bahwa R L = L . Adakah yang tahu tentang beberapa artikel atau ide yang meyakinkan...
Apa yang diketahui tentang struktur data yang dapat mempertahankan urutan item yang tunduk pada dua operasi berikut? Tekan (x): tambahkan x ke akhir urutan, dan kembalikan pengidentifikasi untuk posisinya di urutan Ekstrak (S): diberi seperangkat pengidentifikasi yang tidak berurutan, menghapus...
Apakah ada yang tahu tentang program open-source untuk menghitung dekomposisi Tree dari grafik untuk "k" (lebar) yang diperbaiki? Saya tahu bahwa masalah menemukan Tree-Decomposition adalah NP-Hard untuk variabel "k", tetapi instance input saya akan sangat kecil (~ 10 node) dan "k" sudah...
Aplikasi apa yang dimiliki Masalah Penutup Vertex di dunia nyata? Industri atau proyek penelitian mana yang menggunakan perangkat lunak yang benar-benar diimplementasikan yang didasarkan pada hasil teoritis untuk masalah Vertex Cover? Secara khusus, apakah ada hasil teoretis berikut yang...
Saya sedang mempertimbangkan kelas grafik yang dapat ditandai dengan subgraph terlarang. Jika kelas grafik memiliki himpunan terbatas dari subgraf terlarang, maka ada algoritme pengenalan waktu polinomial yang sepele (satu hanya dapat menggunakan kekuatan kasar). Tetapi sebuah keluarga tak...
Dalam sebuah makalah Science dari tahun 2002, Mezard, Parisi dan Zecchina mengemukakan heuristik propagasi kepercayaan untuk 3SAT acak. Eksperimen menunjukkan bahwa heuristik bekerja dengan baik untuk rasio kendala-per-variabel yang kemungkinan ada tugas yang memuaskan. Pertanyaan saya...
Saya mencari referensi untuk hasil berikut: Menambahkan dua bilangan bulat dalam representasi factored sama sulitnya dengan memfaktorkan dua bilangan bulat dalam representasi biner biasa. (Saya cukup yakin itu ada di luar sana karena ini adalah sesuatu yang saya tanyakan pada suatu saat, dan...
Sebuah tensor adalah generalisasi dari vektor dan matriks untuk dimensi yang lebih tinggi dan peringkat dari tensor juga generalizes pangkat matriks. Yakni, peringkat dari tensor adalah jumlah minimal peringkat satu tensor bahwa jumlah untuk T . Vektor dan matriks masing-masing adalah tensor...
Saya ingin tahu makalah apa yang harus saya baca untuk memahami pertanyaan ini Koneksi tak terduga ke bidang matematika lain seperti geometri aljabar atau kohomologi yang lebih tinggi. Mungkin bahkan bidang matematika belum berkembang. Mungkin seseorang akan mengembangkan arah yang sama sekali...