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

Lấy cảm hứng từ câu hỏi là bao thanh toán được gọi là P-hard , tôi tự hỏi trạng thái kiến ​​thức tương tự hiện nay là gì về độ cứng của đẳng cấu đồ thị. Tôi chắc chắn rằng hiện tại không biết GI có ở P không, nhưng: …

21 cc.complexity-theory  complexity-classes  graph-isomorphism 

Bất cứ ai cũng có thể giải thích sự khác biệt giữa: Các kiểu dữ liệu đại số (mà tôi khá quen thuộc) Các kiểu dữ liệu đại số tổng quát (điều gì làm cho chúng tổng quát?) Các loại quy nạp (ví dụ Coq) (Đặc biệt là các loại …

21 lo.logic  pl.programming-languages  type-theory  dependent-type 

Luca Trevisan cho thấy có bao nhiêu công trình của các trình tạo giả ngẫu nhiên trên thực tế có thể được coi là các công trình trích xuất: http: //www.cs.ber siêu.edu/~luca/pub/extractor-full.pdf Có một cuộc trò chuyện có ý nghĩa? Tức là, các cấu trúc "tự nhiên" của các trình …

21 cc.complexity-theory  pseudorandomness  pseudorandom-generators  extractors 

Gần đây tôi đã bắt đầu xem xét các thuật toán gần đúng cho các vấn đề NP-hard và tôi đã tự hỏi về lý do lý thuyết để nghiên cứu chúng. (Câu hỏi không có nghĩa là bị viêm - Tôi chỉ tò mò). Một số lý thuyết thực …

21 ds.algorithms  approximation-algorithms  big-picture  application-of-theory 

Tôi đã thấy (và nghe nói) tuyên bố rằng việc thêm tiên đề cổ điển của loại trừ trung gian vào Coq là an toàn, nhưng dường như tôi không thể tìm thấy một bài báo ủng hộ yêu cầu này. Các bài báo tôi thấy được liệt kê trên …

21 reference-request  lo.logic  coq 

O ( log c n ) O ( n k ) c k n c 2 n k kN CNC\mathsf{NC} nắm bắt ý tưởng về khả năng song song hiệu quả và một cách giải thích về nó là các vấn đề có thể giải quyết được trong thời gian …

21 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  dc.parallel-comp 

(Đây là phần tiếp theo của câu hỏi này và câu trả lời của nó .) Tôi có chương trình tuyến tính số nguyên (TU) hoàn toàn đơn phương (TU) sau đây. Dưới đây là tất cả các số nguyên dương được cho là một phần của đầu vào. Một …

21 ds.algorithms  reference-request  linear-programming  integer-programming  polynomial-time 

Hãy xem xét tập hợp các đồ thị phẳng trong đó tất cả các mặt bên trong là hình tam giác. Nếu có một điểm bên trong độ lẻ, đồ thị không thể có ba màu. Nếu mỗi điểm nội thất có mức độ chẵn thì nó luôn có thể …

21 graph-theory  co.combinatorics  graph-colouring 

Các Bổ đề bơm cho các ngôn ngữ thông thường có thể được chứng minh bằng cách xem xét một automaton hữu hạn nhà nước công nhận ngôn ngữ học, chọn một chuỗi với một lớn hơn chiều dài hơn con số của tiểu bang, và áp dụng các nguyên …

21 fl.formal-languages  automata-theory  proofs  grammars 

(gạch chéo từ MathOverflow) Chào, Tôi đã đọc chủ đề này: /mathpro/16393/finding-a- Motorcycle-of -fixed-length Tôi muốn tìm một chu kỳ 5 trong một biểu đồ. Trên thực tế, những gì tôi thực sự muốn là một chu kỳ kỳ lạ ngắn nhất có độ dài ít nhất là 5, nhưng …

21 ds.algorithms  graph-theory  graph-algorithms  sparse-matrix 

Mã Huffman cho phân phối xác suất ppp là mã tiền tố có độ dài từ mã trung bình có trọng số tối thiểu ∑piℓi∑piℓi\sum p_i \ell_i , trong đó ℓiℓi\ell_i là độ dài của từ mã thứ iii . Một định lý nổi tiếng là độ dài trung bình …

21 optimization  it.information-theory  coding-theory 

Tôi tò mò theo nghĩa rộng về những gì đã biết về các thuật toán song song trong P. Tôi đã tìm thấy bài viết wikipedia sau đây về chủ đề này: http://en.wikipedia.org/wiki/NC_%28complexity%29 Bài viết chứa câu sau: Không rõ liệu NC = P, nhưng hầu hết các nhà nghiên …

21 cc.complexity-theory  complexity-classes  big-picture 

BQP có bằng với BPP với quyền truy cập vào một nhà tiên tri ẩn nhóm Abelian không?

21 complexity-classes  quantum-computing 

Mối quan hệ giữa các thuật toán DNA và các lớp phức tạp được xác định bằng máy Turing là gì? Các biện pháp phức tạp như thời gian và không gian tương ứng với các thuật toán DNA là gì? Chúng có thể được sử dụng để giải quyết …

21 cc.complexity-theory  np-hardness  natural-computing  tsp 

Lời nói đầu Các hệ thống bằng chứng tương tác và các giao thức Arthur-Merlin đã được Goldwasser, Micali và Rackoff và Babai giới thiệu vào năm 1985. Lúc đầu, người ta cho rằng cái trước mạnh hơn cái sau, nhưng Goldwasser và Sipser cho thấy chúng có cùng sức …

21 cc.complexity-theory  lower-bounds  circuit-complexity