«big-picture» 태그된 질문

알고리즘의 중요성을 증명하기 위해 (예 : 이론을하지 않거나 전혀 다른 분야의 학생이나 교수에게), 핵심 알고리즘이 상용, 정부, 또는 널리 사용되는 소프트웨어 / 하드웨어. 다음 기준을 충족시키는 그러한 예를 찾고 있습니다. 알고리즘을 사용하는 소프트웨어 / 하드웨어가 현재 널리 사용되고 있습니다. 예는 구체적이어야합니다. 특정 시스템 및 특정 알고리즘에 대한 참조를 제공하십시오. 예를 …

307 ds.algorithms  big-picture  application-of-theory 

나는 계산을 위해 재미를 위해 계산 이론을 수정 해 왔으며이 질문은 잠시 동안 잔소리가났다. "왜"정확히 결정 론적 및 비결정론 적 유한 오토마타 (DFA / NFA)를 연구 하는가? 그래서 다음은 독백 후에 나왔지만 여전히 'aha'순간에 대한 전반적인 기여를 보지 못한 답변입니다. 그들이 무엇이며 제한이없는 것을 연구하기 위해 왜? 그것들은 이론적 계산의 …

247 fl.formal-languages  automata-theory  big-picture  teaching  dfa 

람다 미적분학을 읽고 "알아라"는 것입니다. 나는 그것을 튜링 머신과는 다른 대안적인 계산 방식으로 본다. 함수 / 감소 (엄청나게 말해서)로 일을하는 흥미로운 방법입니다. 그래도 몇 가지 질문이 계속 나에게 잔소리합니다. 람다 미적분의 요점은 무엇입니까? 왜 이러한 모든 기능 / 감소를 수행해야합니까? 목적은 무엇입니까? 그 결과 람다 미적분학이 CS 이론을 발전시키기 위해 …

85 soft-question  big-picture  lambda-calculus  ho.history-overview 

일반적으로, 범용 및 실재 양자화 기의 순서를 바꿀 수 없다는 것은 잘 알려져있다. 즉, 일반 논리식 경우ϕ(⋅,⋅)ϕ(⋅,⋅)\phi(\cdot,\cdot) (∀x)(∃y)ϕ(x,y)⇎(∃y)(∀x)ϕ(x,y)(∀x)(∃y)ϕ(x,y)⇎(∃y)(∀x)ϕ(x,y)(\forall x)(\exists y) \phi(x,y) \quad \not\Leftrightarrow \quad (\exists y)(\forall x) \phi(x,y) 반면에 우리는 오른쪽이 왼쪽보다 더 제한적이라는 것을 알고 있습니다. 즉, (∃y)(∀x)ϕ(x,y)⇒(∀x)(∃y)ϕ(x,y)(∃y)(∀x)ϕ(x,y)⇒(∀x)(∃y)ϕ(x,y)(\exists y)(\forall x) \phi(x,y) \Rightarrow (\forall x)(\exists y) \phi(x,y) 입니다. 이 질문은 …

73 lo.logic  big-picture  proof-techniques 

저는 소프트웨어 전문가이며 개인 연구를위한 대수 구조에 대한 설문 조사를 작성하고 있으며 이러한 구조가 이론적 인 컴퓨터 과학 (및 컴퓨터 과학의 다른 하위 분야)에서 어떻게 사용되는지에 대한 예를 만들려고합니다. . 그룹 이론 하에서 나는 공식 언어에 대한 구문 모노 이드와 병렬 / 동시 컴퓨팅에 대한 트레이스 및 히스토리 모노 이드를 …

67 reference-request  big-list  big-picture  algebra 

수학자들은 때때로 선택의 공리 (AC)와 결정의 공리 (AD)에 대해 걱정합니다. 선택 공리는 : 모든 컬렉션을 감안 비어 있지 않은 세트,이 함수 F 설정된 소정 그 S 에서 C 의 부재 반환 S를 .CC{\cal C}fffSSSCC{\cal C}SSS 결정의 공리 : 를 무한히 긴 비트 열의 집합으로 하자 . Alice와 Bob은 Alice가 첫 …

67 cc.complexity-theory  lo.logic  pl.programming-languages  big-picture  set-theory 

현재 완전 문제 또는 완전 문제를 해결하는 것은 일반적으로 큰 입력에 대해서는 불가능합니다. 그러나 둘 다 지수 시간과 다항식 공간에서 해결할 수 있습니다.P S P A C E엔피NPNP피에스피C이자형PSPACEPSPACE 우리는 비 결정적이거나 '운이 좋은'컴퓨터를 만들 수 없기 때문에 문제가 또는 이라면 우리에게 어떤 차이가 있습니까?P S P A C E엔피NPNP피에스피C이자형PSPACEPSPACE

66 cc.complexity-theory  np-hardness  big-picture 

오늘의 나의 질문은 (평소와 같이) 약간 바보입니다. 하지만 친절히 생각해 보라고 부탁합니다. treewidth 개념의 기원과 동기에 대해 알고 싶었습니다. 나는 그것이 FPT 알고리즘에서 사용된다는 것을 이해하지만, 이것이 이것이이 개념이 정의 된 이유라고 생각하지 않습니다. 나는 로빈 토마스 교수 의 수업에서이 주제에 대한 서기관 노트 를 작성했습니다 . 나는이 개념의 응용 …

61 graph-theory  co.combinatorics  big-picture  ho.history-overview  treewidth 

최근 물리학 자와 이야기 할 때, 경험상 기하 급수적으로 시간이 걸리는 것처럼 보이는 문제가 P 나 BPP에있는 것으로 판명 될 때 감소가 발생하는 "주요 이유"는 일반적으로 식별 될 수 있다고 주장했다. --- 거의 항상, 그 이유는 12 명 이하의 "정상 용의자"목록에 속합니다 (예 : 동적 프로그래밍, 선형 대수 ...). 그러나 …

56 big-list  big-picture 

2SAT를 해결하는 다항식 알고리즘을 보았습니다. SAT 인스턴스의 모든 (또는 다른 많은) 인스턴스가 NP-Complete 인 곳에서 2SAT가 P에 있음을 알게되었습니다. 이 문제가 다른 이유는 무엇입니까? 그렇게 쉬운 이유는 무엇입니까 (NL- 완료-P보다 훨씬 쉬움)?

55 cc.complexity-theory  np-hardness  big-picture  polynomial-time 

기하 급수적으로 많은 것들을 계산하는 것과 관련된 입력 문제가 있지만 (입력의 크기와 관련하여) 놀라운 다항식 시간의 정확한 결정 론적 알고리즘이 있습니다. 예를 들면 다음과 같습니다. 홀로 그래픽 알고리즘의 작동 방식에 대한 기초 인 평면 그래프 ( FKT 알고리즘 ) 에서 완벽한 매칭을 계산 합니다. (를 통해 그래프에서 스패닝 트리를 계산 …

54 cc.complexity-theory  counting-complexity  big-picture 

이것은 구체적인 답변이있는 질문이 아니라 주관적인 질문 일 수 있습니다. 복잡성 이론에서 우리는 효율적인 계산의 개념을 연구합니다. 같은 클래스가 있습니다 의미 다항식 시간 , 그리고 L은 의미 로그 공간 . 둘 다 일종의 "효율성"으로 간주되며 일부 문제의 어려움을 잘 포착합니다.PP\mathsf{P}LL\mathsf{L} 그러나 차이가 와 L은 다음의 다항식 시간 동안 P는 , …

49 cc.complexity-theory  space-bounded  big-picture 

몇 가지 예부터 시작하겠습니다. 왜 CVP가 P에 있지만 LP가 P에 있다는 것을 나타내 기가 쉽지 않은가? 둘 다 P- 완전한 문제입니다. 또는 우선 순위를 취하십시오. NP의 프라임 (Pratt 필요) 및 P의 프라임보다 NP의 합성물을 표시하는 것이 더 쉽습니다. 왜이 비대칭 성을 표시해야합니까? 나는 힐버트를 알고, 창의성이 필요하고, 증거가 NP 등으로되어 …

46 cc.complexity-theory  big-picture 

(A)에 다른 스레드 , 안드레이 바우어는 denotational 의미로 정의 : 프로그램의 의미는 그 부분의 의미의 함수입니다. 이 정의에 대해 나를 귀찮게하는 것은 그것이 일반적으로 비 의미 적 의미론, 즉 구조적 작동 의미론 으로 생각되는 것에서 일반적 의미 적 의미론 으로 간주되는 것을 단일화하지 않는 것 입니다. 보다 정확하게, 여기서 중요한 …

45 pl.programming-languages  big-picture  semantics  denotational-semantics 

Chomsky (–Schützenberger) 계층은 이론적 컴퓨터 과학 교과서에 사용되지만 전체 복잡도 동물원 다이어그램 과 비교했을 때 공식 언어 (REG, CFL, CSL, RE)의 아주 작은 부분 만 포함합니다 . 계층 구조가 더 이상 현재 연구에서 어떤 역할을합니까? cstheory.stackexchange에서 Chomsky에 대한 언급은 거의 없었으며 Complexity Zoo 에서는 Chomsky와 Schützenberger라는 이름이 전혀 언급되지 않았습니다. …

44 cc.complexity-theory  automata-theory  fl.formal-languages  big-picture  teaching