Pertanyaan yang diberi tag «ds.algorithms»

Saya membaca survei oleh Trevisan dan Lovett tentang aplikasi kombinatorik aditif di TCS. Sebagian besar aplikasi ini berada di bawah kompleksitas komputasi , misalnya batas bawah. Saya ingin tahu apakah kombinatorik aditif telah menemukan aplikasi dalam desain algoritma juga. Motivasi untuk pertanyaan saya adalah sebagai berikut: sementara hubungan antara aditif …

12 ds.algorithms  reference-request  co.combinatorics 

Input adalah alam semesta UUU dan keluarga himpunan bagian dari UUU , mengatakan, F⊆2UF⊆2U{\cal F} \subseteq 2^U . Kami berasumsi bahwa subset di FF{\cal F} dapat menutupi UUU , yaitu, ⋃E∈FE=U⋃E∈FE=U\bigcup_{E\in {\cal F}}E=U . Sebuah urutan meliputi tambahan adalah urutan himpunan bagian di FF{\cal F} , katakanlah, A={E1,E2,…,E|A|}A={E1,E2,…,E|A|}{\cal A}=\{E_1,E_2,\ldots,E_{|{\cal A}|}\} …

12 cc.complexity-theory  ds.algorithms  approximation-algorithms  optimization  set-cover 

Jadi kita semua tahu perbandingan-pohon batas bawah pada jumlah perbandingan terburuk yang dibuat oleh algoritma sortir perbandingan (deterministik). Itu tidak berlaku untuk penyortiran perbandingan acak (jika kita mengukur perbandingan yang diharapkan untuk input kasus terburuk). Misalnya, untuk n = 4 , batas bawah deterministik adalah lima perbandingan, tetapi algoritma acak …

12 ds.algorithms  reference-request  sorting 

Pertimbangkan vektor dimensional v di mana v i ∈ { 0 , 1 } . Untuk setiap i kita tahu p i = P ( v i = 1 ) dan mari kita asumsikan v i independen. Dengan menggunakan probabilitas ini, apakah ada cara yang efisien untuk beralih pada vektor …

12 ds.algorithms  space-bounded 

Cukup mirip dengan pertanyaan saya yang diposting sebelumnya . Namun kali ini, grafik tidak diarahkan. Diberikan Sebuah diarahkan grafik GGG tanpa multiple-tepi atau loop, Sumber simpul sss , Target titik ttt, Panjang jalur maksimal lll , Saya mencari G′G′G' - Subgraf GGG yang berisi simpul dan tepi GGG (dan hanya …

12 ds.algorithms  graph-algorithms  shortest-path 

Automata keadaan terbatas residual (RFSA, didefinisikan dalam [DLT02]) adalah NFA yang memiliki beberapa fitur bagus yang sama dengan DFA. Secara khusus, selalu ada RFSA berukuran minimum kanonik untuk setiap bahasa reguler, dan bahasa yang dikenali oleh setiap negara bagian dalam RFSA adalah residu, seperti halnya dalam DFA. Namun demikian, dimana …

12 cc.complexity-theory  ds.algorithms  automata-theory  lg.learning  minimization 

Saya mencari grafik kecil yang bilangan vektor kromatiknya lebih kecil dari angka kromatik, χ v ( G ) &lt; χ ( G ) .GGGχv(G)&lt;χ(G)χv(G)&lt;χ(G)\chi_v(G)<\chi(G) ( memiliki vektor berwarna jumlah q jika ada tugas x : V → R d , di mana intuitif vektor terkait dengan simpul tetangga terpisah jauh …

12 ds.algorithms  graph-theory  co.combinatorics  graph-algorithms  graph-colouring 

Algoritma simpleks sering diperlakukan baik dalam aritmatika nyata, atau dalam dunia diskrit dengan perhitungan yang tepat. Namun, tampaknya paling sering diterapkan dengan aritmatika floating-point. Ini mengarah pada pertanyaan apakah algoritma simpleks harus dianggap sebagai algoritma numerik, khususnya bagaimana kesalahan pembulatan mempengaruhi perhitungan. Saya tidak tertarik pada implementasi praktis, tetapi lebih …

12 ds.algorithms  reference-request  optimization  linear-programming  na.numerical-analysis 

Pertimbangkan P predikat monoton atas powerset 2 | n | (dipesan dengan disertakan). Dengan "monoton" Maksud saya: ∀ x , y ∈ 2 | n | sedemikian rupa sehingga x ⊂ y , jika P ( x ) maka P ( y ) . Saya mencari algoritma untuk menemukan semua …

12 ds.algorithms  ds.data-structures  partial-order  order-theory  search-problem 

Jika Anda diberi koleksi pesanan parsial, jenis topologi akan memberi tahu Anda jika ada perpanjangan koleksi ke pesanan total (ekstensi dalam hal ini adalah pesanan total yang konsisten dengan masing-masing pesanan parsial). Saya menemukan variasi: Perbaiki satu set . Anda diberikan urutan elemen yang diambil dari tanpa pengulangan (urutannya panjang …

12 ds.algorithms  reference-request  order-theory 

Buku A = B oleh Petkovsek, Wilf dan Zeilberger menjelaskan algoritma untuk menghitung jumlah binomial yang berbeda. AFAIK, algoritma ini masih ditingkatkan oleh penulis yang berbeda. Apakah Anda tahu di mana kami dapat menemukan implementasi terbaru dari algoritma ini? Dan tahukah Anda jika ada implementasi di beberapa software gratis seperti …

12 ds.algorithms  co.combinatorics  implementation 

Ada algoritma waktu linear untuk memecah teks menjadi garis dengan lebar maksimum. Ini menggunakan SMAWK (atau Knuth &amp; Plass) dan "merata" berarti: http://en.wikipedia.org/wiki/Word_wrap#Minimum_raggedness Apakah ada algoritme atau fungsi biaya cekung untuk algoritme di atas yang akan mempertimbangkan jumlah baris yang saya inginkan untuk perincian teks, alih-alih lebar garis maksimum? Juga …

12 ds.algorithms 

Saya harap seseorang tahu referensi untuk ini, jadi saya tidak perlu membaca literatur ... Pertimbangkan urutan angka . Pikirkan urutan sebagai interval . Jelas, urutan asli adalah bitonic jika ada titik pada garis nyata menusuk paling banyak 2 interval. Kita akan merujuk pada urutan di mana titik menusuk paling banyak …

12 ds.algorithms  reference-request  sorting 

Pertimbangkan masalah tes keanggotaan abelian-subkelompok berikut ini . Input: Sebuah kelompok abelian berhingga dengan sewenang-wenang-besar .G=Zd1×Zd1…×ZdmG=Zd1×Zd1…×ZdmG=\mathbb{Z}_{d_1}\times\mathbb{Z}_{d_1}\ldots\times\mathbb{Z}_{d_m}didid_i Sebuah pembangkit-set dari subkelompok .{h1,…,hn}{h1,…,hn}\lbrace h_1,\ldots,h_n\rbraceH⊂GH⊂GH\subset G Sebuah elemen .b∈Gb∈Gb\in G Keluaran: 'ya' jika dan 'tidak' di tempat lain '.b∈Hb∈Hb\in H Pertanyaan: Bisakah masalah ini diselesaikan secara efisien di komputer klasik? Saya menganggap algoritma …

12 ds.algorithms  time-complexity  matrices  nt.number-theory  gr.group-theory 

Dalam pekerjaan saya masalah berikut muncul: Apakah ada algoritma yang diketahui, yang mendekati jumlah kromatik grafik tanpa urutan 65 yang independen? (Jadi alpha (G) &lt;= 64 diketahui dan | V | / 64 adalah lebih rendah sepele, | V | batas atas sepele. Tetapi apakah ada perkiraan yang lebih baik …

12 ds.algorithms  graph-algorithms  approximation-algorithms  graph-colouring