Ilmu Komputer Teoritis

Saya ingin tahu apakah ketidakseragaman membantu fungsi komputasi dalam praktik. Mudah untuk menunjukkan bahwa ada fungsi dalam , mengambil fungsi yang tidak dapat dihitung dan mempertimbangkan bahasa { }, yang jelas memiliki sirkuit sederhana yang tidak seragam , tetapi tidak dapat dihitung secara seragam sama sekali, tetapi ini bukan jenis …

27 cc.complexity-theory  uniformity 

Parity-L adalah seperangkat bahasa yang dikenali oleh mesin Turing non-deterministik yang hanya dapat membedakan antara bilangan genap atau ganjil dari jalur "penerimaan" (daripada jumlah jalur penerimaan yang nol atau tidak nol), dan yang merupakan selanjutnya dibatasi untuk bekerja di ruang logaritmik. Memecahkan sistem persamaan linear lebih dari ℤ 2 adalah …

27 cc.complexity-theory  complexity-classes  conditional-results 

Ini mungkin pertanyaan dasar, tapi saya sudah membaca dan mencoba memahami makalah tentang mata pelajaran seperti perhitungan ekuilibrium Nash dan pengujian degenerasi linier dan tidak yakin bagaimana bilangan real ditentukan sebagai input. Misalnya, ketika dinyatakan bahwa LDT memiliki batas polinomial tertentu lebih rendah, bagaimana bilangan real ditentukan ketika mereka diperlakukan …

27 cc.complexity-theory  computability  na.numerical-analysis  computing-over-reals  computable-analysis 

Saya baru-baru ini membaca beberapa ide dan sejarah dari pekerjaan inovatif yang dilakukan oleh berbagai ahli logika dan ahli matematika mengenai kemampuan komputasi. Sementara konsep-konsep individual cukup jelas bagi saya, saya sedang mencoba untuk memahami dengan kuat hubungan antar-hubungan di sana dan tingkat abstrak di mana mereka semua terkait. Kita …

27 lo.logic  computability  turing-machines 

Anda mungkin sering menemukan metode cutting plane, propagasi variabel, cabang dan terikat, pembelajaran klausa, backtracking cerdas atau bahkan heuristik manusia yang dirajut tangan dalam solver SAT. Namun selama beberapa dekade solver SAT terbaik sangat bergantung pada teknik bukti resolusi dan menggunakan kombinasi hal-hal lain hanya untuk bantuan dan untuk mengarahkan …

27 reference-request  big-list  sat  proof-complexity  lo.logic 

Diberi oleh matriks biner (entri adalah atau ), masalahnya adalah menentukan apakah ada dua vektor biner sehingga (semua operasi dilakukan dengan ). Apakah ini masalah NP-hard?n M 0 1 v 1 ≠ v 2 M v 1 = M v 2 ZmmmnnnMMM000111v1≠v2v1≠v2v_1 \ne v_2Mv1=Mv2Mv1=Mv2Mv_1 = Mv_2ZZ\mathbb{Z} Jelas dalam NP karena …

27 cc.complexity-theory  np-hardness  linear-algebra 

Saya sudah memikirkan masalah berikut untuk sementara waktu, dan saya belum menemukan solusi polinomial untuk itu. Hanya sumber kasar. Saya sudah mencoba untuk mengurangi masalah NP-Complete ke dalamnya juga tanpa keberhasilan. Inilah masalahnya : Anda memiliki set yang diurutkan {(A1,B1),(A2,B2),…,(An,Bn)}{(A1,B1),(A2,B2),…,(An,Bn)}\{(A_1, B_1), (A_2, B_2), \ldots, (A_n, B_n)\} dari pasangan bilangan bulat …

27 ds.algorithms  np-hardness  sorting 

Apa itu "daerah mudah" untuk kepuasan? Dengan kata lain, kondisi yang cukup untuk beberapa pemecah SAT untuk dapat menemukan tugas yang memuaskan, dengan asumsi itu ada. Salah satu contoh adalah ketika masing-masing klausa berbagi variabel dengan beberapa klausa lain, karena bukti LLL yang konstruktif , apakah ada hasil lain di …

27 cc.complexity-theory  sat 

Secara umum dianggap tidak mungkin bahwa komputer kuantum akan dapat menyelesaikan masalah NP-complete secara efisien. Dalam kasus klasik, salah satu pendekatan untuk mengatasi masalah tersebut adalah dengan menggunakan algoritma aproksimasi. Apakah ada penelitian tentang algoritma aproksimasi menggunakan komputasi kuantum di mana kuantum memberikan peningkatan signifikan terhadap metode pendekatan klasik? Dengan …

27 quantum-computing  approximation-algorithms 

Beberapa masalah NP-hard yang eksponensial pada grafik umum adalah subeksponensial pada grafik planar karena treewidth paling banyak dan mereka eksponensial dalam treewidth.4.9|V(G)|−−−−−−√4.9|V(G)|4.9 \sqrt{|V(G)|} Pada dasarnya saya tertarik jika ada algoritma subeksponensial untuk PLANAR SAT yang NP-complete. Biarkan menjadi rumus CNF pada variabel dan klausa ke- adalah .ϕϕ\phixixix_iiiicicic_i The grafik kejadian …

26 graph-theory  sat  reductions 

Kami mendefinisikan bahasa pohon biasa seperti dalam buku TATA : Ini adalah kumpulan pohon yang diterima oleh otomat pohon terbatas non-deterministik (Bab 1) atau, setara, serangkaian pohon yang dihasilkan oleh tata bahasa pohon biasa (Bab 2). Kedua formalisme memiliki kemiripan yang erat dengan analog string yang terkenal. Apakah ada bahasa …

26 co.combinatorics  fl.formal-languages  tree  regular-language 

Para editor bijak lain di Wikipedia telah menolak permintaan saya untuk memindahkan artikel Wikipedia tentang algoritma Rabin-Karp ke apa yang saya pikir seharusnya disebut, algoritma Karp-Rabin, dengan dasar bahwa nama Rabin-Karp lebih sering digunakan ( salah, jika seseorang menggunakan nomor Google sarjana), atau itu terdengar lebih baik dengan suara keras …

26 ho.history-overview  string-matching 

Saya tertarik pada kerapatan α 3-satisfiability (3-SAT) yang kritis . Diduga bahwa α seperti itu ada: jika jumlah klausa 3-SAT yang dihasilkan secara acak adalah ( α + ϵ ) n atau lebih, mereka hampir pasti tidak memuaskan. (Di sini ϵ adalah konstanta kecil dan n adalah jumlah variabel.) Jika …

26 pr.probability  random-k-sat 

Saya yakin semua orang tahu percobaan jarum Buffon di abad ke-18, itu adalah salah satu algoritma probabilistik pertama yang menghitung .ππ\pi Implementasi algoritma di komputer biasanya membutuhkan penggunaan , atau fungsi trigonometrik, yang, bahkan jika mereka diimplementasikan sebagai seri terpotong, semacam mengalahkan tujuannya.ππ\pi Untuk menghindari masalah ini, ada algoritma metode …

26 ds.algorithms  reference-request  randomized-algorithms  ho.history-overview  monte-carlo 

Saya telah mendengar dari beberapa peneliti senior dalam ilmu komputer teoretis bahwa bekerja di pekerjaan industri non-penelitian, bahkan hanya selama beberapa tahun, akan membunuh karier Anda sebagai peneliti TCS. Namun saya curiga terhadap klaim bahwa jalan dari menjadi peneliti TCS ke pekerjaan non-penelitian di industri adalah jalan satu arah. Saya …

26 soft-question  advice-request  career