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

1
Tên của hàm sao cho ?
Đặt là ngôn ngữ và một hàm trên hai tham số với thuộc tính cho tất cả và , trả về một phần tử của khi và chỉ khi cả và là các phần tử của :LLLf:Σ⋆×Σ⋆→Σ⋆f:Σ⋆×Σ⋆→Σ⋆f\colon {\Sigma^\star}\times\Sigma^\star\to\Sigma^\starxxxyyyfffLLLxxxyyyLLL f(x,y)∈L⟺x∈L∧y∈L.f(x,y)∈L⟺x∈L∧y∈L.f(x,y)\in L \iff x\in L\wedge y\in L . Câu hỏi Các chức …
1
so với
Là ? Hay nói chung hơn là ?NPPP=PPPNPPP=PPP\mathsf{NP^{PP}} = \mathsf{P^{PP}}NPPP⊆PPP/polyNPPP⊆PPP/poly\mathsf{NP^{PP}} \subseteq \mathsf{P^{PP}/poly}
1
Hộp nhỏ nhất theo trục có chứa điểm
Đầu vào: Một tập hợp điểm trong và một số nguyên .nnnR3R3\mathbb{R}^3k≤nk≤nk \le n Đầu ra: Hộp giới hạn liên kết trục âm lượng nhỏ nhất chứa ít nhất trong số điểm này.kkknnn Tôi tự hỏi nếu có bất kỳ thuật toán được biết đến cho vấn đề này. Điều …
2
Hậu quả của thuế TNCN trên
Cho sao cho các hệ số của được giới hạn bởi , giữ?p , q B p ≡ qp(x1,…,xn),q(x1,…,xn)∈Z[x1,…,xn]p(x1,…,xn),q(x1,…,xn)∈Z[x1,…,xn]p(x_1,\dots,x_n),q(x_1,\dots,x_n)\in \Bbb Z[x_1,\dots,x_n]p,qp,qp,qBBBp≡qp≡qp\equiv q Bổ đề Schwartz-Zippel áp dụng ở đây vì nó giữ cho các trường chung và và có một thuật toán ngẫu nhiên hiệu quả cho vấn đề này.Z⊂QZ⊂Q\Bbb …
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.