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

Tôi quan tâm đến các trường hợp "khó" riêng lẻ của các vấn đề hoàn thành NP. Ryan Williams đã thảo luận về vấn đề SAT0 tại blog của Richard Lipton . SAT0 hỏi liệu một trường hợp SAT có giải pháp cụ thể bao gồm tất cả 0 không. …

10 cc.complexity-theory  sat  hard-instances 

Một hệ thống sao là một gia đình n tập con của n-yếu tố thiết lập . Một hệ thống sao là đồ họa nếu có một số đồ thị mà là gia đình trong những khu phố đỉnh trong . Đó là -complete để quyết định xem một hệ …

10 cc.complexity-theory  np-hardness 

Chúng ta có các lớp phức tạp đối với độ phức tạp của trường hợp trung bình không? Ví dụ, có một lớp phức tạp (được đặt tên) cho các vấn đề cần thời gian đa thức dự kiến ​​để quyết định không? Một câu hỏi khác xem xét độ …

10 cc.complexity-theory  complexity-classes 

Xin chào, hiện tại tôi đang cố gắng tìm một đề tài luận văn thạc sĩ vững chắc liên quan đến một số nhánh của lý thuyết automata hoặc liên quan đến các ngôn ngữ chính thức. Tôi đang cố gắng tạo ra một số ý tưởng tốt cho một …

10 ds.algorithms  automata-theory  fl.formal-languages  soft-question 

Ngôn ngữ xác định ngữ cảnh (DCFL) và ngôn ngữ đẩy xuống rõ ràng (VPL) là cả hai bộ ngôn ngữ chính thức giữa ngôn ngữ không ngữ cảnh (CFL) và ngôn ngữ thông thường (REG). Có một ký hiệu dễ đọc nào có thể được thể hiện bằng ASCII …

10 fl.formal-languages 

Hiển thị một hàm có thể xây dựng theo không gian nhưng không thể định thời gian.f( n )f(n)f(n) Vấn đề này có liên quan đến sự phân tách có thể có giữa các lớp phức tạp DTIME (f (n)) và SPACE (f (n)) không?

10 cc.complexity-theory  space-bounded  separation 

Trong SODA 1995 , Jeff Erickson đã chỉ ra giới hạn thấp hơn cho sự thỏa mãn tuyến tính (kiểm tra xem một số tập hợp của số thực có thỏa mãn phương trình tuyến tính trên các biến không). Phương pháp chứng minh sử dụng infinitesimals và nguyên tắc …

10 cg.comp-geom  lower-bounds  algebraic-complexity 

Theo BPP / tuyến tính, tôi đề cập đến các máy BPP với lời khuyên tuyến tính, đáp ứng lời hứa khi được đưa ra lời khuyên "chính xác" và thuật toán khử cộng đồng sẽ cung cấp cho chúng tôi thuật toán P / tuyến tính hoặc (SUBEXP / …

10 cc.complexity-theory  derandomization  advice-and-nonuniformity 

Bằng chứng nào cho thấy ?c o R P≠ NPcoRP≠NPcoRP \neq NP c o R PcoRPcoRP là lớp ngôn ngữ tồn tại Máy Turing xác suất chạy trong thời gian đa thức và luôn trả lời Có trên đầu vào thuộc ngôn ngữ và trả lời Không với xác suất …

10 cc.complexity-theory  complexity-classes 

Hầu hết các tài liệu dường như quan tâm đến các máy có các phép lạ duy nhất cho các vấn đề cụ thể, tuy nhiên dường như có một vài bài báo xem xét các máy có nhiều phép lạ. Có một bài báo hay luận án tốt cung …

10 oracles  turing-machines 

Đặt là một đồ thị được kết nối không thường xuyên có mức độ giới hạn. Giả sử rằng mỗi nút chứa một mã thông báo duy nhất.G=(V,E)G=(V,E)G= (V, E) Tôi muốn xáo trộn đồng đều các mã thông báo giữa các biểu đồ chỉ bằng cách hoán đổi cục …

10 ds.algorithms  random-walks  dc.distributed-comp 

Có thể (dấu gạch chéo bạn có thể cung cấp một ví dụ) để giảm độ phức tạp tính toán của một vấn đề bằng cách sử dụng thuật toán song song không yêu cầu số lượng bộ xử lý so với kích thước đầu vào không?

10 cc.complexity-theory  dc.parallel-comp 

Có một số khái niệm khác nhau (có thể là không tương đương) về tính phổ quát tính toán (ví dụ: xem vài trang cuối của http://www.dna.caltech.edu/~woods/doad/WoodsNearyTCS07-DRAFT.pdf ) và không có sự đồng thuận giữa các các chuyên gia về khái niệm nào là chính xác nhất (xem ví dụ …

10 universal-computation 

Định lý Vùng nói rằng nếu chúng ta sắp xếp một n dòng với một dòng khác, thì tổng độ phức tạp của vùng đó , tập hợp tất cả các mặt 0-, 1- và 2 liền kề với nó, là O (n). Hằng số thực tế là ít nhất …

10 cg.comp-geom 

Bản chất phân chia và chinh phục của FFT có thể được khái quát thành các biến đổi khác (z Transform, chirp, v.v.) không? Có thuật toán nào mô tả biến đổi (tôi không biết thông tin nào sẽ cần) và có thể tạo ra hàm FFT nhanh không?

10 ds.algorithms