Ilmu Komputer Teoritis

Saya ingin meminta maaf kepada semua posting di bawah ini. Memilih forum yang salah untuk memposting ini pada awalnya. Namun alih-alih membuat ini sia-sia saya telah mengolah pertanyaan menjadi masalah "Theoretical Computer Science" yang sebenarnya. Masalah: Buat algoritme yang mengambil sekumpulan n titik yang dipesan dalam bidang 2D yang membentuk …

9 ds.algorithms  cg.comp-geom  polygon 

Di Graphic TSP , Anda diberi grafik tidak diarahkan dan tujuannya adalah untuk menemukan tur terpendek di G yang mengunjungi setiap titik setidaknya satu kali . Catatan bahwa ini adalah tidak sama dengan menemukan sirkuit Hamilton di G . Pertanyaan saya adalah:GGGGGGGGG Apa kompleksitas TSP Grafis pada grafik treewidth terbatas? …

9 ds.algorithms  treewidth  tsp 

Apa kemungkinan bagi seorang ilmuwan komputer untuk mengubah bidangnya menjadi ahli matematika murni? dan apa cara paling mulus untuk melakukannya? ada contoh untuk orang yang bisa membuatnya?

9 soft-question  research-practice  career 

Pertanyaan saya agak kabur. Saya bertanya-tanya apakah (dan bagaimana), kita dapat menerapkan gagasan treewidth untuk mengemas masalah dalam grafik. Saya akan senang dengan wawasan atau referensi dari penelitian sebelumnya tentang hal ini (dengan asumsi mereka ada hubungannya). Terima kasih.

9 ds.algorithms  reference-request  graph-theory  graph-algorithms  approximation-algorithms 

Mesin pencari semakin diandalkan sebagai penjaga gerbang informasi, namun kriteria yang digunakan oleh mesin pencari untuk memberi peringkat hasil tidak jelas bagi pengguna. Bagaimana pengguna dapat yakin bahwa hasil mereka tidak bias atau dirusak dengan cara tertentu untuk mendapatkan keuntungan dari minat dengan mengorbankan kualitas hasil pencarian? Pemerintah secara rutin …

9 ds.algorithms  data-mining 

Dalam konteks beberapa karya terbaru , kami telah mendefinisikan bahasa berdasarkan logika bernilai tiga à la Kleene, di mana berarti benar, 0 untuk salah, dan ⊥ untuk kesalahan atau tidak tahu. Untuk menunjukkan bahwa bahasa kami ekspresif, kami ingin membuktikan bahwa kami dapat membangun satu set operator yang secara fungsional …

9 reference-request  lo.logic 

Ada sebuah program linier yang saya inginkan bukan hanya solusi tetapi solusi yang sangat sentral di muka polytope yang mengasumsikan nilai minimal. Secara apriori, kami berharap wajah meminimalkan harus berdimensi tinggi karena berbagai alasan, termasuk bahwa fungsi objektif yang diminimalkan adalah maksimum dari banyak kendala: Minimalkan dengan dengan linear danϵϵ\epsilonfi(x¯)≤ϵ<0fi(x¯)≤ϵ<0f_i(\bar …

9 ds.algorithms  linear-algebra  linear-programming 

Saya ingin mencari tahu apa saja aplikasi SGT di bidang informasi dan teori pengkodean dan mungkin komunikasi. Yang paling terkait yang terlintas dalam pikiran adalah pekerjaan pada Kode Expander Michael Sipser dan Daniel Spielman, "Kode Expander", Transaksi IEEE tentang Teori Informasi, Vol 42, No 6, hlm. 1710-1722. 1996 Contoh lainnya?

9 it.information-theory  coding-theory  spectral-graph-theory 

Saya punya pertanyaan, yang jawabannya mungkin terkenal, tetapi saya tidak bisa menemukan sesuatu yang berarti setelah sedikit pencarian, jadi saya sangat menghargai bantuan. Pertanyaan saya adalah apakah diketahui bahwa memutuskan apakah suatu angka bersifat transendental tidak dapat diputuskan. Mungkin, orang menganggap sebagai input, katakan sebuah program yang mengembalikan bit ke-i …

9 computability  computable-analysis 

Saya ingin tahu mengapa untuk pengenalan bahasa bebas konteks, hanya automata push-down (DPA = NPDA) non-deterministik yang berfungsi. Mengapa deterministic push-down automata (DPDA) tidak mengenali bahasa seperti itu?

9 fl.formal-languages  automata-theory  context-free 

Saat mengartikan kunci sebagai angka alami, kita dapat menggunakan rumus berikut. h(k)=⌊m(kAmod1)⌋h(k)=⌊m(kAmod1)⌋\begin{equation} h(k) = \lfloor m (kA\bmod{1}) \rfloor \end{equation} Apa yang saya kesulitan pahami adalah bagaimana kita memilih nilai A di mana: 0&lt;A&lt;10&lt;A&lt;1\begin{equation} 0 < A < 1 \end{equation} Menurut Knuth nilai optimal adalah: A≈(5–√−1)/2=0.6180339887...A≈(5−1)/2=0.6180339887...\begin{equation} A \thickapprox (\sqrt{5} - 1) …

9 hash-function 

Saya mencari perangkat lunak untuk menghitung / memperkirakan volume polyhedra cembung dimensi tinggi. Lebih khusus, saya tertarik pada sebuah program, yang dapat menangani tubuh dengan simpul dalam ruang d- dimensi dengan parameter yang dibatasi kira-kira sebagai berikut: d ≤ 50 dan n ≤ 1000 . Perhatikan, bahwa tidak ada jaminan …

9 cg.comp-geom  software  convex-geometry  high-dimensional-geometry 

Menindaklanjuti pertanyaan ini ... Saya berusaha mempelajari cara menggunakan dan membuat jaringan saraf untuk penelitian saya, dan satu hal agak kabur dari saya. Saya menyadari bahwa lapisan tersembunyi adalah bagian yang perlu dilakukan, namun saya terjebak pada dua poin yang tidak dijelaskan oleh referensi saya untuk kepuasan saya: Apa tujuan …

9 ne.neural-evol 

Misalkan saya memiliki daftar dari himpunan bagian dari . Saya dapat melakukan preprocessing pada daftar ini jika perlu. Setelah preprocessing ini, saya diberikan satu set . Saya ingin mengidentifikasi set dengan .{ 1 , . . . , N } A ⊆ { 1 , . . . , n …

9 ds.algorithms  ds.data-structures 

Teorema PCP menyatakan bahwa setiap masalah keputusan dalam NP memiliki bukti probabilistically checkable (atau setara, bahwa ada sistem bukti yang lengkap dan quasi-sound untuk teorema di NP menggunakan kompleksitas kueri konstan dan bit acak secara logaritmik). "Kebijaksanaan rakyat" yang mengelilingi Teorema PCP (mengabaikan sejenak arti penting PCP terhadap teori aproksimasi) …

9 lo.logic  pcp  polynomial-hierarchy