Diberikan grafik G sederhana yang tidak terarah, adalah nontrivial untuk menentukan apakah G memiliki automorfisme nontrivial (bukan identitas). Tetapi apa hasil pada batas atas / bawah masalah keputusan
Barry Jay dalam bukunya membuat beberapa klaim berani - pada dasarnya dengan mengatakan bahwa, pada intinya sebuah program, semuanya adalah atom atau komposisi. Maka hal-hal dapat dengan mudah diulang, disaring, diperbarui, hanya dengan menavigasi hubungan komposisi ini. Apakah ini perbatasan baru...
Lemma Johnson-Lindenstrauss mengatakan secara kasar bahwa untuk setiap koleksi SSS dari nnn poin dalam RdRd\mathbb{R}^d , terdapat peta f:Rd→Rkf:Rd→Rkf:\mathbb{R}^d \rightarrow \mathbb{R}^k mana k=O(logn/ϵ2)k=O(logn/ϵ2)k = O(\log n/\epsilon^2) sedemikian rupa sehingga untuk semua x,y∈Sx,y∈Sx, y...
Saya ingin tahu apakah kelas NPC didefinisikan oleh banyak-satu pengurangan dan pengurangan Turing adalah sama. Sunting: Pertanyaan lain, apakah pengurangan Turing hanya menciutkan kelas C dan co-C untuk beberapa C atau apakah ada kelas seperti ada masalah tidak dalam C ∪ c o - C di bawah...
Sangat mudah untuk melihat di banyak buku teks bukti pengurangan subjek dan normalisasi yang kuat untuk Sistem F, juga, kadang-kadang ada definisi Sistem F dengan pasangan, di mana (t, r) adalah istilah, bukan hanya pengkodean. Pertanyaannya adalah, apa yang akan menjadi referensi untuk sistem...
Dalam grafik, himpunan bebas adalah himpunan bagian verteks yang tidak mengandung tepi sebagai subgraf yang diinduksi. Masalah menemukan set independen terbesar dalam grafik adalah pertanyaan algoritmik yang mendasar, dan yang sulit pada saat itu. Mari kita pertimbangkan pertanyaan yang lebih umum...
Apa kompleksitas waktu yang tepat dari algoritma ruang log st-konektivitas yang tidak diarahkan oleh Omer
Saya baru saja mulai (independen) belajar tentang perhitungan kuantum secara umum dari buku Nielsen-Chuang. Saya ingin bertanya apakah ada yang bisa mencoba menemukan waktu untuk membantu saya dengan apa yang terjadi dengan postulat pengukuran mekanika kuantum. Maksudku, aku tidak mencoba...
Pertimbangkan dua ruang metrik dan , dan embedding . Penyematan ruang metrik tradisional mengukur kualitas sebagai rasio terburuk dari asli ke jarak final: (X,d)(X,d)(X, d)(Y,f)(Y,f)(Y, f)μ:X→Yμ:X→Y\mu : X \rightarrow
Motivasi untuk pertanyaan ini adalah fakta bahwa sebagian besar string n-bit tidak dapat dimampatkan. Secara intuitif, kita dapat mengusulkan dengan analogi bahwa sebagian besar bukti untuk Tautologi tidak dapat dikompresi dengan ukuran polinomial. Pada dasarnya, intuisi saya adalah bahwa beberapa...
Sementara seorang mahasiswa S1 EE saya menghadiri beberapa kuliah yang menyajikan karakterisasi bagus sirkuit boolean dalam hal berapa banyak loop bersarang yang mereka miliki. Dalam kerumitannya, sirkuit boolean sering dianggap sebagai dag, tetapi dalam siklus perangkat keras yang sebenarnya...
Saya yakin jawaban untuk pertanyaan ini sudah diketahui umum; tapi, sayangnya, saya tidak tahu. Dalam komputasi kuantum, kita tahu bahwa keadaan campuran diwakili oleh matriks kepadatan. Dan norma jejak perbedaan dua matriks densitas mencirikan pembedaan dari dua keadaan campuran yang sesuai. Di...
Untuk grafik diberikan , Masalah Pemisah menanyakan apakah set vertex atau edge dari kardinalitas kecil (atau berat) ada yang memindahkan partisi G menjadi dua grafik terpisah dengan ukuran yang kira-kira sama. Ini disebut Masalah Pemisah Verteks ketika himpunan yang dihapus adalah himpunan simpul,...
Saya telah mengembangkan teknik derandomisasi baru yang ditujukan untuk algoritma acak rekursif (atau) algoritma acak yang lebih umum yang menggunakan tumpukan. Sayangnya, saya tidak dapat menemukan algoritma acak alami untuk menerapkan teknik saya. Rantai Markov rekursif dan tata bahasa Stochastic...
Bayangkan sebuah bahasa pemrograman fungsional yang hanya tipe datanya berupa skalar numerik dan susunan array yang sewenang-wenang. Bahasa tidak memiliki sarana iterasi tanpa batas, jadi yang berikut ini tidak diizinkan: loop eksplisit (tidak banyak digunakan tanpa efek
Ini mungkin terdengar lebih seperti pertanyaan ilmu sosial lebih dari yang TCS, tetapi tidak. Saat membaca " Algoritma Acak " yang menggambarkan Masalah Pernikahan yang Stabil, orang dapat membaca yang berikut (p54) "Dapat ditunjukkan bahwa untuk setiap pilihan daftar preferensi terdapat...
Di bagian 2.2 dari B-Trees Cache-Oblivious , Pohon Pencarian Sangat Seimbang didefinisikan sebagai: Untuk beberapa konstanta , setiap simpul pada ketinggian memiliki turunan .dddvvvhhhΘ(dh)Θ(dh)\Theta(d^h) Mereka mengaku: Telusuri pohon yang memenuhi Properties 1 dan 2 termasuk B-tree yang...
Saya memulai studi saya tentang teori permainan algoritmik, dan tampaknya konsep keseimbangan yang biasanya diambil adalah titik tetap dalam grafik. Namun, sudahkah orang melihat konsep keseimbangan alternatif, seperti siklus batas? Saya dapat membayangkan bahwa siklus batas "ketat" - yaitu, siklus...
Saya telah mengembangkan algoritma SAT untuk sementara waktu, dan telah mencapai titik di mana saya ingin membagikannya. Saya tidak tahu banyak orang di bidang ilmu komputer, dan saya tidak yakin persis ke mana harus berpaling. Saya bertanya-tanya sumber daya apa yang tersedia untuk seseorang...
Biarkan menjadi distribusi lebih dari bitstring / pasangan label dan biarkan menjadi kumpulan fungsi bernilai boolean . Untuk setiap fungsi , misalkan: dan biarkan: OPT (C, D) = \ min_ {f \ dalam C} \ err (f, D) Katakan bahwa suatu algoritma A secara agnostik mempelajari C atas distribusi apa...