Câu hỏi được gắn thẻ «proofs»

10

Điều đó có nghĩa gì khi bác bỏ luận điểm Church-Turing?

Xin lỗi cho tiêu đề hấp dẫn. Tôi muốn hiểu, người ta phải làm gì để từ chối luận điểm Church-Turing? Ở đâu đó tôi đọc nó không thể làm được về mặt toán học! Tại sao? Turing, Rosser v.v ... đã sử dụng các thuật ngữ khác nhau để …

83 computability  proofs  hypercomputation 

---

14

Máy tính đã giúp chứng minh một định lý ở đâu và như thế nào?

Mục đích của câu hỏi này là thu thập các ví dụ từ khoa học máy tính lý thuyết trong đó việc sử dụng máy tính có hệ thống là hữu ích trong việc xây dựng một phỏng đoán dẫn đến một định lý, làm sai lệch một cách tiếp …

55 proofs  survey  examples 

---

8

Có bằng chứng tồn tại thuật toán không xây dựng?

Tôi nhớ rằng tôi có thể đã gặp các tài liệu tham khảo cho các vấn đề đã được chứng minh là có thể giải quyết được với một độ phức tạp cụ thể, nhưng không có thuật toán nào được biết để thực sự đạt đến độ phức tạp …

47 ds.algorithms  soft-question  lo.logic  proofs 

---

8

Sự nghiêm khắc dẫn đến cái nhìn sâu sắc

Trên MathOverflow, Timothy Gowers đã hỏi một câu hỏi có tiêu đề " Chứng minh rằng sự nghiêm khắc là quan trọng ". Hầu hết các cuộc thảo luận về các trường hợp cho thấy tầm quan trọng của bằng chứng, điều mà mọi người trên CSTheory có lẽ không …

41 big-list  soft-question  proofs 

---

4

Có bằng chứng nào về tính không ổn định của vấn đề tạm dừng không phụ thuộc vào tự tham chiếu hoặc đường chéo?

Đây là một câu hỏi liên quan đến câu hỏi này . Đặt nó một lần nữa ở dạng đơn giản hơn nhiều sau nhiều cuộc thảo luận ở đó, rằng nó cảm thấy giống như một câu hỏi hoàn toàn khác. Bằng chứng cổ điển về tính không ổn …

40 computability  lo.logic  proofs 

---

4

Bằng chứng cho thấy một cấu trúc sâu hơn

Bằng chứng tiêu chuẩn về ràng buộc của Chernoff (từ sách giáo khoa Thuật toán ngẫu nhiên ) sử dụng các hàm tạo bất đẳng thức và thời điểm Markov, với một chút mở rộng Taylor được đưa vào. Không có gì quá khó khăn, nhưng hơi máy móc. Nhưng …

35 big-list  proofs 

---

4

Bằng chứng thu được chỉ thông qua lý thuyết đồ thị phổ

Tôi có mối quan tâm ngày càng tăng đối với lý thuyết đồ thị phổ, điều mà tôi thấy hấp dẫn và tôi đã bắt đầu thu thập một vài tài liệu mà tôi chưa đọc kỹ hơn những gì tôi cho đến nay. Tuy nhiên, tôi tò mò về …

28 graph-theory  co.combinatorics  proofs  spectral-graph-theory 

---

5

Chứng minh lượng tử của định lý cổ điển

Tôi quan tâm đến các ví dụ về các vấn đề trong đó một định lý dường như không liên quan gì đến cơ học / thông tin lượng tử (ví dụ: nêu một cái gì đó về các vật thể thuần túy cổ điển) tuy nhiên có thể được …

27 quantum-computing  big-list  proofs 

---

4

Bằng chứng, Rào cản và P vs NP

Người ta biết rằng bất kỳ bằng chứng nào giải quyết câu hỏi P vs NP đều phải vượt qua quá trình tương đối hóa , bằng chứng tự nhiên và các rào cản đối kháng . Sơ đồ sau phân vùng "không gian bằng chứng" thành các vùng khác …

25 cc.complexity-theory  proofs  barriers  p-vs-np 

---

1

Tình trạng của kết quả đẳng cấu đồ thị của Babai là gì?

Đã hơn một năm kể từ khi rút lại và điều chỉnh vào tháng 1 năm 2017. Có tin tức gì không? Nếu không điều này là bình thường để xác nhận mất nhiều thời gian? Tôi hy vọng nó sẽ nhận được nhiều sự chú ý. Có ai lưu …

23 cc.complexity-theory  graph-isomorphism  proofs 

---

5

Ý nghĩa của việc không thể thực hiện được

Tôi đã đọc " Có phải P Versus NP chính thức độc lập không? " Nhưng tôi đã bối rối. Người ta tin tưởng rộng rãi vào lý thuyết phức tạp rằng . Câu hỏi của tôi là về điều gì nếu điều này không thể chứng minh được (nói …

22 cc.complexity-theory  np-hardness  big-picture  proofs  p-vs-np 

---

4

Bằng chứng về bổ đề bơm cho các ngôn ngữ không ngữ cảnh bằng cách sử dụng tự động đẩy xuống

Các Bổ đề bơm cho các ngôn ngữ thông thường có thể được chứng minh bằng cách xem xét một automaton hữu hạn nhà nước công nhận ngôn ngữ học, chọn một chuỗi với một lớn hơn chiều dài hơn con số của tiểu bang, và áp dụng các nguyên …

21 fl.formal-languages  automata-theory  proofs  grammars 

---

5

Có thể kiểm tra xem một số tính toán là số nguyên hay số nguyên không?

Có thể kiểm tra bằng thuật toán nếu một số tính toán là số nguyên hay số nguyên? Nói cách khác, một thư viện có thể thực hiện các số tính toán để cung cấp các hàm isIntegerhay isRationalkhông? Tôi đoán rằng điều đó là không thể, và điều này …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

---

2

Độ phức tạp của việc đếm số lượng các cạnh của đồ thị

Một bìa cạnh là một tập hợp con các cạnh của đồ thị sao cho mọi đỉnh của đồ thị đều liền kề với ít nhất một cạnh của bìa. Hai bài báo sau đây nói rằng đếm bìa là #P -complete : Một FPTAS đơn giản để đếm các …

16 reference-request  graph-algorithms  counting-complexity  proofs 

---

1

Định lý tự nhiên chỉ chứng minh được với mức xác suất cao?

Có rất nhiều tình huống trong đó một "bằng chứng" ngẫu nhiên dễ dàng hơn nhiều so với một bằng chứng xác định, ví dụ điển hình là kiểm tra nhận dạng đa thức. Câu hỏi : Có bất kỳ "định lý" toán học tự nhiên nào trong đó một …

15 lo.logic  randomness  randomized-algorithms  proofs 

---