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

Năm 1973, Weiner đã xây dựng các cây hậu tố thời gian tuyến tính đầu tiên. Thuật toán được đơn giản hóa vào năm 1976 bởi McCreight và năm 1995 bởi Ukkonen. Tuy nhiên, tôi thấy thuật toán của Ukkonen tương đối liên quan đến khái niệm. Đã có sự …

13 ds.algorithms 

Tôi quan tâm đến sự phức tạp của vấn đề tập hợp thống trị (DSP) trong một số lớp biểu đồ cụ thể là các lớp con của biểu đồ hợp âm . Biểu đồ là một biểu đồ đường dẫn không có hướng nếu nó là biểu đồ giao …

13 reference-request  graph-theory  graph-algorithms  np-hardness 

Một người bạn của tôi hỏi tôi vấn đề lập lịch trình sau đây trên cây. Tôi thấy nó rất sạch sẽ và thú vị. Có bất kỳ tài liệu tham khảo cho nó? Vấn đề: Có một cây , mỗi cạnh có chi phí di chuyển đối xứng là …

13 ds.algorithms  graph-algorithms  np-hardness 

Với một đồ thị phẳng, người ta có thể nhúng nó trong thời gian tuyến tính tự do vào lưới . Tôi quan tâm liệu có bất kỳ thuật toán hiệu quả nào được biết là đường thẳng nhúng một đồ thị phẳng cắt chéo tự do vào lưới , …

13 reference-request  graph-theory  graph-drawing 

Tôi đang tìm kiếm một số lời khuyên và thông tin phản hồi. Bối cảnh: Tôi là một sinh viên toán học đại học, có hứng thú với khoa học máy tính lý thuyết (độ phức tạp tính toán, lý thuyết đồ thị, tổ hợp). Tôi muốn theo đuổi bằng …

13 soft-question  career 

Định nghĩa của các số Ramsey như sau: Đặt là một số dương sao cho mọi đồ thị có thứ tự ít nhất R ( a , b ) chứa một cụm trên một đỉnh hoặc một bộ ổn định trên bR ( a , b )R(một,b)R(a,b)R ( a , …

13 reference-request  co.combinatorics  ramsey-theory 

Định lý giả định song song của Raz là một kết quả quan trọng trong PCP, không gần đúng, v.v ... Định lý này được định hình như sau. Một trò chơi , trong đó S , T , A , B là các tập hữu hạn, π là phân …

13 cc.complexity-theory  complexity-classes  pcp  interactive-proofs 

Tôi quan tâm đến việc mô hình hóa các đối tượng, từ lập trình hướng đối tượng, trong lý thuyết loại phụ thuộc. Là một ứng dụng khả thi, tôi muốn có một mô hình nơi tôi có thể mô tả các tính năng khác nhau của các ngôn ngữ …

13 reference-request  pl.programming-languages  type-theory  coq  dependent-type 

Tôi có một câu hỏi liên quan đến khả năng giảm SERF của Impagliazzo , Paturi và Zane và các thuật toán phụ. Định nghĩa về khả năng giảm SERF đưa ra những điều sau đây: Nếu là Nông nô khử để và có O ( 2 ε n ) …

13 cc.complexity-theory  reference-request 

Trong hành trình tiếp tục cố gắng học tính toán lambda, "Lambda-Tính toán và Kết hợp giới thiệu" của Hindley & Seldin đã đề cập đến bài báo sau (của Bruce Lercher) chứng minh rằng biểu thức có thể rút gọn duy nhất giống với (chuyển đổi modulo alpha) là: …

13 lo.logic  lambda-calculus 

Trong định nghĩa về khả năng biến đổi tham số cố định (mạnh), giới hạn thời gian là một biểu thức có dạng trong đó thể hiện đầu vào là với tham số , là đa thức và là hàm tính toán .f( k ) . p ( | x …

13 cc.complexity-theory  reference-request  fixed-parameter-tractable 

Tôi đã gặp vấn đề này trong một lĩnh vực vật lý cách khá xa khoa học máy tính, nhưng có vẻ như đây là loại câu hỏi đã được nghiên cứu trong CS, vì vậy tôi nghĩ tôi sẽ thử vận ​​may của mình khi hỏi nó ở đây. …

13 ds.algorithms  cg.comp-geom 

Đặt một ma trận thực n × vuông A và hai vectơ x và b có độ dài n , sao cho A x = b . Việc giải cho x thông qua loại bỏ Gaussian tiêu chuẩn mang lại độ phức tạp tổng hợp gần như O ( n …

13 cc.complexity-theory  linear-algebra  matrices 

Hàm Mobius được định nghĩa là , nếu có thừa số nguyên tố bình phương và nếu tất cả các số nguyên tố đều khác nhau. Có thể tính toán mà không tính toán thừa số nguyên tố của không?μ(n)μ(n)\mu(n)μ(1)=1μ(1)=1\mu(1)=1μ(n)=0μ(n)=0\mu(n)=0nnnμ(p1…pk)=(−1)kμ(p1…pk)=(−1)k\mu(p_1 \dots p_k)= (-1)^kp1,…,pkp1,…,pkp_1,\dots,p_kμ(n)μ(n)\mu(n)nnn

13 comp-number-theory 

Tôi đã thực hiện một số tìm kiếm về điều này nhưng tôi cũng không thể tìm thấy câu trả lời. Huck trả lời đầy đủ. Cảm ơn :)

13 cc.complexity-theory  complexity-classes  time-complexity  space-complexity