이론 컴퓨터 과학

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

2
AC0 함수의 공식 크기 하한
의문: AC 0 의 명시 적 함수에 대해 가장 잘 알려진 공식 크기 하한은 무엇입니까 ? 하한이 인 명시 적 기능이 있습니까?Ω ( n2)Ω(n2)\Omega(n^2) 배경: 대부분의 하한과 마찬가지로 수식 크기의 하한은 구하기 어렵습니다. 표준 범용 게이트 세트 {AND, OR, NOT}에 대한 공식 크기 하한에 관심이 있습니다. 이 게이트 세트에서 명시 …
1
유형 제안입니까? (정확한 유형은 무엇입니까?)
나는 타입 시스템에 대해 많은 것을 읽었으며 Russel의 역설을 해결하기 위해 왜 그들이 도입되었는지 대략 이해합니다. 또한 프로그래밍 언어 및 증명 시스템과의 실질적인 관련성을 대략 이해합니다. 그러나 유형이 무엇인지에 대한 직관적 인 개념이 정확하다고 확신하지는 않습니다. 제 질문은 유형이 제안이라고 주장하는 것이 타당합니까? 다시 말해서, "n은 자연수"라는 표현은 "n은 자연수"를 …
1
지정된 경계 상자 내에서 임의의 자기 회피 격자 사이클
Slither Link 퍼즐 과 관련하여 궁금한 점이 있습니다 정사각형 셀 그리드가 있고 가능한 모든 간단한 사이클 중에서 무작위로 균일 한 그리드 에지 사이클을 찾고 싶습니다.n×nn×nn\times n 이를 수행하는 한 가지 방법은 상태가 단순한주기 인 정사각형의 정사각형 세트이고 변형 된 정사각형의 정사각형이 여전히 단순한주기를 가질 때 플립을 유지하기 위해 임의의 정사각형을 …
11
동등성이 쉽지만 클래스 대표자를 찾기 어려운 예
객체 클래스 (예 : 그래프, 문자열)와 이러한 객체에 대한 등가 관계가 있다고 가정합니다. 그래프의 경우 이것은 그래프 동형 일 수 있습니다. 문자열의 경우, 서로의 아나그램 인 경우 두 문자열을 동등하게 선언 할 수 있습니다. 동등성 클래스의 대표자를 계산하는 데 관심이 있습니다. 즉, 두 객체 x, y, f (x) = f …
5
Earley 파서에서 구문 분석 포리스트를 복구 하시겠습니까?
나는 최근에 Earley 파서를 읽고 있었고 지금까지 본 것 중 가장 우아한 알고리즘 중 하나라고 생각합니다. 그러나, 전통적인 의미에서 알고리즘은입니다 인식기 가 아닌 파서, 이 문자열이 특정 CFG 일치하는지 여부를 감지하지만 그것을 구문 분석 트리를 생성 할 수 있다는 것을 의미한다. 내 질문은 구문 분석 트리 가 아니라 주어진 입력 …
6
TCS 연구원이 자금을 조달해야하는 이유는 무엇입니까?
나는 이것을 읽고 있었다 . 그것은 말한다 ... 당신은 순수한 수학과 같은 기금에 굶주리는 것으로 자신을 찾을 수 없습니다. (여전히 항상 자금을 굶주리게 될 것입니다.) ... 왜 순수 수학자들에게 자금이 필요한가요? (웃음 수학 문제) 왜 이론적 연구를하는 사람이 자금을 필요로합니까? 무역 도구는 종이, 연필, 인터넷 연결이 잘 된 노트북 및 …
4
초 선형 회로 바운드가 알려진 "가장 작은"복잡성 클래스는 무엇입니까?
반드시 많은 표준 참조에 포함되어야하는 질문을하는 것에 대한 사과. 제목의 질문에 대해 궁금합니다. 특히 부울 회로가 있고 깊이에 제한이 없습니다. 나는 "가장 작은"따옴표로 묶어 서로를 포함하는 것으로 알려진 여러 개의 다른 클래스가있을 가능성을 허용하기 위해 초 선형 경계가 알려져 있습니다.
3
역 그래프 스펙트럼 문제?
일반적으로 그래프를 구성한 다음 인접 행렬 (또는 Laplacian 과 같은 일부 친척 ) 고유 값 분해 ( 그래프 의 스펙트럼 이라고도 함 )에 대한 질문을합니다. 그러나 반대 문제는 어떻습니까? 감안 고유 한이 (효율)이 스펙트럼을 갖는 그래프를 찾을 수 있는가?엔nn 나는 일반적으로 이것이 어렵다고 생각하지만 (GI와 동일 할 수 있음) 일부 …
3
용어 재 작성과 패턴 일치의 차이점은 무엇입니까?
Lambda the Ultimate에 대한 응답 이 없었기 때문에 여기서 다시 시도합니다. 예를 들어 용어 재 작성 시스템 은 자동 계산에서 상징적 계산을 입증하고 물론 공식 문법을 정의하는 데 사용됩니다. 다시 쓰기라는 용어를 기반으로 한 프로그래밍 언어가 있지만 개념을 더 잘 이해하는 한 패턴 일치라고 합니다. 패턴 일치는 기능적 언어에서 많이 …
1
3 차 그래프에서 에지 분할 문제
다음 문제의 복잡성이 연구 되었습니까? 입력 : 차 (또는 3 개 정규) 그래프 G = ( V , E ) , 자연 상한 t333G=(V,E)G=(V,E)G=(V,E)ttt 질문 :의 파티션이 로는 | 전자 | / 3 크기의 부품 (3) 제 (nonnecessarily 연결됨) 해당 서브 그래프의 차수의 합은 대부분의 그러한 것을 t ?EEE|E|/3|E|/3|E|/3333ttt 관련 …
2
행렬의 부호 순위 근사
+ 1 행렬 A의 부호 랭크 -1 항목은 같은 부호 패턴 (갖는 행렬 B의 (레알 이상) 최소 랭크 인, 즉 I J B의 난의 J > 0 모든 I , j ). 이 개념은 의사 소통의 복잡성과 학습 이론에서 중요합니다.AijBij>0AijBij>0A_{ij}B_{ij}>0i,ji,ji,j 내 질문은 : 행렬의 부호 순위를 인수 내로 근사하는 알려진 …
5
지수 적으로 해결할 수있는 하드 그래프 문제
Arora, Barak 및 Steurer의 고유 게임 및 관련 문제에 대한 하위 지수 알고리즘 의 최근 결과를 고려하여, 하위 지수 시간 알고리즘이 있지만 다항식으로 해결할 수없는 것으로 생각되는 그래프 문제에 관심이 있습니다. 유명한 예는 런타임의 지수 지수 알고리즘을 갖는 그래프 동형입니다 . 또 다른 예는 준 다항식 시간 ( )으로 해결할 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.