Ilmu Komputer

Apakah ada cara untuk menghitung ukuran pencocokan maksimum dalam grafik bipartit tak tertimbang lebih efisien (mis. Lebih cepat) daripada menghitung pencocokan maksimum? Ini adalah pukulan panjang tetapi seringkali merupakan masalah yang menarik untuk menghindari perhitungan yang dibuang seperti ini. Motivasi Masalah yang saya coba selesaikan adalah match-2 di mana kedua …

11 algorithms  graphs  optimization  matching  bipartite-matching 

Saya bertanya-tanya apakah ada algoritma polinomial untuk "2-SAT dengan hubungan XOR". Baik 2-SAT dan XOR-SAT berada di P, tetapi apakah kombinasinya? Input Contoh: Bagian 2-SAT: (a or !b) and (b or c) and (b or d) Bagian XOR: (a xor b xor c xor 1) and (b xor c xor …

11 np-complete  satisfiability  xor  2-sat 

Saya seorang siswa CS awal dan saya belajar algoritma. Saya mendengar bahwa bahkan dengan komputer kuantum, algoritma pengurutan umum tidak akan pernah lebih baik daripada waktu . Namun, saya juga tahu bahwa algoritma anjak piutang akan jauh lebih cepat. Secara umum, algoritma seperti apa yang akan menjadi jauh lebih cepat …

11 algorithms  quantum-computing 

Saya tahu ini konyol, tetapi saya berhasil membingungkan diri saya sendiri dan saya butuh bantuan untuk menyelesaikannya Misalkan , maka jelas untuk setiap oracle A kita memiliki P A = N P A yang bertentangan dengan fakta bahwa ada beberapa oracle A yang P A ≠ N P A , …

11 complexity-theory  p-vs-np  oracle-machines 

Apa yang kita ketahui adalah bahwa π tidak terbatas dan sangat mungkin mengandung string setiap digit string yang mungkin ( urutan disjungtif ). Saya baru-baru ini melihat beberapa prototipe πfs yang mengasumsikan bahwa setiap file yang Anda buat (atau orang lain) atau Anda akan buat, itu sudah ada sehingga masalah …

11 algorithms  data-compression  mathematical-programming 

Saya mencoba mereproduksi jaringan sintetis (grafik) yang dijelaskan dalam beberapa makalah. Disebutkan bahwa model Barabasi-Albert digunakan untuk membuat "jaringan bebas skala dengan distribusi derajat hukum-daya, ".PA(k)∝k−λPA(k)∝k−λP_A(k) ∝ k^{-λ} PAPAP_A adalah distribusi probabilitas yang mengembalikan probabilitas sebuah simpul yang memiliki derajat kkk . Sebagai contoh, PA(2)PA(2)P_A(2) menunjukkan kemungkinan secara acak memilih …

11 algorithms  graph-theory  graphs  randomness  sampling 

Apakah keberadaan masalah yang tidak dapat dipastikan segera menyiratkan tidak dapat diprediksinya sistem fisik? Mari kita pertimbangkan masalah penghentian, pertama kita membangun UTM fisik, katakanlah menggunakan konstruksi berbasis sirkuit yang biasa. Maka tidak ada teori fisik yang dapat diputuskan yang dapat menentukan, mengingat pengaturan input dari sirkuit, apakah sirkuit akan …

11 computability  turing-machines  undecidability  physics 

Saya telah membaca bahwa OS seperti Android dan iOS entah bagaimana dioptimalkan untuk meningkatkan daya tahan baterai. Pemahaman saya adalah bahwa CPU menjalankan sejumlah operasi dalam waktu tertentu, jadi saya akan berpikir bahwa Anda dapat mempercepat aplikasi dengan mengurangi jumlah operasi yang diperlukan, tetapi karena CPU masih akan melakukan operasi …

11 computer-architecture  operating-systems  performance  program-optimization 

Saya melihat Kalkulus Konstruksi dan tempatnya di Kubus Lambda . Jika saya mengerti dengan benar, setiap sumbu kubus dapat dianggap sebagai menambahkan operasi lain yang melibatkan jenis ke kalkulus yang diketik sederhana, λ→λ→\lambda_\to . Sumbu pertama menambahkan operator tipe-ke-istilah, operator tipe-ke-tipe kedua, dan operator mengetik-ketiga, atau operator tipe-ke-tipe. CoC memiliki …

11 terminology  lambda-calculus  type-theory  dependent-types 

Dalam kasus grafik yang tidak berlabel, masalah grafik isomorfisme dapat diatasi dengan sejumlah algoritma yang berkinerja sangat baik dalam praktiknya. Artinya, meskipun waktu berjalan terburuk adalah eksponensial, biasanya ada waktu menjalankan polinomial. Saya berharap bahwa situasinya serupa dalam kasus grafik berlabel. Namun, saya memiliki waktu yang sangat sulit untuk menemukan …

11 algorithms  graph-theory  graph-isomorphism 

Biarkan menjadi beberapa masalah penghitungan yang dikenal sebagai # P -Lengkap .ΠΠ\PiPPP Apakah itu menyiratkan bahwa adalah A P X -hard (yaitu tidak ada PTAS untuk masalah ada kecuali P = N P )?ΠΠ\PiAPXAPXAPXP=NPP=NPP=NP

11 complexity-theory  complexity-classes  approximation  counting 

Saya bertanya-tanya apakah ada masalah -hard yang rata-rata "polinomial" dalam kasus rata-rata. Saya pikir ada dua cara untuk menafsirkan ini?NPNPNP Jika , bisa ada sebuah algoritma pemecahan suatu N P masalah -Hard dengan diamortisasi (rata-rata kasus) waktu berjalan dari O ( n k ) untuk konstan k ?P≠ NPP≠NPP \neq …

11 complexity-theory  reference-request  np-complete  probabilistic-algorithms  amortized-analysis 

Apa itu algoritma aproksimasi bicriteria? Ini terus muncul dalam kasus pengelompokan aliran data. Apakah ini terkait dengan optimasi multi-tujuan? Di sinilah saya menemukan itu: cis.upenn.edu/~sudipto/mypapers/datastream.pdf. Makalah ini tentang versi streaming dari algoritma k-means. Ada referensi dalam makalah tetapi tidak satupun dari mereka memberikan penjelasan tentang apa algoritma pendekatan bikriteria. Sepertinya …

11 optimization  approximation 

Saya mencari struktur data persisten yang mirip dengan array (tetapi tidak bisa diubah), memungkinkan untuk pengindeksan cepat, menambahkan, prepend, dan operasi iterasi (good locality) operasi. Clojure menyediakan vektor persisten, tetapi hanya untuk penambahan cepat. Scala's Vector secara efektif menambahkan dan menambah waktu, tetapi saya tidak dapat menerapkannya, karena ini didasarkan …

11 data-structures  functional-programming  persistent-data-structure 

Bisakah Anda memberi saya beberapa saran tentang buku pengantar (tapi komprehensif) yang bagus tentang Logika dan Komputasi? Beberapa topik kabur yang ada dalam pikiran saya adalah: Artihm Presburger, PA, ZF, ZFC, HOL Teori set, teori tipe Modeling Computation (Turing Machines) dalam berbagai teori Tautan dengan kompleksitas komputasi (FMT, kompleksitas deskriptif)

11 reference-request  logic  books