Ilmu Komputer Teoritis

Definisikan mesh dalam 3D sebagai kumpulan tetrahedra yang terhubung dengan interior terpisah (jadi tetrahedra hanya berbagi k-face, ). Diberikan grafik yang arbitrer, adakah prosedur yang efisien untuk menguji apakah dapat ditanamkan sebagai sebuah mesh?k ≤ 2k≤2k \le 2 Di sini, penyisipan adalah pemetaan simpul grafik ke titik dalam dan tepi …

9 ds.algorithms  graph-theory 

Saya bertanya-tanya apakah urutan deklarasi tipe induktif dapat berpengaruh. Misalnya dalam Coq, Anda dapat menentukan Natdengan: Inductive Nat := | O : Nat | S : Nat -> Nat. atau Inductive Nat := | S : Nat -> Nat | O : Nat. Ini mungkin akan mengubah urutan parameter dalam …

9 lo.logic  type-theory  coq  dependent-type 

Karena tidak ada jawaban yang diberikan, bendera telah ditetapkan yang meminta agar pertanyaan ini dikonversi ke wiki komunitas. Komentar oleh Aaron Sterling, Sasho Nikolov, dan Vor telah disintesis menjadi resolusi berikut, yang terbuka untuk diskusi wiki komunitas: Terselesaikan: Sehubungan dengan algoritma klasik yang menghasilkan angka, sampel, atau lintasan simulasi, logika …

9 quantum-computing  program-verification  sample-complexity 

Bahkan jika itu bukan poin penting, saya tidak melihat literatur tentang pertanyaan ini. Apakah ada hasil relativisasi? Tidakkah cukup mudah untuk membuktikan inklusi yang ketat dengan mengadaptasi teorema hierarki waktu non-deterministik dengan mengeksplorasi semua jalur yang mungkin dari mesin NP?

9 cc.complexity-theory  complexity-classes 

Salah satu masalah utama dalam penghitungan grafik adalah menentukan 'bentuk' grafik, misalnya kelas isomorfisme dari grafik tertentu. Saya menyadari sepenuhnya bahwa setiap grafik dapat direpresentasikan sebagai matriks simetris. Namun, untuk mendapatkan bentuknya, Anda memerlukan kumpulan permutasi baris / kolom, yang membuat matriks sedikit kurang cocok. Ini juga agak sulit untuk …

9 graph-theory  co.combinatorics  algebra 

Di beberapa area penelitian di CS kami mendapat beberapa hasil yang sangat menarik. Sekarang kami berpikir untuk menerbitkannya. Dalam kelompok kita, filosofi adalah untuk menerbitkan hal-hal kecil dalam makalah konferensi, yang ok tapi bukan yang terbaik. Sekarang saya berpikir untuk mengumpulkan lebih banyak dari "hal-hal kecil" ini dan menerbitkannya di …

9 soft-question  research-practice  writing  paper-review  conferences 

Kami memiliki satu set, , dari daftar elemen dari set N = { 1 , 2 , 3 , . . . , n } . Setiap elemen dari N muncul dalam satu daftar di L . Saya mencari struktur data yang dapat melakukan pembaruan berikut:L.LLN= { 1 , 2 …

9 ds.algorithms  graph-algorithms  ds.data-structures 

Karena ini hari Jumat, saatnya untuk pertanyaan CW. Saya mencari heuristik yang banyak digunakan dalam masalah optimisasi. Untuk membatasi ruang lingkup ke heuristik yang lebih 'ramah teori', berikut adalah aturannya (ada yang arbitrer, ada yang tidak) Ini harus menjadi metode yang didefinisikan dengan baik tanpa banyak parameter, dan dengan waktu …

9 ds.algorithms  reference-request  optimization  heuristics 

Tampaknya dalam bahasa kueri populer untuk basis data relasional, dimungkinkan untuk membuat kueri yang akan membutuhkan banyak sumber daya untuk menjawab. Dalam praktiknya, admin basis data mengelola ini dengan membatasi jumlah memori per kueri , dan memeriksa kueri yang telah berjalan lama jika ada perlambatan dalam database. Ini sepertinya agak …

9 cc.complexity-theory  pl.programming-languages  db.databases  finite-model-theory 

Saya memiliki grafik yang hanya terdiri dari grafik bintang. Grafik bintang terdiri dari satu simpul pusat yang memiliki tepi ke setiap simpul lain di dalamnya. Mari H 1 , H 2 , ... , H n menjadi grafik bintang yang berbeda dari ukuran yang berbeda yang hadir dalam G . …

9 graph-theory  co.combinatorics  puzzles 

Inilah masalah yang telah mengganggu saya untuk sementara waktu. Katakanlah string adalah urutan 1s dan 0s, dan string wildcard adalah urutan 1, 0, dan? S. Semua string dan string wildcard memiliki panjang yang sama. Ini adalah wildcard UNIX standar; 10 ?? 1 cocok 10011, 10111, dll - a? cocok dengan …

9 ds.algorithms  ds.data-structures  approximation-algorithms  string-matching  string-search 

Saya ingin tahu apakah masalah berikut memiliki nama, atau hasil apa pun yang terkait dengannya. Misalkan adalah grafik berbobot di mana menunjukkan bobot tepi antara dan , dan untuk semua , . Masalahnya adalah untuk menemukan subset dari simpul yang memaksimalkan jumlah dari bobot tepi yang berdekatan dengan mereka: Perhatikan …

9 reference-request  graph-theory  approximation-algorithms  terminology  approximation-hardness 

Pertanyaan ini muncul dalam konteks kriptografi, tetapi di bawah ini saya akan menyajikannya dalam hal teori kompleksitas, karena orang-orang di sini lebih mengenal yang terakhir. Pertanyaan ini terkait dengan Masalah dalam NP tetapi tidak dalam Average-P / poly dan Beating Nonuniformity oleh Oracle Access . Pernyataan tidak resmi: Kapan musuh …

9 cc.complexity-theory  cr.crypto-security  np  advice-and-nonuniformity  average-case-complexity 

Saya telah difasilitasi oleh ledakan luar biasa dalam Analisis Lancar dan dikejutkan oleh pernyataan di makalah Analisis Lancar dari Pemrograman Integer . Ini menyatakan bahwa Integer Linear Programming dalam Smoothed P jika Polynomially Bounded. Ini penting benar berdasarkan kebajikan bahwa Pemrograman Integer adalah Pseudo-polinomial! Karena itu pertanyaannya adalah: Apakah ini …

9 cc.complexity-theory  smoothed-analysis 

Pertimbangkan ruang Hilbert . Dasar Produk Yang Tidak Dapat Diubah (UPB) adalah sekumpulan vektor produk sedemikian rupa sehingga:H= H1⊗ ⋯ ⊗ HnH=H1⊗⋯⊗HnH = H_1 \otimes \dots \otimes H_n| vsaya⟩ = | v1saya⟩ ⊗ ⋯ ⊗ | vnsaya⟩|vsaya⟩=|vsaya1⟩⊗⋯⊗|vsayan⟩\vert v_i \rangle = \vert v_i^1 \rangle \otimes \dots \otimes \vert v_i^n \rangle a) …

9 quantum-computing  linear-algebra  quantum-information