이론 컴퓨터 과학

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

3
현재 및 향후 고성능 컴퓨터를위한 알고리즘을 설계하는 데 적합한 이론적 모델은 무엇입니까
이 질문은 알고리즘 및 데이터 구조를 설계하기 위해 컴퓨터의 이론적 모델이 무엇인지에 대한 일반적인 질문 과 유사합니다 . 여기서는 현재 고성능 컴퓨터 (예 : Top 500으로 나열된 컴퓨터 ) 또는 심지어 다가오는 슈퍼 컴퓨터. 이 컴퓨터는 일반적으로 거대한 데이터 세트 (일부 사람들은 주로 결합 된 메인 메모리를 가지고 있기 때문에 …
2
PPAD와 양자
오늘날 뉴욕 과 전세계에서 Christos Papadimitriou의 생일이 축하됩니다. 이것은 Christos의 복잡성 클래스 PPAD (및 그의 다른 관련 클래스)와 양자 컴퓨터 사이의 관계에 대해 질문 할 수있는 좋은 기회입니다. 그의 유명한 1994 년 논문에서 Papadimitriou는 PLS, PPAD 등과 같은 몇 가지 중요한 복잡성 클래스를 도입하고 체계적으로 연구했습니다. (Papadimitriou의 논문은 일부 초기 …
4
이론적 인 컴퓨터 과학에서 사소한 아이디어를 얻는 방법?
나는 이론적 인 컴퓨터 과학에서 일하는 박사 과정 학생입니다. 많은 연구원의 연구 논문을 읽었으며 알고리즘 설계에 사용하는 많은 도구와 수학을 보았습니다. 예를 들어이 연구 논문 [Primality in P]을 참조하십시오 . 나는이 연구 논문이 하나 또는 두 개의 아이디어에 기초한다고 말하지는 않지만 심각한 수학을 필요로하는 많은 아이디어에 기초한다. 나는 몇 년 …
1
명확한 문맥이없는 언어의 동등성을 결정할 수 있습니까?
일반적인 문맥이없는 언어에서는 동등성 문제를 결정할 수없는 것으로 잘 알려져 있습니다. 그러나 내가 알고있는이 사실의 모든 증거는 모호한 컨텍스트 프리 문법을 포함하는 것으로 보입니다. 이러한 이유로, 나는 자신을 명백한 맥락없는 언어로 제한하면서 문제를 결정할 수 없는지 여부를 알고 싶습니다 . 즉, 명확성이 부여 된 선험적 인 무 문법 문법이 두 …
1
명시 적으로 MSO 표현 가능한 사소한 폐쇄 속성
아래에서 MSO는 정점 설정 및 에지 설정 수량 화가있는 그래프의 2 차 논리를 나타냅니다. 를 사소한 폐쇄 형 그래프 군 이라고하자 . 는 금지 된 미성년자 의 유한 목록 에 의해 특징 지워진다는 Robertson과 Seymour의 그래프 사소한 이론 됩니다. 즉, 각각의 그래프 , 우리는이 속한 경우에만, 제외 모든 그래프 미성년자있다.FF\mathcal{F}FF\mathcal{F}H1,H2,...,HkH1,H2,...,HkH_1,H_2,...,H_kGGGGGGFF\mathcal{F}GGGHiHiH_i …
3
왜 콜론이 값이 유형에 속한다는 것을 나타 냅니까?
Pierce (2002)는 다음 과 같이 작성 하여 92 페이지 의 타이핑 관계 를 소개합니다 . "t : T"로 작성된 산술 표현식의 타이핑 관계는 항에 유형을 할당하는 일련의 추론 규칙에 의해 정의됩니다. 각주에는 기호 가 종종 : 대신 사용됩니다. 내 질문은 단순히 형식 이론가들이 왜 선호 하는가 : ? 유형 가 …
1
#P의 두 기능으로 나누기
2 F 가 # P에 있도록 정수 값 함수로 하자 . 있음을 따라 하는가 F가 에 #의 P ? 이것이 항상 유지되지 않을 것이라고 믿을만한 이유가 있습니까? 내가 알아야 할 언급이 있습니까?에프FF2 F2F2F# P#P\#P에프FF# P#P\#P 다소 놀랍게도,이 상황은 함수, (훨씬 더 큰 상수)를 내놓았다 있는 F ∈ ? # P …
4
수학 이야기 : 자식 수정 제어 시스템에 대한 정리?
git 개정 제어 시스템 에 대해 수학 이야기를하고 싶습니다 . 이제는 컴퓨터 과학 산업뿐만 아니라 수학에서도 널리 사용됩니다. 예를 들어 HoTT (Homotopy Type Theory) 커뮤니티에서는이를 사용하며 소스 코드이든 라텍스 마크 업이든 텍스트 파일을 공동으로 편집하기위한 시스템으로 이동합니다. 나는 git이 시작 된 방향성 비순환 그래프의 개념을 사용한다는 것을 알고있다. 그러나 좋은 …
1
USTCONN에 로그 공간이 필요하다는 것을 증명하는 방법?
USTCONN은 그래프 G 의 소스 정점 sss 에서 대상 정점 까지의 경로가 있는지 여부를 결정해야하는 문제이며 , 여기서 모두 입력의 일부로 제공됩니다.tttGGG Omer Reingold는 USTCONN이 L에 있음을 보여 주었다 (doi : 10.1145 / 1391289.1391291 ). 이 증거는 지그재그 제품을 사용 하여 일정한 정도의 확장기 를 구성합니다 . 일정한 정도의 확장기는 …
3
실수 계산 : 부동 소수점 대 TTE 대 도메인 이론 대 등
현재 가장 인기있는 언어의 실수 계산은 여전히 ​​부동 소수점 연산을 통해 수행됩니다. 반면에, 2 형 효과 성 (TTE) 및 도메인 이론과 같은 이론은 오랫동안 실수의 정확한 계산을 약속했습니다. 분명히 부동 소수점 정밀도 문제는 관련성이 줄어들지 않았으므로 왜 이러한 이론이 더 주류가되지 않았으며 왜 더 눈에 띄게 구현되지 않았습니까? 예를 들어 …
1
스캇의 확률 론적 람다 미적분학
최근 Dana Scott은 확률 적 요소를 그래프 모델이라는 의미론을 기반으로 (유형화되지 않은) 람다 미적분학에 도입하려는 시도 인 확률 론적 람다 미적분학을 제안했습니다. 그의 슬라이드는 예를 들어 여기에 있으며, Journal of Applied Logic , vol. 12 (2014). 그러나 웹에서 빠른 검색을 통해 Hindley-Milner 유형 시스템 과 같은 이전의 유사한 연구를 발견했습니다 …
2
언어 자체를“내장”
주요 / 일반 질문 언어로 하자 . 언어 를 및 로 . 고려하십시오 . 그래서 우리는 을 얻기 위해 을 그 자체에 반복적으로 포함 시켰다 .LLLLiLiL_iL0=LL0=LL_0 = LLi={xwy:xy∈Li−1,w∈L}Li={xwy:xy∈Li−1,w∈L}L_i = \{xwy : xy \in L_{i-1}, w \in L\}L = ⋃ L의 I의 L의 Li≥1i≥1i \geq 1L^=⋃LiL^=⋃Li\hat{L} = \bigcup L_iLLLL^L^\hat{L} 했습니다 연구되어? …
1
부분 선형 공간에서 거리 편집
입력 크기의 하위 선형 작업 공간을 사용하여 동일한 길이의 두 문자열 사이의 정확한 편집 거리를 계산하는 데 가장 잘 알려진 복잡성은 무엇입니까? 입력이 일부 읽기 전용 형식으로 저장되어 있다고 가정합니다. 이것은 이전에 연구 된 문제입니까? 질문을 좀 더 구체적으로 만들려면 공백. 여기서n은 각 입력 문자열의 길이입니다.Θ ( n−−√)Θ(엔)\Theta(\sqrt{n})엔엔n 편집하다. David …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.