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

Giả thuyết đẳng cấu của Berman và Hartmanis nói rằng tất cả các tập hợp là các đa thức thời gian đẳng cấu với nhau. Điều này có nghĩa là các vấn đề N P -complete có thể giảm thiểu một cách hiệu quả thông qua các mệnh đề tính …

8 cc.complexity-theory  structural-complexity 

Tôi đang tìm kiếm nhiều vấn đề hơn trong với giới hạn thời gian cổ điển phức tạp thấp hơn. Một số người có thể tự hỏi làm thế nào bạn có thể chứng minh một giới hạn thấp hơn như vậy. Xem bên dưới.PPP Giới hạn dưới theo cấp …

8 cc.complexity-theory  complexity-classes  time-complexity  lower-bounds  polynomial-time 

Theo Bổ đề bắt tay: bất kỳ đồ thị vô hướng nào có đỉnh có độ là số lẻ phải có một số đỉnh khác có độ là số lẻ. Quan sát này có nghĩa là nếu chúng ta được đưa ra một biểu đồ và một đỉnh độ lẻ …

8 complexity-classes  counting-complexity  ppad 

┌M┐⌜M⌝\ulcorner M \urcornerMMMMMMEE\mathsf E E┌M┐=βM.E⌜M⌝=βM.\mathsf E \ulcorner M \urcorner =_\beta M. Có nhiều loại mã hóa như Kleene sử dụng các số tự nhiên và mã hóa hiện đại hiệu quả nhất là cú pháp bậc cao của Mogensen. Một mã hóa có thể (tầm thường) khác là chức năng …

8 lambda-calculus  encoding 

Là một số ví dụ về các vấn đề với thời gian bán đa thức (những gì ) thuật toán mà hình dung có thể ở P . Nói cách khác, họ đang ở trongQPQPQPPPPQPQPQP không có lý do rõ ràng nào ngoài việc không ai tìm thấy thuật toán …

8 polynomial-time 

Có thuật toán để kiểm tra xem một biểu thức chính quy có kích thước n có khớp với một chuỗi kích thước m hay không , giả sử một bảng chữ cái có kích thước cố định nếu điều đó quan trọng?O ( n + m )O(n+m)O(n+m)nnnmmm Thuật toán …

8 regular-expressions  parsing 

Có bất kỳ giới hạn giao tiếp ngẫu nhiên nào (không tầm thường) đã biết về các giới hạn khoảng cách tự nhiên trong đó các đầu vào 1 nằm cách xa tuyến tính 0 đầu vào không? Đó là, các chức năng phần như vậy mà khoảng cách Hamming …

8 reference-request  communication-complexity 

Với vectơ v 1 , ... , v n ∈ R N với ‖ v i ‖ 2 2 ≤ 1 ở mọi i ∈ { 1 , ... , n } , bang Komlos phỏng đoán rằng, có một c ∈ R (không phụ thuộc vào n , N …

8 co.combinatorics  extremal-combinatorics 

Tôi đã luôn tự hỏi nếu bằng chứng trong khoa học máy tính sẽ được coi là bằng chứng đầy đủ của đề xuất nếu họ cần phải giả định các quy luật vật lý? Ví dụ: tôi đang tự hỏi điều gì sẽ xảy ra nếu ai đó một …

8 proofs 

Trong [1] có ghi rằng "Vẫn còn một câu hỏi mở là liệu mọi chức năng trong có mạch T C 0 hay không (mặc dù ít nhất được biết rằng không phải tất cả các chức năng # P đều có mạch T C 0 thống nhất DLogTime )."#P#P\#PTC0TC0TC^0#P#P\#PTC0TC0TC^0 …

8 cc.complexity-theory  complexity-classes  circuit-complexity  counting-complexity  permanent 

Người ta thường định nghĩa tính đồng bộ của đối với việc giảm nhiều không gian một log.PPP Tôi đang tìm kiếm một sự phức tạp lớp như rằng có P vấn đề -complete WRT nhiều-one C -reductions.C⊆LC⊆LC \subseteq \mathsf{L}PP\mathsf{P}CCC Lớp giảm nhiều nhất được biết đến nhỏ nhất sao …

8 cc.complexity-theory  complexity-classes 

Tôi đã xem qua một bài thuyết trình của Ryan O'Dellell về các nguyên tắc bất biến. Sau khi chứng minh định lý Berry-Esseen, có một slide thảo luận về các phần mở rộng của định lý và một phần được đề cập có một cái gọi là "phiên bản …

8 reference-request  pr.probability  limited-independence  k-wise-independence 

Tôi nhớ đã đọc một bài đăng trên blog hiển thị hai phiên bản của cùng một bằng chứng, một phiên bản được viết bởi một người và một phiên bản khác bằng máy và yêu cầu độc giả cho biết đó là phiên bản nào. Cố gắng google bài …

8 proofs  proof-assistants 

Trong bài báo 'Về việc biến mất các hệ số Kronecker' ở đây trong http://arxiv.org/pdf/1507.02955v1.pdf , cho thấy việc quyết định tính tích cực của các hệ số kronecker nói chung là khó khăn. Tuy nhiên, có một cảnh báo rằng chỉ có tính tích cực của 'hệ số Kronecker …

8 cc.complexity-theory 

\newcommand{\cc}[1]{\mathsf{#1}} Liệu một định lý dọc theo các dòng sau có: Nếu g(n)g(n)g(n) lớn hơn một chút so với f(n)f(n)f(n) , thì NTIME(g)∩coNTIME(g)≠NTIME(f)∩coNTIME(f)NTIME(g)∩coNTIME(g)≠NTIME(f)∩coNTIME(f)\cc{NTIME}(g) \cap \cc{coNTIME}(g) \neq \cc{NTIME}(f) \cap \cc{coNTIME}(f) ? Thật dễ dàng để chỉ ra rằng ít nhất NP∩coNP≠NEXP∩coNEXPNP∩coNP≠NEXP∩coNEXP\cc{NP} \cap \cc{coNP} \neq \cc{NEXP} \cap \cc{coNEXP} . Chứng minh: Giả …

8 cc.complexity-theory  time-complexity  nondeterminism  time-hierarchy  hierarchy-theorems