Pertanyaan yang diberi tag «reference-request»

Apakah ada algoritma untuk pemecahan SAT yang tidak berbasis DPLL? Atau apakah semua algoritma yang digunakan oleh pemecah SAT berbasis DPLL?

18 ds.algorithms  reference-request  sat 

Pendekatan baru-baru ini untuk menciptakan mata uang online terdesentralisasi, yang disebut Bitcoin , telah membangkitkan minat. Tujuannya adalah memiliki cara untuk mentransfer mata uang tanpa otoritas pusat dan tanpa pengeluaran ganda atau pemalsuan. Pendekatan mereka adalah membuat semua simpul dalam jaringan mencoba memverifikasi transaksi dengan melakukan perhitungan pembuktian kerja dan …

18 reference-request  cr.crypto-security 

Bekerja secara langsung dengan kompleksitas waktu atau batas bawah sirkuit menakutkan. Karenanya, kami mengembangkan alat seperti kompleksitas kueri (atau kompleksitas pohon keputusan) untuk menangani batasan yang lebih rendah. Karena setiap kueri mengambil setidaknya satu langkah unit, dan perhitungan antara kueri dihitung sebagai bebas, kompleksitas waktu paling tidak setinggi kompleksitas kueri. …

18 cc.complexity-theory  reference-request  time-complexity  query-complexity 

Apakah benar bahwa ada masalah dalam hirarki dipecahkan polinomial dalam waktu (oleh bolak mesin Turing di beberapa tingkat hirarki polinomial) yang tidak larut dalam O ( n k - 1 ) di setiap tingkat hierarki polinomial? Dengan kata lain - apakah ada teorema hierarki waktu untuk hierarki polinomial seperti yang …

18 cc.complexity-theory  reference-request  polynomial-hierarchy  time-hierarchy 

2 pertanyaan untuk ahli ilmu ukur atau ahli aljabar: Saya baru mulai terjun ke geometri komputasi dan saya menyukainya =) Saya mencoba membaca artikel terkenal oleh Guibas dan Stolfi yang disebut "Primitif untuk manipulasi subdivisi umum dan perhitungan Diagram Voronoi" untuk menerapkan algoritma triangulasi Delaunay. Saya tergoda untuk melewatkan semua …

18 reference-request  cg.comp-geom  algebra 

Metode derivatif Brzozowski adalah teknik yang sangat cantik untuk membangun automata deterministik dari ekspresi reguler dengan cara aljabar yang baik. Saya telah mengerjakan beberapa generalisasi lucu dari teknik ini untuk menangani beberapa kelas tata bahasa yang lebih besar, tetapi algoritmanya cukup mudah sehingga tampaknya sangat mungkin telah ditemukan sebelumnya. Tetapi …

18 reference-request  fl.formal-languages  parsing 

Masalah: Kami diberi satu set batang yang semuanya memiliki panjang bilangan bulat. Jumlah total panjangnya adalah n (n + 1) / 2. Bisakah kita memecahnya untuk mendapatkan ukuran tongkat dalam waktu polinomial? 1 , 2 , … , n1,2,...,n{1,2,\ldots,n} Anehnya, satu-satunya referensi yang saya temukan untuk masalah ini adalah diskusi …

18 reference-request  complexity-classes  puzzles 

Saya tertarik pada masalah berikut: Diberikan satu set X dan himpunan bagian X_1, ..., X_n dari X, temukan pewarnaan elemen-elemen X dengan k warna sehingga elemen-elemen di setiap X_i semuanya berwarna berbeda. Lebih khusus, saya melihat kasus di mana semua X_i berukuran k. Apakah ini dikenal dalam literatur dengan beberapa …

18 cc.complexity-theory  reference-request  np-hardness  hypergraphs 

Masalah Kepuasan , tentu saja, masalah mendasar dalam CS teoritis. Saya bermain dengan satu versi masalah dengan banyak sekali variabel. \newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} Pengaturan Dasar. Biarkan XXX menjadi seperangkat variabel bebas dan mungkin tak terbatas . Literal adalah variabel x∈Xx∈Xx \in X atau negasi ¬x¬x\neg x . Klausa ccc adalah disjungsi …

18 reference-request  lo.logic  sat  topology  lattice 

Dalam buku Sakarovitch tentang teori automata, ada tertulis di bagian pengantar tentang rasionalitas dalam kelompok bebas bahwa materi yang disajikan di dalamnya meletakkan "landasan teori matematika yang benar-benar bahasa bebas konteks". Namun demikian, ini tidak dibuat eksplisit, karena bahasa bebas konteks dan automata pushdown berada di luar cakupan buku ini. …

17 context-free  automata-theory  reference-request 

Hal ini diketahui bahwa ukuran minimum -circuits komputasi fungsi paritas persis sama dengan 3 ( n - 1 ) . Bukti batas bawah didasarkan pada metode eliminasi gerbang.U2U2U_23 ( n - 1 )3(n-1)3(n-1) Baru-baru ini, saya melihat bahwa metode gerbang penghapusan bekerja dengan baik juga untuk nondeterministic -circuits, dan kita …

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

Apakah kelas grafik berikut dikenal dalam literatur? Kelas grafik diparameterisasi dengan bilangan bulat positif dan dan berisi setiap grafik sedemikian rupa sehingga untuk setiap simpul , subgraf diinduksi pada semua simpul pada jarak paling banyak dari di memiliki treewidth paling banyak .dddtttG=(V,E)G=(V,E)G=(V,E)v∈Vv∈Vv\in VGGGdddvvvGGGttt Ini menggeneralisasi konsep treewidth yang dibatasi secara …

17 reference-request  graph-theory  treewidth 

Ketika mencoba meyakinkan para ekonom tentang relevansi teori kompleksitas dalam cetakan, adakah referensi standar untuk dikutip? Saya akrab dengan posting blog Noam Nisan , survei Tim Roughgarden , dan bab 11 esai Scott Aaronson . Posting-posting ini dapat diakses oleh para ilmuwan komputer, tetapi tidak menggunakan bahasa para ekonom dan …

17 cc.complexity-theory  reference-request  application-of-theory  ho.history-overview  ce.computational-finance 

Saya mencari contoh alami dari algoritma yang efisien (yaitu dalam waktu polinomial) st kebenaran dan efisiensi mereka dapat dibuktikan secara konstruktif (misalnya di PR APRSEBUAHPRA atau ), tetapiHSEBUAHHSEBUAHHA tidak ada bukti menggunakan hanya konsep efisien yang diketahui (yaitu kita tidak tahu bagaimana membuktikan kebenaran dan efisiensinya di atau ).S 1 …

17 cc.complexity-theory  reference-request  lo.logic  proof-complexity  constructive-mathematics 

Sebagian besar situs yang saya kunjungi membaca tentang topik menarik ini menyatakan sesuatu di sepanjang baris "Satu-satunya kekuatan dua (selain 2 itu sendiri) yang muncul dalam urutan ini adalah yang memiliki eksponen utama" (MathWorld) atau "Setelah 2, urutan ini berisi kekuatan 2 berikut: [...] yang merupakan kekuatan utama 2." (Wikipedia) …

17 reference-request  primes