Câu hỏi được gắn thẻ «cc.complexity-theory»

Trong cuốn sách Arora-Barak, trong định nghĩa về các hàm xây dựng thời gian, người ta nói rằng việc sử dụng các hàm không có thời gian xây dựng có thể dẫn đến "kết quả dị thường". Có ai có một ví dụ về một "kết quả bất thường" như …

10 cc.complexity-theory 

Báo cáo vấn đề : Đặt MMM là một máy tự động đẩy xuống (có khả năng không xác định) và để MộtMột\cal A là bảng chữ cái đầu vào của nó. Có một từ w ∈ A*w∈Một*w \in \cal A^* st | w | ≤k|w|≤k|w| \leq k được chấp …

10 cc.complexity-theory  np-hardness  fl.formal-languages  automata-theory 

Đối với nhiều vấn đề, thuật toán có độ phức tạp tiệm cận tốt nhất có một yếu tố hằng số rất lớn được ẩn bởi ký hiệu O lớn. Điều này xảy ra trong phép nhân ma trận, phép nhân số nguyên (cụ thể là thuật toán nhân số …

9 cc.complexity-theory  ds.algorithms  time-complexity 

Một dạng yếu hơn của Định lý bất toàn đầu tiên của Gôdel, bằng chứng trực tiếp về cách thức của Gôdel dài, liên quan và ở một nơi nào đó khá phản trực giác, có bằng chứng đơn giản và trực quan dựa trên tính không ổn định của …

9 cc.complexity-theory  lo.logic  halting-problem 

Có một loại kết quả trong TCS thường được gọi là kết quả bootstrapping . Nói chung, nó có dạng Nếu mệnh đề giữ, thì mệnh đề giữ.MộtAAMột'A′A' trong đó và là các mệnh đề trông giống nhau và dường như "yếu hơn" thì , đó là lý do chúng …

9 cc.complexity-theory 

Các giới hạn trên không triệu chứng được biết đến nhiều nhất về kích thước của bằng chứng kiểm tra xác suất là gì? Lý tưởng nhất, tôi đang tìm kiếm một cuộc khảo sát đương đại về câu hỏi rộng này, nhưng nếu không có, tôi đặc biệt quan …

9 cc.complexity-theory  reference-request  np-hardness  pcp 

Sau những thành công mới hơn và mới hơn của mạng lưới thần kinh khi chơi các trò chơi cờ bàn, người ta cảm thấy rằng mục tiêu tiếp theo chúng ta đặt ra có thể hữu ích hơn là đánh bại con người trong Starcraft. Chính xác hơn, tôi …

9 cc.complexity-theory  ds.algorithms  machine-learning  ne.neural-evol 

Có bất kỳ số siêu tính nào được biết đến sao cho chữ số thứ của nó có thể tính được trong thời gian đa thức, nhưng không tính bằng không?nnnO(n)O(n)O(n)

9 cc.complexity-theory  comp-number-theory 

Thời gian bán đa thức, hay viết tắt là QP, là một lớp phức tạp trên máy Turing xác định. Đây là định nghĩa chính xác: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:Q#qp Trong khi βP là một lớp phức tạp của thuyết không điều kiện hạn chế. Đây là định nghĩa chính xác: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:B#betap Nó …

9 cc.complexity-theory  complexity-classes 

Phương pháp gần đúng của Razborov là gì? Ai đó có thể đưa ra một cái nhìn tổng quan cấp cao và trực giác đằng sau nó?

9 cc.complexity-theory  circuit-complexity 

Đối với một ngôn ngữ cố định trên một số bảng chữ cái , chúng ta hãy xem xét vấn đề sau, mà tôi gọi là LALLLMộtMộtALLL -INTERLEAVING : Đầu vào: hai từ u , v ∈ A*bạn,v∈Một*u, v \in A^* Output: cho dù có tồn tại một đan xen …

9 cc.complexity-theory  reference-request  regular-language 

Hãy là một bảng chữ cái kích thước 2 , và xem xét DFAs tối thiểu có kích thước được bao bọc bởi ít nhất m . Đặt f ( m ) biểu thị số lượng DFA tối thiểu khác nhau như vậy.ΣΣ\Sigma222mmmf( m )f(m)f(m) Chúng ta có thể tìm …

9 cc.complexity-theory  automata-theory  nondeterminism  dfa 

Đây là một cách tiếp theo để tăng tốc độ không xác định của tính toán xác định . Có hợp lý không khi thuyết không điều kiện (hay nói chung là xen kẽ) sẽ cho phép tăng tốc bậc hai chung của tính toán xác định? Hoặc có bất …

9 cc.complexity-theory  nondeterminism  speed-up  alternation  tradeoff 

Bài toán chuẩn 1 trong 3 SAT (hoặc XSAT hoặc X3SAT) là: Trường hợp : một công thức CNF với mỗi mệnh đề chứa đúng 3 chữ Câu hỏi : có một phép gán thỏa mãn chính xác 1 chữ cho mỗi mệnh đề có đúng không? Vấn đề là …

9 cc.complexity-theory  np-hardness  sat 

Đặt là đồ thị. Một tập đỉnh được gọi là quan trọng nếu và không có đỉnh trong là tiếp giáp với đúng một đỉnh trong . Vấn đề là tìm một bộ đỉnh có kích thước tối thiểu sao cho cho mọi bộ quan trọng .G=(V,E)G=(V,E)G=(V,E)X⊆VX⊆VX\subseteq VX≠∅X≠∅X\neq\emptysetV∖XV∖XV\setminus XXXXS⊆VS⊆VS\subseteq VS∩X≠∅S∩X≠∅S\cap …

9 cc.complexity-theory  graph-theory  co.combinatorics  optimization