Pertanyaan yang diberi tag «co.combinatorics»

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 

Pertanyaan ini dimotivasi oleh postingan ini, Dapatkah Anda mengidentifikasi jumlah dari dua permutasi dalam waktu polinomial? , dan minat saya pada sifat komputasi permutasi. Sebuah perbedaan urutan dari permutasi π nomor 1 , 2 , ... n + 1 dibentuk dengan menemukan perbedaan antara setiap dua angka yang berdekatan dalam …

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

Saat ini saya sedang melakukan penelitian Bahasa Formal yang melibatkan kelas-kelas bahasa di atas Reguler tetapi di bawah Konteks Gratis. Saya melihat hal-hal seperti Mesin Multicounter Berbalik-Pembalikan, mesin penghitung tumpukan tunggal, CFL deterministik, dll. Saya ingin tahu apakah ada yang tahu buku bagus atau makalah survei yang menguraikan sifat-sifat bahasa …

12 reference-request  co.combinatorics  fl.formal-languages  automata-theory  research-practice 

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 

Makalah 1983 yang terkenal oleh H. Lenstra Programmer Integer Dengan Jumlah Variabel Tetap menyatakan bahwa program integer dengan jumlah variabel tetap dapat dipecahkan dalam polinomial waktu dalam panjang data. Saya menafsirkannya sebagai berikut. Pemrograman integer secara umum masih NP-lengkap tetapi jika ukuran masalah khas saya di tangan (katakanlah sekitar 10.000 …

12 co.combinatorics  linear-programming  integer-programming 

Di sini: http://www.planarity.org/Klein_elementary_graph_theory.pdf (dalam bab embeddings) diberi definisi embedding kombinatorial dari grafik planar. (dengan definisi wajah dan sebagainya) Meskipun dapat dengan mudah digunakan untuk grafik apa pun, mereka mendefinisikan grafik planar sebagai grafik, yang dipegang oleh rumus Euler (dengan asumsi bahwa grafik terhubung). Cukup dapat dimengerti bahwa untuk setiap grafik …

12 graph-theory  co.combinatorics  planar-graphs 

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 

Jika adalah grafik dengan derajat 3 maksimum dan merupakan minor , maka adalah minor topologiH G HGGGHHHGGGHHH . Wikipedia mengutip hasil ini dari "Grafik Theory" Diestel. Itu terdaftar sebagai Prop 1.7.4 di versi terbaru buku. Buku ini tidak memiliki bukti atau kutipan. Apakah keberadaannya diketahui sebagai bukti (asli) dari ini? …

12 reference-request  graph-theory  co.combinatorics  graph-minor 

Biarkan dan dilambangkan dengan G k himpunan semua grafik yang dapat ditanamkan pada permukaan genus k sehingga semua simpul yang terletak di wajah luar . Misalnya, G 0 adalah himpunan grafik outerplanar. Dapatkah treewidth dari grafik di G k harus atas dibatasi oleh beberapa fungsi k ?k∈Nk∈Nk\in\mathbb{N}GkGkG_kkkkG0G0G_0GkGkG_kkkk Arah lain jelas …

12 graph-theory  co.combinatorics  parameterized-complexity  graph-classes 

Saya menanyakan pertanyaan ini beberapa minggu yang lalu di mathoverflow , tetapi saya tidak mendapat jawaban. Di sini, dengan 3D-grid sidelength maksud saya grafik G = ( V , E ) dengan V = { 1 , ... , k } 3 dan E = { ( ( a , …

12 reference-request  graph-theory  co.combinatorics  treewidth  integer-lattice 

Lagi-lagi masalah pembagian-tepi yang kerumitannya membuat saya penasaran, termotivasi oleh pertanyaan saya sebelumnya . Input: grafik kubik G = ( V, E)G=(V,E)G=(V,E) Pertanyaan: apakah ada partisi ke E 1 , E 2 , ... , E s , sehingga subgraph disebabkan oleh masing-masing E i adalah salah cakar (yaitu K …

12 cc.complexity-theory  graph-theory  np-hardness  co.combinatorics 

Masalah pewarnaan grafik sudah cukup sulit bagi kebanyakan orang . Meski begitu, saya harus sulit dan menanyakan masalah tentang pewarnaan hypergraph. Pertanyaan. Algoritme efisien apa yang ada untuk menemukan pewarnaan tepi yang kurang lebih optimal untuk hypergraphs k-uniform? Detail --- Hypergraph k-uniform adalah di mana setiap sisi mengandung simpul k …

12 co.combinatorics  hypergraphs  graph-colouring 

Biarkan menjadi struktur berhingga apa pun. Apakah teori urutan pertama telah membatasi peringkat quantifier, dalam arti ada sedemikian rupa sehingga untuk semua dengan ada dengan dan ?T : = T H ( A ) q ∈ N φ ∈ T q r ( φ ) &gt; q φ ′ ∈ …

11 co.combinatorics  lo.logic  relational-structures 

Diberikan satu set pesawat terbang yang ditentukan oleh vektor normal , tipe selnya (atau tanda vektor) adalah semua vektor t ∈ { + , - } m yang terdapat vektor v ∈ R d sehingga ⟨ v , h i ⟩ ≠ 0 dan t i = tanda ( ⟨ …

11 co.combinatorics  cg.comp-geom  computational-geometry  metric-spaces 

Crossposted dari MO . Misalkan adalah kelas grafik yang didefinisikan oleh sejumlah terbatas dari subgraph yang diinduksi terlarang, yang semuanya adalah siklik (mengandung setidaknya satu siklus).CCC Apakah ada masalah grafik NP-hard yang dapat diselesaikan dalam waktu polinomial untuk selain penutup Clique dan Clique?CCC Jika saya ingat dengan benar, ini tidak …

11 cc.complexity-theory  graph-theory  graph-algorithms  co.combinatorics