Pertanyaan ini terkait dengan pertanyaan terbaru oleh Janoma . Latar Belakang Dalam pemrograman kendala, sebuah rutin global yang kendala ccc selama domain DDD adalah sepasang (s,M)(s,M)(s, M) dengan sss tupel variabel (lingkup) dan MMM DFA atas domain DDD . Tugas θθ\theta to sss memuaskan ccc...
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 ( φ ) > q φ ′ ∈ T q r ( φ ′ ) ≤ q φ ′ ≡ φ φSEBUAHA\mathfrak{A} T: = TH ( A...
Saya memiliki beberapa juta nilai 32-bit. Untuk setiap nilai, saya ingin menemukan semua nilai lain dalam jarak hamming 5. Dalam pendekatan naif, ini membutuhkan perbandingan O ( N2)HAI(N2)O(N^2) , yang ingin saya hindari. Saya menyadari bahwa jika saya hanya memperlakukan nilai-nilai 32-bit ini...
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 ( ⟨ v , h i ⟩ )h1,…,hm∈Rdh1,…,hm∈Rdh_1,\dots,h_m \in \mathbf...
Kami diberi matroid. Tujuan kami adalah untuk menemukan serangkaian elemen ukuran minimum yang memiliki persimpangan non-kosong dengan setiap pangkalan matroid. Apakah masalah dipelajari sebelumnya? Apakah dalam P? Misalnya, dalam matroid spanning tree, hitting set minimum harus berupa minimum cut....
Saya mencoba untuk menutupi poligon cekung sederhana dengan persegi panjang minimum. Persegi panjang saya bisa panjang, tetapi memiliki lebar maksimum, dan poligon tidak akan pernah memiliki sudut yang akut. Saya berpikir tentang mencoba menguraikan polong cekung saya menjadi segitiga yang...
Sebuah -coloring dari m × n jaringankkkm×nm×nm \times n adalah fungsi . Kotak yang rusak di C adalah tuple ( i , i ′ , j , j ′ ) yang memuaskan C ( i , j ) = C ( i ′ , j ) = C (C:[m]×[n]→[k]C:[m]×[n]→[k]C:[m] \times [n] \to [k]CCC(i,i′,j,j′)(i,i′,j,j′)(i,i',j,j') - yaitu, tepat tiga sudut persegi...
Saya menarik dalam sistem bunga matahari dan aplikasinya dalam ilmu komputer. Diberikan Universe dan koleksi set disebut sistem k-sunflower jika untuk semua . Dan disebut sebagai inti dan disebut kelopak. k A i A i ∩ A j = Y i ≠ j Y A i - YUUUkkkAiAiA_iAi∩Aj=YAi∩Aj=YA_i \cap A_j = Y i≠ji≠ji \neq...
Norma pemotongan | | A | |C||A||C||A||_C dari matriks nyata A = ( asaya , j) ∈ Rn × nA=(ai,j)∈Rn×nA = (a_{i,j}) \in \mathcal{R}^{n\times n} adalah maksimum dari semua saya⊆ [ n ] , J⊆[n]I⊆[n],J⊆[n]I \subseteq [n], J \subseteq [n] dari kuantitas ∣∣∑i∈I,j∈Jai,j∣∣|∑i∈I,j∈Jai,j|\left|\sum_{i \in I, j...
Kami bekerja di komputer terdistribusi, dan kami menemukan masalah kompleksitas yang mengurangi masalah jalur minimum. Kami saat ini tidak tahu bagaimana menyelesaikannya. Masalahnya adalah sebagai berikut: Biarkan ada beberapa integer, dan membiarkan Z k menjadi grafik yang berisi k ( k + 1...
Ada banyak contoh dalam kombinatorik dan ilmu komputer di mana kita dapat menganalisis masalah grafik-teoretis tetapi untuk analog hypergraph masalah, alat kita kurang. Menurut Anda mengapa masalah sering menjadi jauh lebih sulit di atas hypergraph 3-seragam daripada lebih dari 2-seragam grafik?...
Mari adalah graf terhubung dengan node dan tepi . Biarkan menunjukkan (bilangan bulat) dari grafik , dengan total bobot dalam grafik. Berat rata-rata per node adalah . Biarkan menunjukkan penyimpangan dari simpul dari mean. Kami memanggilyang ketidakseimbangan node .GGGG = ( V, E)G=(V,E)G = (V,E)V=...
Kita tahu bahwa log dari peringkat matriks 0-1 adalah batas bawah dari kompleksitas komunikasi deterministik, dan log dari peringkat perkiraan adalah batas bawah dari kompleksitas komunikasi acak. Kesenjangan terbesar antara kompleksitas komunikasi deterministik dan kompleksitas komunikasi acak...
Selama bekerja, saya menemukan masalah berikut: Saya mencoba menemukan -matrix , untuk , dengan properti berikut:( 0 , 1 ) M n > 3n×nn×nn \times n (0,1)(0,1)(0,1)MMMn>3n>3n > 3 Penentu adalah genap.MMM Untuk setiap himpunan bagian non-kosong dengan, Submatriks memiliki penentu aneh jika...
Definisi Misalkan dan misalkan d , r , dan g adalah bilangan bulat positif (dengan g > 2 r + 1 ).ϵ>0ϵ>0\epsilon > 0dddrrrgggg>2r+1g>2r+1g > 2r+1 Misalkan menjadi grafik berhingga sederhana, d- teratur, tidak terarah, dengan ketebalan setidaknya g .G=(V,E)G=(V,E)G =...
Pertimbangkan grafik kubik acak yang terhubung darisimpul, diambil dari -reg (seperti yang didefinisikan di sini , yaitu adalah genap dan setiap dua grafik memiliki probabilitas yang sama).n = | V | G ( n , 3 ) 3 nG=(V,E)G=(V,E)G=(V,E)n=|V|n=|V|n =|V|G(n,3G(n,3G(n, 3)))3n3n3n Tentu saja ada...
Dalam makalah Pada dua masalah teori informasi , Erd dan Rényi memberikan batas yang lebih rendah pada jumlah minimum penimbangan yang harus dilakukan seseorang untuk menentukan jumlah koin palsu dalam satu set koin.nnn Lebih formal: Koin palsu memiliki bobot lebih kecil dari koin kanan; bobot...
Deciding Graph Homomorphism secara umum NP-Complete. Apakah ada hasil yang mempelajari masalah ini ketika grafik yang mendasari memiliki struktur aljabar (seperti memutuskan homomorfisme dari grafik Cayley atau Cayley coset ke grafik lain dengan beberapa struktur tertentu juga)? Selain hasil...
Apakah ada konstruksi yang diketahui dari kode koreksi kesalahan linier (dengan parameter wajar), sehingga ketika diberi vektor Boolean , ia juga mengembalikan vektor Boolean whp? (meskipun sudah selesai )ECC:Fnq→FmqECC:Fqn→Fqm\mathsf{ECC}:\mathbb{F}_q^n \to \mathbb{F}_q^mv∈{0,1}nv∈{0,1}nv\in...
Biarkan . Saya perlu membuat grafik sederhana G dengan ketebalan g sedemikian sehingga himpunan semua g- sepeda membentuk penutup tepi ganda G (yaitu, setiap tepi dibagi dengan tepat dua g- sepeda), dan sedemikian rupa sehingga persimpangan dari dua g- sepeda bisa berupa simpul, tepi, atau kosong....