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

1

Cho đồ thị , xác định đồ thị cây T ( G ) là đồ thị có các đỉnh là các cây bao trùm của G và có một cạnh giữa hai cây nếu có thể lấy được một cây khác bằng cách thay thế một cạnh. Đó là có …

8 graph-theory tree

1

Trên lớp nào của đồ thị là NP-hard ràng buộc tài nguyên (RCSP)?

Tôi đang tìm cách liên kết một vấn đề tôi đang làm việc với một vấn đề NP-hard đã biết. Tôi nghĩ rằng tôi có thể mô hình hóa vấn đề của mình như là một vấn đề đường dẫn ngắn nhất bị hạn chế tài nguyên. Tuy nhiên, cấu …

8 cc.complexity-theory graph-algorithms np-hardness optimization

1

Giúp về vấn đề tổ hợp sau đây?

Tôi có các vectơ bit, mỗi vectơ được tạo bởi bit. Hãy biểu thị với là -thứ chút của -thứ vector, . Mỗi vectơ bit phải tuân theo 2 hạn chế sau:m v i [ j ] j i i , j ∈ [ 1 , m ] v immmmmmvi[j]vi[j]v_i[j]jjjiiii,j∈[1,m]i,j∈[1,m]i,j …

8 co.combinatorics

1

Một biến thể thú vị của vấn đề khớp tối đa

Cho một đồ thị G ( V, E)G(V,E)G(V,E) , vấn đề phù hợp tối đa cổ điển là lựa chọn các tập con tối đa cạnh MMM st, đối với mỗi cạnh ( U , v ) ∈ M(u,v)∈M(u,v) \in M , d( u ) = d( v ) = …

8 cc.complexity-theory ds.algorithms graph-theory co.combinatorics

2

Postselection trong lý thuyết phức tạp hình học

Bối cảnh: Theo tôi hiểu, trong lý thuyết phức tạp hình học, sự tồn tại của vật cản đóng vai trò là chứng chỉ chứng minh, có thể nói, đối với sự không tồn tại của một mạch tính toán hiệu quả cho hàm cứng rõ ràng trong bài toán …

8 application-of-theory proof-complexity gct

2

Tìm tập hợp con của tập hợp trong tập hợp các tập hợp

Bạn muốn giới thiệu dữ liệu gì cấu trúc đại diện cho một bộ sưu tập các tập con của và hỗ trợ các hoạt động sau đây?{ 1 , ... , n }{1,…,n}\{1, \dots, n\} : chèn S vào bộ sưu tập.i n s e r t ( S)insert(S)insert(S)SSS …

8 ds.data-structures

1

Hàm một chiều với độ phức tạp nghịch đảo đa thức

Có một hàm giống như cửa bẫy có độ phức tạp mã hóa là thời gian đa thức và độ phức tạp đảo ngược (không có khóa bí mật) cũng là một hàm đa thức trong độ dài đầu vào với (giả sử và là vô điều kiện có thể …

8 cc.complexity-theory complexity-classes cr.crypto-security one-way-function

1

Những loại ngôn ngữ là cần thiết để nhận ra một danh sách theo thứ tự? [automata đa đầu, rõ ràng]

Tôi đang xem xét vấn đề nhận dạng ngôn ngữ (trên bảng chữ cái 0-9 và dấu cách) có chứa các chuỗi như "1 2 3 4 5 6" và "14 15 16 17" chứ không phải "1 3". Điều này xuất hiện trong khi làm việc trên một nhiệm …

8 fl.formal-languages

1

Làm thế nào để trở thành trọng tài cho các bài báo và hội nghị của TCS

Tôi đã chuyển bằng cách nào đó từ vật lý sinh học sang một nhóm hỗn hợp nơi chúng tôi thường xuất bản trong tạp chí / hội nghị của TCS. Để nhận được tài trợ, tại quốc gia châu Âu nơi tôi sống, nên thể hiện trong CV của …

8 paper-review conferences

1

Các thuật toán lồi và hiệu quả.

[Chỉnh sửa ngày 21 tháng 7 năm 2011: Tôi đã chỉnh sửa câu hỏi để hỏi thêm ví dụ] Câu hỏi này đang yêu cầu thảo luận bằng văn bản về hoặc nhiều ví dụ về quan sát heuristic. Một số vấn đề toán học thừa nhận các thuật toán …

8 ds.algorithms convex-optimization philosophy

1

Có thể viết lại các biểu thức có chứa định lượng không liên quan (miễn cưỡng) để không sử dụng chúng không?

Hãy xem xét một ngôn ngữ regex với bộ định lượng tham lam , bộ định lượng không tham lam, ra lệnh xen kẽ, và các lớp nhân vật. (Đây thực chất là một ngôn ngữ con của PCRE mà không có phản hồi, xác nhận xung quanh hoặc một …

8 fl.formal-languages regular-expressions

2

Giảm các cạnh thừa từ biểu đồ phụ thuộc

Tôi có một DAG của các phụ thuộc có chứa nhiều cạnh dư thừa (xem ví dụ bên dưới). Tôi muốn một thuật toán "nhanh" (nghĩa là có thể xử lý một biểu đồ với hàng ngàn nút / cạnh) để tìm một biểu đồ con tối thiểu. Ví dụ: …

8 ds.algorithms graph-algorithms transitive-reduction

1

Bước giảm mức độ trong bằng chứng của Dinur về định lý PCP

Trong bước giảm mức độ bằng chứng Dinur của, đồ thị đầu vào được chuyển thành một đồ thị G ' bằng cách thay thế mỗi đỉnh v ∈ V ( G ) bởi một tập hợp các đỉnh, c l o u d ( v ) , sao cho …

8 cc.complexity-theory pcp

1

Làm thế nào nội tại là thuật ngữ trong thời gian chạy để xây dựng -nets trong không gian phạm vi của kích thước VC d?

Một -net cho một không gian phạm vi (X, \ mathcal {R}) là một tập hợp con N của X mà N \ nắp R là rỗng cho tất cả R \ in \ mathcal {R} như vậy | X \ nắp R | \ ge \ varepsilon | X …

8 ds.algorithms cg.comp-geom vc-dimension epsilon-nets

4

Ví dụ các vấn đề với các giải pháp đa thức và hàm mũ, và dấu chân nhỏ?

Tôi đang lên kế hoạch chạy thử nghiệm trực tuyến, khi dạy lớp thuật toán của mình vào mùa thu này, với một máy tính rất cũ, hạn chế (yếu tố giới hạn chính có lẽ là bộ nhớ có thể thấp tới 16KB) và một máy hiện đại / …

8 ds.algorithms teaching