Ilmu Komputer Teoritis

T&J untuk ilmuwan dan peneliti komputer teoretis di bidang terkait

2
ETH: k-SAT vs SAT?
vv_v[v]={0,1,…,v−1}[v]={0,1,…,v−1}[v] = \{0,1,\dots,v-1\}kkkkkkkkkvv_vs ∞ = lim k → ∞ s ksk=infM{δ∣∃c∀v(M decides k-SATv in 2vδ−c) time)}sk=infM{δ∣∃c∀v(M decides k-SATv in 2vδ−c) time)}s_k = \inf_M\{\delta \mid \exists c\forall v\;( M\text{ decides } k\text{-SAT$_v$ in }2^{v\delta-c})\text{ time}) \}s∞=limk→∞sks∞=limk→∞sks_\infty = \lim_{k \to \infty} s_k. Agar ini masuk akal, kita harus berasumsi bahwa ada batasan …
2
Kekerasan menghasilkan contoh masalah yang lebih sulit daripada kompleksitas masalah yang dihasilkan
Dalam film Inception Cobb meminta Ariadne untuk merancang labirin yang membutuhkan waktu dua kali lebih banyak untuk merancang. Ini cocok untuk masalah umum di mana kita memiliki situasi di mana kita terbatas sumber daya dengan jumlah tertentu dan siapa pun yang akan memverifikasi bahwa masalah ini berada dalam kelas kompleksitas …
1
Apakah Kolmogorov kompleksitas quasi-surjective?
Untuk kompleksitas Kolmogorov diinduksi oleh bahasa deskripsi dasarnya-optimal, apakah ada bilangan bulat c sehingga untuk semua bilangan bulat positif n , ada string x sedemikian rupa sehinggaKK\hspace{.02 in}Kcccnnnxxxn&lt;K( x )&lt;n+cn&lt;K(x)&lt;n+c\;\;\; n \: < \: K(x) \: < \: n\hspace{-0.04 in}+\hspace{-0.03 in}c \;\;\;\;? Berbeda dengan pertanyaan yang saya terinspirasi , jawaban …
2
Partisi satu set bilangan bulat ke dalam himpunan bagian dengan jumlah yang ditentukan
Saya melihat masalah ini: Sebuah peningkatan urutan non bilangan bulat positif m1,m2,...,mkm1,m2,...,mkm_1,m_2,..., m_k dikatakan n-realisasi jika set In={1,2,...,n}In={1,2,...,n}I_n=\{1,2,..., n\} dapat dibagi menjadi kkk saling himpunan bagian menguraikan S1,S2,...,SkS1,S2,...,SkS_1,S_2,...,S_k sedemikian rupa sehingga ∑x∈Six=mi∑x∈Six=mi\sum_{x\in S_i} x = m_i untuk setiap1≤i≤k1≤i≤k1\leq i \leq k . dalam makalah "PARTISI DARI SATU INTEGER KE DALAM …
2
Hasil kerumitan tentang grafik bipartit lokal
Grafik adalah bipartit lokal jika lingkungan terbuka dari setiap simpul menginduksi grafik bipartit. (Menurut penelusuran, nama yang sama dapat digunakan untuk hal lain yang terkait dengan permukaan). NP-hard untuk masalah grafik umum mana yang menjadi polinomial untuk grafik bipartit lokal dan yang tetap NP-hard? Terutama tertarik pada klik dan pewarnaan. …
1
Asimetri yang aneh dalam penokohan yang baik
Ada beberapa teorema, kebanyakan dalam teori grafik dan optimasi kombinatorial, yang sering disebut sebagai penokohan yang baik. Mereka biasanya menempatkan properti di , dengan menunjukkan bahwa suatu properti dapat bertahan, atau ada beberapa kendala yang teridentifikasi dengan baik yang mencegahnya menahan. Seringkali mereka disajikan sebagai teorema min-max, lihat pertanyaan sebelumnya …
1
Konversi antara k-SAT dan XOR-SAT
Menurut XOR Satisfiability Solver Module untuk Integrasi DPLL oleh Tero Laitinen, kita membutuhkan klausa CNF untuk mengubah klausa XOR-SAT literal jika kita tidak ingin menambah jumlah literal. Jadi, saya mengerti bahwa biaya komputasi untuk mengubah ekspresi XOR-SAT menjadi CNF -SAT adalah eksponensial. n k2n - 12n-12^{n-1}nnnkkk Pertanyaan saya: Berapa biaya …
1
apa yang diketahui tentang persimpangan set efisien
Katakanlah Anda memiliki sejumlah set bilangan bulat ( ), dan Anda ingin menghitung persimpangan dari beberapa dari mereka ( ∩ S 1 , S 3 , S 7 mungkin query, tetapi Anda ingin untuk mendukung banyak pertanyaan seperti itu, atau bahkan mungkin semua pertanyaan yang mungkin)S1,S2...SnS1,S2...SnS_1, S_2 ... S_n∩S1,S3,S7∩S1,S3,S7\cap S_1, …
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.