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

Cho một chuỗi , bìa palindrom là một chuỗi của các từ sao cho và sao cho mỗi là một palindrom.w = σ1σ2... σnw= =σ1σ2Giáo dụcσnw=\sigma_1\sigma_2\ldots\sigma_np1p2⋯ pmp1p2⋯pmp_1p_2\cdots p_mpTôipTôip_ip1p2⋯ pm= wp1p2⋯pm= =wp_1p_2\cdots p_m = wpTôipTôip_i Làm thế nào là khó khăn để tìm kích thước bìa palindrom tối thiểu? (điều này …

12 ds.algorithms  dynamic-programming  string-matching  covering-problems 

Tôi là một chuyên gia toán học quan tâm đến TCS. Tôi muốn tự nghiên cứu các thuật toán và độ phức tạp của chúng để giải các bài toán lý thuyết nhóm như tìm thứ tự các phần tử, liệt kê tập hợp, tìm trình tạo, kiểm tra nếu …

12 ds.algorithms  reference-request  gr.group-theory  books 

Tôi tự hỏi, điều gì sẽ xảy ra, nếu trong định nghĩa của (Phân cấp đa thức, xem, ví dụ, ở đây ), vai trò của sẽ được thay thế bằng ?PHPHPHR PNPNPNPR PRPRP Dường như, chúng ta vẫn có thể xây dựng một hệ thống phân cấp, giống như …

12 cc.complexity-theory  randomized-algorithms  randomness 

Hãy biểu thị kích thước tối thiểu của một (không-monotone) số học ( + , × , - ) mạch tính toán một cho đa tuyến đa thức f ( x 1 , ... , x n ) = Σ e ∈ E cMột ( f)Một(f)A(f)( + , × , …

12 cc.complexity-theory  circuit-complexity  lower-bounds  arithmetic-circuits 

Với hỗn hợp N∈ NN∈NN\in\Bbb N trường số chung rây tốt nhất là thuật toán thừa biết đối với số nguyên nhân tử của NNN . Nó là một thuật toán ngẫu nhiên và chúng tôi nhận được một phức tạp dự kiến của O ( e649√( nhật kýN)13( nhật …

12 reference-request  derandomization  factoring  average-case-complexity  worst-case 

'Cho , có , ' là . x , y ∈ N a x 2 + b y = c N Pa,b,c∈Na,b,c∈Na,b,c\in\Bbb Nx,y∈Nx,y∈Nx,y\in\Bbb Nax2+by=cax2+by=cax^2+by=cNPNP\mathsf{NP} Lớp phức tạp nào 'Cho , có , ' thuộc về? x , y ∈ N a x 2 + b y 2 = ca,b,c∈Na,b,c∈Na,b,c\in\Bbb Nx,y∈Nx,y∈Nx,y\in\Bbb …

12 ds.algorithms  complexity-classes  reductions  nt.number-theory  np-complete 

Karp giảm là thời gian đa thức tính toán nhiều - một giảm giữa hai vấn đề tính toán. Nhiều giảm Karp thực sự là một chức năng. Điều này đặt ra câu hỏi liệu mỗi lần giảm Karp là tiêm (chức năng một người). Có một vấn đề -complete …

12 cc.complexity-theory 

vào năm 1979 Hopcroft / Ullman đã viết rằng L ⊆ P ⊆ NP ⊆ PSpace được biết đến nhưng L ⊊ PSpace là ngăn chặn thích hợp (& tầm thường) duy nhất được biết mặc dù tất cả đều được phỏng đoán là ngăn chặn thích hợp và "nơi …

12 cc.complexity-theory  reference-request  lower-bounds  p-vs-np  conditional-results 

Cho một đồ thị , chúng ta cần tìm ra số lượng chính của tập hợp các đỉnh lớn nhất để mỗi trong số chúng có mặt trong mọi kết hợp tối đa có thể.GGG Có một giải pháp bên cạnh việc loại bỏ rõ ràng từng đỉnh và tìm …

12 graph-theory  graph-algorithms 

P/poly=NP/polyP/poly=NP/polyP/poly = NP/poly ngụ ý , do đó có những hậu quả thú vị như sự sụp đổ của hệ thống phân cấp đa thức.NP⊆P/polyNP⊆P/polyNP \subseteq P/poly Có ý nghĩa thú vị nào cho không?P/poly≠NP/polyP/poly≠NP/polyP/poly \neq NP/poly

12 cc.complexity-theory  conditional-results  advice-and-nonuniformity 

Đặt kkk là cố định và để GGG là đồ thị (được kết nối). Nếu tôi không nhầm, thì theo công trình của Bodlaender [1, Định lý 3.11] rằng nếu treewidth của GGG có ít nhất 2k32k32k^3 , thì GGG chứa một ngôi sao K1,kK1,kK_{1,k} là trẻ vị thành niên. …

12 graph-theory  treewidth  graph-minor 

Hãy nghĩ về mô hình thăm dò tế bào. Có cấu trúc dữ liệu nào có thể phân bổ các khối bộ nhớ liền kề có độ dài bất kỳ (như vd malloc trong C) và giải phóng chúng, đồng thời tránh phân đoạn bộ nhớ và thực hiện mọi …

12 ds.data-structures  memory 

Được biết, việc thêm ngẫu nhiên lỗi giới hạn vào PSPACE không thêm sức mạnh. Đó là, BPPSAPCE = PSPACE. Người ta không biết có phải P = BPP hay không, nhưng người ta biết rằng .B PP⊆ Σ2∩ Π2BPP⊆Σ2∩Π2BPP\subseteq \Sigma_2\cap \Pi_2 Vì vậy, có thể (trong khi được phỏng …

12 randomness  derandomization  polynomial-hierarchy 

Tôi đang tìm kiếm một danh sách về sự phức tạp đã biết hoặc chưa biết của các vấn đề lý thuyết / đại số số khác nhau. Ví dụ, GCD trong đang mở,NC1NC1NC^1 bao thanh toán trong là mở,PPP cohomology điện toán sheaf là -hard#P#P\#P , Arora và Barak …

12 cc.complexity-theory  big-list  algebra  open-problem 

Tôi đang đọc khảo sát của Trevisan và Lovett về các ứng dụng của tổ hợp phụ gia trong TCS. Phần lớn các ứng dụng này thuộc độ phức tạp tính toán , ví dụ: giới hạn dưới. Tôi tự hỏi nếu tổ hợp phụ gia cũng đã tìm thấy …

12 ds.algorithms  reference-request  co.combinatorics