Ilmu Komputer Teoritis

T&J untuk ilmuwan dan peneliti komputer teoretis di bidang terkait

1
Teknik bukti untuk menunjukkan bahwa pemeriksaan tipe dependen dapat dipilih
Saya berada dalam situasi di mana saya harus menunjukkan bahwa pemeriksaan ketik dapat dipilih untuk kalkulus yang diketik secara dependen yang sedang saya kerjakan. Sejauh ini, saya dapat membuktikan bahwa sistem ini sangat normal, dan dengan demikian kesetaraan definisi dapat ditentukan. Dalam banyak referensi yang saya baca, decidability dari typechecking …
1
Apakah game ini EXPSPACE-lengkap?
Mari menjadi mesin deterministik waktu polinomial yang dapat mengajukan pertanyaan untuk beberapa oracle A . Awalnya A kosong tetapi ini dapat diubah setelah permainan yang akan dijelaskan di bawah ini. Biarkan x menjadi beberapa string.MMMAAAAAAxxx Pertimbangkan permainan Alice dan Bob berikut ini. Awalnya, Alice dan Bob memiliki dan m B …
2
Wawasan umum ke dalam kompleksitas hipotetis masalah grafik
Saya menemukan dua contoh kekerasan hipotetis dari beberapa masalah grafik. Kekerasan hipotesis berarti bahwa menyangkal beberapa dugaan akan menyiratkan kelengkapan NP dari masing-masing masalah grafik. Misalnya, dugaan Barnette menyatakan bahwa setiap grafik bipartit planar 3 yang terhubung adalah Hamilton. Feder dan Subi membuktikan bahwa menyangkal dugaan akan menyiratkan kelengkapan NP …
1
Menyortir dengan rata-rata perbandingan
Apakah ada algoritma sorting berbasis perbandingan yang menggunakan rata-rata lg(n!)+o(n)lg(n!)+o(n)\mathrm{lg}(n!)+o(n) perbandingan? Keberadaan terburuk lg(n!)+o(n)lg(n!)+o(n)\mathrm{lg}(n!)+o(n) algoritma perbandingan merupakan masalah terbuka, tapi sudah cukup kasus rata-rata untuk algoritma acak dengan yang diharapkan lg(n!)+o(n)lg(n!)+o(n)\mathrm{lg}(n!)+o(n) perbandingan untuk setiap masukan . Signifikansi lg(n!)+o(n)lg(n!)+o(n)\mathrm{lg}(n!)+o(n) adalah bahwa hal itu o(n)o(n)o(n) perbandingan dari optimal, membuang-buang rata-rata hanya o(1)o(1)o(1) …
1
Algoritma inversi program untuk program tingkat tinggi
Istilah inversi program memiliki banyak corak makna, tetapi mungkin dimulai dengan karya J. McCarthy tahun 1956, The Inversion of Functions Defined oleh Turing Machines dalam konteks AI. Saat ini banyak koneksi antara inversi program dan bidang lain telah ditemukan, misalnya pemrograman reversibel (fisik dan logis), evaluasi parsial, verifikasi, pemrograman dua …
4
Apakah ada gagasan tentang komputabilitas pada set selain bilangan asli?
Apakah ada gagasan tentang komputabilitas pada set selain bilangan asli? Demi argumen, katakanlah pada set SSS yang biject dengan NN\mathbb{N} . Sangat menggoda untuk mengatakan "ya, mereka adalah fungsi-fungsi dari bentuk g∘f∘g−1g∘f∘g−1g \circ f \circ g^{-1} mana ggg adalah setiap penambangan N→SN→S\mathbb{N} \to S dan fff adalah setiap fungsi yang …
1
Keseimbangan dalam Game yang Menghentikan
Pertimbangkan permainan 2-pemain berikut: Alam secara acak memilih program Setiap pemain memainkan angka dalam [0, tak terbatas] inklusif sebagai respons terhadap gerakan alam Ambil jumlah minimum pemain, dan jalankan program untuk (hingga) banyak langkah (kecuali kedua pemain memilih angka tak terbatas) Jika program terhenti, pemain yang memainkan angka minimum memperoleh …
1
Menentukan Bit Perkalian Biner Paling Signifikan
Saya tertarik untuk menentukan kerumitan masalah keputusan berikut: Diberikan dua bilangan bulat dan (masing-masing dengan paling banyak m bit), putuskan apakah bit paling signifikan dari perkalian adalah 1 (di mana hasilnya dicetak dalam 2m bit dengan kemungkinan memimpin 0's)?l 2 l 1 ⋅ l 2l1l1l_1l2l2l_2l1⋅ l2l1⋅l2l_1 \cdot l_2 Beberapa latar …
1
Temukan perkiraan argmax hanya dengan menggunakan perkiraan kueri maks
Pertimbangkan masalah berikut. Ada nnn nilai yang tidak diketahui v1,⋯,vn∈Rv1,⋯,vn∈Rv_1, \cdots, v_n \in \mathbb{R} . Tugasnya adalah menemukan indeks yang terbesar hanya menggunakan kueri dari formulir berikut. Kueri ditentukan oleh himpunan S⊆{1,⋯,n}S⊆{1,⋯,n}S \subseteq \{1,\cdots,n\} dan jawaban yang sesuai adalah maxi∈Svimaxi∈Svi\max_{i \in S} v_i . Tujuannya adalah menggunakan pertanyaan sesedikit mungkin. …
1
Apakah “pengepakan subkelompok” ini merupakan bagian integral?
Biarkan menjadi grup abelian terbatas, dan misalkan menjadi polytope di didefinisikan sebagai poin memenuhi ketidaksetaraan berikut:P R Γ xΓΓ\GammaPPPRΓRΓ\mathbb{R}^\Gammaxxx ∑g∈ Gxg≤ | G |xg≥ 0∀ G ≤ Γ∀ g∈ Γ∑g∈Gxg≤|G|∀G≤Γxg≥0∀g∈Γ\begin{array}{cl} \sum_{g\in G} x_g \le |G| & \forall G \le \Gamma \\ x_g \ge 0 & \forall g \in \Gamma \end{array} …
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.