Pertanyaan yang diberi tag «reference-request»

Biarkan menjadi seperangkat bentuk persegi panjang dimensional. Untuk dan , menjelaskan panjang dalam dimensi . Notasi yang sama digunakan untuk wadah . Masalah pengemasan orthogonal dimensional (OPP- ) adalah memutuskan apakah cocok dengan wadah tanpa tumpang tindih. Secara formal, masalahnya adalah untuk mengetahui apakah ada fungsi , sehinggaVVVDDDd∈{1,...,D}d∈{1,...,D}d \in \{1,...,D\}v∈Vv∈Vv …

9 cc.complexity-theory  reference-request  np-hardness  packing 

saya bertanya-tanya apakah mereka merupakan pendekatan merumuskan Kendaraan-Routing-Masalah dengan Time-Windows ( VRPTW ) (sebagai masalah keputusan) sebagai contoh SAT / SMT? (alternatif: TSP) Misalnya: "Apakah ada solusi yang valid mengunjungi semua pelanggan dalam jendela waktu mereka dengan n = 10 kendaraan?" Masalah keputusan ini bisa bermanfaat untuk langkah pertama meminimalkan …

9 ds.algorithms  reference-request  sat  reductions  tsp 

Sebagai tindak lanjut dari pertanyaan saya sebelumnya , yang diselesaikan oleh Hsien-Chih Chang, berikut adalah upaya lain untuk menemukan generalisasi yang sesuai dari teorema Ramsey. (Anda tidak perlu membaca pertanyaan sebelumnya; posting ini mandiri.) Parameter: bilangan bulat 1 ≪ d≪ k ≪ n1≪d≪k≪n1 \ll d \ll k \ll n diberikan, …

9 reference-request  co.combinatorics  ramsey-theory 

Misalkan kita diberi grafik dan parameter k , ϵ . Apakah ada rentang nilai untuk k (atau itu bisa dilakukan untuk semua k ) yang dimungkinkan untuk menguji apakah G adalah ε -far dari memiliki set independen ukuran setidaknya k dalam waktu O ( n + poly ( 1 / …

9 ds.algorithms  graph-theory  reference-request  property-testing 

Saya (perlahan-lahan) menulis ulasan tentang Buku Pegangan Algoritma Chemoinformatika untuk SIGACT News. Satu bab membahas implementasi perangkat lunak saat ini, dan pencarian basis data (dan aplikasi lain) tampaknya tidak memanfaatkan sebanyak mungkin informasi tentang grafik. Di sisi lain, mungkin lebih banyak algoritma teoretis akan terlalu sulit untuk diterapkan. Sepertinya ini …

9 reference-request 

Adakah yang telah mengeksplorasi apa kompleksitas sirkuit dari masalah keputusan klasik seperti Primes atau Graph-Isomorphism untuk ukuran input ?NNN Sementara kebanyakan orang tertarik pada bagaimana penskalaan berjalan sebagai , saya pikir itu juga akan menarik untuk melihat bagaimana ini tumbuh untuk N. kecil. Tentu, kita sekarang tahu Primes ada di …

9 cc.complexity-theory  reference-request  circuit-complexity 

Saya mengambil kursus tingkat pascasarjana dalam teori informasi dan saya selalu dikejutkan oleh berapa banyak optimasi cembung yang ada dalam subjek ini. Namun, buktinya tampaknya menghindar dari menggunakan mesin penuh teori relaksasi, dualitas, dll. Ini bisa dimengerti karena Anda tidak ingin memerlukan semester penuh optimasi cembung untuk mengajarkan hal-hal ini. …

9 reference-request  it.information-theory  convex-optimization 

Pertimbangkan masalah di mana Anda diberi kisi 2D (misalnya papan catur) di mana kotak-kotak tertentu ditempati dan Anda perlu menempatkan jumlah minimum persegi panjang non-tumpang tindih dari berbagai ukuran wxh di mana w = 1 atau h = 1 (yaitu "persegi" segmen ") sedemikian rupa sehingga semua kotak kosong dihuni …

9 reference-request  np-hardness  planar-graphs  packing  polynomial-time 

Dari Wikipedia : VPVP\mathsf{VP} : Kelas VP adalah analog aljabar dari P; itu adalah kelas polinomialfff derajat polinomial yang memiliki sirkuit ukuran polinomial atas lapangan tetapKKK . VNPVNP\mathsf{VNP} : Kelas VNP adalah analog dari NP. VNP dapat dianggap sebagai kelas polinomfff untuk tingkat polinom sedemikian sehingga dengan monomial kita dapat …

8 cc.complexity-theory  reference-request  quantum-computing  circuit-complexity 

Ini adalah kebingungan referensi. Kadang-kadang saya melihat orang menggunakan istilah "bahasa logam komputasi Moggi" untuk merujuk pada kalkulus yang disajikan oleh Moggi, dan kadang-kadang ke "kalkulus lambda komputasi Moggi". Kadang-kadang mereka menggunakan λm lλml\lambda_{ml} dan kadang-kadang λcλc\lambda_c . Saya selalu berasumsi mereka berdua hal yang sama, tetapi membaca abstrak dari …

8 reference-request  typed-lambda-calculus  monad 

Apakah ada di antara Anda yang tahu referensi untuk hasil berikut (secara mengejutkan membosankan untuk dibuktikan)? Diberikan graf planar terhubung dengan n simpul dan tepi n + t , ia memiliki pemisah simpul ukuran O ( √GGGnnnn + tn+tn+t.O ( t√+ 1 )O(t+1)O( \sqrt{t}+1)

8 reference-request  planar-graphs  separation 

Pertimbangkan masalah set-persimpangan: Alice dan Bob masing-masing mendapatkan subset dari {1,…,n}{1,…,n}\left\{ 1,\ldots, n\right\} , dan mereka ingin tahu apakah set mereka berpotongan. Ini adalah masalah kanonik dari kompleksitas komunikasi, dan diketahui bahwa protokol acak untuk masalah ini memerlukan Θ(n)Θ(n)\Theta(n) bit komunikasi ( lihat survei di sini ). Dalam kasus di …

8 reference-request  communication-complexity 

Apakah #P pertama kali diperkenalkan di [1] ? [1] Valiant, Leslie G. "Kompleksitas komputasi yang permanen." Ilmu komputer teoretis 8.2 (1979): 189-201.

8 cc.complexity-theory  reference-request  counting-complexity  ho.history-overview 

The vertex jumlah isoperimetric dari grafik adalah . Beberapa makalah akademis menyatakan bahwa masalah penghitungan angka verteks isoperimetrik dari grafik adalah NP-hard, tanpa bukti atau referensi.G=(V,E)G=(V,E)G=(V,E) iV(G)=min{|N(S)||S|:S⊆V,1≤|S|≤|V|2}iV(G)=min{|N(S)||S|:S⊆V,1≤|S|≤|V|2}i_V(G) = \min\{\frac{|N(S)|}{|S|} : S \subseteq V, 1\le |S|\le \frac{|V|}{2}\} Bisakah Anda memberikan referensi di mana masalah berikut ini ditunjukkan NP-lengkap: diberi grafik GGG …

8 reference-request  graph-theory  np-hardness 

Saya sudah lama bertanya-tanya tentang asal-usul nama "kebal" dan "sederhana". Saya juga mengajukan pertanyaan yang sama kepada Andrea Sorbi, yang pada gilirannya melibatkan beberapa rekan kerja lagi dalam diskusi. Tentang "sederhana" kami memiliki beberapa dugaan. Martin Davis mengemukakan bahwa namanya berasal dari analogi dengan kelompok-kelompok sederhana. Grup sederhana tidak memiliki …

8 reference-request  lo.logic  computability  philosophy