Ilmu Komputer Teoritis

ini adalah penulisan ulang pertanyaan saya yang lain baru-baru ini [1] yang tidak dinyatakan dengan baik (memiliki penyederhanaan yang jelas, mea culpa) tapi saya pikir masih ada pertanyaan yang tidak penting di jantungnya. telah melihat masalah serupa dalam literatur tetapi tidak yang satu ini pada khususnya. akan menulisnya dalam bentuk …

8 cc.complexity-theory  reference-request  circuit-complexity  lower-bounds 

Meskipun sangat umum untuk melihat musisi otodidak yang sukses, pelukis, penulis dan arsitek - saya tidak akrab dengan autodidak terkenal di bidang TCS. Adakah contoh ilmuwan komputer teoretis autodidak yang berhasil (misalnya, seseorang yang menerbitkan makalah yang signifikan, tanpa pernah lulus sekolah sarjana)?

8 soft-question 

Saya ditanyai oleh siswa berikut, dan tidak dapat memberikan jawaban lengkap: Apakah ada properti penutupan untuk kelas bahasa yang tidak bebas konteks? Cukup mudah untuk menemukan contoh yang menunjukkan bahwa itu tidak ditutup di bawah persimpangan dan iterasi (operator bintang Kleene), tetapi bagaimana dengan penyatuan dan penggabungan? Dugaan saya adalah …

8 fl.formal-languages  context-free-languages 

Gagasan diameter dibatasi MST adalah bahwa Anda menjaga semua simpul terhubung dan dalam jarak tertentu satu sama lain. Tetapi semua kertas yang saya lihat menjaga persyaratan bahwa Anda menghasilkan pohon, ketika memungkinkan siklus dapat membantu mengurangi diameter. Adakah yang tahu makalah yang mengeksplorasi ini? (Sulit untuk mencari.) Sebagai contoh, perhatikan …

8 cc.complexity-theory  reference-request  graph-theory 

Misalkan ada pihak , masing-masing dengan sedikit . Saya ingin menghitung penggandaan jumlah yang kali dari nol, yaitu, .N>2N>2N>2pjpjp_jbj∈{0,1}bj∈{0,1}b_j\in{\{0,1\}}R=(∑bj)×(N−∑bj)R=(∑bj)×(N−∑bj)R=(\sum{b_j})\times(N-\sum{b_j}) Perhitungan harus aman dalam arti bahwa tidak ada pihak bisa belajar lebih banyak daripada hasil akhir . Sebagai contoh, tidak aman untuk melakukan jumlah yang aman, karena akan diketahui, dan jumlahnya …

8 cr.crypto-security  security 

Lemma pemotongan (lemma penguraian sel) menyatakan bahwa diberi garis dalam bidang dimungkinkan untuk membaginya menjadi daerah (bahkan segitiga) untuk setiap sehingga interior setiap wilayah berpotongan dengan garis . Untuk lebih lanjut lihat misalnya buku Matousek's Lectures on Discrete Geometry atau posting ini .O ( r 2 ) 1 ≤ r …

8 co.combinatorics  cg.comp-geom 

Ini juga diketahui bahwa grafik planar dari closed-keluarga dengan anak di bawah umur dilarang , grafik dengan treewidth dibatasi juga adalah grafik keluarga tertutup tanpa H k sebagai minor.K3,3,K5K3,3,K5K_{3,3}, K_{5}HkHkH_{k} Saya berasumsi bahwa grafik dengan max cut membentuk grafik keluarga tertutup. Diberikan grafik yang sewenang-wenang yang tidak mengandung H sebagai …

8 graph-algorithms 

Kami sedang mengerjakan kertas yang menyajikan beberapa algoritma untuk menemukan segitiga dan motif jaringan (subgraph ukuran konstan, juga dikenal sebagai graphlets) dalam pengaturan terdistribusi. Kami mencirikan pertukaran antara jumlah segitiga dalam grafik dan beban komunikasi yang diperlukan. Saya mencari referensi untuk pekerjaan yang dilakukan pada pertanyaan ini dalam model terpusat. …

8 reference-request  graph-theory  graph-algorithms 

Sunting: Saya pikir semangat pertanyaan itu baik, tetapi perlu ditingkatkan. Asumsi yang dibuat untuk lemparan koin membuat pertanyaan itu sepele, dan die roll masih belum cukup jelas. Apa asumsi yang masuk akal yang dapat kita buat tentang die roll yang membuat pertanyaan itu bisa diterima, tetapi tidak sepele? Tempat terbaik …

8 ds.algorithms  cg.comp-geom 

Banyak hasil dalam kriptografi bergantung pada hasil / dugaan ketidakmungkinan dalam teori kompleksitas. Sebagai contoh, kriptografi kunci publik menggunakan RSA diyakini dimungkinkan karena dugaan tentang tidak layaknya anjak piutang (dan masalah pencarian akar modular). Pertanyaanku adalah : apakah kita memiliki hasil yang serupa dalam teori komputabilitas? Apakah ada konstruksi positif …

8 cc.complexity-theory  cr.crypto-security  computability 

Saya mencoba mengembangkan beberapa gagasan tentang perbedaan-kalkulus antara Mesin Ideal Turing ideal yang dikandung oleh pengembang (mis. Apa pun yang dimaksudkan oleh pengembang perangkat lunak), sebut saja , dan Mesin yang mewakili perangkat lunak yang sebenarnya dirancang dan diimplementasikan , katakan masing-masing dan .MIMIM_IMαMαM_\alphaMβMβM_\beta Secara khusus, minat saya adalah meneliti …

8 lo.logic  computability  pl.programming-languages  model-checking  program-verification 

Alice ingin mendapatkan pesan kepada sejumlah besar orang yang hidup di bawah pemerintahan yang senang sensor, yang dijalankan oleh Hawa. Cara tradisional untuk melakukan ini adalah samizdat, tetapi proses itu mengharuskan setiap orang menyampaikan pesan untuk mengambil risiko tertentu. Akan menyenangkan ada beberapa cara untuk melakukan ini secara langsung. Komunikasi …

8 cr.crypto-security 

Apa hasil yang paling dikenal untuk struktur data yang menawarkan operasi berikut pada set poin dalam ruang euclidean 2 dimensi: i n s e r t ( x )insert(x)insert(x) de l e t e ( x )delete(x)delete(x) (di mana k adalah bilangan bulat lebih besar dari 0) mengembalikantitik terdekat k …

8 ds.data-structures  cg.comp-geom  near-neighbors 

Biarkan menjadi matriks persegi yang diberikan. Apakah ada bukti bahwa mengalahkan batas bawah kuadratik untuk B sehingga det ( B ) = per ( A ) bisa sulit?AAABBBdet(B)=per(A)det(B)=per(A)\text{det}(B) = \text{per}(A) Adakah dugaan masuk akal yang menyiratkan bahwa membuktikan batas bawah itu sulit? Adakah bukti yang membuktikan bahwa baris (atau kolom) …

8 cc.complexity-theory  lower-bounds  counting-complexity  algebraic-complexity  permanent 

Diberikan grup bekerja pada himpunan dengan urutan total dan , algoritma apa yang paling efisien untuk memutuskan apakah x adalah elemen terkecil dalam orbitnya, dengan kata lain, memutuskan apakah ?X ≤ x ∈ X m i n ( G x ) = xGGGXXX≤≤\leqx ∈ Xx∈Xx\in Xm i n ( G …

8 ds.algorithms  gr.group-theory