Ilmu Komputer Teoritis

Bahasa sehari-hari, definisi eksponen matriks-perkalian ωω\omega adalah nilai terkecil yang ada algoritma perkalian-matriks nωnωn^{\omega} . Ini tidak dapat diterima sebagai definisi matematika formal, jadi saya kira definisi teknis adalah sesuatu seperti infimum atas semua ttt seperti bahwa ada algoritma matriks-perkalian dalam ntntn^t . Dalam hal ini, kita tidak bisa mengatakan …

15 ds.algorithms  linear-algebra 

Masalah pemeliharaan pesanan (atau "mempertahankan pesanan dalam daftar") adalah untuk mendukung operasi: singleton: membuat daftar dengan satu item, mengembalikan pointer ke sana insertAfter: diberi pointer ke item, memasukkan item baru setelahnya, mengembalikan pointer ke item baru delete: diberi pointer ke item, menghapusnya dari daftar minPointer: diberi dua petunjuk untuk item …

15 ds.data-structures  soft-question  pl.programming-languages  graph-theory  tree  cc.complexity-theory  pcp  co.combinatorics  cg.comp-geom  pr.probability  vc-dimension  cc.complexity-theory  complexity-classes  relativization  soft-question  advice-request  career  soft-question  research-practice  paper-review  journals  co.combinatorics  cc.complexity-theory  complexity-classes  pr.probability  average-case-complexity  cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory  ds.algorithms  cc.complexity-theory  approximation-hardness  csp  pcp  cc.complexity-theory  circuit-complexity 

Saya perlu menyimpan set elemen tipe a. Ketik sebagian memerintahkan, sehingga membandingkan dan sebuah 2 dapat kembali lebih kecil, lebih besar, sama atau tak tertandingi.a1a1a_1a2a2a_2 Satu masalah dengan hashtable adalah bahwa dua elemen yang sama dapat direpresentasikan secara berbeda, dan saya tidak memiliki akses ke fungsi hashing yang konsisten dengan …

15 ds.data-structures  functional-programming  sorting 

Suatu kategori memiliki biproduk ketika objek yang sama adalah produk dan produk ganda. Adakah yang menyelidiki teori pembuktian kategori dengan biproduk? Mungkin contoh paling terkenal adalah kategori ruang vektor, di mana jumlah langsung dan konstruksi produk langsung memberikan ruang vektor yang sama. Ini berarti ruang vektor dan peta linier adalah …

15 reference-request  lo.logic  pl.programming-languages  type-theory  ct.category-theory 

Diketahui melalui teorema aproksimasi universal bahwa jaringan saraf dengan bahkan satu lapisan tersembunyi dan fungsi aktivasi yang berubah-ubah dapat mendekati setiap fungsi kontinu. Apa model lain yang ada yang juga merupakan penduga fungsi universal

15 machine-learning  function  approximation 

Saya sebenarnya punya dua pertanyaan: Siapa yang pertama kali menggunakan hubungan logis untuk menghubungkan semantik? Saya melacak mereka kembali ke Reynold's " On the Relation Antara Direct dan Continuation Semantics ", tetapi saya tidak bisa mengklaim telah melakukan pencarian lengkap. Saya telah menemukan referensi untuk hubungan logis yang berkencan sebelumnya …

15 reference-request  pl.programming-languages  denotational-semantics  logical-relations 

Saya menggunakan istilah judul dalam arti yang sangat longgar. Ada sejumlah besar pekerjaan pada teori permainan evolusioner, termasuk dasar matematisnya. Saya direkomendasikan "Game Evolusi dan Dinamika Populasi" tetapi belum menggali ke dalamnya. Ada juga sejumlah besar pekerjaan pada teori permainan algoritmik, yang merupakan topik populer di situs ini. Yang ingin …

15 reference-request  gt.game-theory  genetic-algorithms  evolutionary-game-theory 

Bisakah Anda menunjukkan bagaimana membangun fungsi Ackerman (sebenarnya saya tertarik pada versi yang diusulkan oleh Rózsa Péter dan Raphael Robinson) melalui operator standar rekursif mu? Saya mencoba makalah asli oleh Péter dan Robinson, tetapi makalah Péter menggunakan bahasa yang berbeda dari makalah Inggris dan Robinson "Rekursi dan Rekursi Ganda" dan …

15 computability 

Defungsionalisasi adalah transformasi program yang mengubah program tingkat tinggi menjadi program tingkat pertama. Idenya adalah bahwa diberikan suatu program, hanya ada banyak lambda-abstraksi, sehingga Anda dapat mengganti setiap lambda dengan id, dan setiap aplikasi fungsi dengan panggilan ke prosedur yang berlaku yang bercabang pada id itu. Ini kadang - kadang …

15 pl.programming-languages  compilers 

Latar Belakang Fungsi di adalah PAC dipelajari dalam waktu quasipolynomial dengan algoritma klasik yang membutuhkan O ( 2 l o g ( n ) O ( d ) ) dipilih secara acak query untuk belajar sirkuit kedalaman d [1]. Jika tidak ada algoritma faktorisasi 2 n o ( 1 ) …

15 quantum-computing  lg.learning  machine-learning  open-problem  ne.neural-evol 

Saya mencoba memahami beberapa konsep tentang dekomposisi modular dan grafik lebar-klik . Dalam makalah ini ("Pada grafik P4-rapi"), ada bukti bagaimana menyelesaikan masalah optimasi seperti angka-klik atau angka-kromatik menggunakan dekomposisi Modular. Memecahkan masalah ini dengan menyusun (menggunakan jumlah disjoint atau disjoint union) dua grafik G1, G2 mudah ketika Anda tahu …

15 graph-theory  graph-algorithms  cliquewidth 

Sebuah set memukul dari keluarga adalah bagian dari sehingga untuk . Masalah untuk menemukan set minimum memukul keluarga yang diberikan adalah NP-hard secara umum, karena itu menggeneralisasi masalah vertex cover. Sekarang pertanyaan saya adalah:H ⋃ n i = 1 S i H ∩ S i ≠ ∅ 1 ≤ i …

15 cc.complexity-theory  np-hardness  approximation-hardness 

Apa makalah / buku yang bagus untuk lebih memahami kekuatan Dekomposisi Modular dan propertinya? Saya sangat tertarik pada aspek algoritmik Dekomposisi Modular. Saya telah mendengar bahwa adalah mungkin untuk menemukan Dekomposisi Modular dari grafik dalam waktu linier. Apakah ada algoritma yang relatif sederhana untuk itu? Bagaimana dengan algoritma yang tidak …

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

Beberapa latar belakang: Łukasiewicz logika bernilai tinggi dimaksudkan sebagai modal logika, dan Łukasiewicz memberikan definisi ekstensional dari operator modal: (yang ia kaitkan dengan Tarski).◊ A =de f¬ A → A◊SEBUAH=def¬SEBUAH→SEBUAH\Diamond A =_{def} \neg A \to A Ini memberikan logika modal yang aneh, dengan beberapa teorema paradoks, jika tidak tampak absurd, …

15 reference-request  lo.logic  proof-theory  linear-logic  modal-logic 

Teorema titik tetap Banach mengatakan bahwa jika kita memiliki ruang metrik kosong yang tidak kosong , maka fungsi kontraktual yang seragam memiliki titik tetap unik . Namun, bukti teorema ini membutuhkan aksioma pilihan - kita perlu memilih elemen yang sewenang-wenang untuk memulai iterasi dari, untuk mendapatkan Cauchy urutan . f …

15 reference-request  lo.logic  pl.programming-languages  denotational-semantics  metric-spaces