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

Sự bất bình đẳng của Fano có thể được nêu ra dưới nhiều hình thức và một dạng đặc biệt hữu ích là do (với một sửa đổi nhỏ) đối với Oded Regev : Đặt là biến ngẫu nhiên và đặt trong đó là một quá trình ngẫu nhiên. Giả …

10 it.information-theory  randomized-algorithms 

Câu hỏi này là về việc liệu có bất kỳ tarp Turing có thể đảo ngược nào được biết đến hay không, trong đó "đảo ngược" có nghĩa là theo nghĩa của Axelsen và Glück , và "tarpit" là một khái niệm không chính thức hơn nhiều (và có thể …

10 fl.formal-languages  computability  machine-models 

Trong một thời gian bây giờ, tôi đã rất quan tâm đến lý thuyết ngôn ngữ lập trình và tính toán quy trình và đã bắt đầu nghiên cứu chúng. Thành thật mà nói, đó là điều mà tôi không bận tâm cho sự nghiệp. Tôi thấy lý thuyết là …

10 pl.programming-languages  process-algebra 

Các định lý không hoàn chỉnh của Kurt Gödel thiết lập "các giới hạn vốn có của tất cả trừ các hệ tiên đề tầm thường nhất có khả năng thực hiện số học". Lý thuyết loại Homotopy cung cấp một nền tảng thay thế cho toán học, một nền …

10 lo.logic  type-systems  homotopy-type-theory 

Chúng tôi biết rằng sự bình đẳng beta của các thuật ngữ lambda được gõ đơn giản là có thể quyết định. Cho M, N: →, liệu có thể quyết định được cho tất cả X MX _β≃β≃β≃_β NX không?

10 ds.algorithms  pl.programming-languages  type-theory  functional-programming 

Các thuật toán thời gian đa thức được biết đến với việc tạo ra các nhóm hoán vị, điều này rất thú vị vì sau đó chúng ta có thể biểu diễn các nhóm đó một cách cô đọng mà không từ bỏ các thuật toán thời gian đa thức …

10 permutations  gr.group-theory 

Tối thiểu hóa mạch là vấn đề để giảm thiểu kích thước của một mạch nhất định. Có bất cứ điều gì tương tự cho các chương trình chung? Cụ thể câu hỏi của tôi là - Có tồn tại các thuật toán để giảm thiểu # hướng dẫn cho …

10 pl.programming-languages  optimization  circuit-complexity  semantics  compilers 

Các thuật toán phân tán có khả năng phục hồi các thất bại có thể là xác định hoặc xác suất. Lấy ví dụ về vấn đề đồng thuận. Paxos mang tính quyết định theo nghĩa đưa ra giả định mà nó đưa ra, nó luôn hoạt động. Tóm lại, …

10 randomized-algorithms  dc.distributed-comp  fault-tolerance 

Được biết, với lỗi , định nghĩa trường hợp xấu nhất về độ phức tạp giao tiếp ngẫu nhiên và định nghĩa trường hợp trung bình là tương đương. Nhưng khi sai số là 0 , thì độ phức tạp giao tiếp ngẫu nhiên trong trường hợp xấu nhất cũng …

10 communication-complexity 

Trong Chương 13 "Đối tượng nguyên tử" của cuốn sách "Thuật toán phân tán" của Nancy Lynch, tính tuyến tính (còn được gọi là nguyên tử) được chứng minh là một đặc tính an toàn. Điều đó có nghĩa là, thuộc tính theo dõi tương ứng của nó là không …

10 reference-request  fl.formal-languages  dc.distributed-comp  concurrency 

Đưa ra một biểu đồ có hướng, chúng tôi muốn quyết định xem nó có chứa một chu kỳ có hướng có độ dài chẵn hay không. Bài viết năm 1997 này của YUSTER và ZWICK nói rằng vấn đề không được biết là ở và nó cũng không phải …

10 cc.complexity-theory  reference-request  graph-theory 

Một automaton xác định A=(X,Q,q0,F,δ)A=(X,Q,q0,F,δ)\mathcal A = (X, Q, q_0, F, \delta) được gọi là kkk -local cho k>0k>0k > 0 nếu với mọi w∈Xkw∈Xkw \in X^k set {δ(q,w):q∈Q}{δ(q,w):q∈Q}\{ \delta(q,w) : q \in Q \} có chứa ít nhất một yếu tố. Theo trực giác có nghĩa là nếu một …

10 fl.formal-languages  automata-theory  synchronization 

Là một vấn đề CNF SAT NP có khó không khi tổng số (nhưng không phải chiều rộng) của các mệnh đề 3 hoặc nhiều hơn được giới hạn ở trên bởi một hằng số? Điều gì đặc biệt khi chỉ có một điều khoản như vậy?

10 np-hardness  sat  upper-bounds 

Có 2DFA với trạng thái (trong đó n không cần thiết, giả sử ít nhất 4) yêu cầu ít nhất 2 n trạng thái để mô phỏng bằng cách sử dụng bất kỳ DFA nào?nnnnnn2n2n2^n Một hai chiều DFA (2DFA) là một automaton hữu hạn nhà nước xác định được …

10 automata-theory  lower-bounds 

Chúng ta có thể thực hiện tích chập trong O ( n logn )Ôi(nđăng nhập⁡n)O(n\log n) cho đa thức cộng / nhân với FFT. Tuy nhiên, cách tiếp cận dường như không phổ biến đối với nhẫn nói chung. Đã có bất kỳ tiến triển nào đối với tích chập …

10 algebra  polynomials  fft  convolution