Ilmu Komputer Teoritis

Misalkan { 0 , . . . , N - 1 } dan ∘ : S × S → S . Saya ingin menghitung kompleksitas komunikasi untuk memutuskan apakah ∘ asosiatif.S=S=S=0,...,n−10,...,n−10,...,n-1∘:S×S→S∘:S×S→S\circ : S \times S \rightarrow S∘∘\circ Modelnya adalah sebagai berikut. diberikan sebagai matriks M . Alice (resp. Bob) diberikan …

12 cc.complexity-theory  communication-complexity 

Ini adalah tindak lanjut dari pertanyaan David Eppstein baru-baru ini dan dimotivasi oleh masalah yang sama. Misalkan saya memiliki barang dengan bobot bilangan real pada simpulnya. Awalnya, semua simpul tidak ditandai. Saya dapat mengubah set simpul yang ditandai dengan (1) menandai titik tanpa pendahulu yang tidak ditandai, atau (2) menghapus …

12 ds.algorithms  directed-acyclic-graph  partial-order 

Konsep skema berbagi rahasia sering dikaitkan dengan Shamir (A. Shamir, Cara berbagi rahasia , Comm. ACM, 22 (1979), hlm. 612-613.) Dan Blakey (GR Blakey, Safeguarding kunci kriptografi , di Proc. NCC, vol. 48, 1979, hlm. 313-317.) Ide keseluruhan adalah bahwa beberapa S rahasia tersembunyi dari peserta yang bukan masing-masing menerima …

12 cr.crypto-security  application-of-theory 

Algoritma apa yang bermanfaat yang ada di sana yang bekerja pada aliran data besar dan juga hasilnya cukup kecil dan satu dapat menghitung hasilnya untuk campuran dua aliran dengan entah bagaimana menggabungkan hasil mereka? Saya dapat menyebutkan beberapa: Hal-hal yang jelas seperti jumlah, min, maks, jumlah, top-K dll. Perkiraan algoritma …

12 ds.algorithms  big-list  data-streams 

Masalah pewarnaan grafik sudah cukup sulit bagi kebanyakan orang . Meski begitu, saya harus sulit dan menanyakan masalah tentang pewarnaan hypergraph. Pertanyaan. Algoritme efisien apa yang ada untuk menemukan pewarnaan tepi yang kurang lebih optimal untuk hypergraphs k-uniform? Detail --- Hypergraph k-uniform adalah di mana setiap sisi mengandung simpul k …

12 co.combinatorics  hypergraphs  graph-colouring 

Algoritma aliran memerlukan pengacakan untuk sebagian besar untuk melakukan apa saja nontrivial, dan karena kendala ruang kecil, perlu PRG yang menggunakan sedikit ruang. Saya tahu dua metode yang telah dikutip untuk digunakan dalam algoritma streaming sejauh ini: kkk -bijaksana PRG independen seperti keluarga mandiri 4-bijaksana yang digunakan oleh Alon / …

12 ds.algorithms  derandomization  streaming  pseudorandom-generators 

Apa masalah lain yang berbeda dari bahasa isomorfisme grafik dalam ? Bisakah Anda memberikan beberapa referensi?NP∩coAMNP∩coAMNP\cap coAM Update: Saya lupa menyebutkan bahwa saya tertarik dalam bahasa yang tidak dikenal berada di .coNPcoNPcoNP

12 cc.complexity-theory  reference-request  complexity-classes  graph-isomorphism 

Diketahui bahwa untuk pembelajaran PAC, ada kelas konsep alami (misalnya himpunan bagian dari daftar keputusan) yang terdapat kesenjangan polinomial antara kompleksitas sampel yang diperlukan untuk pembelajaran teori informasi oleh pelajar yang tidak terikat secara komputasi, dan kompleksitas sampel yang dibutuhkan oleh polinomial- pelajar waktu. (lihat, mis. http://portal.acm.org/citation.cfm?id=267489&dl=GUIDE atau http://portal.acm.org/citation.cfm?id=301437 ) …

12 machine-learning  lg.learning  sample-complexity 

Biarkan poin berbeda duduk di . Kita katakan poin dan adalah tetangga jika | ij | &lt;3 \ pmod {n-2} , artinya setiap titik bertetangga dengan titik dengan indeks dalam 2 , membungkus.R 2 i j1...n1...n1 ... nR2R2\mathbb{R}^2iiijjj|i−j|&lt;3(modn−2)|i−j|&lt;3(modn−2)|i-j| < 3 \pmod{n-2}222 Masalahnya adalah: Untuk setiap pasangan tetangga, kami diberi jarak …

12 cg.comp-geom 

Dalam Kasus Terburuk Secara Fungsional Murni , Daftar Urut Waktu Konstan Catenable , Brodal et al. hadir pohon seimbang murni fungsional dengan O (1) menyatukan dan O (lg n) menyisipkan, menghapus, dan menemukan. Struktur data agak rumit. Apakah ada pohon pencarian seimbang yang lebih sederhana dengan O (1) bersambung, fungsional …

12 functional-programming  ds.data-structures 

Saya membaca buktinya dari sini dan saya menemukan masalah teknis (yang sangat penting). Saya tahu ini agak spesifik dan konteksnya bermasalah, tetapi saya sendiri tidak bisa memahaminya. Di halaman 51 dan 55, setelah menyajikan verifier "standar", mereka beralih untuk memodifikasi verifier untuk memeriksa pembagian tugas. Dalam kasus pertama (p. 51) …

12 cc.complexity-theory  pcp 

Selain akademisi yang jelas merupakan rumah bagi para ahli teori, saya bertanya-tanya tentang pekerjaan industri yang berkaitan dengan ilmu komputer teoretis, yang menuntut latar belakang matematika murni. Bersulang !

12 career  computational-mathematics 

Mohon maaf sebelumnya untuk pertanyaan lembut yang tidak memiliki jawaban yang benar dan tertutup. Ini mungkin forum terbaik untuk menanyakan pertanyaan saya. Saya seorang mahasiswa tahun ketiga dalam kelompok teori sekolah top-15 di AS. Sejauh ini, saya telah melakukan dengan baik. Saya memiliki makalah teori penulis pertama dan makalah praktis …

12 soft-question  advice-request 

Pengamatan mudah adalah bahwa jika masalah adalah decidable oleh program non-deterministik waktu polinomial menggunakan O ( log n ) bit nondeterministic (yaitu, semua saksi yang logaritmik panjang), kemudian A ∈ P .SEBUAHAAO(logn)O(log⁡n)O(\log n)A∈PA∈PA \in \mathsf{P} Jika seseorang kemudian mengajukan pertanyaan, "Apakah lebih mudah memverifikasi saksi daripada menemukannya?" untuk masalah seperti …

12 cc.complexity-theory 

Biarkan sizesizesize dari λλ\lambda -terms didefinisikan sebagai berikut: size(x)=1size(x)=1size(x) = 1 , size(λx.t)=size(t)+1size(λx.t)=size(t)+1size(λx.t) = size(t) + 1 , size(ts)=size(t)+size(s)+1size(ts)=size(t)+size(s)+1size(t s) = size(t) + size(s) + 1 . Biarkan kompleksitas -term didefinisikan sebagai jumlah reduksi beta paralel dari ke bentuk normalnya (menggunakan evaluator optimal dalam pengertian Levy).t t xλλ\lambdattttxtxt x Saya …

12 lo.logic  computability  pl.programming-languages  lambda-calculus