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

Cho một nhóm hoạt động trên tập với tổng thứ tự và , thuật toán hiệu quả nhất để quyết định xem x có phải là phần tử nhỏ nhất trong quỹ đạo của nó hay nói cách khác là quyết định nếu ?GGGXXX≤≤\leqx ∈ Xx∈Xx\in Xm i n ( …

8 ds.algorithms  gr.group-theory 

Đặt là một ma trận vuông đã cho. Có bằng chứng nào cho thấy việc đánh bại các giới hạn bậc hai đối với sao cho có thể khó không?AAABBBdet(B)=per(A)det(B)=per(A)\text{det}(B) = \text{per}(A) Có bất kỳ phỏng đoán hợp lý nào ngụ ý rằng việc chứng minh giới hạn dưới là …

8 cc.complexity-theory  lower-bounds  counting-complexity  algebraic-complexity  permanent 

Tôi tò mò muốn biết liệu có bất kỳ bài báo nào tồn tại về khả năng dữ liệu hình ảnh được thay đổi theo phương pháp steganograph để giữ lại tính toàn vẹn của nó sau khi nó được mã hóa lại thành một định dạng khác (ví dụ: …

8 cr.crypto-security 

Có cách nào để biết về các vị trí tiến sĩ mới trong TCS khác sau đó chỉ tìm kiếm các trang web của nhóm nghiên cứu đa dạng / nhóm? Có thể mọi người từ các ngành khác nhau (lý thuyết loại, xác minh, độ phức tạp, v.v.) có …

8 soft-question  career 

Các kết quả được biết đến nhiều nhất cho cấu trúc dữ liệu cung cấp các hoạt động sau trên các tập hợp điểm trong không gian euclid 2 chiều: insert(x)insert(x)insert(x) delete(x)delete(x)delete(x) nearest(k,x)nearest(k,x)nearest(k,x) (trong đó là số nguyên lớn hơn 0) trả về điểm gần nhất với trong tập hợp.kkkkkkxxx …

8 ds.data-structures  cg.comp-geom  near-neighbors 

Có một phương pháp tầm thường để mô phỏng bước đi ngẫu nhiên qua biểu đồ bằng cách lũy thừa ma trận kề ngẫu nhiên ngẫu nhiên, nhưng vấn đề sẽ trở nên khó khăn hơn nếu bạn yêu cầu bước đi ngẫu nhiên tự tránh. Nói cách khác, quá …

8 ds.algorithms  graph-algorithms  randomized-algorithms  random-walks 

Trong bài báo "Chữ ký ngắn từ cặp Weil" của Boneh, Lynn và Shacham, tôi đã trải qua bằng chứng bảo mật giống như bất kỳ chữ ký nào khác. Nhưng kỹ thuật được sử dụng trong bài báo này là khá độc đáo. Thay vì sử dụng các đối …

8 reference-request  cr.crypto-security 

Cho các số nguyên dương và e , những gì đã biết về độ phức tạp không gian và thời gian của việc tìm trọng số Hamming (số nhị phân 1s) của b e ?bbbeeebebeb^e Nếu bit b log có sẵn, số lượng đơn giản có thể được tính bằng …

8 ds.algorithms  co.combinatorics  space-bounded  space-time-tradeoff 

Wikipedia nói rằng những lợi thế của smoothsort so với heapsort là đôi khi nó đến gần hơn với thời gian O (n). Bây giờ tôi đã tự hỏi heapsort có lợi thế gì so với smoothsort? Hoặc để viết lại câu hỏi này, smoothsort luôn là lựa chọn tốt …

8 ds.algorithms  sorting 

Xét thuật toán sau, trong đó là hằng số cố định.ccc void partition(A[1..m], B[1..n]) { if m=1 or n=1 return k = random(min(c,m,n)); partition A into k sublists Asub[1..k] at k-1 distinct random indices partition B into k sublists Bsub[1..k] at k-1 distinct random indices for i = 1 to …

8 cc.complexity-theory  ds.algorithms  randomness  randomized-algorithms  recursive 

Để cho MộtTôiAiA_{i}, BTôiBiB_{i}là một chuỗi các ma trận tuần hoàn có kích thướcn × nn×nn \times n. Chúng ta biết rằng Σni = 1MộtTôiBTôi∑i=1nAiBi\sum_{i=1}^{n}A_{i}B_{i} có thể được tính theo thời gian bậc hai (sử dụng FFT để chéo và thêm ma trận đường chéo và áp dụng IFFT). Giả …

8 ds.algorithms  matrix-product 

Giả sử chúng ta có một hình vuông và một bảng chữ cái . Chúng tôi đặt một yếu tố của ở mỗi vị trí của hình vuông. Một yếu tố có thể xuất hiện ở nhiều hơn một vị trí. Hạn chế là một cặp của hàng xóm (hoặc …

8 co.combinatorics 

Gần đây tôi đã tham dự một Hội thảo về giả danh tại Viện toán học Chennai về giả danh. Venkat Guruswami đã đưa ra tuyên bố đẹp sau đây trong suốt cuộc nói chuyện của mình (về lý thuyết mã hóa): Điều đáng chú ý là người ta có …

8 reference-request  polynomials 

Đóng cửa từ vựng là một kỹ thuật triển khai trong các ngôn ngữ với các chức năng hạng nhất. Tôi quan tâm đến một mô tả hoạt động đơn giản của việc đóng chức năng. Có ai biết mô tả như vậy?

8 reference-request  pl.programming-languages  semantics  compilers 

Mặc dù L.Berman đã chứng minh rằng vấn đề xác minh hoặc làm sai lệch bất kỳ tuyên bố bậc nhất nào về các số thực sử dụng phép cộng và so sánh nhưng không nhân lên là trong EXPSPACE. Nó đã được chỉ ra bao nhiêu thời gian hoặc …

8 cc.complexity-theory  lo.logic  model-theory