Ilmu Komputer Teoritis

Saya ingin tahu apakah ada makalah tentang kemampuan data gambar yang diubah steganografi untuk mempertahankan integritasnya setelah di-encode ulang ke dalam format yang berbeda (misalnya, dari PNG ke JPEG). Apakah ini sifat yang melekat dalam implementasi steganografi yang baik, atau apakah ini masalah yang perlu ditangani secara terpisah?

8 cr.crypto-security 

Ada metode sepele untuk mensimulasikan jalan acak melalui grafik dengan mengekspektasi matriks kedekatan stokastik, tetapi masalahnya menjadi lebih sulit jika Anda meminta jalan acak untuk menghindari diri sendiri. Dengan kata lain, proses harus melintasi grafik menggunakan jalur, seperti infeksi atau sesuatu. Jika probabilitas tepi besar, ada algoritma Monte Carlo sederhana: …

8 ds.algorithms  graph-algorithms  randomized-algorithms  random-walks 

Biarkan , B i menjadi urutan matriks sirkular ukuran n × n .SEBUAHsayaAiA_{i}BsayaBiB_{i}n × nn×nn \times n Kita tahu bahwa dapat dihitung dalam waktu kuadrat (menggunakan FFT untuk diagonalize dan menambahkan matriks diagonal dan menerapkan IFFT).∑ni = 1SEBUAHsayaBsaya∑i=1nAiBi\sum_{i=1}^{n}A_{i}B_{i} Ibaratnya adalah matriks diagonal yang sewenang-wenang (untuk kesederhanaan, mari r menjadi n …

8 ds.algorithms  matrix-product 

Diberikan bilangan bulat positif dan e , apa yang diketahui tentang kompleksitas ruang dan waktu untuk menemukan bobot Hamming (jumlah biner 1s) dari b e ?bbbeeebebeb^e Jika bit tersedia, jumlahnya dapat dengan mudah dihitung dengan teknik standar dan 1s dihitung. Tetapi teknik apa yang mungkin dilakukan ketika memori yang digunakan …

8 ds.algorithms  co.combinatorics  space-bounded  space-time-tradeoff 

Apakah ada cara untuk mengetahui tentang posisi PhD baru di TCS selain hanya mencari melalui situs web kelompok keanekaragaman hayati / penelitian? Mungkin orang-orang dari cabang yang berbeda (tipe teori, verifikasi, kompleksitas, dll.) Dapat menyebutkan beberapa milis khusus di mana pengumuman posisi PhD cukup umum. PS Di universitas saya, kami …

8 soft-question  career 

Di kertas "tanda tangan pendek dari pasangan Weil" oleh Boneh, Lynn dan Shacham, saya akan melalui bukti keamanan sama seperti tanda tangan lainnya. Namun teknik yang digunakan dalam tulisan ini cukup unik. Alih-alih menggunakan penantang normal dan interaksi musuh, mereka membagi bukti menjadi 6 game di mana setiap game diperpanjang …

8 reference-request  cr.crypto-security 

Pertimbangkan algoritma berikut, di mana adalah konstanta tetap.ccc void partition(A[1..m], B[1..n]) { if m=1 or n=1 return k = random(min(c,m,n)); partition A into k sublists Asub[1..k] at k-1 distinct random indices partition B into k sublists Bsub[1..k] at k-1 distinct random indices for i = 1 to k for j …

8 cc.complexity-theory  ds.algorithms  randomness  randomized-algorithms  recursive 

Wikipedia menyatakan bahwa kelebihan smoothsort daripada heapsort adalah bahwa pada waktu itu mendekati waktu O (n). Sekarang saya bertanya-tanya apa kelebihan heapsort dibanding smoothsort? Atau untuk mengulangi pertanyaan ini, apakah smoothsort selalu merupakan pilihan yang lebih baik daripada heapsort (bahkan jika inputnya belum diurutkan ke tingkat apa pun)?

8 ds.algorithms  sorting 

Misalkan kita memiliki kuadrat, dan alfabet Γ . Kami menempatkan elemen Γ di setiap lokasi alun-alun. Suatu elemen dapat muncul di lebih dari satu lokasi. Kendala adalah bahwa pasangan a , b tetangga (baik timur-barat satu sama lain, atau utara-selatan satu sama lain) hanya dapat muncul dalam konfigurasi itu sekali.n …

8 co.combinatorics 

Diberikan grafik , tentukan grafik pohon T ( G ) sebagai grafik yang simpulnya adalah pohon spanning G , dan ada tepi antara dua pohon jika satu dapat diperoleh dari yang lain dengan mengganti satu tepi. Yaitu ada tepi ( T 1 , T 2 ) jika ada dua sisi …

8 graph-theory  tree 

Saya baru-baru ini menghadiri Workshop tentang Pseudorandomness di Chennai Mathematical Institute on Pseudorandomness. Venkat Guruswami membuat pernyataan yang indah berikut saat berbicara (tentang teori pengkodean): Sungguh luar biasa berapa banyak seseorang dapat membuktikan menggunakan fakta sederhana bahwa tingkat polinomial atas lapangan dapat memiliki paling d akar.dddddd Saya percaya ini juga …

8 reference-request  polynomials 

Penutupan leksikal adalah teknik implementasi dalam bahasa dengan fungsi kelas satu. Saya tertarik dengan deskripsi operasional sederhana dari penutupan fungsi. Adakah yang tahu deskripsi seperti itu?

8 reference-request  pl.programming-languages  semantics  compilers 

Saya ingin menghubungkan masalah yang sedang saya kerjakan dengan masalah NP-hard yang diketahui. Saya pikir saya bisa memodelkan masalah saya sebagai sumber daya masalah jalur terpendek yang dibatasi. Namun, struktur grafik saya tidak sepenuhnya arbitrer. Dengan demikian, akan berguna untuk mengetahui kapan RCSP menjadi sulit. Apakah sulit untuk DAG, untuk …

8 cc.complexity-theory  graph-algorithms  np-hardness  optimization 

Meskipun L.Berman membuktikan bahwa masalah memverifikasi atau memalsukan pernyataan urutan pertama tentang bilangan real yang menggunakan penambahan dan perbandingan tetapi tidak multiplikasi ada di EXPSPACE. Apakah sudah diperlihatkan berapa banyak waktu atau ruang yang akan Anda perlukan untuk memverifikasi atau memalsukan pernyataan orde pertama tentang bilangan real yang menggunakan perbandingan …

8 cc.complexity-theory  lo.logic  model-theory 

Diberikan grafik , masalah pencocokan maksimum klasik adalah memilih subset maksimum tepi st, untuk setiap tepi , .M ( u , v ) ∈ M d ( u ) = d ( v ) = 1G ( V, E)G(V,E)G(V,E)M.MM( u , v ) ∈ M(u,v)∈M(u,v) \in Md( u ) = …

8 cc.complexity-theory  ds.algorithms  graph-theory  co.combinatorics