Ilmu Komputer Teoritis

Dalam definisi traktabilitas parameter tetap (kuat), batas waktu adalah ekspresi dari bentuk mana instance input adalah ( x , k ) dengan parameter k , p adalah polinomial, dan f adalah fungsi yang dapat dihitung .f( k ) . p ( | x | ) ,f(k).hal(|x|),f(k).p(|x|),( x , k )(x,k)(x,k)kkkhalhalpfff …

13 cc.complexity-theory  reference-request  fixed-parameter-tractable 

Dalam makalah oleh Kempe-Kleinberg-Tardos, Penulis mengusulkan algoritma rakus berdasarkan fungsi submodular untuk menentukan paling berpengaruh node dalam grafik, dengan aplikasi untuk jaringan sosial.kkk Pada dasarnya algoritma berjalan sebagai berikut: S= e m p t y s e t S=emhalty setS = {\rm empty~set} pilih node dengan pengaruh individu tertinggi, sebut …

13 ds.algorithms  graph-theory  dc.distributed-comp  social-sciences  heuristics 

Bab 1 buku Metode Probabilistik, oleh Alon dan Spencer menyebutkan masalah berikut: Diberikan grafik , putuskan apakah konektivitas tepinya setidaknya n / 2 atau tidak.GGGn/2n/2n/2 Penulis menyebutkan adanya sebuah algoritma oleh Matula dan meningkatkan ke O ( n 8 / 3 log n ) .O(n3)O(n3)O(n^3)O(n8/3logn)O(n8/3log⁡n)O(n^{8/3}\log n) Pertanyaan saya adalah, apa …

13 ds.algorithms  open-problem  graph-algorithms 

Apakah ada masalah yang NP-lengkap ketika menggunakan geometri Euclidean tetapi didefinisikan dengan baik dan dipecahkan dalam waktu polinomial untuk beberapa geometri non-euclidean?

13 reference-request  cg.comp-geom 

O ( log n )HAI(catatann)O({\log}n)O ( m + n )HAI(m+n)O(m+n) Apa algoritma paralel yang paling dikenal untuk st-konektivitas dalam grafik planar terarah? Silakan sebutkan waktu berjalan, algoritma deterministik / acak dan model PRAM yang digunakan (dengan asumsi jumlah prosesor adalah polinomial). Pertanyaan ini terkait dengan salah satu pertanyaan saya sebelumnya. …

13 ds.algorithms  graph-theory  dc.parallel-comp 

Branch and bound adalah heuristik yang efektif untuk masalah pencarian, dan Wikipedia mencantumkan sejumlah masalah sulit di mana branch-and-bound telah digunakan. Namun, saya belum dapat menemukan referensi untuk menyarankan bahwa itu lebih dari sekedar "satu metode" untuk menyelesaikan masalah ini. Secara anekdot, saya pernah mendengar bahwa beberapa heuristik terbaik untuk …

13 ds.algorithms  reference-request  optimization  heuristics 

Parity-L, juga dikenal sebagai L, adalah serangkaian bahasa yang dikenali oleh mesin Turing non-deterministik yang hanya dapat membedakan antara bilangan genap atau ganjil dari jalur "penerimaan". Pertanyaan terkait baru - baru ini diajukan oleh Niel de Beaudrap.⊕⊕\oplus Pertanyaan saya adalah sebagai berikut: Apakah kita tahu jika NL L? Atau apakah …

13 cc.complexity-theory  counting-complexity 

Pertanyaan ini dimotivasi oleh pertanyaan MathOverflow oleh Peng Zhang . Valiant menunjukkan bahwa menghitung klik maksimal dalam grafik umum adalah # P-complete, tetapi bagaimana jika kita membatasi pada grafik yang tidak dapat dibandingkan (yaitu, kita ingin menghitung antichains maksimal dalam posite terbatas)? Pertanyaan ini tampaknya cukup alami sehingga saya curiga …

13 cc.complexity-theory  counting-complexity  partial-order  clique 

Saya mencari implementasi algoritma untuk menghitung jalur lebar grafik. Telah diketahui bahwa menghitung lebar jalur setara dengan menghitung angka pencarian simpul, angka pemisahan titik, atau ketebalan interval grafik. Algoritma tidak harus sangat cepat; Saya ingin menjalankannya pada grafik paling banyak 20 simpul. Saya memang membutuhkan algoritma untuk menghitung pathwidth dengan …

13 ds.algorithms  reference-request  graph-algorithms  implementation 

Algoritma DEFLATE populer menggunakan Huffman coding di atas Lempel-Ziv. Secara umum, jika kita memiliki sumber data acak (= 1 bit entropi / bit), tidak ada pengkodean, termasuk Huffman, yang cenderung memampatkannya secara rata-rata. Jika Lempel-Ziv "sempurna" (yang mendekati untuk sebagian besar kelas sumber, karena panjangnya hingga tak terbatas), posting pengkodean …

13 ds.algorithms  it.information-theory  coding-theory  encoding 

Dalam " Saran untuk Mahasiswa Pascasarjana " Manuel Blum : LEONID LEVIN percaya ketika saya melakukan itu, apa pun jawaban untuk P = NP? masalah, itu tidak akan seperti apa pun yang Anda pikir seharusnya. Dan dia telah memberikan beberapa contoh yang indah. Untuk satu, ia telah memberikan ALGORITMA PABRIK …

13 ds.algorithms  reference-request  factoring 

Konteks. Saya menulis tentang topik-topik seperti teorema Gottesman-Knill , menggunakan grup stabilisator Pauli, tetapi dalam kasus qudit d- dimensional - di mana d mungkin memiliki lebih dari satu faktor utama. (Saya menekankan ini karena sebagian besar literatur tentang stabilisator stabilizer dalam "dimensi yang lebih tinggi" melibatkan kasus d prima atau …

13 reference-request  quantum-computing 

Penafian : sementara saya peduli tentang teori jenis, saya tidak menganggap diri saya ahli dalam teori jenis. Dalam kalkulus lambda yang diketik sederhana, tipe nol tidak memiliki konstruktor dan eliminator unik: Γ⊢M:0Γ⊢initial(M):AΓ⊢M:0Γ⊢initial(M):A\frac{\Gamma \vdash M \colon 0}{\Gamma \vdash initial (M) \colon A} Dari sudut pandang denotasional, persamaan jelas (ketika jenisnya masuk …

13 pl.programming-languages  type-theory  lambda-calculus  semantics 

Pertimbangkan masalah berikut - Mengingat maksimal planar grafik dan G 2 , menemukan graf G dengan jumlah maksimum tepi sehingga ada subgraph (tidak harus diinduksi) di kedua G 1 dan G 2 yang isomorfik ke G .G1G1G_1G2G2G_2GGGG1G1G_1G2G2G_2GGG Bisakah ini dilakukan dalam waktu polinomial? Jika ya, lalu bagaimana? Diketahui bahwa jika …

13 ds.algorithms  graph-algorithms  planar-graphs 

Latar Belakang Pertanyaan ini dimotivasi oleh permainan papan yang disebut 'Drakula'. Dalam game ini ada satu vampir dan empat pemburu, tujuan para pemburu adalah untuk menangkap vampir. Permainan berlangsung di Eropa. Permainan terlihat sebagai berikut: 1. Pemain pemburu menempatkan semua pemburu di kota-kota. Lebih dari satu pemburu dapat ditempatkan di …

13 graph-theory  co.combinatorics  board-games  combinatorial-game-theory