Ilmu Komputer Teoritis

Kami ingin tahu apakah ada hasil perkiraan yang diketahui untuk kardinalitas minimum - - potong pada grafik yang diarahkan. Kami tidak dapat menemukan hasil seperti itu dalam literatur.tsssttt Masalahnya didefinisikan sebagai berikut: Instance: Grafik berarah , fungsi biaya , dua simpul dan integer .w : E → R + 0 …

8 ds.algorithms  graph-theory  co.combinatorics  graph-algorithms  approximation-algorithms 

Saya membaca buku terkenal Alon and Spencer tentang metode probabilistik dalam kombinatorik. Apakah ada survei atau catatan kuliah tentang kemajuan dan hubungan terkini dengan topik teoretis kompleksitas metode berikut di luar buku teks ini? generator pseudorandom membodohi model perhitungan beton, grafik expander. kompleksitas batas bawah untuk model perhitungan konkret seperti …

8 cc.complexity-theory  reference-request  co.combinatorics  soft-question  survey 

Perbaiki satu set poin P ⊂ R d . Sekarang titik permintaan q tiba, dan tujuannya adalah menghasilkan titik r sampel secara seragam dari sel Voronoi q di set P ∪ { q } .nnnP⊂RdP⊂RdP \subset \mathbb{R}^dqqqrrrqqqP∪{q}P∪{q}P \cup \{q\} Untuk keperluan pertanyaan ini, Anda dapat mengasumsikan bahwa sel Voronoi selalu …

8 cg.comp-geom  randomized-algorithms  voronoi 

Sebuah kode imbuhan adalah kode yang bersamaan awalan dan akhiran kode. Artinya, tidak ada codeword yang bukan awalan atau sufiks dari codeword lainnya. Kode Affix dapat didekodekan secara instan di kedua arah (maju dan mundur). Saya ingin membuat satu yang secara optimal mengompresi distribusi simbol input yang diberikan, diberikan satu …

8 coding-theory  prefix-free-code 

Pertimbangkan bahasa . Tentukan (urutan bit tak terbatas) dengan rumus rekursifs ( L ) ∈ { 0 , 1 } ωL.LLs ( L ) ∈ { 0 , 1 }ωs(L)∈{0,1}ωs(L) \in {\lbrace 0, 1 \rbrace}^\omega s ( L )n= χL.( S ( L )&lt; n)s(L)n=χL(s(L)&lt;n)s(L)_n=\chi_L(s(L)_{>0:s(L)_n=\chi_U(s(L)_{>0:s(L, a)_{2n}=\chi_V(s(L, a)_{<2n}) [Saya menggunakan indeks …

8 cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization 

Saya telah menemukan aplikasi web ini yang memungkinkan Anda menghasilkan teorema gratis untuk jenis tertentu. Teorema yang dihasilkan mengukur lebih dari jenis dan hubungan pada jenis ini. Teorema ini (rumus) adalah teorema yang mana dari teori / sistem logis? Bagaimana sistem ini berhubungan dengan teori persamaan bahasa?

8 lo.logic  functional-programming  type-systems  parametricity  logical-relations 

Saat mempelajari masalah dalam teori permainan algoritmik, saya tertarik pada kompleksitas pertanyaan pengoptimalan berikut: Masalah Diberikan: set tanah diberikan oleh n ,U= [ n ] = { 1 , ... , n }U=[n]={1,…,n}U = [n] = \{1,\ldots,n\}nnn peringkat diberikan sebagai total pesanan ⟨ S i , σ i ⟩ mana …

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

Apa yang ada beberapa aplikasi dekomposisi grafik modular dalam teori kompleksitas / TCS? Saya terutama tertarik pada penggunaannya dalam bukti atau batas atas / bawah jika itu terjadi. [1] Dekomposisi grafik modular , Wikipedia. [2] Referensi untuk Dekomposisi Modular , TCS.SE.

8 reference-request  graph-theory  graph-algorithms  application-of-theory  cc.complexity-theory 

Saya menggunakan perhitungan matriks Varians-Kovarian dalam program yang saya tulis (untuk Analisis Komponen Utama), dan saya bertanya-tanya apa kerumitannya. Sementara jelas dekomposisi Eigenvector menyebabkan hit kinerja terbesar, saya bertanya-tanya berapa banyak hit yang disebabkan oleh perhitungan Covariance Matrix. Waktu berjalan asimptotik yang saya perkirakan akan digunakan adalah menggunakan algoritma naif, …

8 time-complexity  linear-algebra  matrices 

Deskripsi singkat berikut tentang "Puzzle Telur Google" yang diketahui terutama berasal dari situs web Google Eggs : Google Eggs Puzzle: Diberikan pada lantai dan telur, apa pendekatan untuk menemukan lantai tertinggi dari mana telur dapat dilemparkan dengan aman, sambil meminimalkan lemparan (bukan telur yang pecah). Yang disebut "lantai tertinggi" dalam …

8 ds.algorithms  puzzles  dynamic-programming 

Bagaimana seseorang dapat menemukan sudut dari unit cube di terdekat dengan titik di dalam kubus? Gunakan metrik L1, sehingga dalam 4d | - 0000 | = , | - 0001 | = ( di sebelah kanan) dan seterusnya.d + 1 R d x x ∑ x i x x 3 …

8 ds.algorithms  approximation-algorithms  heuristics 

Sekarang menjadi pengamatan yang terkenal bahwa banyak struktur grafis yang muncul dalam pengaturan alami cenderung mematuhi sifat bebas skala, seperti hukum kekuatan distribusi derajat. Adakah contoh bagus grafik alami yang cukup acak dan tidak serta-merta mematuhi sifat bebas skala?

8 graph-theory  ni.networking-internet 

Saya membaca Algoritma Simplex Path Shortest Efisien oleh Donald Goldfarb, Jianxiu Hao dan Shen-Roan Kai yang menganggap "spesialisasi algoritma simpleks primal untuk masalah menemukan pohon jalur terpendek langsung dari sebuah node ke semua node lain di jaringan n node atau menemukan siklus langsung dengan panjang negatif. Dua varian efisien dari …

8 ds.algorithms  linear-programming  shortest-path  simplex 

Saya telah bermain-main dengan resumptions akhir-akhir ini, sebagian besar dari karya klasik Abramsky Retracing Some Paths in Process Algebra . Mereka cukup licin (pada dasarnya solusi untuk persamaan domain ), dan sangat mengingatkan pada jaringan Kahn.R=I→(O×R)R=I→(O×R)R = I \to (O \times R) Tentu saja, pengamatan ini tidak asli bagi saya …

8 reference-request  pl.programming-languages  functional-programming 

Saya harap pertanyaan ini tidak terlalu naif untuk situs ini. Dalam matematika (topologi, geometri, aljabar) adalah umum bagi seseorang untuk membedakan antara dua objek dengan menghasilkan invarian aljabar atau numerik, dan membuktikan bahwa dua objek memiliki nilai yang berbeda. Saya bertanya-tanya sejauh mana ini telah dicoba dengan kelas kompleksitas (atau …

8 cc.complexity-theory  complexity-classes  algebra