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

Trong một vấn đề tôi hiện đang làm việc, một phần mở rộng của toán tử nhiễu phát sinh một cách tự nhiên và tôi tò mò liệu đã có công việc trước đó chưa. Trước tiên, hãy để tôi sửa lại toán tử nhiễu cơ bản TεTεT_{\varepsilon} trên các …

16 boolean-functions  fourier-analysis 

Với một đồ thị vô hướng đỉnh , thời gian chạy được biết đến nhiều nhất bị ràng buộc để tìm một sơ đồ con là -biclique là gì? Có thuật toán tham số hóa nhanh hơn thuật toán về "đoán" một mặt của biclique và xem liệu có ít …

16 ds.algorithms  reference-request  graph-algorithms  parameterized-complexity 

Trong khi đọc blog của Dick Lipton, tôi tình cờ thấy một sự thật sau đây gần cuối bài viết Bourne Factor của anh ấy : Nếu, với mọi , tồn tại một mối quan hệ của mẫu nơi , và mỗi , và là có chiều dài chút, sau …

16 ds.algorithms  reference-request  factoring  comp-number-theory 

Chúng tôi nói rằng hàm Boolean là một -junta nếu có nhiều nhất biến ảnh hưởng.f:{0,1}n→{0,1}f:{0,1}n→{0,1}f: \{0,1\}^n \to \{0,1\}kkkfffkkk Đặt là -junta. Suy ra các biến của theo . Khắc phục Rõ ràng, tồn tại sao cho chứa ít nhất các biến ảnh hưởng của .f:{0,1}n→{0,1}f:{0,1}n→{0,1}f: \{0,1\}^n \to \{0,1\}2k2k2kfffx1,x2,…,xnx1,x2,…,xnx_1, x_2, …

16 co.combinatorics  boolean-functions  fourier-analysis  property-testing 

Tôi đã tự hỏi nếu các vấn đề mà thuật toán thời gian tuyến tính (trong kích thước đầu vào) tồn tại có thể được mô tả là sở hữu các thuộc tính cụ thể. Điều này bao gồm thời gian tuyến tính (ví dụ: kiểm tra thuộc tính, một …

16 cc.complexity-theory  ds.algorithms  complexity-classes  approximation-algorithms 

Tôi quan tâm đến vấn đề này: Đưa ra một đồ thị vô hướng , Có phân vùng G thành các đồ thị G 1 ( E 1 , V 1 ) và G 2 ( E 2 , V 2 ) sao cho G 1 và G 2 có …

16 cc.complexity-theory  graph-theory  graph-isomorphism 

Theo kết quả kinh điển của Kuroda, lớp phức tạp NSPACE [ ]nnn (còn được gọi là NLIN-SPACE) chính xác là lớp CSL của các ngôn ngữ nhạy cảm theo ngữ cảnh . Vấn đề thỏa mãn SAT nằm ở NSPACE [ ], do có thể kiểm tra dự đoán …

16 cc.complexity-theory  fl.formal-languages  sat  space-bounded 

Tôi đang tìm kiếm một vấn đề thuộc về trong các biểu đồ chung nhưng nằm trong trong các biểu đồ chiều rộng cây bị chặn, thực tế tôi nghĩ rằng vấn đề này khó hơn so với sử dụng lập trình động thông thường trong giới hạn đồ thị …

16 cc.complexity-theory  graph-theory  treewidth 

Tôi đang cố gắng để tìm ra cách con đường Graph theo Eppstein của thuật toán trong này giấy công trình và làm thế nào tôi có thể tái tạo lại đường đi ngắn nhất từ đến với tương ứng xây dựng đống .P(G)P(G)P(G)kkkssstttH(G)H(G)H(G) Cho đến nay: out(v)out(v)out(v) chứa tất …

16 ds.algorithms  graph-theory  graph-algorithms  directed-acyclic-graph 

Như đã biết, phân rã cây của đồ thị bao gồm một cây với một túi liên kết cho mỗi đỉnh , thỏa mãn các điều kiện sau:T T v ⊆ V ( G ) v ∈ V ( T )GGGTTTTv⊆V(G)Tv⊆V(G)T_v \subseteq V(G)v ∈V(T)v∈V(T)v \in V(T) Mỗi đỉnh của xảy …

16 ds.algorithms  graph-theory  graph-algorithms  treewidth 

Số lượng cổng nhị phân tối thiểu cần thiết để tính toán AND và OR của bit đầu vào là bao nhiêu? Giới hạn trên tầm thường là . Tôi tin rằng điều này là tối ưu, nhưng làm thế nào để chứng minh điều này? Kỹ thuật loại bỏ …

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

Do hầu hết các trường đại học Mỹ chỉ chấp nhận các ứng dụng trong một lĩnh vực duy nhất, tôi đang cố gắng tìm ra những lợi thế / bất lợi của việc áp dụng chương trình lý thuyết CS so với chương trình toán ứng dụng được đặt …

16 soft-question  advice-request  career 

Tôi đang tìm kiếm để có được một câu trả lời chắc chắn cho câu hỏi tiêu đề. Có một bộ quy tắc chuyển bất kỳ chương trình nào thành cấu hình của các phần hữu hạn trên một bảng vô hạn, sao cho nếu đen và trắng chỉ chơi …

16 computability  turing-machines  board-games  halting-problem  recreational 

Một cụm từ hoán vị là một mở rộng của tiêu chuẩn (E) BNF bối cảnh tự do định nghĩa ngữ pháp: một cụm từ hoán vị chứa sản xuất (hoặc tương đương, không thuộc đầu cuối) qua . Ở vị trí của cụm từ hoán vị, chúng tôi muốn …

16 ds.algorithms  fl.formal-languages  parsing  context-free 

Người ta biết rằng và là những vị thành niên bị cấm đối với đồ thị phẳng. Có hàng trăm vị thành niên bị cấm đối với các biểu đồ có thể nhúng trên hình xuyến. Số lượng vị thành niên bị cấm đối với các biểu đồ có thể …

16 graph-theory  co.combinatorics  graph-minor  algebraic-topology