Pertanyaan yang diberi tag «co.combinatorics»

Catatan: Ini tentang puzzle sudoku 9x9 standar. Solusinya hanya harus mendukung teka-teki hukum yang diselesaikan . Jadi solusi tidak perlu mendukung sel kosong dan dapat mengandalkan properti dari teka-teki sudoku yang terpecahkan. Saya bertanya-tanya tentang hal ini, tetapi saya tidak dapat menemukan jawaban yang puas. Solusi naif akan menggunakan satu …

28 co.combinatorics  puzzles 

The ISGCI daftar lebih dari 1100 kelas graf. Untuk banyak dari ini kita tahu apakah SET INDEPENDEN dapat diputuskan dalam waktu polinomial; ini kadang-kadang disebut kelas IS-easy . Saya ingin mengkompilasi daftar kelas IS-easy maksimal . Kelas-kelas ini bersama-sama membentuk batas traktabilitas (dikenal) untuk masalah ini. Karena seseorang hanya dapat …

28 ds.algorithms  graph-theory  co.combinatorics  graph-classes 

Dalam pendidikan ilmu komputer saya, saya semakin memperhatikan bahwa sebagian besar masalah diskrit adalah NP-lengkap (setidaknya), sedangkan mengoptimalkan masalah terus menerus hampir selalu mudah dicapai, biasanya melalui teknik gradien. Apakah ada pengecualian untuk ini?

27 cc.complexity-theory  co.combinatorics  optimization 

Misalkan adalah grafik dengan angka pewarnaan . Pertimbangkan permainan berikut antara Alice dan Bob. Pada setiap putaran, Alice memilih sebuah titik, dan Bob menjawab dengan warna di untuk titik ini. Permainan berakhir ketika tepi monokromatik ditemukan. Biarkan menjadi panjang maksimal permainan di bawah permainan optimal oleh kedua pemain (Alice ingin …

27 reference-request  graph-theory  co.combinatorics  graph-colouring  decision-trees 

Saya mencari kode koreksi kesalahan dari jenis berikut: kode biner dengan laju konstan, didekodekan dari beberapa fraksi konstan kesalahan, oleh decoder diimplementasikan sebagai sirkuit Boolean ukuran , di mana N adalah panjang pengkodean.O(N)O(N)O(N)NNN Beberapa latar belakang: Spielman, dalam Linear-Time Encodable dan Decodable Error-Correcting Codes , memberikan kode yang dapat didekodekan …

27 co.combinatorics  it.information-theory  coding-theory 

Yang mengejutkan saya, saya tidak dapat menemukan makalah tentang ini - mungkin mencari kata kunci yang salah. Jadi, kita punya array apa saja, dan fungsi pada indeksnya; adalah permutasi.fffffff Bagaimana kita menyusun ulang susunan menurut fff dengan memori dan runtime sedekat mungkin dengan O ( 1 )O(1)O(1) dan O ( …

27 ds.algorithms  co.combinatorics  permutations 

Kami mendefinisikan bahasa pohon biasa seperti dalam buku TATA : Ini adalah kumpulan pohon yang diterima oleh otomat pohon terbatas non-deterministik (Bab 1) atau, setara, serangkaian pohon yang dihasilkan oleh tata bahasa pohon biasa (Bab 2). Kedua formalisme memiliki kemiripan yang erat dengan analog string yang terkenal. Apakah ada bahasa …

26 co.combinatorics  fl.formal-languages  tree  regular-language 

Apakah ada sesuatu yang diketahui tentang kelas grafik dengan properti yang semua set independen maksimal memiliki kardinalitas yang sama dan karenanya IS maksimum? Sebagai contoh, ambil satu set poin di pesawat dan pertimbangkan grafik persimpangan di antara semua segmen antara pasangan poin di set. (segmen-> simpul, persimpangan-> tepi). Grafik ini …

26 graph-theory  co.combinatorics 

Diberi bahasa reguler (NFA, DFA, grammar, atau regex), bagaimana cara menghitung jumlah kata yang menerima dalam bahasa tertentu? Keduanya "dengan tepat n huruf" dan "dengan paling banyak n huruf" menarik. Margareta Ackerman memiliki dua makalah tentang masalah terkait penghitungan kata-kata yang diterima oleh NFA, tetapi saya tidak dapat memodifikasinya untuk …

26 ds.algorithms  co.combinatorics  fl.formal-languages  regular-language 

Untuk setiap , saya mengatakan bahwa urutan s dari bilangan bulat dalam { 1 , ... , n } adalah n- lengkap jika, untuk setiap permutasi p dari { 1 , ... , n } , ditulis sebagai urutan bilangan bulat berbeda berpasangan p 1 , … , p n …

25 cc.complexity-theory  co.combinatorics  np-hardness  permutations 

Volume III dari Knuth The Art of Computer Programming (pasal 5 ayat 3,2) termasuk mengikuti tabel daftar tepat jumlah minimum perbandingan yang diperlukan untuk memilih elemen th terkecil dari set disortir ukuran , untuk semua . Tabel ini, bersama dengan ekspresi bentuk tertutup terkenal dan , mewakili sebagian besar keadaan …

25 ds.algorithms  reference-request  co.combinatorics  sorting  selection 

Szemeredi's Regularity Lemma mengatakan bahwa setiap grafik yang padat dapat diperkirakan sebagai penyatuan O ( 1)O(1)O(1) banyak grafik expander bipartit. Lebih tepatnya, ada partisi dari sebagian besar simpul ke dalam O ( 1 )O(1)O(1) set sehingga sebagian besar pasangan membentuk bipartit ekspander (jumlah set dalam partisi dan parameter ekspansi tergantung …

25 graph-theory  co.combinatorics  expanders 

Mengingat sebuah grafik diarahkan dan tertimbang dan integer bahkan , apa yang kompleksitas komputasi penghitungan set simpul sehingga dan subgraf dari terbatas himpunan titik mengakui pasangan yang cocok? Apakah kompleksitas # P-selesai? Apakah ada referensi untuk masalah ini?k S ⊆ V | S | = K G SG=(V,E)G=(V,E)G=(V,E)kkkS⊆VS⊆VS\subseteq V|S|=k|S|=k|S|=kGGGSSS Perhatikan …

25 cc.complexity-theory  co.combinatorics  counting-complexity 

Hasil oleh Robertson dan Seymour menunjukkan sebuah algoritma untuk menguji apakah grafik tetap adalah minor dari . Saya punya dua setengah pertanyaan tentang topik ini:O(n3)O(n3)O(n^3)GGGHHH 1) Tampaknya telah ada peningkatan pada algoritma ini sejak. Apa algoritma paling terkenal saat ini? 2a) Apa yang orang duga sebagai ikatan optimal? Algoritma Mohar …

25 reference-request  graph-theory  co.combinatorics  graph-algorithms 

Sudahkah kompleksitas masalah berikut dipelajari? Input : grafik kubik (atau reguler) , batas atas alami333G=(V,E)G=(V,E)G=(V,E)ttt Pertanyaan : apakah ada partisi menjadi bagian dari ukuran sehingga jumlah pesanan dari subgraph yang sesuai (belum terhubung) paling banyak ?EEE|E|/3|E|/3|E|/3333ttt Pekerjaan terkait Saya menemukan beberapa makalah dalam literatur yang membuktikan kondisi yang diperlukan dan …

25 graph-theory  np-hardness  co.combinatorics