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

Những hạn chế của tổng thể lập trình chức năng là gì? Nó không hoàn thành Turing, nhưng vẫn hỗ trợ một tập hợp lớn các chương trình có thể. Có những cấu trúc quan trọng mà bạn có thể viết bằng ngôn ngữ Turing-Complete, nhưng không phải bằng ngôn …

19 computability  pl.programming-languages  functional-programming 

Bạn được cho một đồ thị với n đỉnh. Nó có thể là lưỡng cực nếu bạn muốn. Có m bộ cạnh E 1 , ... , E m ⊆ E (nói rời nhau). Tôi quan tâm đến vấn đề tìm một tập hợp con S ⊆ V , càng …

19 ds.algorithms  graph-theory  optimization 

Trong điện toán phân tán, vấn đề đồng thuận dường như là một trong những chủ đề trọng tâm đã thu hút nghiên cứu chuyên sâu. Cụ thể, bài báo "Không thể đồng thuận phân tán với quy trình một lỗi" đã nhận được giải thưởng giấy ảnh hưởng PODC …

19 reference-request  big-picture  dc.distributed-comp 

Chúng ta có thể tính toán một ngưỡng ngưỡng -bit theo các mạch kích thước đa thức (không giới hạn quạt) có độ sâu lg n khôngnnn ? Ngoài ra, chúng ta có thể đếm số lượng 1 trong các bit đầu vào bằng các mạch này không?lgnlglgnlg⁡nlg⁡lg⁡n\frac{\lg n}{\lg \lg …

19 cc.complexity-theory  circuit-complexity  circuit-depth 

Bất cứ ai có thể giúp tôi với vấn đề sau đây? Tôi muốn tìm một số giá trị ai,bjai,bja_i,b_j (mod NNN ) trong đó i = 1,2 , Hoài , K, j = 1,2 , Lỗi , Ki=1,2,…,K,j=1,2,…,Ki=1,2,…,K,j=1,2,…,Ki=1,2,…,K, j=1,2,…,K (ví dụ K=6K=6K=6 ), đưa ra danh sách các giá …

19 ds.algorithms  linear-algebra  nt.number-theory  cryptographic-attack  comp-number-theory 

Hãy xem xét mô hình sau: một chuỗi n-bit r = r 1 ... r n được chọn thống nhất một cách ngẫu nhiên. Tiếp theo, mỗi chỉ số i∈ {1, ..., n} được đặt vào tập A với xác suất độc lập 1/2. Cuối cùng, một đối thủ được …

19 cc.complexity-theory  randomized-algorithms  derandomization  extractors 

Có một ví dụ về một lớp biểu đồ cho vấn đề tô màu đỉnh trong P nhưng tập độc lập là vấn đề là NP hoàn thành?

19 cc.complexity-theory  graph-theory  complexity-classes 

Gần đây tôi đã có một cuộc thảo luận về Turing Machines khi tôi được hỏi, "Máy Turing có nguồn gốc từ automata, hay nó là cách khác"? Tôi không biết câu trả lời tất nhiên, nhưng tôi tò mò muốn tìm hiểu. Máy Turing về cơ bản là một …

19 fl.formal-languages  computability  automata-theory  turing-machines  ho.history-overview 

Giả sử chúng ta có một đồ thị có trọng số vô hướng (với các trọng số không âm). Chúng ta hãy giả sử rằng tất cả các đường dẫn ngắn nhất trong là duy nhất. Giả sử chúng ta có các đường dẫn (các chuỗi các cạnh không có …

19 graph-theory  co.combinatorics  graph-algorithms  metrics 

Tôi quan tâm đến sự phức tạp của việc giải phương trình tuyến tính modulo k , đối với k tùy ý (và đặc biệt quan tâm đến các lũy thừa), cụ thể: Vấn đề. Đối với một hệ phương trình đã cho của mmm phương trình tuyến tính trong …

19 cc.complexity-theory  dc.parallel-comp  linear-algebra  nt.number-theory 

Bối cảnh: Chao Xu đã đăng câu hỏi sau đây một thời gian trước: " Có thuật toán sắp xếp so sánh đã biết nào không làm giảm việc sắp xếp mạng, sao cho mỗi phần tử được so sánh lần không?Ôi ( khúc gỗn )O(log⁡n)O(\log n) ". Có vẻ …

19 ds.algorithms  sorting  sorting-network 

Các nguồn lực tốt nhất để tìm các bài đăng công việc cho vị trí giảng viên trong lý thuyết CS là gì? Có một trang web hoặc danh sách gửi thư nói riêng là khá toàn diện? Tôi hiện đang có ấn tượng rằng người ta phải sử dụng …

19 soft-question  career 

Tính hằng số Cheeger của đồ thị , còn được gọi là hằng số đẳng tích (vì về cơ bản nó là tỷ lệ diện tích / thể tích tối thiểu), được gọi là hoàn thành NP. Nói chung là gần đúng. Tôi quan tâm để tìm hiểu nếu các …

19 ds.algorithms  reference-request  graph-algorithms 

Hãy xem xét được trang bị sản phẩm chấm tiêu chuẩn và vectơ ở đó: . Chúng tôi muốn xây dựng cấu trúc dữ liệu cho phép truy vấn theo định dạng sau: đã cho output . Có thể vượt quá thời gian truy vấn O (nm) tầm thường không? …

19 ds.data-structures  cg.comp-geom  linear-algebra  metrics 

Trong bài báo của họ (trang 503) nhận xét của Garey và Johnson: ... có thể tồn tại một vấn đề hoàn thành NP mà không phải là NP hoàn chỉnh theo nghĩa mạnh hay không thể giải quyết được bằng thuật toán thời gian giả đa thức ... Có …

19 ds.algorithms  np-hardness  np