Pertanyaan yang diberi tag «sets»

EDIT: Saya sekarang telah mengajukan pertanyaan serupa tentang perbedaan antara kategori dan set. Setiap kali saya membaca tentang teori jenis (yang memang agak informal), saya tidak dapat benar-benar memahami perbedaannya dari teori himpunan, secara konkret . Saya mengerti bahwa ada perbedaan konseptual antara mengatakan "x milik himpunan X" dan "x …

33 type-theory  sets 

Ibu saya mengambil kursus online untuk menjadi semacam pustakawan, dalam kursus ini mereka mencakup pencarian boolean, sehingga mereka dapat mencari database secara efisien, namun, dia mendapat pertanyaan yang terdengar seperti ini: Pencarian "x ATAU" akan menghasilkan 105.000 klik, sedangkan pencarian hanya x akan menghasilkan 80.000 klik, dan pencarian hanya y …

29 sets  counting 

Judul menyatakan pertanyaan. Kami memiliki sebagai input daftar elemen, yang dapat kami bandingkan (menentukan mana yang terbesar ). Tidak ada elemen yang bisa sama. Poin-poin penting: Perbandingannya bukan transitif (pikirkan gunting kertas batu): ini bisa benar: A> B, B> C, C> A (perhatikan ini bukan input yang valid karena tidak …

21 algorithms  time-complexity  sets  transitivity 

Apakah ada struktur data yang memelihara kumpulan himpunan (himpunan terbatas hingga) yang mendukung operasi berikut? Setiap waktu menjalankan sublinear akan dihargai? Init set kosong. Tambahkan elemen ke set. Diberi dua set, laporkan apakah mereka berpotongan.

21 data-structures  sets 

Penyempurnaan partisi adalah teknik di mana Anda mulai dengan satu set terbatas objek dan semakin membelah set. Beberapa masalah, seperti minimisasi DFA, dapat diselesaikan dengan menggunakan penyempurnaan partisi dengan cukup efisien. Saya tidak tahu ada masalah lain yang biasanya diselesaikan dengan menggunakan perbaikan partisi selain yang terdaftar di halaman Wikipedia. …

20 algorithms  reference-request  data-structures  partitions  sets 

Mengingat satu set set, saya ingin menemukan satu set M sehingga setiap set S di S mengandung setidaknya satu unsur M . Saya juga ingin M mengandung elemen sesedikit mungkin sambil tetap memenuhi kriteria ini, meskipun mungkin ada lebih dari satu M terkecil dengan properti ini (solusinya belum tentu unik).SS\mathbf{S}MMMSSSSS\mathbf{S}MMMMMMMMM …

15 algorithms  optimization  sets 

Saya memiliki masalah algoritmik. Diberikan array (atau set) dari bilangan bulat tidak negatif. Temukan set maksimal dari sedemikian rupa sehingga untuk semua ,.TTTnnnSSSTTTa∈Sa∈Sa\in Sa⩾|S|a⩾|S|a\geqslant |S| Sebagai contoh: Jika TTT = [1, 3, 4, 1, 3, 6], maka SSS dapat menjadi [3, 3, 6] atau [3, 4, 6] atau [4, 3, …

14 algorithms  optimization  sets 

Aku punya dua set besar bilangan bulat dan . Setiap set memiliki sekitar satu juta entri, dan setiap entri adalah bilangan bulat positif dengan panjang maksimal 10 digit. AAABBB Apa algoritma terbaik untuk menghitung dan ? Dengan kata lain, bagaimana saya bisa secara efisien menghitung daftar entri yang tidak dalam …

14 algorithms  data-structures  sets 

Katakanlah kita memiliki 10 orang, masing-masing dengan daftar buku favorit. Untuk orang tertentu X, saya ingin menemukan subset khusus dari buku X yang hanya disukai oleh X, yaitu tidak ada orang lain yang menyukai semua buku dalam subset khusus X. Saya menganggap subset khusus ini sebagai "sidik jari" unik untuk …

11 algorithms  sets 

Dalam pertanyaan ini, saya bertanya apa perbedaan antara set dan tipe . Jawaban ini benar-benar mengklarifikasi (misalnya @AndrejBauer), jadi dalam kehausan saya akan pengetahuan, saya tunduk pada godaan untuk menanyakan hal yang sama tentang kategori: Setiap kali saya membaca tentang teori kategori (yang diakui agak informal), saya tidak dapat benar-benar …

11 sets  category-theory 

Ada struktur data yang efisien untuk mewakili sekumpulan partisi. Struktur data ini memiliki kompleksitas waktu yang baik untuk operasi seperti Union dan Find, tetapi mereka tidak terlalu efisien dalam ruang. Apa cara hemat-ruang untuk merepresentasikan partisi sekumpulan? Inilah satu titik awal yang memungkinkan: Saya tahu bahwa jumlah partisi set dengan …

11 data-structures  combinatorics  space-complexity  sets  partitions 

⊊⊊\subsetneq

11 complexity-theory  formal-languages  context-free  closure-properties  sets 

Saya mencari implementasi tipe data yang ditetapkan. Kita harus melakukannya memelihara subset dinamis SSS (ukuran nnn ) dari alam semesta dari ukuran denganU={0,1,2,3,…,u–1}U={0,1,2,3,…,u–1}U = \{0, 1, 2, 3, \dots , u – 1\}uuu operasi insert(x)(tambahkan elemen xke ) dan (memeriksa apakah elemen adalah anggota ).SSSfind(x)xSSS Saya tidak peduli dengan operasi …

9 data-structures  efficiency  space-complexity  sets  dictionaries 

Baru-baru ini saya berdiskusi dengan seorang teman tentang sebuah situs web yang mengusulkan tantangan regex, terutama mencocokkan sekelompok kata dengan properti khusus. Dia sedang mencari regex yang cocok dengan string seperti di ||||||||mana jumlah |prima. Saya segera mengatakan kepadanya bahwa tidak akan pernah berhasil karena jika bahasa seperti itu biasa, …

9 formal-languages  machine-models  logic  boolean-algebra  xor  cryptography  algorithms  machine-learning  algorithms  paging  virtual-memory  programming-languages  object-oriented  algorithms  search-algorithms  strings  binary-search  formal-grammars  context-free  algorithms  algorithms  correctness-proof  greedy-algorithms  permutations  logic  first-order-logic  logic-programming  algorithms  complexity-theory  computability  programming-languages  complexity-theory  complexity-classes  quantum-computing  reductions  formal-languages  programming-languages  semantics  operational-semantics  small-step-semantics  sets  first-order-logic  computer-networks  communication-protocols 

Menurut Wikipedia, masalah Set Independen adalah kasus khusus dari masalah Set Packing . Tapi, menurut saya masalah ini setara. Masalah pencarian Set Independen adalah: diberi grafikG ( V, E)G(V,E)G(V,E) dan bilangan bulat nnn, Temukan nnn simpul tidak ada dua yang berdekatan. Masalah pencarian Set Packing adalah: diberi koleksi terbatasCCC set …

9 algorithms  graphs  sets  packing