Khoa học máy tính lý thuyết

Q & A cho các nhà khoa học và nhà nghiên cứu máy tính lý thuyết trong các lĩnh vực liên quan

3
Tìm phần còn lại của một đa thức cố định lớn khi chia cho một đa thức nhỏ chưa biết
Giả sử chúng ta hoạt động trong một lĩnh vực hữu hạn. Chúng tôi được cung cấp một đa thức cố định lớn p (x) (của, giả sử, độ 1000) trong lĩnh vực này. Đa thức này được biết trước và chúng tôi được phép thực hiện tính toán bằng …
2
Băm chuỗi gần như phổ quát trong
Dưới đây là hai gia đình của hàm băm trên dây x⃗ =⟨x0x1x2…xm⟩x→=⟨x0x1x2…xm⟩\vec{x} = \langle x_0 x_1 x_2 \dots x_m \rangle : pppxi∈Zpxi∈Zpx_i \in \mathbb{Z_p}h1a(x⃗ )=∑aiximodpha1(x→)=∑aiximodph^1_{a}(\vec{x}) = \sum a^i x_i \bmod pa∈Zpa∈Zpa \in \mathbb{Z}_p∀x≠y,Pa(h1a(x)=h1a(y))≤m/p∀x≠y,Pa(ha1(x)=ha1(y))≤m/p\forall x \neq y, P_a(h^1_a(x) = h^1_a(y)) \leq m/p Với , cho a_i \ in \ mathbb …
1
Trên
Chúng ta biết rằng L⊆NL⊆P⊆NPL⊆NL⊆P⊆NP\mathcal{L}\subseteq \mathcal{N\!L}\subseteq\mathcal{P}\subseteq\mathcal{N\!P} . Từ định lý Savitch,NL⊆L2NL⊆L2\mathcal{N\!L}\subseteq\mathcal{L}^2L≠L2L≠L2\mathcal{L}\neq\mathcal{L}^2L≠PL≠P\mathcal L\neq\mathcal PL2⊆PL2⊆P\mathcal L^2\subseteq\mathcal PL2⊈PL2⊈P\mathcal L^2\not\subseteq\mathcal PL2⊆PL2⊆P\mathcal L^2\subseteq\mathcal P Hơn nữa, có tồn tại hay không một vấn đề không phải là -complete là một câu hỏi mở và sự tồn tại như vậy sẽ ám chỉ , như mọi …
2
Lợi ích của ký hiệu Krivine là gì?
Tôi thấy một số người sử dụng ký hiệu của Krivine cho ứng dụng hàm khi trình bày cú pháp cho -calculus. Ví dụ: λ -term λ f . λ x . λ y . f x y (với quy ước thông thường mà ứng dụng hàm liên kết với …
Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookie và Chính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.