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

Tôi được đề nghị dạy một chương trình trung học TCS mới, đòi hỏi phải xây dựng một chương trình giảng dạy. Tôi rất muốn nghe ý kiến ​​và đề xuất về việc này. Đầu tiên, có ai biết trường trung học nơi chương trình TCS đã được dạy thành …

16 teaching 

Chúng ta biết rằng chất tạo màu cạnh của một đồ thị GGG là chất tạo màu đỉnh của một đồ thị đặc biệt, cụ thể là của dòng đồ thị L(G)L(G)L(G) của GGG . Có một đồ thị toán tử ΦΦ\Phi mà đỉnh chất tạo màu của một đồ …

16 graph-theory  graph-algorithms 

Tôi không am hiểu về lĩnh vực lý thuyết phức tạp liên quan đến các nhóm vì vậy tôi xin lỗi nếu đây là một kết quả nổi tiếng. Câu 1. Cho là đồ thị vô hướng đơn giản của . Độ phức tạp tính toán (tính theo ) của …

16 cc.complexity-theory  graph-theory  gr.group-theory 

Câu hỏi này có lẽ nằm ở ranh giới giữa chủ đề và ngoài chủ đề, tuy nhiên tôi đã thấy những câu hỏi tương tự ở đây, vì vậy tôi sẽ hỏi nó. Tôi đang thực hiện một cách độc đáo -SAT giải, mà đầu vào là một thức …

16 sat 

Trong vấn đề hình chữ nhật bao bì, người ta được đưa ra một tập hợp các hình chữ nhật và bounding hình chữ nhật R . Nhiệm vụ là để tìm một vị trí của r 1 , ... , r n bên trong R như vậy mà không …

16 cc.complexity-theory  np-hardness  packing 

Giả sử rằng, với mỗi , có một máy Turing quyết định ngôn ngữ trong thời gian . Có một thuật toán duy nhất quyết định trong thời gian không? (Ở đây, thuật ngữ được đo bằng , độ dài đầu vào.)ϵ>0ϵ>0\epsilon > 0MϵMϵM_{\epsilon}LLLO(na+ϵ)O(na+ϵ)O(n^{a + \epsilon})LLLO(na+o(1))O(na+o(1))O(n^{a + o(1)})o(1)o(1)o(1)nnn Liệu nó …

16 cc.complexity-theory  asymptotics 

Chúng tôi giả sử rằng . Sau đó, thực tế sau đây được biết đến:G∈G(n,p),p=lnn+lnlnn+c(n)nG∈G(n,p),p=ln⁡n+ln⁡ln⁡n+c(n)nG\in G(n,p),p=\frac{\ln n +\ln \ln n +c(n)}{n} Pr[G has a Hamiltonian cycle]=⎧⎩⎨⎪⎪10e−e−c(c(n)→∞)(c(n)→−∞)(c(n)→c)Pr[G has a Hamiltonian cycle]={1(c(n)→∞)0(c(n)→−∞)e−e−c(c(n)→c)\begin{eqnarray} Pr [G\mbox{ has a Hamiltonian cycle}]= \begin{cases} 1 & (c(n)\rightarrow \infty) \\ 0 & (c(n)\rightarrow - \infty) \\ e^{-e^{-c}} & …

16 graph-theory  co.combinatorics  randomness 

Người ta không biết nếu phép đẳng cấu đồ thị (GI) cho đồ thị mạnh mẽ thường xuyên (SRGs) là P . Có gợi ý nào cho thấy nó có thể hoặc không phải là GI -Complete không? Có bất kỳ hậu quả mạnh mẽ trong các trường hợp như …

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

Điều nổi tiếng là trong Hệ thống F, bạn có thể mã hóa các sản phẩm nhị phân với loại Sau đó bạn có thể xác định chức năng chiếu và \ pi_2: A \ B lần \ đến B .π 1 : A × B → A π 2 …

16 reference-request  pl.programming-languages  dependent-type  parametricity 

Cho hai ma trận và , bài toán quyết định xem có tồn tại ma trận hoán vị sao cho tương đương với (Biểu đồ đẳng cấu). Nhưng nếu chúng ta thư giãn để chỉ là một ma trận khả nghịch, thì sự phức tạp là gì? Có bất kỳ …

16 ds.algorithms  time-complexity  linear-algebra  matrices  graph-isomorphism 

Hãy được bộ mà có thể có yếu tố chung. Tôi đang tìm một bộ nhỏ nhất sao cho .S1, S2, Lọ , SnS1,S2,Giáo dục,SnS_1,S_2,\ldots,S_nXXX∀ tôi ,X∩ STôi≠ ∅∀Tôi,X∩STôi≠∅\forall i,\,X\cap S_i \ne \emptyset Vấn đề này có tên không? Hoặc nó làm giảm đến một số vấn đề được biết …

16 ds.algorithms  graph-algorithms 

Gần đây tôi tình cờ thấy một cấu trúc lý thuyết khá thú vị. Một cái gọi là máy Godel Đó là một người giải quyết vấn đề chung có khả năng tự tối ưu hóa. Nó phù hợp với môi trường phản ứng. Theo tôi hiểu, nó có thể …

16 computability  turing-machines  physics  machine-models  ar.hardware-architecture 

Chúng ta biết rằng chúng ta có thể biểu diễn bất kỳ biểu đồ phẳng nào bằng một tập hợp các vòng tròn trong mặt phẳng, được gọi là biểu đồ đồng xu . Mỗi vòng tròn đại diện cho một đỉnh và có một cạnh giữa hai đỉnh khi …

16 graph-theory  co.combinatorics  graph-algorithms  graph-drawing 

Giả sử chúng ta được cung cấp một ma trận và để . Chúng ta có thể tính công suất của ma trận đó nhanh đến mức nào?Một ∈ RN× NMột∈RN×NA \in \mathbb R^{N\times N}m ∈ N0m∈N0m \in \mathbb N_0MộtmMộtmA^m Điều tốt nhất tiếp theo so với các sản phẩm …

16 ds.algorithms  matrices  na.numerical-analysis 

Bạn có thể mô hình phát sóng đáng tin cậy trong tính toán pi? Nếu vậy: Làm thế nào? Nếu không: Có bất kỳ đại số quá trình tương tự, nơi bạn có thể? Những gì tôi đã thử: Nếu người gửi muốn gửi tin nhắn đến tất cả đến …

16 pl.programming-languages  formal-modeling  process-algebra  pi-calculus