Ilmu Komputer Teoritis

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 dalam grafik yang sangat kecil - dapat dianggap sesuatu yang …

11 gt.game-theory 

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 dengan algoritma yang sedang mempertimbangkan untuk …

11 sat  soft-question  proofs 

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 sangat dekat dengan apa yang saya cari. Apakah ada algoritma …

11 randomness  derandomization 

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 setidaknya satu pernikahan yang stabil. (Anehnya, ini tidak terjadi …

11 ds.algorithms  graph-theory  matching 

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, dan Masalah Pemisah Tepi saat itu merupakan …

11 cc.complexity-theory  approximation-hardness 

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 samping) pengulangan fungsi kelas satu yang arbitrer (tidak ada kombinator) Namun, bahasa tersebut …

11 complexity-classes  functional-programming  dc.parallel-comp 

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 bukti secara inheren acak dan tidak dapat dikompresi. Apakah ada …

11 lower-bounds  proof-complexity  kolmogorov-complexity 

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 adalah hal biasa. Sekarang, modulo beberapa teknis mengenai apa loop dan …

11 cc.complexity-theory  reference-request  circuit-complexity  machine-models  ar.hardware-architecture 

Apa kompleksitas waktu yang tepat dari algoritma ruang log st-konektivitas yang tidak diarahkan oleh Omer Reingold?

11 cc.complexity-theory  randomness 

Immerman (Kompleksitas Deskriptif, 1999) menyajikan game EF untuk urutan kedua monadik eksistensial (game Ajtai-Fagin) di halaman 127. Karena MSO pada kata-kata setara dengan bahasa biasa, permainan dapat ditulis sebagai berikut.∃∃\exists Sebuah bahasa adalah biasa jika dan hanya jika Delilah tidak memiliki strategi menang di game berikut: 1. Samson memilih c …

11 lo.logic  automata-theory  descriptive-complexity 

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 Yμμ\muρ=maxp,q∈X{d(x,y)f(μ(x),μ(y)),f(μ(x),μ(y))d(x,y)}ρ=maxp,q∈X{d(x,y)f(μ(x),μ(y)),f(μ(x),μ(y))d(x,y)} \rho = \max_{p,q \in X} \{ \frac{d(x,y)}{f(\mu(x), \mu(y))}, \frac{f(\mu(x), \mu(y))}{d(x,y)} \} Ada beberapa ukuran kualitas lainnya: Dhamdhere dkk mempelajari distorsi …

11 approximation-algorithms  cg.comp-geom  embeddings 

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 untuk menemukan (ukuran) set bebas-H terbesar dalam sebuah grafik, …

11 ds.algorithms  reference-request  graph-theory  np-hardness  co.combinatorics 

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 ini?

11 reference-request  lo.logic  type-theory  lambda-calculus  polymorphism 

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 sini, definisi norma jejak adalah jumlah dari semua …

11 quantum-computing  quantum-information 

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 ini?

11 cc.complexity-theory  graph-isomorphism  automorphism