Ilmu Komputer Teoritis

Grafik garis hypergraph adalah (sederhana) grafik memiliki tepi sebagai simpul dengan dua tepi berdekatan dalam jika mereka memiliki persimpangan nonempty. Hypergraph adalah -hypergraph jika masing-masing ujungnya memiliki paling banyak simpul.GHHHGGGHHHHHHGGGrrrrrr Apa kompleksitas masalah berikut: Mengingat grafik , tidak terdapat suatu -hypergraph sehingga adalah grafik garis ?GGG333HHHGGGHHH Sudah diketahui bahwa mengenali …

20 cc.complexity-theory  graph-algorithms  hypergraphs 

Dua pertanyaan terkait tentang komputasi kedalaman terbatas: 1) Misalkan Anda mulai dengan n bit, dan untuk memulai dengan bit saya bisa 0 atau 1 dengan beberapa probabilitas p (i), secara independen. (Jika itu membuat masalah lebih sederhana, kita dapat mengasumsikan bahwa semua p (i) s adalah 0,1, atau 1/2.atau bahkan …

20 cc.complexity-theory  quantum-computing  circuit-complexity  randomness  circuit-depth 

Saya mencari materi tutorial yang mencakup bukti kebenaran kompiler, lebih disukai menggunakan metode denotasi, pada tingkat siswa lulusan awal. Atau, apakah Anda tahu beberapa contoh kompiler sederhana yang dapat saya gunakan untuk menggambarkan masalah? (Contoh pertama yang terpikir oleh saya adalah penerjemah dari infix ke ekspresi postfix. Tetapi gagal menunjukkan …

20 reference-request  pl.programming-languages  semantics  compilers 

Saya baru saja membaca di Wikipedia bahasa Jerman bahwa grafik infinite adalah grafik dengan jumlah node yang tidak terbatas atau jumlah edge yang tidak terbatas. Saya hanya tahu aplikasi dan algoritma untuk grafik hingga. Apa gunanya grafik tak terbatas? Apa aplikasi itu? Saya tidak dapat membayangkan algoritma yang akan bekerja …

20 graph-theory  co.combinatorics 

Asumsikan kita ingin mengurutkan daftar dari bilangan real. Anggaplah kita diberi kotak hitam yang dapat mengurutkan bilangan real secara instan. Berapa banyak keuntungan yang bisa kita peroleh dengan menggunakan kotak hitam ini?n √SSSnnnn--√n\sqrt n Misalnya, dapatkah kita mengurutkan angka hanya dengan panggilan ke kotak hitam? Algoritma terbaik yang saya temukan …

20 ds.algorithms  sorting  decision-trees 

Masalah menarik berikut muncul dalam penelitian saya baru-baru ini: INSTAN: Grafik .G ( V, E)G(V,E)G(V, E) SOLUSI: Selesai siklus aneh chordless, didefinisikan sebagai superset dari edge set sehingga grafik memiliki properti yang setiap tepi dalam terkandung dalam siklus aneh chordless. E G ′ ( V , E ′ ) G …

20 cc.complexity-theory  reference-request  graph-theory  np-hardness 

Negara-negara PCP teorema bahwa tidak ada algoritma waktu polinomial untuk MAX 3SAT untuk menemukan tugas memuaskan klausul formula 3SAT satisfiable kecuali P = N P .7 / 8 + ε7/8+ϵ7/8+ \epsilonP= NPP=NPP = NP Ada sepele polinomial waktu algoritma yang memenuhi dari klausa. Jadi, bisa kita lakukan lebih baik dari …

20 cc.complexity-theory  pcp 

Penafian: Saya bukan ahli teori CS. Berasal dari aljabar abstrak, saya terbiasa berurusan dengan hal-hal yang setara dengan isomorfisme - tetapi saya mengalami kesulitan menerjemahkan konsep ini ke struktur data. Saya pertama kali berpikir bahwa set lurus morfisme bijective teoritis akan mencukupi, tapi saya berlari ke dinding cukup cepat - …

20 ds.data-structures  algebra  ct.category-theory 

Saya baru-baru ini membaca ringkasan masalah yang terlibat dengan melakukan perbedaan di antara pohon-pohon dan itu membuat saya tertarik untuk belajar apa yang paling canggih untuk masalah ini. Juga, anggaplah bahwa di antara operasi edit yang diizinkan adalah simpul tambah / hapus tradisional, edit konten yang Anda tambahkan operasi perluasan …

20 ds.algorithms  tree  edit-distance 

Apa beberapa hasil yang diketahui untuk menemukan subarray n-dimensi yang tepat di dalam array n-dimensi? Dalam 1D, itu hanya masalah pencocokan string, KMP melakukannya dalam waktu linier. Dalam 2D, makalah ini menunjukkan dapat dilakukan dalam waktu linier dengan sedikit ruang ekstra. Bisakah masalah ini diselesaikan dalam kasus terburuk linear waktu …

20 ds.algorithms  reference-request  string-matching 

Sebagai contoh, dalam bahasa pemrograman adalah umum untuk menulis kompiler / juru bahasa X-in-X, tetapi pada tingkat yang lebih umum banyak sistem Turing-complete yang dikenal dapat mensimulasikan diri mereka dengan cara yang mengesankan (misalnya mensimulasikan Game of Life Conway dalam Game of Life Conway ). Jadi pertanyaan saya adalah: apakah …

20 computability  automata-theory  turing-machines 

Dalam kompleksitas yang , . Dugaan bahwa masing-masing wadah adalah tepat.⊆ W [ 2 ] ⊆ … ⊆ W [ P ]F P T ⊆ W [1]FPT⊆W[1]\mathsf{FPT} \subseteq \mathsf{W}[1] ⊆ W [ 2 ]⊆W[2]\subseteq \mathsf{W}[2] ⊆ ... ⊆ W [ P.]⊆…⊆W[P]\subseteq \ldots \subseteq \mathsf{W}[P] Jika maka .P = W [ …

20 cc.complexity-theory  parameterized-complexity  fixed-parameter-tractable 

Misalkan grafik dengan n simpul disajikan sebagai aliran tepi m , tetapi beberapa lintasan diizinkan melewati aliran.GGGnnnmmm Monika Rauch Henzinger, Prabhakar Raghavan, dan Sridar Rajagopalan mengamati bahwa ruang diperlukan untuk menentukan apakah ada jalur antara dua simpul yang diberikan dalam G , jika k pass diizinkan pada data. (Lihat juga …

20 reference-request  graph-algorithms  ds.data-structures  lower-bounds  data-streams 

Dalam pertanyaan ini , kami tampaknya telah mengidentifikasi masalah alami yang NP-lengkap di bawah reduksi acak, tetapi mungkin tidak di bawah reduksi deterministik (meskipun ini tergantung pada asumsi yang tidak terbukti dalam teori bilangan yang benar). Apakah ada masalah lain yang diketahui? Apakah ada masalah alami yang NP-lengkap di bawah …

20 cc.complexity-theory  np-hardness  big-list  randomness  reductions 

The Karp – Lipton Theoem menyatakan bahwa jika , maka runtuh menjadi . Oleh karena itu, dengan asumsi pemisahan antara dan , no - masalah lengkap akan menjadi milik .P H Σ P 2 Σ P 2 Σ P 3 N P P / p o l yN P ⊂ …

20 cc.complexity-theory  np  conditional-results  advice-and-nonuniformity  average-case-complexity