Ilmu Komputer Teoritis

Biarkan menjadi grafik dengan sisi positif (berbobot). Saya ingin mendefinisikan diagram Voronoi untuk satu set node / situs , untuk mengasosiasikan dengan simpul subgraph dari yang disebabkan oleh semua node ketat lebih dekat dengan daripada node lain dalam , mengukur panjang lintasan dengan jumlah bobot pada busur. adalah 's wilayah …

10 reference-request  graph-theory  cg.comp-geom 

Saya cukup akrab dengan teori di balik VC-Dimension, tetapi saya sekarang sedang melihat kemajuan (10 tahun terakhir) dalam teori pembelajaran statistik: rata-rata (lokal) Rademacher rata-rata, Massma's Finite Class Lemma Class, Numbering Covering, Chaining, Dudley's Teorema, Pseudodimension, Dimensi Penghancuran Lemak, Nomor Pengepakan, Komposisi Rademacher, dan mungkin hasil / alat lain yang …

10 reference-request  machine-learning  lg.learning  books  vc-dimension 

Definisi Misalkan dan misalkan d , r , dan g adalah bilangan bulat positif (dengan g > 2 r + 1 ).ϵ>0ϵ>0\epsilon > 0dddrrrgggg>2r+1g>2r+1g > 2r+1 Misalkan menjadi grafik berhingga sederhana, d- teratur, tidak terarah, dengan ketebalan setidaknya g .G=(V,E)G=(V,E)G = (V,E)dddggg Mari menjadi urutan total pada V .≤≤\leVVV Untuk …

10 graph-theory  co.combinatorics  dc.distributed-comp 

Diberikan grafik tanpa planar planar, dan kumpulan pasangan simpul ( k ≥ 2 adalah sebuah konstanta), temukan k titik-disjoint (kecuali sumber) jalur dari s ke t i sedemikian rupa sehingga panjang jalur terpanjang diminimalkan.( s , t1) , ... , ( s , tk)(s,t1),...,(s,tk)(s,t_1),\dots,(s,t_k)k ≥ 2k≥2k\ge2kkkssstsayatsayat_i Pertanyaan: Apakah ada algoritma …

10 ds.algorithms  graph-algorithms 

Saya ingin tahu apakah masalah sederhana berikut telah dipelajari sebelumnya dan apakah ada solusi yang diketahui. Biarkan G menjadi kisi terbatas (MxN), S himpunan bagian dari sel G ("remah"). Dua remah dikatakan terhubung (lokal) jika koordinatnya berbeda paling banyak satu (yaitu, jika digambarkan sebagai kotak, mereka berbagi setidaknya satu titik …

10 ds.algorithms  graph-theory  graph-algorithms 

Dalam pencarian saya untuk makalah penelitian tentang sistem tipe untuk bahasa imperatif, saya hanya menemukan solusi untuk bahasa dengan referensi yang bisa berubah tetapi tanpa struktur kontrol imperatif asli seperti operator majemuk, loop atau kondisional. Jadi tidak jelas bagaimana bahasa imperatif dengan inferensi tipe parsial seperti http://rust-lang.org dapat diimplementasikan. Makalah …

10 reference-request  pl.programming-languages  type-theory  type-inference  imperative-programming 

Misalkan saya memiliki poligon sederhana dan bilangan bulat k . Apa saja pendekatan yang ada untuk menemukan jari-jari terkecil r sehingga saya bisa menutup S dengan k lingkaran jari-jari r ? Bagaimana jika r diperbaiki, dan saya ingin meminimalkan k ?SSSkkkrrrSSSkkkrrrrrrkkk

10 cg.comp-geom  planar-graphs  set-cover 

Algoritma Deutsch adalah komputasi kuantum yang terkenal dengan hanya satu evaluasi f . Jika kita mengganti + dengan ⋅ masalah tampaknya menjadi agak berbeda. Pertanyaan saya adalah: apakah ada algoritma kuantum yang menghitung nilai f ( 0 ) ⋅ f ( 1 ) (atau DAN jika Anda suka) menggunakan hanya …

10 reference-request  quantum-computing 

Apakah sulit untuk memperkirakan angka kromatik fraksional pada grafik derajat terbatas?

10 cc.complexity-theory  graph-theory  approximation-hardness  graph-colouring  bounded-degree 

Saya mencari contoh masalah sulit (dalam NP atau lebih keras) dari ilmu komputer yang dapat direduksi menjadi model proses fisik. Misalnya, maks-2-sat dapat dikurangi menjadi minimalisasi energi dalam model Ising. Saya ingin menemukan lebih banyak contoh pengurangan jenis ini.

10 cc.complexity-theory  reductions  physics  formal-modeling 

Tidak yakin jika area yang benar, tapi begini. Memulai gelar PhD dalam Manajemen Kepercayaan dan Reputasi dalam jaringan Komunikasi (banyak teori grafik, analisis probabilitas, dll), dan memiliki banyak bacaan di depan saya. Adakah yang bisa menyarankan cara terbaik untuk mengelola bacaan akademis dan apa yang seharusnya saya perhatikan untuk tinjauan …

10 soft-question  advice-request  research-practice 

Selama bekerja, saya menemukan masalah berikut: Saya mencoba menemukan -matrix , untuk , dengan properti berikut:( 0 , 1 ) M n > 3n×nn×nn \times n (0,1)(0,1)(0,1)MMMn>3n>3n > 3 Penentu adalah genap.MMM Untuk setiap himpunan bagian non-kosong dengan, Submatriks memiliki penentu aneh jika dan hanya jika . | Saya | …

10 graph-theory  co.combinatorics  linear-algebra  matrices  boolean-matrix 

Saya memiliki 400 bola, di mana 100 berwarna merah, 40 berwarna kuning, 50 berwarna hijau, 60 berwarna biru, 70 berwarna ungu, 80 berwarna hitam. (Bola dengan warna yang sama identik) saya butuh algoritma pengocokan yang efisien, sehingga setelah pengocokan, bola ada dalam daftar, dan 3 bola berurutan tidak memiliki warna …

10 ds.algorithms  randomized-algorithms  permutations 

Apakah ada algoritma waktu polinomial untuk menemukan — jika ada — laba-laba spanning dari suatu graf ? Laba-laba adalah pohon dengan paling banyak satu simpul dengan derajat lebih besar dari 2: Saya tahu bahwa berbagai kondisi derajat pada G (pada dasarnya, derajat simpul cukup besar) menjamin keberadaan laba-laba yang merentang. …

10 ds.algorithms  reference-request  graph-theory  graph-algorithms 

Diberikan satu set poin dalam ruang Cartesian 3D, saya mencari algoritma yang akan mengurutkan poin-poin ini, sehingga jarak Euclidean minimal antara dua titik berturut-turut akan dimaksimalkan. Ini juga akan bermanfaat jika algoritma memiliki kecenderungan menuju jarak Euclidean rata-rata yang lebih tinggi antara titik-titik yang berurutan.

10 graph-algorithms  cg.comp-geom  optimization