[Sunting 21 Juli 2011: Saya mengedit pertanyaan untuk meminta lebih banyak contoh]
Pertanyaan ini meminta diskusi terdokumentasi atau lebih banyak contoh pengamatan heuristik.
Beberapa masalah matematika yang mengakui algoritma yang efisien tampaknya cembung di alam. Saya sedang memikirkan program linier dan semi-pasti dan berbagai masalah kombinatorial yang mengurangi ini.
Pertama, apakah ada keluarga masalah lain yang menerima algoritma yang efisien untuk kasus cembung / konjungtif? (Saya akan sangat berterima kasih atas contoh prosedur pengambilan keputusan untuk teori logis) Kedua, saya akan menghargai petunjuk untuk artikel atau bagian artikel yang membahas pendapat seperti "bersembunyi di bawah banyak algoritma yang efisien adalah struktur cembung."
[Sunting, 21 Juli 2011: Menambahkan yang berikut.]
Saya ingin menambahkan beberapa klarifikasi. Maaf saya tidak memasukkan mereka sebelumnya. Saya tertarik pada masalah keputusan logis. Tampak bagi saya bahwa prosedur pengambilan keputusan yang efisien ada untuk fragmen konjungtif dari beberapa masalah logis. Berikut ini dua contoh.
Solver yang efisien untuk teori orde pertama bebas-kuantifier (seperti solver SMT untuk persamaan, persamaan dengan fungsi yang tidak diinterpretasikan, aritmatika perbedaan, dll.) Biasanya memiliki solver yang efisien untuk fragmen konjungtif dan menggunakan berbagai teknik untuk mengatasi disjungsi dan negasi. Dalam analisis statis program, abstraksi yang umum digunakan (dan efisien) didasarkan pada interval integer, persamaan afin, oktagon atau polyhedra. Dalam abstraksi berbasis predikat dan verifikasi program, ada sesuatu yang disebut abstraksi Cartesian, yang secara intuitif memiliki konjungsi predikat daripada kombinasi Boolean yang sewenang-wenang. Semua kasus ini bagi saya adalah tentang mendapatkan efisiensi dengan mengeksploitasi fragmen konjungtif masalah.
Fragmen konjungtif dari teori orde pertama linear, aritmatika nyata dapat mengekspresikan polyhedra cembung. Inilah sebabnya saya awalnya bertanya tentang pemrograman cembung.
Saya tertarik untuk mengetahui masalah atau contoh lain di mana solusi yang efisien (dalam pengertian teoretis atau praktis) didasarkan pada sub-masalah cembung atau konjungtif. Jika ada kondisi umum lain (Suresh disebutkan sub-modularitas) tolong sebutkan dan masalah yang solusinya mengeksploitasi kondisi itu.