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

Tôi có rất nhiều hình khối trong không gian 3D, mỗi hình có điểm bắt đầu tại (x, y, z) và có kích thước là (Lx, Ly, Lz). Tôi tự hỏi làm thế nào để tìm một khối lập phương lớn nhất trong không gian 3D này được chứa trong …

18 ds.algorithms  cg.comp-geom 

Giả sử chúng ta có đa thức độ nhiều nhất là , , sao cho tổng số hệ số khác không là (nghĩa là đa thức là thưa thớt). Tôi quan tâm đến một thuật toán hiệu quả để tính toán đa thức: n n > m np1,...,pmp1,...,pmp_1,...,p_mnnnn>mn>mn>mnnn ∑ipi(x)2∑ipi(x)2\sum_i p_i(x)^2 …

18 ds.algorithms  algebra  polynomials 

Có đúng là có các vấn đề trong hệ thống phân cấp đa thức có thể giải quyết được trong thời gian (bởi một máy Turing xen kẽ ở một mức độ nào đó của hệ thống phân cấp đa thức) không thể giải quyết được trong trong bất kỳ …

18 cc.complexity-theory  reference-request  polynomial-hierarchy  time-hierarchy 

Đây trang khẳng định rằng nhiều ngôn ngữ không sử dụng phân nhóm ngầm (tương đương cấu trúc), thích phân nhóm rõ ràng / khai báo (tương đương khai báo) Tôi hầu như đã sử dụng các ngôn ngữ lập trình sử dụng phân nhóm rõ ràng . Những lợi …

18 pl.programming-languages  type-theory 

Phương pháp phái sinh của Brzozowski là một kỹ thuật rất đẹp để xây dựng tính tự động xác định từ các biểu thức chính quy theo cách đại số độc đáo. Tôi đã tìm ra một số khái quát dễ thương của kỹ thuật này để xử lý một …

18 reference-request  fl.formal-languages  parsing 

2 câu hỏi cho các phép đo địa lý hoặc đại số tính toán: Tôi mới bắt đầu đi sâu vào hình học tính toán và tôi yêu nó =) Tôi đang cố gắng đọc bài báo nổi tiếng của Guibas và Stolfi có tên là "Nguyên thủy cho việc …

18 reference-request  cg.comp-geom  algebra 

Lý thuyết phức tạp dường như nắm bắt được một cái gì đó cơ bản về cấu trúc của vũ trụ, trong đó nó chính thức hóa quan niệm trực quan rằng một số vấn đề khó hơn những vấn đề khác. Scott Aaronson dự đoán , "Giả định độ …

18 cc.complexity-theory  soft-question  big-picture 

Rất thường xuyên, nếu thời gian chạy của một thuật toán là một biểu thức phức tạp, bản thân thuật toán cũng phức tạp và không thực tế. Mỗi gốc khối và các yếu tố trong thời gian chạy tiệm cận có xu hướng tăng thêm độ phức tạp cho …

18 ds.algorithms  soft-question  recreational 

Trong một bài báo cổ điển, Munro và Paterson nghiên cứu vấn đề cần bao nhiêu dung lượng cho một thuật toán để tìm trung vị trong một mảng được sắp xếp ngẫu nhiên. Cụ thể, họ tập trung vào mô hình sau: đầu vào được đọc từ trái sang …

18 ds.algorithms  space-bounded  data-streams 

Trong các hệ thống chứng minh cho logic mệnh đề cổ điển nếu muốn chứng minh rằng một công thức nhất định không phải là một derivable đơn giản cho thấy ¬ ψ thể được bắt nguồn (mặc dù các kỹ thuật khác chắc chắn là có thể). Tính không …

18 lo.logic 

Điều nổi tiếng là có hàng tấn tài tử - bao gồm cả bản thân tôi - những người quan tâm đến vấn đề P so với NP. Ngoài ra còn có nhiều người đam mê - bản thân tôi vẫn bao gồm - những người đã cố gắng giải …

18 soft-question 

Tôi có đúng không khi hiểu rằng việc chứng minh NP hoàn thành là một nghiên cứu thành công? Nếu vậy tại sao?

18 cc.complexity-theory  np-hardness  big-picture 

Tôi quan tâm đến một hàm Boolean rõ ràng với thuộc tính sau: nếu không đổi trên một không gian con affine của , thì kích thước của không gian con này là .f:0 , 1n→0 , 1f:0,1n→0,1f \colon \\{0,1\\}^n \rightarrow \\{0,1\\}fff o ( n )0 , 1n0,1n\\{0,1\\}^no ( n …

18 cc.complexity-theory  circuit-complexity  derandomization  linear-algebra 

Gần đây, Watrous et al đã chứng minh rằng QIP (3) = PSPACE là một kết quả đáng chú ý. Đây là một kết quả đáng ngạc nhiên với bản thân tôi để nói ít nhất và nó làm tôi suy nghĩ ... Tôi tự hỏi điều gì sẽ xảy …

18 cc.complexity-theory  quantum-computing  space-bounded  conditional-results  interactive-proofs 

Đặt là một đồ thị đơn giản không có hướng và cho s , t ∈ V ( G ) là các đỉnh riêng biệt. Đặt độ dài của đường dẫn đơn giản là số cạnh trên đường dẫn. Tôi quan tâm đến việc tính toán kích thước tối đa …

18 matching  graph-algorithms