이론 컴퓨터 과학

관련 분야의 이론 컴퓨터 과학자 및 연구자를위한 Q & A

2
JSON은 정규 언어입니까?
JSON 사양이 일반 언어를 정의 했는지 궁금합니다 . 충분히 간단 해 보이지만 직접 증명하는 방법을 모르겠습니다. 내가 묻는 이유는 정규 표현식을 사용하여 JSON을 효과적으로 파싱 할 수 있는지 궁금해하기 때문입니다. 담당자가 충분한 사람이 json 및 일반 언어 태그를 작성해 주시겠습니까?
2
고유 값 계산의 공간 복잡성은 무엇입니까?
매트릭스 랭크, 고유 값 계산 등과 같은 일반적인 선형 대수 연산의 공간 복잡성에 대한 결과를 다루는 설문지 또는 책을 찾고 있습니다. 나는 시간이 아니라 작업 공간 복잡성을 의미하는 "공간 복잡성"부분을 강조합니다. 시간 결과를 추적하기가 더 쉽습니다. 문제에 대한 언급을 부탁드립니다. 감사.
5
AI 연구에서“고급 수학”은 어느 정도까지 필요 / 유용합니까?
저는 현재 수학을 공부하고 있습니다. 그러나 나는 미래에 전문 수학자가되고 싶지 않다고 생각합니다. 인공 지능 연구를 위해 수학 지식을 적용하려고합니다. 그러나, 얼마나 많은 수학 과정을 따라야하는지 잘 모르겠습니다. (그리고 어떤 CS 이론 과정을 따라야합니까.) Quora에서 저는 Linear Algebra, Statistics and Convex Optimization 과목 이 기계 학습과 가장 관련이 있다는 것을 …
3
이론에 대해 말하는 방법
나는 이것이 논쟁의 여지가있는 질문 일지 모른다는 것을 알고 있지만, 이것은 물어볼만한 곳인 것 같았다. 그렇지 않은 경우 리디렉션하십시오. 배경은 제가 "실무자"(PhD 학생, CS 이론을 공부하지 않음)이지만 학부 알고리즘과 수학에 대한 합리적인 기초를 가지고 있다는 것입니다. 그럼에도 불구하고, 이론가들과의 토론은 마치 내가 겁에 질 때 나에게 수학 용어를 사용하는 것을 …
2
NP-hard 문제의 NP-hardness 증거가 기여로 간주됩니까?
논문 [XYZ]에서 다른 곳에서 NP-hard라고 주장되는 문제를 해결하고 있습니다. [XYZ]에서 제공되는 NP 경도는 복잡하며 고급 기술을 사용합니다. 몇 가지 연구와 연구 끝에 나는 NP 경도의 단순하고 명확한 증거를 제시했습니다. 이것이 기여로 간주되는지 궁금합니다. 나는 일에 동기를 부여하려고 노력하지만 비슷한 길을 찾지 못했다. 이것이 올바른 장소인지 또는 학계에 가야하는지 모르겠습니다.
2
대한 회로 상한은
P 공식 클레이 문제 설명에서는 NP 대는 명시된 것 있는 것 "모든 언어 게재 따를 E를 [언어의 클래스 결정적 튜링 머신 지수 시간 인식] 부울 회로 군에 의해 계산 될 수있다 < B n > 적어도 하나의 n에 대해 , B n 은 부울 함수 f 를 계산하는 데 필요한 …
2
단항 상황에 맞는 언어가 규칙적인지 결정
그 질문은 잘 알려진 결과입니다 문맥없는 문법은 정규 언어를 생성합니까? 결정할 수 없습니다. 그러나 단항 알파벳으로 결정할 수 있습니다.이 경우 문맥이없는 언어와 일반 언어의 클래스가 일치하기 때문입니다. 내 질문은 단항 상황에 맞는 언어 에서 어떤 일이 발생하는지 아는 것 입니다. 단항 알파벳에서 주어진 상황에 맞는 문법이 정규 언어를 생성하는지 여부를 …
2
정사각형에서 인접 행렬 복구의 복잡성
다음 문제에 관심이 있습니다. 행렬이 주어지면 인접 행렬의 제곱이 행렬 인 개의 꼭짓점 에 무 방향 그래프 가 있습니까?n×nn×nn\times nnnn 이 문제의 계산 복잡성이 알려져 있습니까? 비고 : 물론이 또한 매트릭스 주어진 검색 문제로 표현한 수 위한 무향 그래프의 인접 행렬을 상기 문제 (무향 그래프) 임의의 인접 행렬을 발견하는 되도록 …
4
혼돈과 질문
나는 "혼돈"또는 더 넓은 동적 시스템과 질문 사이의 연결을 배우고 싶습니다 . 다음은 내가 찾고있는 문헌 유형의 예입니다.P=NPP=NPP{=}NP Ercsey-Ravasz, Mária 및 Zoltán Toroczkai. "만약 만족을 제한하기위한 아날로그 방식의 일시적 혼란으로서의 최적화 경도." 자연 물리학 7, no. 12 (2011) : 966-970. ( 저널 링크 .) 설문 조사를 작성하거나 서지 개요를 작성한 …
1
treewidth에 비해 pathwidth의 알고리즘 장점
트리 폭은 FPT 알고리즘에서 중요한 역할을합니다. 부분적으로 많은 문제가 트리 폭에 의해 FPT 매개 변수화되기 때문입니다. 관련된보다 제한적인 개념은 경로 너비의 개념입니다. 그래프 pathwidth있는 경우 , 또한 최대 treewidth 갖는다 (k)를 그 반대 방향으로 동시에 treewidth, K 기껏 pathwidth을 의미 유전율 로그 N 이 타이트하다.kkkkkkkkkklognklog⁡nk\log n 전술 한 바와 같이, …
2
왜 무한 유형 계층 구조입니까?
Coq, Agda 및 Idris는 무한 유형 계층 구조를 갖습니다 (유형 1 : 유형 2 : 유형 3 : ...). 그러나 λC, λC와 같은 구조의 계산법에 가장 가까운 람다 큐브의 시스템 인 λC와 같은 두 가지 유형, ∗∗* 및 과이 규칙은 어떻습니까?◽◽◽ ∅⊢∗:◽∅⊢∗:◽\frac {} {∅ ⊢ * : ◽} Γ⊢T1:s1Γ,x:T1⊢t:T2Γ⊢(λx:T1,t):(Πx:T1,T2)Γ⊢T1:s1Γ,x:T1⊢t:T2Γ⊢(λx:T1,t):(Πx:T1,T2)\frac {Γ …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.