Ilmu Komputer Teoritis

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

1
Menemukan jalur pendek dan gemuk
Motivasi: Dalam algoritme maxflow jalur augmentasi standar, loop dalam membutuhkan jalur pencarian dari sumber untuk tenggelam dalam grafik tertimbang yang diarahkan. Secara teoritis, sudah diketahui umum bahwa agar algoritme itu bahkan berhenti ketika ada kapasitas tepi yang tidak rasional, kita perlu memberi batasan pada jalur yang kita temukan. Algoritma Edmonds-Karp, …
1
CSP dengan lebar hypertree fraksional tak terbatas
a´a´\acute{\rm a}HHHHHH∈PTIME∈PTIME\in PTIME Definisi, dll. Untuk survei hebat dekomposisi dan treewidth pohon standar, lihat di sini (Terima kasih sebelumnya, JeffE!). Biarkan HHH menjadi hypergraph. Kemudian untuk H hypergraph HHHdan pemetaan γ:E(H)→[0,∞)γ:E(H)→[0,∞)\gamma : E(H) \rightarrow [0,\infty) , B(γ)=B(γ)=B(\gamma) = { v∈V(H):∑e∈V(H),v∈eγ(e)≥1v∈V(H):∑e∈V(H),v∈eγ(e)≥1v \in V(H) : \sum_{e \in V(H), v \in e} \gamma(e) …
2
Mendekati automorfisme non-sepele grafik?
Grafik automorphism adalah permutasi dari node grafik yang menginduksi bijection di tepi set EEE . Secara formal, Ini adalah permutasi fff node tersebut (u,v)∈E(kamu,v)∈E(u,v)\in E IFF (f(u),f(v))∈E(f(kamu),f(v))∈E(f(u),f(v))\in E Tentukan tepi yang dilanggar untuk beberapa permutasi sebagai tepi yang dipetakan ke non-edge atau edge yang preimage-nya non-edge. Input : Grafik non-kaku …
3
Algoritma untuk perhitungan ekuilibrium Nash.
Saya mencari di forum untuk melihat apakah ini telah ditanyakan sebelumnya, dan sementara teori permainan algoritmik dibahas, saya tidak dapat menemukan masalah ini ditangani. Saya mencoba mencari tahu apa algoritma yang paling dikenal adalah untuk menghitung perkiraan (strategi campuran) Nash equilibria dalam permainan n-orang yang terbatas. Tentu saja, algoritma ini …
2
Memukul set bilangan bulat untuk pengujian inklusi
Saya mencari fungsi hash atas set H (.) Dan relasi R (.,.) Sehingga jika A dimasukkan dalam B maka R (H (A), H (B)). Tentu saja, R (.,.) Harus mudah diverifikasi (waktu konstan), dan H (A) harus dihitung dalam waktu linier. Salah satu contoh H dan R adalah: H(A)=⋁x∈A1<<(h(x)modk)H(A)=⋁x∈A1<<(h(x)modk)H(A) = …
2
Apakah ada yang diketahui kelas kompleksitas yang mengandung mitra online masalah optimasi?
Apakah ada yang diketahui kelas kompleksitas yang mengandung mitra online masalah optimasi? Jika tidak, lalu bagaimana kelas tersebut dapat didefinisikan? Kita tahu bahwa banyak masalah memiliki versi online mereka: misalnya versi online dari masalah pengemasan bin. Masalah online lebih sulit diukur dengan rasio kompetitif mereka. Dan saya belum menemukan yang …
1
Dunia Relatif Yang “Tidak Terkalahkan” Tidak Ada
Generator kebal didefinisikan sebagai berikut: Biarkan menjadi hubungan NP, dan menjadi mesin yang menerima . Secara tidak resmi, sebuah program adalah generator yang kebal jika, pada input , ia menghasilkan pasangan instance-saksi , dengan , menurut distribusi di mana setiap musuh waktu-polinomial yang diberikan gagal menemukan saksi bahwa , dengan …
1
Apa kompleksitas dari subset SAT berikut?
Asumsikan P≠NPP≠NPP \neq NP Mari gunakan notasi berikut iaia{}^ia for tetration (mis.ia=aa⋅⋅⋅ai timesia=aa⋅⋅⋅a⏟i times{}^ia = \underbrace{a^{a^{\cdot^{\cdot^{\cdot^{a}}}}}}_{i \mbox{ times}} ). | x | adalah ukuran instance x. Biarkan L menjadi bahasa, L|f(i)≤|x|&lt;g(i):={x∈L | ∃i∈N, f(i)≤|x|&lt;g(i)}L|f(i)≤|x|&lt;g(i):={x∈L | ∃i∈N, f(i)≤|x|&lt;g(i)}L|_{f(i)\leq |x| < g(i)} := \{ x \in L \mbox{ | } \exists i …
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.